IRIS

4.1 Contributo in Atti di convegno: [1128] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 1.128
Titolo Data di pubblicazione Autore(i) File
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
Explainable Ponzi Schemes Detection on Ethereum 1-gen-2024 Galletta, Letterio; Pinelli, Fabio
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 1.128
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 ...1128
Autore
  • BEMPORAD, ALBERTO224
  • PIETRINI, PIETRO92
  • RICCIARDI, EMILIANO82
  • TRIBASTONE, MIRCO75
  • PAGGI, MARCO66
  • GALLETTA, LETTERIO47
  • Zanon, Mario46
  • Marzi, Giacomo41
  • Bernardi, Giulio36
  • GNECCO, GIORGIO STEFANO33
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 2025250
  • 2010 - 2019567
  • 2000 - 2009266
  • 1990 - 199937
  • 1988 - 19896
Editore
  • IEEE104
  • Springer56
  • Institute of Electrical and Elect...34
  • Elsevier33
  • Association for Computing Machinery20
  • Springer Verlag17
  • IEEE Computer Society15
  • EURAM11
  • Springer Science and Business Med...10
  • Association for Computing Machine...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 SCIENCE50
  • IFAC-PAPERSONLINE22
  • PROCEEDINGS OF THE IEEE CONFERENC...21
  • CEUR WORKSHOP PROCEEDINGS12
  • 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
  • Games7
  • security7
  • Machine learning6
  • Security6
  • Uncertainty6
  • Model predictive control5
  • Nash equilibrium5
  • Optimization5
  • Software5
  • Boundary element method4
Lingua
  • eng817
  • ita99
  • und80
  • por6
  • spa4
  • fre1
Accesso al fulltext
  • no fulltext676
  • reserved297
  • open123
  • partially open32