Sfoglia per Serie
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
Optimizing Maude Programs via Program Specialization
2023-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Meseguer, J.; Sapina, J.
The “Peer-to-Peer” Economy and Social Ontology: Legal Issues and Theoretical Perspectives
2015-01-01 Costantini, Federico
Perception of Virtual Agents as Communicators in Virtual vs. Augmented Reality by a Male Sample
2023-01-01 Serafini, Marta; Chittaro, Luca
Perspectives on Logic-based Approaches for Reasoning About Actions and Change
2011-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Photo-consistent planar patches from unstructured cloud of points
2010-01-01 Toldo, R.; Fusiello, Andrea
PolyMorph: A P300 Polymorphic Speller
2013-01-01 Casagrande, A; Jarmolowska, J; Turconi, M; Fabris, F; Battaglini, Pp
Pre-Emptive camera activation for Video-Surveillance HCI
2011-01-01 Martinel, Niki; Micheloni, Christian; Piciarelli, Claudio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Optimizing Maude Programs via Program Specialization | 1-gen-2023 | Alpuente, M.; Ballis, D.; Escobar, S.; Meseguer, J.; Sapina, J. | |
| The “Peer-to-Peer” Economy and Social Ontology: Legal Issues and Theoretical Perspectives | 1-gen-2015 | Costantini, Federico | |
| Perception of Virtual Agents as Communicators in Virtual vs. Augmented Reality by a Male Sample | 1-gen-2023 | Serafini, Marta; Chittaro, Luca | |
| Perspectives on Logic-based Approaches for Reasoning About Actions and Change | 1-gen-2011 | Dovier, Agostino; Formisano, A.; Pontelli, E. | |
| Photo-consistent planar patches from unstructured cloud of points | 1-gen-2010 | Toldo, R.; Fusiello, Andrea | |
| PolyMorph: A P300 Polymorphic Speller | 1-gen-2013 | Casagrande, A; Jarmolowska, J; Turconi, M; Fabris, F; Battaglini, Pp | |
| Pre-Emptive camera activation for Video-Surveillance HCI | 1-gen-2011 | Martinel, Niki; Micheloni, Christian; Piciarelli, Claudio |
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