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 70 a 89 di 187
Titolo Data di pubblicazione Autore(i) File
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
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
Human Behavior Understanding for Inducing Behavioral Change: Application Perspectives 1-gen-2011 A. A., Salah; Lepri, Bruno; Pianesi, Fabio; A., Pentland
Image Analysis and Processing – ICIAP 2019. 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I 1-gen-2019 Ricci, Elisa; Rota Bulò, Samuel; Snoek, Cees; Lanz, Oswald; Messelodi, Stefano; Sebe, Nicu
Image-to-Voxel Model Translation with Conditional Adversarial Networks 1-gen-2018 Knyaz, V. A.; Knyaz, V. V.; Remondino, F.
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 1-gen-2021 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Improving FREAK Descriptor for Image Classification 1-gen-2015 Hilario Gomez, Cristina; Medathati, Kartheek; Kornprobst, Pierre; Murino, Vittorio; Sona, Diego
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation 1-gen-2018 Panichella, Annibale; Kifetew, Fitsum Meshesha; Tonella, Paolo
Inference and Validation of Networks 1-gen-2009 Flaounas, Ilias N.; Turchi, Marco; De Bie, Tijl; Cristianini, Nello
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
Information Extraction for Learning Expressive Ontologies 1-gen-2015 Petrucci, Giulio
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline 1-gen-2021 Bisegna, Andrea; Carbone, Roberto; Ranise, Silvio
Mostrati risultati da 70 a 89 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