Sfoglia per Titolo
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling
2016-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2019-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interventi psicologici erogati da assistenti virtuali per promuovere il benessere mentale
2023-01-01 Fietta, Valentina; Rizzi, Silvia; Gios, Lorenzo; Chiara Pavesi, Maria; De Luca, Chiara; Gabrielli, Silvia; Monaro, Merylin; Navarin, Nicolò; Mayora, Oscar; Forti, Stefano
Intervista a Martha Nussbaum
2007-01-01 Costa, Paolo
Intorno a Les aveux de la chair di Michel Foucault. Intenzioni
2018-01-01 Alfieri, F.
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions
2017-01-01 Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria
Intra-frame techniques for high-dynamic range CMOS image sensors
2007-01-01 Vatteroni, Monica; Daniele, Covi; A., Sartori; Stoppa, David
Intra-Role Coordination Using Channeled Multicast
2003-01-01 Busetta, Paolo; Merzi, Mattia; Rossi, Silvia; Legras, Francois
Intra-role coordination using group communication: a preliminary report
2004-01-01 Busetta, Paolo; Merzi, Mattia; Rossi, Silvia; Legras, Francois
Intra-Role Coordination Using Group Communication: A Preliminary Report
2003-01-01 Busetta, Paolo; Merzi, Mattia; Rossi, Silvia; Legras, Francois
Intravenous Flecainide in atrial flutter. Acute test evaluation by on-line data analysis
1986-01-01 Marcello, Disertori; Giuseppe, Vergara; Giuseppe, Inama; M., Guarnerio; Kirchner, Michele; Renzo, Antolini; Francesco, Furlanello
Intrinsic defects and their influence on the chemical and optical properties of TiO2-x films
2010-01-01 Bensaada Laidani, Nadhira; P., Cheyssac; J., Perrière; Bartali, Ruben; Gottardi, Gloria; Luciu, Ioana; Micheli, Victor
Intrinsic generation time of the SARS-CoV-2 Omicron variant: An observational study of household transmission
2022-01-01 Manica, Mattia; De Bellis, Alfredo; Guzzetta, Giorgio; Mancuso, Pamela; Vicentini, Massimo; Venturelli, Francesco; Zerbini, Alessandro; Bisaccia, Eufemia; Litvinova, Maria; Menegale, Francesco; Molina Grane, Carla; Poletti, Piero; Marziano, Valentina; Zardini, Agnese; D'Andrea, Valeria; Trentini, Filippo; Bella, Antonino; Riccardo, Flavia; Pezzotti, Patrizio; Ajelli, Marco; Giorgi Rossi, Paolo; Merler, Stefano
Intrinsic Gettering in a CCD/CMOS Process
1994-01-01 Bellutti, Pierluigi; R., Bovo; Boscardin, Maurizio; Soncini, Giovanni; Zen, Mario; Zorzi, Nicola
Intrinsic high-T-c Josephson junctions in random-telegraph-noise fluctuators
1996-01-01 G., Jung; B., Savo; A., Vecchione; Bonaldi, Michele; S., Vitale
Intrinsic Josephson junctions and random telegraph voltage fluctuators in granular HTSC thin films
1995-01-01 G., Jung; B., Savo; A., Vecchione; Bonaldi, Michele; S., Vitale
Intrinsic magnetism and hyperthermia in bioactive Fe-doped hydroxyapatite
2012-01-01 Anna, Tampieri; Teresa, D’Alessandro; Monica, Sandri; Simone, Sprio; Elena, Landi; Luca, Bertinetti; Silvia, Panseri; Pepponi, Giancarlo; Joerg, Goettlicher; Manuel Bañobre, López; Jose, Rivas
Intrinsic Motivational Factors and the Intention to Use Adaptive Technology: Validation of a Causal Model
2007-01-01 Pianesi, Fabio; I., Graziola; Zancanaro, Massimo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling | 1-gen-2016 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. | |
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments | 1-gen-2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 1-gen-2019 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. | |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 1-gen-2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Interventi psicologici erogati da assistenti virtuali per promuovere il benessere mentale | 1-gen-2023 | Fietta, Valentina; Rizzi, Silvia; Gios, Lorenzo; Chiara Pavesi, Maria; De Luca, Chiara; Gabrielli, Silvia; Monaro, Merylin; Navarin, Nicolò; Mayora, Oscar; Forti, Stefano | |
Intervista a Martha Nussbaum | 1-gen-2007 | Costa, Paolo | |
Intorno a Les aveux de la chair di Michel Foucault. Intenzioni | 1-gen-2018 | Alfieri, F. | |
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions | 1-gen-2017 | Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria | |
Intra-frame techniques for high-dynamic range CMOS image sensors | 1-gen-2007 | Vatteroni, Monica; Daniele, Covi; A., Sartori; Stoppa, David | |
Intra-Role Coordination Using Channeled Multicast | 1-gen-2003 | Busetta, Paolo; Merzi, Mattia; Rossi, Silvia; Legras, Francois | |
Intra-role coordination using group communication: a preliminary report | 1-gen-2004 | Busetta, Paolo; Merzi, Mattia; Rossi, Silvia; Legras, Francois | |
Intra-Role Coordination Using Group Communication: A Preliminary Report | 1-gen-2003 | Busetta, Paolo; Merzi, Mattia; Rossi, Silvia; Legras, Francois | |
Intravenous Flecainide in atrial flutter. Acute test evaluation by on-line data analysis | 1-gen-1986 | Marcello, Disertori; Giuseppe, Vergara; Giuseppe, Inama; M., Guarnerio; Kirchner, Michele; Renzo, Antolini; Francesco, Furlanello | |
Intrinsic defects and their influence on the chemical and optical properties of TiO2-x films | 1-gen-2010 | Bensaada Laidani, Nadhira; P., Cheyssac; J., Perrière; Bartali, Ruben; Gottardi, Gloria; Luciu, Ioana; Micheli, Victor | |
Intrinsic generation time of the SARS-CoV-2 Omicron variant: An observational study of household transmission | 1-gen-2022 | Manica, Mattia; De Bellis, Alfredo; Guzzetta, Giorgio; Mancuso, Pamela; Vicentini, Massimo; Venturelli, Francesco; Zerbini, Alessandro; Bisaccia, Eufemia; Litvinova, Maria; Menegale, Francesco; Molina Grane, Carla; Poletti, Piero; Marziano, Valentina; Zardini, Agnese; D'Andrea, Valeria; Trentini, Filippo; Bella, Antonino; Riccardo, Flavia; Pezzotti, Patrizio; Ajelli, Marco; Giorgi Rossi, Paolo; Merler, Stefano | |
Intrinsic Gettering in a CCD/CMOS Process | 1-gen-1994 | Bellutti, Pierluigi; R., Bovo; Boscardin, Maurizio; Soncini, Giovanni; Zen, Mario; Zorzi, Nicola | |
Intrinsic high-T-c Josephson junctions in random-telegraph-noise fluctuators | 1-gen-1996 | G., Jung; B., Savo; A., Vecchione; Bonaldi, Michele; S., Vitale | |
Intrinsic Josephson junctions and random telegraph voltage fluctuators in granular HTSC thin films | 1-gen-1995 | G., Jung; B., Savo; A., Vecchione; Bonaldi, Michele; S., Vitale | |
Intrinsic magnetism and hyperthermia in bioactive Fe-doped hydroxyapatite | 1-gen-2012 | Anna, Tampieri; Teresa, D’Alessandro; Monica, Sandri; Simone, Sprio; Elena, Landi; Luca, Bertinetti; Silvia, Panseri; Pepponi, Giancarlo; Joerg, Goettlicher; Manuel Bañobre, López; Jose, Rivas | |
Intrinsic Motivational Factors and the Intention to Use Adaptive Technology: Validation of a Causal Model | 1-gen-2007 | Pianesi, Fabio; I., Graziola; Zancanaro, Massimo |
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