Sfoglia per Titolo
MOBITABLE: Design and evaluation of a familiar interface for e-inclusion
2010-01-01 Leonardi, Chiara; Pianesi, Fabio; Zancanaro, Massimo
MOCA: A Low-Power, Low-Cost Motion Capture System Based on Integrated Accelerometers
2007-01-01 Farella, Elisabetta; Benini, L.; Riccò, B.; Acquaviva, A.
Mocking Ads Through Mobile Web Services
2014-01-01 Gatti, L.; Guerini, M.; Stock, O.; Strapparava, C.
ModaFact: Multi-paradigm Evaluation for Joint Event Modality and Factuality Detection
2025-01-01 Rovera, Marco; Cristoforetti, Serena; Tonelli, Sara
Mode of action of beta-barrel pore-forming toxins of the staphylococcal alpha-hemolysin family.
2001-01-01 G., Menestrina; Dalla Serra, Mauro; G., Prévost
Model Agglomeration for Context-Dependent Acoustic Modeling
2001-01-01 Brugnara, Fabio
A model based on intensity of medical care may improve outcomes for internal medicine patients in Italy
2019-01-01 Torri, Emanuele; Rigoni, Marta; Dorigoni, Stefania; Peterlana, Dimitri; Cozzio, Susanna; Nollo, Giandomenico; Spagnolli, Walter
Model Centered Interoperability for Source Code Analysis
2003-01-01 Caprile, Bruno Giovanni; Potrich, Alessandra; Ricca, Filippo; Tonella, Paolo
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
2016-01-01 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Model checking authorization requirements in business processes
2014-01-01 Armando, Alessandro; Ponta, S. E.
Model Checking Early Requirements Specifications in Tropos
2001-01-01 A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
2018-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking for Graded CTL
2009-01-01 Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente
Model Checking Interval Temporal Logics with Regular Expressions
2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking Linear Logic Specifications
2004-01-01 Bozzano, Marco; G., Delzanno; M., Martelli
Model Checking Linear Programs with Arrays
2006-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Model Checking Multiagent Systems
1997-01-01 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
Model Checking of Hybrid Systems using Shallow Synchronization
2010-01-01 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
MOBITABLE: Design and evaluation of a familiar interface for e-inclusion | 1-gen-2010 | Leonardi, Chiara; Pianesi, Fabio; Zancanaro, Massimo | |
MOCA: A Low-Power, Low-Cost Motion Capture System Based on Integrated Accelerometers | 1-gen-2007 | Farella, Elisabetta; Benini, L.; Riccò, B.; Acquaviva, A. | |
Mocking Ads Through Mobile Web Services | 1-gen-2014 | Gatti, L.; Guerini, M.; Stock, O.; Strapparava, C. | |
ModaFact: Multi-paradigm Evaluation for Joint Event Modality and Factuality Detection | 1-gen-2025 | Rovera, Marco; Cristoforetti, Serena; Tonelli, Sara | |
Mode of action of beta-barrel pore-forming toxins of the staphylococcal alpha-hemolysin family. | 1-gen-2001 | G., Menestrina; Dalla Serra, Mauro; G., Prévost | |
Model Agglomeration for Context-Dependent Acoustic Modeling | 1-gen-2001 | Brugnara, Fabio | |
A model based on intensity of medical care may improve outcomes for internal medicine patients in Italy | 1-gen-2019 | Torri, Emanuele; Rigoni, Marta; Dorigoni, Stefania; Peterlana, Dimitri; Cozzio, Susanna; Nollo, Giandomenico; Spagnolli, Walter | |
Model Centered Interoperability for Source Code Analysis | 1-gen-2003 | Caprile, Bruno Giovanni; Potrich, Alessandra; Ricca, Filippo; Tonella, Paolo | |
Model Checking and Safety Assessment of Altarica models | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration | 1-gen-2016 | Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne | |
Model checking authorization requirements in business processes | 1-gen-2014 | Armando, Alessandro; Ponta, S. E. | |
Model Checking Early Requirements Specifications in Tropos | 1-gen-2001 | A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo | |
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives | 1-gen-2018 | Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy | 1-gen-2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Model Checking for Graded CTL | 1-gen-2009 | Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente | |
Model Checking Interval Temporal Logics with Regular Expressions | 1-gen-2020 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A. | |
Model Checking Linear Logic Specifications | 1-gen-2004 | Bozzano, Marco; G., Delzanno; M., Martelli | |
Model Checking Linear Programs with Arrays | 1-gen-2006 | Armando, Alessandro; Benerecetti, M.; Mantovani, J. | |
Model Checking Multiagent Systems | 1-gen-1997 | Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano | |
Model Checking of Hybrid Systems using Shallow Synchronization | 1-gen-2010 | Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano |
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