Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 16.232 a 16.251 di 19.474
Titolo Data di pubblicazione Autore(i) File
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
Social Contact Structures and Time Use Patterns in the Manicaland Province of Zimbabwe 1-gen-2017 Melegaro, Alessia; Del Fava, Emanuele; Poletti, Piero; Merler, Stefano; Nyamukapa, Constance; Williams, John; Gregson, Simon; Manfredi, Piero
Social Democracy and the Challenge of Populism 1-gen-2018 Bernardini, G.
Mostrati risultati da 16.232 a 16.251 di 19.474
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