Pubblicazioni
Pubblicazioni trovate: 409
- Evaluation of anomaly and failure scenarios involving an exploration rover: a Bayesian network approach
Daniele Codetta Raiteri, Andrea Guiotto, Luigi Portinale, Yuri Yushtein
Apparso su Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space, Ed. ESA, 2012 - ARPHA: an innovative on-board FDIR reasoning engine for autonomous systems
Daniele Codetta Raiteri, Andrea Guiotto, Luigi Portinale, Yuri Yushtein
Apparso su Proceedings of Data Systems in Aerospace, Ed. ESA, 2012 - Quantification of Dependencies between Electrical and Information Infrastructures
Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
Apparso su INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION Vol. 5, 2012, Pagine: 14--27 - Minimum pattern length for short spaced seeds based on linear rulers
Lavinia Egidi, Giovanni Manzini
Apparso su TR-INF-2012-04-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Reasoning about actions with Temporal Answer Sets
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Apparso su THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, Pagine: -- - A dynamic Bayesian network based framework to evaluate cascading effects in a power grid
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Apparso su Engineering Applications of Artificial Intelligence vol. 25(4), Ed. Elsevier, 2012, Pagine: 683-697 - Exploiting VM Migration for the Automated Power and Performance Management of Green Cloud Computing Systems
Marco Guazzone, Cosimo Anglano, Massimo Canonico
Apparso su TR-INF-2012-04-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - ARPHA: a software prototype for fault detection, identification and recovery in autonomous spacecrafts
Daniele Codetta Raiteri, Stefano Di Nolfo, Andrea Guiotto, Luigi Portinale
Apparso su Acta Futura vol. 5(15), Ed. ESA, 2012, Pagine: 99-110 - Trace retrieval and clustering for business process monitoring
Stefania Montani, Giorgio Leonardi
Apparso su TR-INF-2012-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Typed Stochastic Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su Theoretical Computer Science, 2012
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
