Sfoglia per Titolo
Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming
2018-01-01 Munante, Denisse; Kifetew, Fitsum Meshesha; Gorronogoitia, Jesus; Schaniel, Ronnie; Perini, Anna; Susi, Angelo
A Model for an Innovative 5G-Oriented Architecture, Based on Small Cells Coordination for Multi-tenancy and Edge Services
2016-01-01 Chochliouros, I. P; I., Giannoulakis; T., Kourtis; M., Belesioti; E., Sfakianakis; A. S., Spiliopoulou; N., Bompetsis; E., Kafetzakis; Goratti, Leonardo; A., Dardamanis
A model for automatic selection of IoT services in ambient assisted living for the elderly
2023-01-01 Sabatucci, Luca; Cossentino, Massimo; Di Napoli, Claudia; Susi, Angelo
Model predictions and evaluation of mitigation measures for the 2009 H1N1 influenza pandemic in Italy
2010-01-01 Ajelli, Marco; Merler, Stefano; A., Pugliese; C., Rizzo
Model predictions and evaluation of possible control strategies for the 2009 A/H1N1v influenza pandemic in Italy
2011-01-01 Ajelli, Marco; Merler, Stefano; A., Pugliese; C., Rizzo
Model Selection Criteria for Acoustic Segmentation
2000-01-01 Cettolo, Mauro; Federico, Marcello
Model selection for power efficient analysis of measurement data
2006-01-01 A., Marconato; A., Boni; Caprile, Bruno Giovanni; D., Petri
Model Selection of Combined Neural Nets for Speech Recognition, Chapter 9
1999-01-01 Furlanello, Cesare; Giuliani, Diego; Merler, Stefano; Trentin, Edmondo
Model Theoretic Semantics for Information Integration
1998-01-01 Ghidini, Chiara; Serafini, Luciano
Model, Validation, and Characterization of a Robust Quantum Random Number Generator Based on Photon Arrival Time Comparison
2018-01-01 Tomasi, Alessandro; Meneghetti, Alessio; Massari, Nicola; Gasparini, Leonardo; Rucatti, Daniele; Xu, Hesong
Model-based Analysis Support for Dependable Complex Systems in CHESS
2021-01-01 Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 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
2009-01-01 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
2016-01-01 Fumanelli, Laura; Ajelli, Marco; Merler, Stefano; Ferguson, Neil M; Cauchemez, Simon
Model-Based Design of an Energy-System Embedded Controller Using Taste
2016-01-01 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Model-based evaluation of alternative reactive class closure strategies against COVID-19
2022-01-01 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
2023-01-01 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
2019-01-01 Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano
Model-Based Safety Analysis of Mode Transitions
2020-01-01 Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova
Model-Based Safety and Assessment
2017-01-01 Bozzano, Marco; Papadopoulos, Yiannis
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming | 1-gen-2018 | Munante, Denisse; Kifetew, Fitsum Meshesha; Gorronogoitia, Jesus; Schaniel, Ronnie; Perini, Anna; Susi, Angelo | |
A Model for an Innovative 5G-Oriented Architecture, Based on Small Cells Coordination for Multi-tenancy and Edge Services | 1-gen-2016 | Chochliouros, I. P; I., Giannoulakis; T., Kourtis; M., Belesioti; E., Sfakianakis; A. S., Spiliopoulou; N., Bompetsis; E., Kafetzakis; Goratti, Leonardo; A., Dardamanis | |
A model for automatic selection of IoT services in ambient assisted living for the elderly | 1-gen-2023 | Sabatucci, Luca; Cossentino, Massimo; Di Napoli, Claudia; Susi, Angelo | |
Model predictions and evaluation of mitigation measures for the 2009 H1N1 influenza pandemic in Italy | 1-gen-2010 | Ajelli, Marco; Merler, Stefano; A., Pugliese; C., Rizzo | |
Model predictions and evaluation of possible control strategies for the 2009 A/H1N1v influenza pandemic in Italy | 1-gen-2011 | Ajelli, Marco; Merler, Stefano; A., Pugliese; C., Rizzo | |
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 |
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