Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Abstract analysis of universal properties for tccp
2015-01-01 Comini, Marco; Gallardo, María del Mar; Titolo, Laura; Villanueva, Alicia
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
2005-01-01 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
A bag of words approach for 3D object categorization
2009-01-01 Toldo, R.; Castellani, U; Fusiello, Andrea
Changing user's safety locus of control through persuasive play: An application to aviation safety
2014-01-01 Chittaro, Luca
The complexity of some pattern problems in the logical analysis of large genomic data sets
2016-01-01 Lancia, Giuseppe; Serafini, Paolo
Entanglement zoo II: Examples in Physics and Cognition
2014-01-01 Aerts, Diederik; Sozzo, Sandro
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics
2006-01-01 Formisano, A.; Omodeo, E. G.; Orlowska, E.
An equational re-engineering of set theories
2000-01-01 Formisano, A.; Omodeo, E.
Exact Affine Histogram Matching by Cumulants Transformation
2022-01-01 Fusiello, A.
A formal approach to effectiveness metrics for information access: Retrieval, filtering, and clustering
2015-01-01 Amigó, Enrique; Gonzalo, Julio; Mizzaro, Stefano
Global registration of 3D point sets via LRS decomposition
2016-01-01 Arrigoni, Federica; Rossi, Beatrice; Fusiello, Andrea
Loose Graph Simulations
2018-01-01 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
2015-01-01 Dreossi, Tommaso; Thao, Dang; Piazza, Carla
Passengers' safety in aircraft evacuations: Employing serious games to educate and persuade
2012-01-01 Chittaro, Luca
Persuasive Technology: Preface
2014-01-01 A., Spagnolli; Chittaro, Luca; L., Gamberini
Preface
2023-01-01 Foresti, G. L.; Fusiello, A.; Hancock, E.
Preface
2020-01-01 Bartoli, A.; Fusiello, A.
RPO, Second-Order Contexts, and λ-Calculus
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Switching-based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems
2007-01-01 Casagrande, Daniele; Astolfi, Alessandro; Parisini, Thomas
Turning the classic snake mobile game into a location-based exergame that encourages walking
2012-01-01 Chittaro, Luca; Sioni, Riccardo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile