Sfoglia
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
Explainable Ponzi Schemes Detection on Ethereum
2024-01-01 Galletta, Letterio; Pinelli, Fabio
Curvature-adapted remeshing of CAD surfaces
2014-01-01 Dassi, F.; Mola, A.; Si, H.
The role of images in cultural organizations’ non-financial reports
2024-01-01 Martello, D.; Dubini, P.; Monti, A.
Reporting accountability in cultural organizations
2024-01-01 Dubini, P.; Martello, D.; Monti, A.; Budelli, M. C.; Ceconello, I.
Neural Time-Reversed Generalized Riccati Equation
2024-01-01 Betti, A.; Casoni, M.; Gori, M.; Marullo, S.; Melacci, S.; Tiezzi, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Explainable Ponzi Schemes Detection on Ethereum | 1-gen-2024 | Galletta, Letterio; Pinelli, Fabio | |
| Curvature-adapted remeshing of CAD surfaces | 1-gen-2014 | Dassi, F.; Mola, A.; Si, H. | |
| The role of images in cultural organizations’ non-financial reports | 1-gen-2024 | Martello, D.; Dubini, P.; Monti, A. | |
| Reporting accountability in cultural organizations | 1-gen-2024 | Dubini, P.; Martello, D.; Monti, A.; Budelli, M. C.; Ceconello, I. | |
| Neural Time-Reversed Generalized Riccati Equation | 1-gen-2024 | Betti, A.; Casoni, M.; Gori, M.; Marullo, S.; Melacci, S.; Tiezzi, M. |
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 ...1084
Data di pubblicazione
- In corso di stampa2
- 2020 - 2025212
- 2010 - 2019561
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE102
- Springer55
- Institute of Electrical and Elect...34
- Elsevier33
- Association for Computing Machinery19
- Springer Verlag17
- IEEE Computer Society14
- EURAM11
- Springer Science and Business Med...9
- CEUR-WS8
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 SCIENCE42
- 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
- eng779
- ita95
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext678
- reserved270
- open108
- partially open28