Sfoglia per Serie
Mobile and Ubiquitous Information Access, volume 2954 of Lecture Notes in Computer Science
2004-01-01 F., Crestani; M., Dunlop; Mizzaro, Stefano
Mobile Devices in Emergency Medical Services: User Evaluation of a PDA-based Interface for Ambulance Run Reporting
2007-01-01 Chittaro, Luca; Zuliani, F; Carchietti, E.
Mobility Types in Coq
2004-01-01 Honsell, Furio; Scagnetto, Ivan
Modal logics for Brane Calculus
2006-01-01 Miculan, Marino; Bacci, G.
A Model of Countable Nondeterminism in Guarded Type Theory
2014-01-01 A., Bizjak; L., Birkedal; Miculan, Marino
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
2003-01-01 Antoniotti, M.; Mishra, B.; Piazza, Carla; Policriti, Alberto; Simeoni, M.
Modeling Content and Expression of Learning Objects in Multimodal Learning Management Systems
2007-01-01 Brajnik, Giorgio
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
2014-01-01 Alessio, Mansutti; Miculan, Marino; Peressotti, Marco
Multi-level net: A visual saliency prediction model
2016-01-01 Cornia, Marcella; Baraldi, Lorenzo; Serra, Giuseppe; Cucchiara, Rita
A Multi-objective Biased Random-Key Genetic Algorithm for the Siting of Emergency Vehicles
2023-01-01 Da Ros, F.; Di Gaspero, L.; La Barbera, D.; Della Mea, V.; Roitero, K.; Deroma, L.; Licata, S.; Valent, F.
Multiple Structure Recovery via Probabilistic Biclustering
2016-01-01 Denitto, M.; Magri, L.; Farinelli, A.; Fusiello, Andrea; Bicego, M.
Multiset Constraints and P Systems
2001-01-01 Dovier, Agostino; Piazza, Carla; Rossi, G.
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
A Navigation and Examination Aid for 3D Virtual Buildings
2005-01-01 Chittaro, Luca; Gatla, V. K.; Venkataraman, S.
Negation as a resource: A novel view on answer set semantics
2013-01-01 Costantini, Stefania; Formisano, Andrea
Neural Networks Reduction via Lumping
2023-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
New Geographies of Fuel Purchase During the COVID-19 Pandemic: Evidence from the Italian Northeastern Border Zone
2023-01-01 Zaccomer, Gian Pietro; Bressan, Giorgia
A New Tableau-based Satisfiability Checker for Linear Temporal Logic
2016-01-01 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
Optimal Wheeler Language Recognition
2023-01-01 Becker, R.; Cenzato, D.; Kim, S. -H.; Kodric, B.; Policriti, A.; Prezza, N.
Optimizing image registration for interactive applications
2016-01-01 Gasparini, Riccardo; Alletto, Stefano; Serra, Giuseppe; Cucchiara, Rita
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mobile and Ubiquitous Information Access, volume 2954 of Lecture Notes in Computer Science | 1-gen-2004 | F., Crestani; M., Dunlop; Mizzaro, Stefano | |
Mobile Devices in Emergency Medical Services: User Evaluation of a PDA-based Interface for Ambulance Run Reporting | 1-gen-2007 | Chittaro, Luca; Zuliani, F; Carchietti, E. | |
Mobility Types in Coq | 1-gen-2004 | Honsell, Furio; Scagnetto, Ivan | |
Modal logics for Brane Calculus | 1-gen-2006 | Miculan, Marino; Bacci, G. | |
A Model of Countable Nondeterminism in Guarded Type Theory | 1-gen-2014 | A., Bizjak; L., Birkedal; Miculan, Marino | |
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing | 1-gen-2003 | Antoniotti, M.; Mishra, B.; Piazza, Carla; Policriti, Alberto; Simeoni, M. | |
Modeling Content and Expression of Learning Objects in Multimodal Learning Management Systems | 1-gen-2007 | Brajnik, Giorgio | |
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems | 1-gen-2014 | Alessio, Mansutti; Miculan, Marino; Peressotti, Marco | |
Multi-level net: A visual saliency prediction model | 1-gen-2016 | Cornia, Marcella; Baraldi, Lorenzo; Serra, Giuseppe; Cucchiara, Rita | |
A Multi-objective Biased Random-Key Genetic Algorithm for the Siting of Emergency Vehicles | 1-gen-2023 | Da Ros, F.; Di Gaspero, L.; La Barbera, D.; Della Mea, V.; Roitero, K.; Deroma, L.; Licata, S.; Valent, F. | |
Multiple Structure Recovery via Probabilistic Biclustering | 1-gen-2016 | Denitto, M.; Magri, L.; Farinelli, A.; Fusiello, Andrea; Bicego, M. | |
Multiset Constraints and P Systems | 1-gen-2001 | Dovier, Agostino; Piazza, Carla; Rossi, G. | |
A natural deduction approach to dynamic logic | 1-gen-1996 | Honsell, Furio; Miculan, Marino | |
A Navigation and Examination Aid for 3D Virtual Buildings | 1-gen-2005 | Chittaro, Luca; Gatla, V. K.; Venkataraman, S. | |
Negation as a resource: A novel view on answer set semantics | 1-gen-2013 | Costantini, Stefania; Formisano, Andrea | |
Neural Networks Reduction via Lumping | 1-gen-2023 | Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S. | |
New Geographies of Fuel Purchase During the COVID-19 Pandemic: Evidence from the Italian Northeastern Border Zone | 1-gen-2023 | Zaccomer, Gian Pietro; Bressan, Giorgia | |
A New Tableau-based Satisfiability Checker for Linear Temporal Logic | 1-gen-2016 | Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark | |
Optimal Wheeler Language Recognition | 1-gen-2023 | Becker, R.; Cenzato, D.; Kim, S. -H.; Kodric, B.; Policriti, A.; Prezza, N. | |
Optimizing image registration for interactive applications | 1-gen-2016 | Gasparini, Riccardo; Alletto, Stefano; Serra, Giuseppe; Cucchiara, Rita |
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