Latest News
Kurt Godel Reasearch Prize
The Logical Mind: Connecting Foundations and Technology Competition
(Organized by the Kurt Gödel Society) More - 17/01/2014
The Logical Mind: Connecting Foundations and Technology Competition
(Organized by the Kurt Gödel Society) More - 17/01/2014
Informatics Education in Europe
Report about the informatics education in Europe; by Informatics Europe More - 07/11/2013
Report about the informatics education in Europe; by Informatics Europe More - 07/11/2013
Excellent Results for Computer Science in the National Evaluation of the Research
Following the pubblication of the results of the process concerning the national evaluation of the research in the period 2004-2010 (VQR 2004-2010), the Computer Science Istitute ranks at the first position in the segment of small structures. More - 18/07/2013
Following the pubblication of the results of the process concerning the national evaluation of the research in the period 2004-2010 (VQR 2004-2010), the Computer Science Istitute ranks at the first position in the segment of small structures. More - 18/07/2013
Latest Publications
- Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft
Daniele Codetta Raiteri, Luigi Portinale 2014 - An Intelligent Swarm of Markovian Agents
Andrea Bobbio, Bruneo Dario , Cerotti Davide, Marco Gribaudo, Scarpa Marco 2014 - Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks
Daniele Codetta Raiteri, Luigi Portinale 2014