Sfoglia
An LMI-based controller for the glucose-insulin system
2015-01-01 Latafat, P.; Palumbo, P.; Pepe, P.; Kovacs, L.; Panunzi, S.; De Gaetano, A.
Neural network training as an optimal control problem: An augmented Lagrangian approach
2021-01-01 Evens, B.; Latafat, P.; Themelis, A.; Suykens, J.; Patrinos, P.
Multi-agent structured optimization over message-passing architectures with bounded communication delays
2018-01-01 Latafat, P.; Patrinos, P.
New primal-dual proximal algorithm for distributed optimization
2016-01-01 Latafat, P.; Stella, L.; Patrinos, P.
Escaping limit cycles: Global convergence for constrained nonconvex-nonconcave minimax problems
2022-01-01 Pethick, T; Latafat, P; Patrinos, P; Fercoq, O; Cevher, V
Adaptive proximal gradient methods are universal without approximation
2024-01-01 Oikonomidis, Konstantinos; Laude, Emanuel; Latafat, Puya; Themelis, Andreas; Patrinos, Panagiotis
Solving stochastic weak Minty variational inequalities without increasing batch size
2023-01-01 Pethick, T; Fercoq, O; Latafat, P; Patrinos, P; Cevher, V
On the convergence of adaptive first order methods: proximal gradient and alternating minimization algorithms
2024-01-01 Latafat, Puya; Themelis, Andreas; Patrinos, Panagiotis
A Logic for Policy Based Resource Exchanges in Multiagent Systems
2024-01-01 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
A Comparison of Hosting Techniques for Online Cybersecurity Competitions
2024-01-01 Maggioni, N.; Galletta, L.
A Netting Protocol for Liquidity-saving Automated Market Makers
2024-01-01 Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y.
A Policy Framework for Regulating External Calls in Smart Contracts
2025-01-01 Renieri, Margherita; Galletta, Letterio
Machine Translation: Early Criticisms Revisited
2024-01-01 Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan
Il diritto (globale) dello sport: problemi e prospettive
2024-01-01 Casini, L.
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper)
2024-01-01 Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar
Systems Security Modeling and Analysis at IMT Lucca
2024-01-01 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024-01-01 Maggesi, Marco; Perini Brogi, Cosimo
Analysing Collective Adaptive Systems by Proving Theorems
2024-01-01 Perini Brogi, Cosimo; Maggesi, Marco
Understanding Human Mobility Dynamics: Insights from Summarized Semantic Trajectories
2024-01-01 Pugliese, C.; Lettich, F.; Pinelli, F.; Renso, C.
Summarizing Trajectories Using Semantically Enriched Geographical Context
2023-01-01 Pugliese, Chiara; Lettich, Francesco; Pinelli, Fabio; Renso, Chiara
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An LMI-based controller for the glucose-insulin system | 1-gen-2015 | Latafat, P.; Palumbo, P.; Pepe, P.; Kovacs, L.; Panunzi, S.; De Gaetano, A. | |
| Neural network training as an optimal control problem: An augmented Lagrangian approach | 1-gen-2021 | Evens, B.; Latafat, P.; Themelis, A.; Suykens, J.; Patrinos, P. | |
| Multi-agent structured optimization over message-passing architectures with bounded communication delays | 1-gen-2018 | Latafat, P.; Patrinos, P. | |
| New primal-dual proximal algorithm for distributed optimization | 1-gen-2016 | Latafat, P.; Stella, L.; Patrinos, P. | |
| Escaping limit cycles: Global convergence for constrained nonconvex-nonconcave minimax problems | 1-gen-2022 | Pethick, T; Latafat, P; Patrinos, P; Fercoq, O; Cevher, V | |
| Adaptive proximal gradient methods are universal without approximation | 1-gen-2024 | Oikonomidis, Konstantinos; Laude, Emanuel; Latafat, Puya; Themelis, Andreas; Patrinos, Panagiotis | |
| Solving stochastic weak Minty variational inequalities without increasing batch size | 1-gen-2023 | Pethick, T; Fercoq, O; Latafat, P; Patrinos, P; Cevher, V | |
| On the convergence of adaptive first order methods: proximal gradient and alternating minimization algorithms | 1-gen-2024 | Latafat, Puya; Themelis, Andreas; Patrinos, Panagiotis | |
| A Logic for Policy Based Resource Exchanges in Multiagent Systems | 1-gen-2024 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca | |
| A Comparison of Hosting Techniques for Online Cybersecurity Competitions | 1-gen-2024 | Maggioni, N.; Galletta, L. | |
| A Netting Protocol for Liquidity-saving Automated Market Makers | 1-gen-2024 | Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y. | |
| A Policy Framework for Regulating External Calls in Smart Contracts | 1-gen-2025 | Renieri, Margherita; Galletta, Letterio | |
| Machine Translation: Early Criticisms Revisited | 1-gen-2024 | Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan | |
| Il diritto (globale) dello sport: problemi e prospettive | 1-gen-2024 | Casini, L. | |
| Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) | 1-gen-2024 | Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar | |
| Systems Security Modeling and Analysis at IMT Lucca | 1-gen-2024 | Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella | |
| Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic | 1-gen-2024 | Maggesi, Marco; Perini Brogi, Cosimo | |
| Analysing Collective Adaptive Systems by Proving Theorems | 1-gen-2024 | Perini Brogi, Cosimo; Maggesi, Marco | |
| Understanding Human Mobility Dynamics: Insights from Summarized Semantic Trajectories | 1-gen-2024 | Pugliese, C.; Lettich, F.; Pinelli, F.; Renso, C. | |
| Summarizing Trajectories Using Semantically Enriched Geographical Context | 1-gen-2023 | Pugliese, Chiara; Lettich, Francesco; Pinelli, Fabio; Renso, Chiara |
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 ...1069
Data di pubblicazione
- In corso di stampa2
- 2020 - 2025197
- 2010 - 2019561
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE101
- Springer52
- Institute of Electrical and Elect...34
- Elsevier33
- Association for Computing Machinery17
- Springer Verlag17
- IEEE Computer Society14
- EURAM11
- CEUR-WS8
- Elsevier B.V.7
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
- PROCEEDINGS OF THE AMERICAN CONTR...6
- COMMUNICATIONS IN COMPUTER AND IN...5
- COMPUTER-AIDED CHEMICAL ENGINEERING5
- LECTURE NOTES OF THE INSTITUTE FO...5
Keyword
- Games7
- security7
- Security6
- Uncertainty6
- Model predictive control5
- Nash equilibrium5
- Software5
- Boundary element method4
- Computer Science (all)4
- Electron tubes4
Lingua
- eng765
- ita94
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext670
- reserved268
- open103
- partially open28