IRIS Institutional Research Information System

Sfoglia per Titolo

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 11.071 a 11.090 di 19.176
Titolo Data di pubblicazione Autore(i) File
Model Selection Criteria for Acoustic Segmentation 1-gen-2000 Cettolo, Mauro; Federico, Marcello
Model selection for power efficient analysis of measurement data 1-gen-2006 A., Marconato; A., Boni; Caprile, Bruno Giovanni; D., Petri
Model Selection of Combined Neural Nets for Speech Recognition, Chapter 9 1-gen-1999 Furlanello, Cesare; Giuliani, Diego; Merler, Stefano; Trentin, Edmondo
Model Theoretic Semantics for Information Integration 1-gen-1998 Ghidini, Chiara; Serafini, Luciano
Model, Validation, and Characterization of a Robust Quantum Random Number Generator Based on Photon Arrival Time Comparison 1-gen-2018 Tomasi, Alessandro; Meneghetti, Alessio; Massari, Nicola; Gasparini, Leonardo; Rucatti, Daniele; Xu, Hesong
Model-based Analysis Support for Dependable Complex Systems in CHESS 1-gen-2021 Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 1-gen-2020 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Model-Based Codesign of Critical Embedded Systems 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
Model-Based Comprehensive Analysis of School Closure Policies for Mitigating Influenza Epidemics and Pandemics 1-gen-2016 Fumanelli, Laura; Ajelli, Marco; Merler, Stefano; Ferguson, Neil M; Cauchemez, Simon
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 evaluation of alternative reactive class closure strategies against COVID-19 1-gen-2022 Liu, Quan-Hui; Zhang, Juanjuan; Peng, Cheng; Litvinova, Maria; Huang, Shudong; Poletti, Piero; Trentini, Filippo; Guzzetta, Giorgio; Marziano, Valentina; Zhou, Tao; Viboud, Cecile; Bento, Ana I; Lv, Jiancheng; Vespignani, Alessandro; Merler, Stefano; Yu, Hongjie; Ajelli, Marco
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 Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems 1-gen-2019 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Model-Based Safety Analysis of Mode Transitions 1-gen-2020 Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova
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
Model-based Safety Assessment of a Triple Modular Generator with XSAP 1-gen-2021 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian
A Model-based Security Toolkit for the Internet of Things 1-gen-2014 Neisse, Ricardo; Nai Fovino, Igor; Baldini, Gianmarco; Vera, Stavroulaki; Panagiotis, Vlacheas; Giaffreda, Raffaele
Model-Checking Driven Security Testing of Web-Based Applications 1-gen-2010 Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino
Model-checking memory requirements of resource-bounded reasoners 1-gen-2006 Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano
Mostrati risultati da 11.071 a 11.090 di 19.176
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