IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7922] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.121 a 1.140 di 7.922
Titolo Data di pubblicazione Autore(i) File
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto
Towards Agent-Based Testing of 3D Games using Reinforcement Learning 1-gen-2022 Ferdous, Raihana; Kifetew, Fitsum Meshesha; Prandi, Davide; Susi, Angelo
Requirements Engineering for Collaborative Artificial Intelligence Systems: A Literature Survey 1-gen-2022 Odong, Lawrence Araa; Perini, Anna; Susi, Angelo
GamiDOC: A Tool for Designing and Evaluating Gamified Solutions 1-gen-2022 Bassanelli, Simone; Bucchiarone, Antonio
BIKE2WORK: A Shift Towards Sustainable Mobility 1-gen-2022 Bucchiarone, Antonio; Marconi, Annapaola; Cipriano, Piergiorgio; Giovannini, Luca
A comprehensive framework for the analysis of automotive systems 1-gen-2022 Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano
Automatic Discovery of Fair Paths in Infinite-State Transition Systems 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Detection-aware multi-object tracking evaluation 1-gen-2022 Sanmiguel, Juan C.; Munoz, Jorge; Poiesi, Fabio
Verification of SMT Systems with Quantifiers 1-gen-2022 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Quantum field theories on the Lefschetz thimble 1-gen-2013 Cristoforetti, M.; Di Renzo, F.; Mukherjee, A.; Scorzato, L.
A MAPE-K Approach to Autonomic Microservices 1-gen-2022 Bucchiarone, Antonio; Guidi, Claudio; Lanese, Ivan; Bencomo, Nelly; Spillner, Josef
Gamification-based UML learning environment in virtual reality 1-gen-2022 Yigitbas, Enes; Schmidt, Maximilian; Bucchiarone, Antonio; Gottschalk, Sebastian; Engels, Gregor
An FFT-based CNN-Transformer Encoder for Semantic Segmentation of Radar Sounder Signal 1-gen-2022 Ghosh, Raktim; Bovolo, Francesca
BERToldo, the Historical BERT for Italian 1-gen-2022 Palmero Aprosio, Alessio; Menini, Stefano; Tonelli, Sara
Evaluating Subtitle Segmentation for End-to-end Generation Systems 1-gen-2022 Karakanta, Alina; Buet, François; Cettolo, Mauro; Yvon, François
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 1-gen-2022 Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano
Human-Machine Collaboration Approaches to Build a Dialogue Dataset for Hate Speech Countering 1-gen-2022 Bonaldi, Helena; Dellantonio, Sara; Tekiroglu, Serra Sinem; Guerini, Marco
Photon management in SiO2-SnO2:Yb3+ hybrid 1D microcavity 1-gen-2022 Tran, Thi Ngoc Lam; Szczurek, Anna; Carlotto, Alice; Cian, Alessandro; Varas, Stefano; Iacob, Erica; Ischia, Gloria; Sayginer, Osman; Berneschi, Simone; Nunzi Conti, Gualtiero; Balda, Rolindes; Fernandez, Joaquin; Righini, Giancarlo C.; Bollani, Monica; Scotognella, Francesco; Zonta, Daniele; Bursi, Oreste; Gluchowski, Pawel; Lukowiak, Anna; Ferrari, Maurizio; Chiasera, Alessandro
Investigating Continued pretraining for Zero-Shot Cross-Lingual Spoken Language Understanding 1-gen-2022 Louvan, Samuel; Casola, Silvia; Magnini, Bernardo
Optimal Integration of Non-Dispatchable {RES} in {OSMOSE} {FlexEnergy} Market 1-gen-2022 Bello, Andrea; Franzinelli, Alessio; Colaone, Francesco; Di Marco, Nicola; Macchi, Edoardo Gino; Gobbi, Andrea; Bellamoli, Federico
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.121 a 1.140 di 7.922
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7921
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio250
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo176
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 20261542
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...92
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE22
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • PROCEEDINGS OF SPIE10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6417
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6827
  • open476
  • restricted450
  • reserved165
  • partially open2
  • mixed1