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 5781 - 5790 di 8775 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
Numerical Simulation of H+-Sensitive FeT's: Physical Models and Experimental Validation 1-gen-1996 L., Colalongo; G., Verzellesi; D., Passeri; Margesin, Benno; Soncini, Giovanni; P., Ciampolini; M., Rudan
Nuovi paradigmi per la valutazione di sicurezza e efficacia di dispositivi medici basati su tecnologie ICT: lo studio multicentrico UNCAP-IT per le tecnologie assistive dell’anziano con deficit cognitivo. 1-gen-2017 Tessarolo, F; Morganti, E; Anzivino, S; Cecchetto, S; Guandalini, Gm; Rigoni, M; Roncato, F; Conti, G; Nollo, G.
Nuovi paradigmi per la valutazione di sicurezza ed eficacia di dispositivi medici basati su tecnologie ICT: lo studio multicentrico UNCAP-IT per le tecnologie assistive dell'anziano con deficit cognitivo 1-gen-2017 Tessarolo, F; Morganti, E; Anzivino, S; Cecchetto, S; Guandalini, Gm; Rigoni, M; Roncato, F; Conti, G; Nollo, G
NuRV: a nuXmv Extension for Runtime Verification 1-gen-2019 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
NuSMV 2: An OpenSource Tool for Symbolic model Checking 1-gen-2002 Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 1-gen-2001 Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella
NuSMV: A Reimplementation of SMV 1-gen-1998 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
NuSMV: a New Symbolic Model Verifier 1-gen-1999 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
NUTSHELL: A Dataset for Abstract Generation from Scientific Talks 1-gen-2025 Züfle, Maike; Papi, Sara; Savoldi, Beatrice; Gaido, Marco; Bentivogli, Luisa; Niehues, Jan
NUV-HD SiPMs with Metal-filled Trenches 1-gen-2022 Merzi, S.; Gola, A.; Mazzi, A.; Paternoster, G.; Ruzzarin, M.; Piemonte, C.; Inglese, A.; Brunner, S.
Risultati 5781 - 5790 di 8775 (tempo di esecuzione: 0.022 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 ... 8774
  • 4 Contributo in Atti di Convegno ... 7921
  • 4 Contributo in Atti di Convegno ... 514
  • 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 1788
  • 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 32
  • silicon radiation detectors 28
  • SiPM 26
  • RF MEMS 25
  • machine translation 23
  • Machine Translation 22
Lingua
  • eng 6906
  • ita 207
  • ger 15
  • spa 7
  • fre 5
  • enm 4
  • cze 1
  • lat 1
  • rum 1
Accesso al fulltext
  • no fulltext 7672
  • open 479
  • restricted 452
  • reserved 168
  • partially open 2
  • mixed 1