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 109 a 128 di 187
Titolo Data di pubblicazione Autore(i) File
Mapping Tractography Across Subjects 1-gen-2016 Nguyen, Thien Bao; Olivetti, Emanuele; Avesani, Paolo
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering 1-gen-2016 Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 1-gen-2016 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Model-Based Design of an Energy-System Embedded Controller Using Taste 1-gen-2016 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Model-based Player Experience Testing with Emotion Pattern Verification 1-gen-2023 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele
Model-Based Safety and Assessment 1-gen-2017 Bozzano, Marco; Papadopoulos, Yiannis
Model-Based Safety and Assessment 1-gen-2019 Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco
Modelling (Un)Bounded Beliefs 1-gen-1999 Ghidini, Chiara
Motivational Strategies for an Intelligent Chess Tutoring System 1-gen-2005 Lepri, Bruno; C., Rocchi; Zancanaro, Massimo
Movie Genre Classification by Exploiting MEG Brain Signals 1-gen-2015 Ghaemmaghami, Pouya; Abadi, Mojtaba Khomami; Kia, Seyed Mostafa; Avesani, Paolo; Sebe, Nicu
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols 1-gen-2020 Sinigaglia, Federico; Carbone, Roberto; Costa, Gabriele; Ranise, Silvio
Multi-layered Monitoring and Adaptation 1-gen-2011 S., Guinea; G., Kecskemeti; Marconi, Annapaola; B., Wetzstein
Multi-Task Learning for Interpretation of Brain Decoding Models 1-gen-2016 Kia, Seyed Mostafa; Vega Pons, Sandro; Olivetti, Emanuele; Avesani, Paolo
Multimodal Classification of Activities of Daily Living inside Smart Homes 1-gen-2009 V., Libal; B., Ramabhadran; Mana, Nadia; Pianesi, Fabio; Chippendale, Paul Ian; Lanz, Oswald; G., Potamianos
New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops 1-gen-2015 Vittorio, Murino; Enrico, Puppo; Sona, Diego; Marco, Cristani; Carlo, Sansone
Next generation flexible and cognitive heterogeneous optical networks: Supporting the evolution to the future internet 1-gen-2012 Tomkos, Ioannis; Angelou, Marianna; Durán Barroso, Ramón J.; de Miguel, Ignacio; Lorenzo Toledo, Rubén M.; Siracusa, Domenico; Salvadori, Elio; Tymecki, Andrzej; Ye, Yabin; Tafur Monroy, Idelfonso
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 1-gen-2022 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
Novel-View Human Action Synthesis 1-gen-2021 Lakhal, Mohamed Ilyes; Boscaini, Davide; Poiesi, Fabio; Lanz, Oswald; Cavallaro, Andrea
On Image Enhancement for Unsupervised Image Description and Matching 1-gen-2019 Lecca, Michela; Torresani, Alessandro; Remondino, Fabio
On Projectivity in Markov Logic Networks 1-gen-2023 Malhotra, Sagar; Serafini, Luciano
Mostrati risultati da 109 a 128 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