OltrePlinio: progetto interdisciplinare sulla Naturalis Historia, tra antico e moderno
2018-01-01 Adornato, Gianfranco; Falaschi, Eva; Poggio, Alessandro; Benotto, Giulia; Zitarosa, Romeo
Kernelized Identification of Linear Parameter-Varying Models with Linear Fractional Representation
2019-01-01 Mejari, Manas Dilip; Piga, Dario; Toth, R; Bemporad, A.
Practical Reinforcement Learning of Stabilizing Economic MPC
2019-01-01 Zanon, M.; Gros, S.; Bemporad, A.
Learning virtual sensors for estimating the scheduling signal of parameter-varying systems
2019-01-01 Masti, Daniele; Bernardini, D.; Bemporad, A.
Learning explicit binary warm starts for mixed-integer programming
2019-01-01 Masti, D.; Bemporad, A.
Maximum-a-posteriori estimation of jump Box-Jenkins models
2020-01-01 Breschi, V.; Piga, D.; Bemporad, A.
Synthesis of Feedback Controllers from Data via Optimal Policy Search and Stochastic Gradient Descent
2019-01-01 Ferrarotti, Laura; Bemporad, A.
Traversata di un Ventennio. Carlo Ludovico Ragghianti tra Bottai e Gentile
2019-01-01 Pellegrini, Emanuele
Adaptive filtering for removing nonstationary physiological noise from resting state fMRI BOLD signals
2011-01-01 Piaggi, P.; Menicucci, D.; Gentili, C.; Handjaras, G.; Laurino, M.; Piarulli, A.; Guazzelli, M.; Gemignani, A.; Landi, A.
Robust Declassification by Incremental Typing
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
Using standard typing algorithms incrementally
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
Tracking data trajectories in IoT
2019-01-01 Bodei, C.; Galletta, L.
La luna di Parmenide
2018-01-01 Cevolani, G
Filosofia delle decisioni razionali
2019-01-01 Cevolani, G.
Transcompiling firewalls
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
Language-Independent Synthesis of Firewall Policies
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Typing context-dependent behavioural variations
2013-01-01 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
A semantics for disciplined concurrency in COP
2016-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A brief tour of formally secure compilation
2019-01-01 Busi, Matteo; Galletta, Letterio
From firewalls to functions and back
2019-01-01 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
OltrePlinio: progetto interdisciplinare sulla Naturalis Historia, tra antico e moderno | 1-gen-2018 | Adornato, Gianfranco; Falaschi, Eva; Poggio, Alessandro; Benotto, Giulia; Zitarosa, Romeo | |
Kernelized Identification of Linear Parameter-Varying Models with Linear Fractional Representation | 1-gen-2019 | Mejari, Manas Dilip; Piga, Dario; Toth, R; Bemporad, A. | |
Practical Reinforcement Learning of Stabilizing Economic MPC | 1-gen-2019 | Zanon, M.; Gros, S.; Bemporad, A. | |
Learning virtual sensors for estimating the scheduling signal of parameter-varying systems | 1-gen-2019 | Masti, Daniele; Bernardini, D.; Bemporad, A. | |
Learning explicit binary warm starts for mixed-integer programming | 1-gen-2019 | Masti, D.; Bemporad, A. | |
Maximum-a-posteriori estimation of jump Box-Jenkins models | 1-gen-2020 | Breschi, V.; Piga, D.; Bemporad, A. | |
Synthesis of Feedback Controllers from Data via Optimal Policy Search and Stochastic Gradient Descent | 1-gen-2019 | Ferrarotti, Laura; Bemporad, A. | |
Traversata di un Ventennio. Carlo Ludovico Ragghianti tra Bottai e Gentile | 1-gen-2019 | Pellegrini, Emanuele | |
Adaptive filtering for removing nonstationary physiological noise from resting state fMRI BOLD signals | 1-gen-2011 | Piaggi, P.; Menicucci, D.; Gentili, C.; Handjaras, G.; Laurino, M.; Piarulli, A.; Guazzelli, M.; Gemignani, A.; Landi, A. | |
Robust Declassification by Incremental Typing | 1-gen-2019 | Busi, M.; Degano, P.; Galletta, L. | |
Using standard typing algorithms incrementally | 1-gen-2019 | Busi, M.; Degano, P.; Galletta, L. | |
Tracking data trajectories in IoT | 1-gen-2019 | Bodei, C.; Galletta, L. | |
La luna di Parmenide | 1-gen-2018 | Cevolani, G | |
Filosofia delle decisioni razionali | 1-gen-2019 | Cevolani, G. | |
Transcompiling firewalls | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro | |
Language-Independent Synthesis of Firewall Policies | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo | |
Typing context-dependent behavioural variations | 1-gen-2013 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca | |
A semantics for disciplined concurrency in COP | 1-gen-2016 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
A brief tour of formally secure compilation | 1-gen-2019 | Busi, Matteo; Galletta, Letterio | |
From firewalls to functions and back | 1-gen-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1075
Data di pubblicazione
- In corso di stampa2
- 2020 - 2025203
- 2010 - 2019561
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE101
- Springer54
- Institute of Electrical and Elect...34
- Elsevier33
- Association for Computing Machinery18
- Springer Verlag17
- IEEE Computer Society14
- EURAM11
- CEUR-WS8
- Springer Science and Business Med...8
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...9
- LECTURE NOTES IN COMPUTER SCIENCE6
- SLEEP6
- ENERGY PROCEDIA5
- PROCEEDINGS OF THE IEEE CONFERENC...5
- CEUR WORKSHOP PROCEEDINGS4
- JOURNAL OF SLEEP RESEARCH4
- LECTURE NOTES IN APPLIED AND COMP...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE41
- IFAC-PAPERSONLINE22
- PROCEEDINGS OF THE IEEE CONFERENC...21
- PROCEEDINGS OF THE ... IEEE CONFE...11
- CEUR WORKSHOP PROCEEDINGS9
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES OF THE INSTITUTE FO...7
- COMMUNICATIONS IN COMPUTER AND IN...6
- PROCEEDINGS OF THE AMERICAN CONTR...6
- COMPUTER-AIDED CHEMICAL ENGINEERING5
Keyword
- Games7
- security7
- Security6
- Uncertainty6
- Model predictive control5
- Nash equilibrium5
- Software5
- Boundary element method4
- Computer Science (all)4
- Electron tubes4
Lingua
- eng771
- ita94
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext675
- reserved268
- open104
- partially open28