Pubblicazioni
Pubblicazioni trovate: 405
- How to use contextual knowledge in medical case-based reasoning systems: A survey on very recent trends
Stefania Montani
Apparso su Artificial Intelligence in Medicine 51 2, 2011, Pagine: 125-131 - Flexible, Efficient and Interactive Retrieval for Supporting In-silico Studies of Endobacteria
Stefano Ghignone, Luisa Lanfranco, Giorgio Leonardi, Stefania Montani
Apparso su ICTAI, 2011, Pagine: 17-24 - Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
Apparso su Business Process Management Workshops (2), 2011, Pagine: 200-211 - Integrating several formalisms in order to increase Fault Trees' modeling power
Daniele Codetta Raiteri
Apparso su Reliability Engineering and System Safety vol. 96(5), Ed. Elsevier, 2011, Pagine: 534-544 - Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Proceedings of the International Conference on Tools with Artificial Intelligence, Ed. IEEE Computer Society, 2011, Pagine: 480-484 - Modeling and simulating a benchmark on dynamic reliability as a Stochastic Activity Network
Daniele Codetta Raiteri
Apparso su Proceedings of the European Modeling & Simulation Symposium, Ed. DIPTEM - Univ. di Genova, 2011, Pagine: 545-554 - ARPHA: an FDIR architecture for autonomous spacecrafts based on Dynamic Probabilitstic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Proceedings of the AI in Space Workshop, Ed. ESA, 2011 - Representing domains and scenarios by means of model replication and composition
Daniele Codetta Raiteri, Roberto Nai
Apparso su Proceedings of the Advances in Risk and Reliability Technology Symposium, Ed. University of Nottingham, 2011, Pagine: 261-274 - The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio 2011
Paola Giannini, Jean Krivine
Apparso su Electr. Notes Theor. Comput. Sci. 277, 2011, Pagine: 1-2 - Achieving completeness in bounded model checking of action theories in ASP
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Apparso su TR-INF-2011-12-04-UNIPMN, Ed. Computer Science Department, UPO, 2011
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 > »