Sfoglia
On the convergence of adaptive first order methods: proximal gradient and alternating minimization algorithms
2024 Latafat, Puya; Themelis, Andreas; Patrinos, Panagiotis
A Logic for Policy Based Resource Exchanges in Multiagent Systems
2024 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
A Comparison of Hosting Techniques for Online Cybersecurity Competitions
2024 Maggioni, N.; Galletta, L.
A Netting Protocol for Liquidity-saving Automated Market Makers
2024 Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y.
A Policy Framework for Regulating External Calls in Smart Contracts
2025 Renieri, Margherita; Galletta, Letterio
Machine translation: early criticisms revisited
2024 Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan
Il diritto (globale) dello sport: problemi e prospettive
2024 Casini, L.
Simpson's proof systems for process verification: a fine-tuning (short paper)
2024 Perini Brogi, Cosimo; De Nicola, Rocco; Inverso, Omar
Systems Security Modeling and Analysis at IMT Lucca
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
2024 Maggesi, Marco; Perini Brogi, Cosimo
Analysing Collective Adaptive Systems by Proving Theorems
2024 Perini Brogi, Cosimo; Maggesi, Marco
Understanding Human Mobility Dynamics: Insights from Summarized Semantic Trajectories
2024 Pugliese, C.; Lettich, F.; Pinelli, F.; Renso, C.
Summarizing Trajectories Using Semantically Enriched Geographical Context
2023 Pugliese, Chiara; Lettich, Francesco; Pinelli, Fabio; Renso, Chiara
Explainable Ponzi Schemes Detection on Ethereum
2024 Galletta, Letterio; Pinelli, Fabio
Curvature-adapted remeshing of CAD surfaces
2014 Dassi, F.; Mola, A.; Si, H.
The role of images in cultural organizations’ non-financial reports
2024 Martello, D.; Dubini, P.; Monti, A.
Reporting accountability in cultural organizations
2024 Dubini, P.; Martello, D.; Monti, A.; Budelli, M. C.; Ceconello, I.
Neural time-reversed generalized Riccati equation
2024 Betti, Alessandro; Casoni, Michele; Gori, Marco; Marullo, Simone; Melacci, Stefano; Tiezzi, Matteo
Artificial Intelligence to Analyze Huge Amounts of Juridical Documents via Edge Computing
2023 Fulciniti, G; Kabli, A; Cannataro, M; Guardasole, G; Agapito, G
Challenges of creative work: Participation of comics creators in professional associations in Italy
2023 Tonga, Yesim; Leonardi, Francesca; Fino, Francesca; Quaianni Manuzzato, M.; Catoni, M. L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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, Alessandro; Casoni, Michele; Gori, Marco; Marullo, Simone; Melacci, Stefano; Tiezzi, Matteo | |
| Artificial Intelligence to Analyze Huge Amounts of Juridical Documents via Edge Computing | 1-gen-2023 | Fulciniti, G; Kabli, A; Cannataro, M; Guardasole, G; Agapito, G | |
| Challenges of creative work: Participation of comics creators in professional associations in Italy | 1-gen-2023 | Tonga, Yesim; Leonardi, Francesca; Fino, Francesca; Quaianni Manuzzato, M.; Catoni, M. L. |
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 ...1202
Data di pubblicazione
- In corso di stampa5
- 2020 - 2026320
- 2010 - 2019568
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE110
- Springer58
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery23
- IEEE Computer Society17
- Springer Verlag17
- Association for Computing Machine...11
- EURAM11
- CEUR-WS10
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...10
- 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 SCIENCE59
- IFAC-PAPERSONLINE23
- CEUR WORKSHOP PROCEEDINGS22
- PROCEEDINGS OF THE IEEE CONFERENC...22
- PROCEEDINGS OF THE ... IEEE CONFE...11
- COMMUNICATIONS IN COMPUTER AND IN...9
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES IN COMPUTER SCIENCE7
- LECTURE NOTES OF THE INSTITUTE FO...7
- PROCEEDINGS OF THE AMERICAN CONTR...6
Keyword
- Security12
- Machine learning10
- Cybersecurity9
- Deep Learning8
- Games7
- Malware7
- security7
- Blockchain6
- Uncertainty6
- Artificial intelligence5
Lingua
- eng886
- ita103
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext679
- reserved317
- open161
- partially open41
- mixed3
- embargoed1