IRIS Institutional Research Information System

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 7221 - 7230 di 8772 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
SMT-Based Model Checking of Max-Plus Linear Systems 1-gen-2021 Syifa'ul Mufid, Muhammad; Micheli, Andrea; Abate, Alessandro; Cimatti, Alessandro
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 1-gen-2024 Sumic, Ajdin; Cimatti, Alessandro; Micheli, Andrea; Vidal, Thierry
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
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
Snap Video: Scaled Spatiotemporal Transformers for Text-to-Video Synthesis 1-gen-2024 Menapace, Willi; Siarohin, Aliaksandr; Skorokhodov, Ivan; Deyneka, Ekaterina; Chen, Tsai-Shien; Kag, Anil; Fang, Yuwei; Stoliar, Aleksei; Ricci, Elisa; Ren, Jian; Tulyakov, Sergey
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 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.
Soccer Event Detection 1-gen-2018 Khan, Abdullah; Lazzerini, Beatrice; Calabrese, Gaetano; Serafini, Luciano
Risultati 7221 - 7230 di 8772 (tempo di esecuzione: 0.031 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ... 8771
  • 4 Contributo in Atti di Convegno ... 7921
  • 4 Contributo in Atti di Convegno ... 511
  • 4 Contributo in Atti di Convegno ... 339
Autore
  • Cimatti, Alessandro 262
  • Remondino, Fabio 252
  • Lorenzelli, Leandro 232
  • Margesin, Benno 208
  • Serafini, Luciano 205
  • Negri, Matteo 203
  • Nollo, Giandomenico 194
  • Bovolo, Francesca 185
  • Magnini, Bernardo 177
  • Zancanaro, Massimo 177
Data di pubblicazione
  • In corso di stampa 5
  • 2020 - 2026 1785
  • 2010 - 2019 3908
  • 2000 - 2009 2457
  • 1990 - 1999 567
  • 1980 - 1989 49
Editore
  • IEEE 625
  • Springer 359
  • ACM 154
  • Association for Computational Lin... 92
  • CEUR-WS.org 78
  • IEEE Computer Society 61
  • SPIE 60
  • ACL 38
  • AAAI Press 37
  • ieee 31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO... 92
  • LECTURE NOTES IN COMPUTER SCIENCE 41
  • PROCEEDINGS 23
  • POS PROCEEDINGS OF SCIENCE 22
  • JOURNAL OF PHYSICS. CONFERENCE SE... 21
  • PROCEEDINGS OF SPIE, THE INTERNAT... 17
  • MEETING ABSTRACTS 15
  • CEUR WORKSHOP PROCEEDINGS 13
  • THE INTERNATIONAL ARCHIVES OF THE... 12
  • EPJ WEB OF CONFERENCES 10
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 230
  • LECTURE NOTES IN ARTIFICIAL INTEL... 48
  • CEUR WORKSHOP PROCEEDINGS 42
  • PROCEEDINGS OF SPIE, THE INTERNAT... 25
  • LECTURE NOTES IN COMPUTER SCIENCE 22
  • LECTURE NOTES IN ELECTRICAL ENGIN... 20
  • LECTURE NOTES IN ELECTRICAL ENGIN... 17
  • LECTURE NOTES IN BUSINESS INFORMA... 16
  • IEEE ENGINEERING IN MEDICINE AND ... 11
  • COMMUNICATIONS IN COMPUTER AND IN... 10
Keyword
  • NLP 41
  • automatic speech recognition 38
  • Content Processing 33
  • MEMS 33
  • RF-MEMS 31
  • silicon radiation detectors 28
  • SiPM 26
  • RF MEMS 25
  • machine translation 23
  • Machine Translation 22
Lingua
  • eng 6903
  • ita 207
  • ger 15
  • spa 7
  • fre 5
  • enm 4
  • cze 1
  • lat 1
  • rum 1
Accesso al fulltext
  • no fulltext 7669
  • open 479
  • restricted 452
  • reserved 168
  • partially open 2
  • mixed 1