IRIS Institutional Research Information System

Sfoglia per Serie  

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 58 a 77 di 187
Titolo Data di pubblicazione Autore(i) File
Evaluating wiki-enhanced ontology authoring 1-gen-2012 Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco
Experience Probes: Immersion and Reflection Between Reality and Virtuality 1-gen-2017 Willis, Max; De Angeli, Antonella; Zancanaro, Massimo
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 1-gen-2018 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Exploiting Scene-Specific Features for Object Goal Navigation 1-gen-2021 Campari, Tommaso; Eccher, Paolo; Serafini, Luciano; Ballan, Lamberto
An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring 1-gen-2017 Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio Maria; Petrucci, Giulio; Yeshchenko, Anton
Finding and Analyzing App Reviews Related to Specific Features: A Research Preview 1-gen-2019 Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo
Fine-Tuning BERT for Generative Dialogue Domain Adaptation 1-gen-2022 Labruna, Tiziano; Magnini, Bernardo
Following wrong suggestions: Self-blame in human and computer scenarios 1-gen-2019 Beretta, Andrea; Zancanaro, Massimo; Lepri, Bruno
Formal Design and Validation of an Automatic Train Operation Control System 1-gen-2022 Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni
A Formal IDE for Railways: Research Challenges 1-gen-2023 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
Formal Specification and Verification of Dynamic Parametrized Architectures 1-gen-2018 Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano
Formal Verification of Infinite-State BIP Models 1-gen-2015 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
Found in Translation 1-gen-2009 Turchi, Marco; Flaounas, Ilias; Ali, Omar; De Bie, Tijl; Snowsill, Tristan; Cristianini, Nello
From Electrical Switched Networks to Hybrid Automata 1-gen-2016 Cimatti, Alessandro; Mover, S.; Sessa, Mirko
Functional Decomposition in 5G Networks 1-gen-2016 Harutyunyan, D.; Riggio, R.
GIPSO: Geometrically Informed Propagation for Online Adaptation in 3D LiDAR Segmentation 1-gen-2022 Saltori, Cristiano; Krivosheev, Evgeny; Lathuiliére, Stéphane; Sebe, Nicu; Galasso, Fabio; Fiameni, Giuseppe; Ricci, Elisa; Poiesi, Fabio
A Goal-Based Framework for Supporting Medical Assistance: The Case of Chronic Diseases 1-gen-2020 Santos Teixeira, Milene; da Costa Pereira, Celia; Dragoni, Mauro
Grammar Based Genetic Programming for Software Configuration Problem 1-gen-2017 Kifetew, Fitsum Meshesha; Denisse, Muñante; Gorroñogoitia, Jesús; Siena, Alberto; Susi, Angelo; Perini, Anna
Graph-Based Design and Analysis of Dynamic Software Architectures 1-gen-2008 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto
Graph-Based Generative Face Anonymisation with Pose Preservation 1-gen-2022 Dall'Asen, Nicola; Wang, Yiming; Tang, Hao; Zanella, Luca; Ricci, Elisa
Mostrati risultati da 58 a 77 di 187
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