Tra ellenocentrismo e iranocentrismo. Riflessioni sullo studio dell’Anatolia occidentale nel IV sec. a.C.
2018 Poggio, Alessandro
OltrePlinio: progetto interdisciplinare sulla Naturalis Historia, tra antico e moderno
2018 Adornato, Gianfranco; Falaschi, Eva; Poggio, Alessandro; Benotto, Giulia; Zitarosa, Romeo
Kernelized Identification of Linear Parameter-Varying Models with Linear Fractional Representation
2019 Mejari, Manas Dilip; Piga, Dario; Toth, R; Bemporad, A.
Practical Reinforcement Learning of Stabilizing Economic MPC
2019 Zanon, M.; Gros, S.; Bemporad, A.
Learning virtual sensors for estimating the scheduling signal of parameter-varying systems
2019 Masti, Daniele; Bernardini, D.; Bemporad, A.
Learning explicit binary warm starts for mixed-integer programming
2019 Masti, D.; Bemporad, A.
Maximum-a-posteriori estimation of jump Box-Jenkins models
2020 Breschi, V.; Piga, D.; Bemporad, A.
Synthesis of Feedback Controllers from Data via Optimal Policy Search and Stochastic Gradient Descent
2019 Ferrarotti, Laura; Bemporad, A.
Traversata di un Ventennio. Carlo Ludovico Ragghianti tra Bottai e Gentile
2019 Pellegrini, Emanuele
Adaptive filtering for removing nonstationary physiological noise from resting state fMRI BOLD signals
2011 Piaggi, P.; Menicucci, D.; Gentili, C.; Handjaras, G.; Laurino, M.; Piarulli, A.; Guazzelli, M.; Gemignani, A.; Landi, A.
Robust Declassification by Incremental Typing
2019 Busi, M.; Degano, P.; Galletta, L.
Using standard typing algorithms incrementally
2019 Busi, M.; Degano, P.; Galletta, L.
Tracking data trajectories in IoT
2019 Bodei, C.; Galletta, L.
La luna di Parmenide
2018 Cevolani, G
Filosofia delle decisioni razionali
2019 Cevolani, G.
Transcompiling firewalls
2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
Language-Independent Synthesis of Firewall Policies
2018 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Typing context-dependent behavioural variations
2013 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
A semantics for disciplined concurrency in COP
2016 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A brief tour of formally secure compilation
2019 Busi, Matteo; Galletta, Letterio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Tra ellenocentrismo e iranocentrismo. Riflessioni sullo studio dell’Anatolia occidentale nel IV sec. a.C. | 1-gen-2018 | Poggio, Alessandro | |
| 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 |
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 ...1156
Data di pubblicazione
- In corso di stampa2
- 2020 - 2026278
- 2010 - 2019567
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE104
- Springer57
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery21
- IEEE Computer Society17
- Springer Verlag17
- EURAM11
- CEUR-WS10
- Springer Science and Business Med...10
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 SCIENCE52
- IFAC-PAPERSONLINE23
- PROCEEDINGS OF THE IEEE CONFERENC...21
- CEUR WORKSHOP PROCEEDINGS18
- PROCEEDINGS OF THE ... IEEE CONFE...11
- 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
- Security9
- Games7
- Machine learning7
- security7
- Cybersecurity6
- Deep Learning6
- Uncertainty6
- IoT5
- Model predictive control5
- Nash equilibrium5
Lingua
- eng842
- ita101
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext677
- reserved301
- open141
- partially open37