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 411 - 420 di 464 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 1-gen-2021 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Organ Segmentation with Recursive Data Augmentation for Deep Models 1-gen-2021 Akbar, Muhammad Usman; Yamin, Muhammad Abubakar; Murino, Vittorio; Sona, Diego
Water quality retrieval and algal bloom detection using high-resolution cubesat imagery 1-gen-2021 Niroumand Jadidi, Milad; Bovolo, Francesca
Where to Explore Next? ExHistCNN for History-Aware Autonomous 3D Exploration 1-gen-2020 Wang, Yiming; Del Bue, Alessio
Expressiveness of Extended Bounded Response LTL 1-gen-2021 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Thin low-gain avalanche detectors for particle therapy applications 1-gen-2020 Vignati, A.; Donetti, M.; Fausti, F.; Ferrero, M.; Giordanengo, S.; Hammad Ali, O.; Mart Villarreal, O. A.; Mas Milian, F.; Mazza, G.; Monaco, V.; Sacchi, R.; Shakarami, Z.; Sola, V.; Staiano, A.; Tommasino, F.; Verroi, E.; Wheadon, R.; Cirio, R.
MultiLexNorm: A Shared Task on Multilingual Lexical Normalization 1-gen-2021 van der Goot, Rob; Ramponi, Alan; Zubiaga, Arkaitz; Plank, Barbara; Muller, Benjamin; San Vicente Roncal, Iñaki; Ljubešić, Nikola; Çetinoğlu, Özlem; Mahendra, Rahmad; Çolakoğlu, Talha; Baldwin, Timothy; Caselli, Tommaso; Sidorenko, Wladimir
Blockchain-based Zero Touch Service Assurance in Cross-domain Network Slicing 1-gen-2021 Theodorou, Vasileios; Lekidis, Alexios; Bozios, Theodoros; Meth, Kalman; Fernandez-Fernandez, Adriana; Tavlor, James; Diogo, Pedro; Martins, Pedro; Behravesh, Rasoul
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 1-gen-2021 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Automatic Assessment of English CEFR Levels Using BERT Embeddings 1-gen-2021 Juliana Schmalz, Veronica; Brutti, Alessio
Risultati 411 - 420 di 464 (tempo di esecuzione: 0.017 secondi).
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 ... 464
  • 4 Contributo in Atti di Convegno ... 423
  • 4 Contributo in Atti di Convegno ... 35
  • 4 Contributo in Atti di Convegno ... 6
Autore
  • Turchi, Marco 36
  • Negri, Matteo 32
  • Cimatti, Alessandro 21
  • Ranise, Silvio 21
  • Bellutti, Pierluigi 20
  • Bovolo, Francesca 19
  • Lepri, Bruno 17
  • Dragoni, Mauro 15
  • Gaiardo, Andrea 15
  • Bucchiarone, Antonio 14
Data di pubblicazione
  • 2021 223
  • 2020 241
Editore
  • IEEE 31
  • Springer 16
  • CEUR-WS.org 13
  • Association for Computational Lin... 12
  • ACM 6
  • European Language Resources Assoc... 5
  • AAAI Press 4
  • European Language Resources Assoc... 4
  • SPIE 4
  • Schloss Dagstuhl -- Leibniz-Zentr... 3
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO... 14
  • MEETING ABSTRACTS 12
  • JOURNAL OF PHYSICS. CONFERENCE SE... 3
  • E3S WEB OF CONFERENCES 2
  • EUROPEAN NEUROPSYCHOPHARMACOLOGY 2
  • PROCEDIA COMPUTER SCIENCE 2
  • ELECTRONIC PROCEEDINGS IN THEORET... 1
  • ENGINEERING PROCEEDINGS 1
  • INTERNATIONAL CONFERENCE RECENT A... 1
  • JPS CONFERENCE PROCEEDINGS 1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 29
  • LECTURE NOTES IN ARTIFICIAL INTEL... 17
  • CEUR WORKSHOP PROCEEDINGS 7
  • COMMUNICATIONS IN COMPUTER AND IN... 4
  • PROCEEDINGS OF SPIE 4
  • IEEE INTERNATIONAL FUZZY SYSTEMS ... 3
  • LEIBNIZ INTERNATIONAL PROCEEDINGS... 3
  • ADVANCES IN INTELLIGENT SYSTEMS A... 2
  • FRONTIERS IN ARTIFICIAL INTELLIGE... 2
  • ISPRS ANNALS OF THE PHOTOGRAMMETR... 2
Keyword
  • Silicon Drift Detector 3
  • Silicon Drift Detectors 3
  • ASIC 2
  • COVID-19 2
  • filter bubble 2
  • machine learning 2
  • Real-time systems 2
  • 5G 1
  • AI service 1
  • Algorithm analysis 1
Lingua
  • eng 420
  • ita 4
  • lat 1
Accesso al fulltext
  • no fulltext 359
  • open 53
  • restricted 29
  • reserved 23