Pubblicazioni
Pubblicazioni trovate: 409
- 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 - SAN models of a benchmark on dynamic reliability
Daniele Codetta Raiteri
Apparso su TR-INF-2011-12-03-UNIPMN, Ed. Computer Science Department, UPO, 2011 - A new symbolic approach for network reliability analysis
Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis, Roberta Terruggia
Apparso su TR-INF-2011-06-02-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Spaced Seeds Design Using Perfect Rulers
Lavinia Egidi, Giovanni Manzini
Apparso su TR-INF-2011-06-01-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Extending the lambda-calculus with unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Apparso su RAIRO - Theoretical Informatics and Applications, 2011 - Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins
Paola Giannini, Dino Ienco, Eva Sciacca, Salvatore Spinella
Apparso su Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics. Springer LNCS 6623, 2011 - Type Directed Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su International Journal of Software and Informatics, 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 > »
