Sfoglia per Titolo
Two distinct synchronization processes in the transition to sleep: A high-density electroencephalographic study
2014-01-01 Siclari, Francesca; Bernardi, Giulio; Riedner, Brady A.; Larocque, Joshua J.; Benca, Ruth M.; Tononi, Giulio
Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study
2014-01-01 Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio
Two inequalities for conditional expectations and convergence results for filters
2005-01-01 Crimaldi, I; Pratelli, L
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Two-time-scale MPC for economically optimal real-time operation of balance responsible parties
2012-01-01 Patrinos, Panagiotis; Bernardini, D; Maffei, A; Jokic, A; Bemporad, A
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Type-based access control in data-centric systems
2011-01-01 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
Types as Specifications of Access Policies
1999-01-01 DE NICOLA, R; R., Pugliese; G., Ferrari
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Types in concurrency - Editorial of the Special Issue
2005-01-01 DE NICOLA, R; Sangiorgi, D.
Types of Leadership in a String Quartet
2013-01-01 Dardard, F; Gnecco, G; Glowinski, D
Typing component-based communication systems
2009-01-01 Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Typing Context-Dependent Behavioural Variation
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Typing context-dependent behavioural variations
2013-01-01 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
Typing liveness in multiparty communicating systems
2014-01-01 Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Typing progress in communication-centred systems
2013-01-01 MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos
Ṯābit Ibn Qurra's Concise Exposition of the Metaphysics: Text, Translation and Commentary
2009-01-01 Reisman, D C; Bertolacci, A
U-Limb: A multi-modal, multi-center database on arm motion control in healthy and post-stroke conditions
2021-01-01 Averta, Giuseppe; Barontini, Federica; Catrambone, Vincenzo; Haddadin, Sami; Handjaras, Giacomo; Held, Jeremia P O; Hu, Tingli; Jakubowitz, Eike; Kanzler, Christoph M; Kühn, Johannes; Lambercy, Olivier; Leo, Andrea; Obermeier, Alina; Ricciardi, Emiliano; Schwarz, Anne; Valenza, Gaetano; Bicchi, Antonio; Bianchi, Matteo
Ugo Montanari in a Nutshell
2008-01-01 DE NICOLA, R; P., Degano; J., Meseguer
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Two distinct synchronization processes in the transition to sleep: A high-density electroencephalographic study | 1-gen-2014 | Siclari, Francesca; Bernardi, Giulio; Riedner, Brady A.; Larocque, Joshua J.; Benca, Ruth M.; Tononi, Giulio | |
| Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study | 1-gen-2014 | Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio | |
| Two inequalities for conditional expectations and convergence results for filters | 1-gen-2005 | Crimaldi, I; Pratelli, L | |
| A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
| Two-time-scale MPC for economically optimal real-time operation of balance responsible parties | 1-gen-2012 | Patrinos, Panagiotis; Bernardini, D; Maffei, A; Jokic, A; Bemporad, A | |
| A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio | |
| Type-based access control in data-centric systems | 1-gen-2011 | Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão | |
| Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
| Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. | |
| Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
| Types in concurrency - Editorial of the Special Issue | 1-gen-2005 | DE NICOLA, R; Sangiorgi, D. | |
| Types of Leadership in a String Quartet | 1-gen-2013 | Dardard, F; Gnecco, G; Glowinski, D | |
| Typing component-based communication systems | 1-gen-2009 | Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
| Typing Context-Dependent Behavioural Variation | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
| Typing context-dependent behavioural variations | 1-gen-2013 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca | |
| Typing liveness in multiparty communicating systems | 1-gen-2014 | Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H | |
| Typing progress in communication-centred systems | 1-gen-2013 | MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos | |
| Ṯābit Ibn Qurra's Concise Exposition of the Metaphysics: Text, Translation and Commentary | 1-gen-2009 | Reisman, D C; Bertolacci, A | |
| U-Limb: A multi-modal, multi-center database on arm motion control in healthy and post-stroke conditions | 1-gen-2021 | Averta, Giuseppe; Barontini, Federica; Catrambone, Vincenzo; Haddadin, Sami; Handjaras, Giacomo; Held, Jeremia P O; Hu, Tingli; Jakubowitz, Eike; Kanzler, Christoph M; Kühn, Johannes; Lambercy, Olivier; Leo, Andrea; Obermeier, Alina; Ricciardi, Emiliano; Schwarz, Anne; Valenza, Gaetano; Bicchi, Antonio; Bianchi, Matteo | |
| Ugo Montanari in a Nutshell | 1-gen-2008 | DE NICOLA, R; P., Degano; J., Meseguer |
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