CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishSfoglia AAA
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 705
| Titolo | Data di deposito | Autore(i) |
|---|---|---|
| Adaptive filtering for removing nonstationary physiological noise from resting state fMRI BOLD signals | 16-set-2019 | Piaggi, P.; Menicucci, D.; Gentili, C.; Handjaras, G.; Laurino, M.; Piarulli, A.; Guazzelli, M.; Gemignani, A.; Landi, A. |
| Robust Declassification by Incremental Typing | 2-set-2019 | Busi, M.; Degano, P.; Galletta, L. |
| Using standard typing algorithms incrementally | 2-set-2019 | Busi, M.; Degano, P.; Galletta, L. |
| Tracking data trajectories in IoT | 2-set-2019 | Bodei, C.; Galletta, L. |
| La luna di Parmenide | 2-set-2019 | Cevolani, G |
| Filosofia della scienza e teoria delle decisioni razionali | 2-set-2019 | Cevolani, G. |
| Transcompiling firewalls | 2-set-2019 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro |
| Language-Independent Synthesis of Firewall Policies | 2-set-2019 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo |
| Typing context-dependent behavioural variations | 2-set-2019 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca |
| A semantics for disciplined concurrency in COP | 2-set-2019 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio |
| A brief tour of formally secure compilation | 2-set-2019 | Busi, Matteo; Galletta, Letterio |
| From firewalls to functions and back | 2-set-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro |
| Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems | 2-set-2019 | Zacchia Lun, Yuriy; Abate, Alessandro; D'Innocenzo, Alessandro |
| Keywords dynamics in online social networks: a case-study from Twitter | 1-ago-2019 | Becatti, Carolina; Crimaldi, Irene; Saracco, Fabio |
| Facebook and the Real World: Correlations between Online and Offline Conversations | 20-lug-2019 | Celli, Fabio; Polonio, Luca |
| What your facebook profile picture reveals about your personality | 20-lug-2019 | Segalin, C.; Celli, F.; Polonio, L.; Kosinski, M.; Stillwell, D.; Sebe, N.; Cristani, M.; Lepri, B. |
| Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control | 16-lug-2019 | Alrish, Amal; Zacchia Lun, Yuriy; D'Innocenzo, Alessandro; Santucci, Fortunato |
| Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study | 12-lug-2019 | Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio |
| Effects of napping on impulse control | 12-lug-2019 | Rondelli, Monica; Di Galante, Marco; Banfi, Tommaso; D'Ascanio, Paola; Bernardi, Giulio; Bonanni, Enrica; Faraguna, Ugo |
| Spontaneous, localized EEG activations in REM sleep: a high-density EEG investigation | 12-lug-2019 | Betta, Monica; Bernardi, Giulio; Menicucci, Danilo; Haba-Rubio, Jose; Heinzer, Raphael; Gemignani, Angelo; Landi, Alberto; Tononi, Giulio; Siclari, Francesca |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 705
Scopri
Per tipologia
Data di pubblicazione
Per editore
Rivista
Keywords
Accesso al fulltext
- 570 no fulltext
- 127 reserved
- 7 open
- 1 partially open
Copyright © 2019