IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 181 a 200 di 1.250
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 181 a 200 di 1.250
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 ...1250
Autore
  • BEMPORAD, ALBERTO225
  • PIETRINI, PIETRO92
  • RICCIARDI, EMILIANO82
  • TRIBASTONE, MIRCO79
  • PAGGI, MARCO67
  • GALLETTA, LETTERIO52
  • Zanon, Mario48
  • GNECCO, GIORGIO STEFANO42
  • Marzi, Giacomo41
  • Bernardi, Giulio36
Data di pubblicazione
  • In corso di stampa9
  • 2020 - 2027361
  • 2010 - 2019571
  • 2000 - 2009266
  • 1990 - 199937
  • 1988 - 19896
Editore
  • IEEE111
  • Springer59
  • Institute of Electrical and Elect...38
  • Elsevier33
  • Association for Computing Machinery24
  • CEUR-WS20
  • Springer Nature18
  • IEEE Computer Society17
  • Springer Verlag17
  • Association for Computing Machine...12
Rivista
  • NEUROIMAGE25
  • LECTURE NOTES IN COMPUTER SCIENCE17
  • ELECTRONIC PROCEEDINGS IN THEORET...11
  • 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 SCIENCE68
  • CEUR WORKSHOP PROCEEDINGS38
  • IFAC-PAPERSONLINE23
  • 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
  • Cybersecurity13
  • Machine learning12
  • Security12
  • Deep Learning8
  • Artificial intelligence7
  • Games7
  • Machine Learning7
  • Malware7
  • security7
  • Blockchain6
Lingua
  • eng926
  • ita107
  • und80
  • por6
  • spa4
  • fre1
Accesso al fulltext
  • no fulltext686
  • reserved320
  • open194
  • partially open45
  • embargoed3
  • mixed2