Sfoglia per Titolo
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators
2020-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
SMT-based scenario verification for hybrid systems
2013-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Software Model Checking
2010-01-01 Cimatti, Alessandro
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
2023-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies
2015-01-01 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
SMT-based Validation of Timed Failure Propagation Graphs
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea
SMT-Based Verification of Hybrid Systems
2012-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
(Sn,Ti,Nb)xO2 Solid Solution: An Innovative Nanostructured Material and Its Chemoresistive Properties
2021-01-01 Guidi, Vincenzo; Spagnoli, Elena; Gaiardo, Andrea; Ardit, Matteo; Fabbri, Barbara; Valt, Matteo; Della Ciana, Michele; Gherardi, Sandro; Migliori, Andrea; Cruciani, Giuseppe; Malagù, Cesare
SNAPAUTH: A Gesture-based Unobtrusive Smartwatch User Authentication Scheme
2018-01-01 Buriro, Attaullah; Crispo, Bruno; Eskandari, Mojtaba; Gupta, Sandeep; Mahboob, Athar; Van Acker, Rutger
Snow Cover Estimation Underneath the Clouds Based on Multitemporal Correlation Analysis in Historical Time-Series Imagery
2020-01-01 Niroumand Jadidi, Milad; Santoni, Massimo; Bruzzone, Lorenzo; Bovolo, Francesca
Snow Parameters Estimation Through New Data Fusion Approaches Involving a Hydrological Model and Remote Sensing Products
2020-01-01 De Gregorio, L.; Bovolo, F.; Callegari, M.; Günther, D.; Marin, C.; Niroumand-Jadidi, M.; Paris, C.; Podsiadlo, I.; Strasser, U.; Zebisch, M.; Bruzzone, L.; Notarnicola, C.
Snowmass 2021 White Paper Instrumentation Frontier 05 -- White Paper 1: MPGDs: Recent advances and current R&D
2022-01-01 Dehmelt, K.; Della Pietra, M.; Muller, H.; Tzamarias, S. E.; White, A.; White, S.; Zhang, Z.; Alviggi, M.; Angelis, I.; Aune, S.; Bortfeldt, J.; Bregant, M.; Brunbauer, F.; Camerlingo, M. T.; Canale, V.; D'Amico, V.; Desforge, D.; Di Donato, C.; Di Nardo, R.; Fanourakis, G.; Floethner, K. J.; Gallinaro, M.; Garcia, F.; Giomataris, I.; Gnanvo, K.; Gustavsson, T.; Hall-Wilton, R.; Iengo, P.; Iguaz, F. J.; Iodice, M.; Janssens, D.; Kallitsopoulou, A.; Kebbiri, M.; Kordas, K.; Lampoudis, C.; Legou, P.; Lisowska, M.; Liu, J.; Lupberger, M.; Malace, S.; Maniatis, I.; Manthos, I.; Meng, Y.; Natal da Luz, H.; Oliveri, E.; Orlandini, G.; Papaevangelou, T.; Paraschou, K.; Petrucci, F.; Pfeiffer, D.; Pomorski, M.; Popescu, S.; Resnati, F.; Ropelewski, L.; Rusu, A.; Sampsonidis, D.; Scharenberg, L.; Schneider, T.; Sekhniaidze, G.; Sessa, M.; Shao, M.; Sohl, L.; Toledo-Alarcon, J.; Tsiamis, A.; Tsipolitis, Y.; Utrobicic, A.; van Stenis, M.; Veenhof, R.; Wang, X.; Zhou, Y.
SO2 sensing mechanism of nanostructured SiC-SiOxC core shell: An operando DRIFT investigation
2022-01-01 Ciana, Michele Della; Valt, Matteo; Fabbri, Barbara; Gaiardo, Andrea; Spagnoli, Elena; Krik, Soufiane; Bernardoni, Paolo; Gilli, Nicola; Migliori, Andrea; Quaranta, Alberto; Morandi, Vittorio; Guidi, Vincenzo
SOAdapt: A process reference model for developing adaptable service-based applications
2012-01-01 S., Lane; Bucchiarone, Antonio; I., Richardson
Soccer Event Detection
2018-01-01 Khan, Abdullah; Lazzerini, Beatrice; Calabrese, Gaetano; Serafini, Luciano
Sociability Issues for Designing Usable Mobile iTV Applications
2006-01-01 Mayora, Oscar; Costa, Cristina
Social Accountability for Mozambique: an Experience Report from the Moamba District
2012-01-01 Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo
Social Bridges in Urban Purchase Behavior
2018-01-01 Dong, Xiaowen; Suhara, Y.; Bozkaya, B.; Singh, V.; Lepri, Bruno; Pentland, A.
Social Cohesion in Europe. How do the different dimensions of inequality affect social cohesion?
2011-01-01 Vergolini, Loris
"Social Consensus: Contribution to Design Methods for AI Agents That Employ Personal Data
2019-01-01 Pavlovic, M.; Botto, F.; Pillan, M.; Criminisi, C.; Valla, M
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators | 1-gen-2020 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano | |
SMT-based scenario verification for hybrid systems | 1-gen-2013 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
SMT-Based Software Model Checking | 1-gen-2010 | Cimatti, Alessandro | |
SMT-Based Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2023 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios | |
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies | 1-gen-2015 | Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad | |
SMT-based Validation of Timed Failure Propagation Graphs | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Micheli, Andrea | |
SMT-Based Verification of Hybrid Systems | 1-gen-2012 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
(Sn,Ti,Nb)xO2 Solid Solution: An Innovative Nanostructured Material and Its Chemoresistive Properties | 1-gen-2021 | Guidi, Vincenzo; Spagnoli, Elena; Gaiardo, Andrea; Ardit, Matteo; Fabbri, Barbara; Valt, Matteo; Della Ciana, Michele; Gherardi, Sandro; Migliori, Andrea; Cruciani, Giuseppe; Malagù, Cesare | |
SNAPAUTH: A Gesture-based Unobtrusive Smartwatch User Authentication Scheme | 1-gen-2018 | Buriro, Attaullah; Crispo, Bruno; Eskandari, Mojtaba; Gupta, Sandeep; Mahboob, Athar; Van Acker, Rutger | |
Snow Cover Estimation Underneath the Clouds Based on Multitemporal Correlation Analysis in Historical Time-Series Imagery | 1-gen-2020 | Niroumand Jadidi, Milad; Santoni, Massimo; Bruzzone, Lorenzo; Bovolo, Francesca | |
Snow Parameters Estimation Through New Data Fusion Approaches Involving a Hydrological Model and Remote Sensing Products | 1-gen-2020 | De Gregorio, L.; Bovolo, F.; Callegari, M.; Günther, D.; Marin, C.; Niroumand-Jadidi, M.; Paris, C.; Podsiadlo, I.; Strasser, U.; Zebisch, M.; Bruzzone, L.; Notarnicola, C. | |
Snowmass 2021 White Paper Instrumentation Frontier 05 -- White Paper 1: MPGDs: Recent advances and current R&D | 1-gen-2022 | Dehmelt, K.; Della Pietra, M.; Muller, H.; Tzamarias, S. E.; White, A.; White, S.; Zhang, Z.; Alviggi, M.; Angelis, I.; Aune, S.; Bortfeldt, J.; Bregant, M.; Brunbauer, F.; Camerlingo, M. T.; Canale, V.; D'Amico, V.; Desforge, D.; Di Donato, C.; Di Nardo, R.; Fanourakis, G.; Floethner, K. J.; Gallinaro, M.; Garcia, F.; Giomataris, I.; Gnanvo, K.; Gustavsson, T.; Hall-Wilton, R.; Iengo, P.; Iguaz, F. J.; Iodice, M.; Janssens, D.; Kallitsopoulou, A.; Kebbiri, M.; Kordas, K.; Lampoudis, C.; Legou, P.; Lisowska, M.; Liu, J.; Lupberger, M.; Malace, S.; Maniatis, I.; Manthos, I.; Meng, Y.; Natal da Luz, H.; Oliveri, E.; Orlandini, G.; Papaevangelou, T.; Paraschou, K.; Petrucci, F.; Pfeiffer, D.; Pomorski, M.; Popescu, S.; Resnati, F.; Ropelewski, L.; Rusu, A.; Sampsonidis, D.; Scharenberg, L.; Schneider, T.; Sekhniaidze, G.; Sessa, M.; Shao, M.; Sohl, L.; Toledo-Alarcon, J.; Tsiamis, A.; Tsipolitis, Y.; Utrobicic, A.; van Stenis, M.; Veenhof, R.; Wang, X.; Zhou, Y. | |
SO2 sensing mechanism of nanostructured SiC-SiOxC core shell: An operando DRIFT investigation | 1-gen-2022 | Ciana, Michele Della; Valt, Matteo; Fabbri, Barbara; Gaiardo, Andrea; Spagnoli, Elena; Krik, Soufiane; Bernardoni, Paolo; Gilli, Nicola; Migliori, Andrea; Quaranta, Alberto; Morandi, Vittorio; Guidi, Vincenzo | |
SOAdapt: A process reference model for developing adaptable service-based applications | 1-gen-2012 | S., Lane; Bucchiarone, Antonio; I., Richardson | |
Soccer Event Detection | 1-gen-2018 | Khan, Abdullah; Lazzerini, Beatrice; Calabrese, Gaetano; Serafini, Luciano | |
Sociability Issues for Designing Usable Mobile iTV Applications | 1-gen-2006 | Mayora, Oscar; Costa, Cristina | |
Social Accountability for Mozambique: an Experience Report from the Moamba District | 1-gen-2012 | Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo | |
Social Bridges in Urban Purchase Behavior | 1-gen-2018 | Dong, Xiaowen; Suhara, Y.; Bozkaya, B.; Singh, V.; Lepri, Bruno; Pentland, A. | |
Social Cohesion in Europe. How do the different dimensions of inequality affect social cohesion? | 1-gen-2011 | Vergolini, Loris | |
"Social Consensus: Contribution to Design Methods for AI Agents That Employ Personal Data | 1-gen-2019 | Pavlovic, M.; Botto, F.; Pillan, M.; Criminisi, C.; Valla, M |
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