RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 83 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
A computational method to automatically detect the perceived origin of full-body human movement and its propagation 1-gen-2020 Matthiopoulou, O; Bardy, B; Gnecco, G; Mottet, D; Sanguineti, M; Camurri, A
A Formal Proof of Modal Completeness for Provability Logic 1-gen-2021 Maggesi, Marco; Perini Brogi, Cosimo
A forward-backward algorithm for decomposable semi-definite programs 1-gen-2020 Fabiani, Filippo; Grammatico, Sergio
A NERD DOGMA: Introducing CTF to Non-Expert Audience 1-gen-2020 Costa, Gabriele; Lualdi, Martina; Ribaudo, Marina; Valenza, Andrea
A True Concurrent Model of Smart Contracts Executions 1-gen-2020 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A type language for message passing component-based systems 1-gen-2020 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Accumulating and Interacting. Artworks in Ancient Rome’s Public Spaces 1-gen-2020 Poggio, Alessandro
Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variations 1-gen-2020 Mohamed, S.; Saraf, N.; Bernardini, D.; Goswami, D.; Basten, T.; Bemporad, A.
Advances in reduced order methods for parametric industrial problems in computational fluid dynamics 1-gen-2020 Rozza, G.; Malik, M. H.; Demo, N.; Tezzele, M.; Girfoglio, M.; Stabile, G.; Mola, A.
Analysing the Provenance of IoT Data 1-gen-2020 Bodei, Chiara; Galletta, Letterio
Risultati 1 - 10 di 83 (tempo di esecuzione: 0.011 secondi).
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ... 83
  • 4 Contributo in Atti di Convegno ... 83
Autore
  • BEMPORAD, ALBERTO 11
  • Zanon, Mario 9
  • GALLETTA, LETTERIO 8
  • TRIBASTONE, MIRCO 8
  • GNECCO, GIORGIO STEFANO 7
  • COSTA, GABRIELE 6
  • OLIVITO, RICCARDO 5
  • Fabiani, Filippo 4
  • Marzi, Giacomo 4
  • PELLEGRINI, EMANUELE 4
Data di pubblicazione
  • 2021 34
  • 2020 49
Editore
  • IEEE 11
  • Institute of Electrical and Elect... 7
  • Springer 7
  • Elsevier B.V. 4
  • CEUR-WS 3
  • Elsevier 3
  • American Institute of Physics 2
  • Association for Computing Machinery 2
  • Association for Computing Machine... 2
  • EURAM 2
Rivista
  • JOURNAL OF PHYSICS. CONFERENCE SE... 2
  • ELECTRONIC PROCEEDINGS IN THEORET... 1
  • PROCEEDINGS IN APPLIED MATHEMATIC... 1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 8
  • IFAC-PAPERSONLINE 7
  • PROCEEDINGS OF THE IEEE CONFERENC... 5
  • CEUR WORKSHOP PROCEEDINGS 3
  • PROCEEDINGS OF THE AMERICAN CONTR... 3
  • ... MEDITERRANEAN CONFERENCE ON C... 1
  • AIP CONFERENCE PROCEEDINGS 1
  • ARCHITECTURE HERITAGE AND DESIGN 1
  • COMMUNICATIONS IN COMPUTER AND IN... 1
  • EAI/SPRINGER INNOVATIONS IN COMMU... 1
Keyword
  • Machine learning 3
  • Bounded error identification 2
  • Costs 2
  • Fixed-point arithmetic 2
  • Model predictive control 2
  • Pompei 2
  • Praedia Iuliae Felicis 2
  • Predictive control 2
  • Program transformation 2
  • Reinforcement learning 2
Lingua
  • eng 64
  • ita 13
  • por 1
  • spa 1
Accesso al fulltext
  • reserved 38
  • open 19
  • no fulltext 16
  • partially open 10