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.
A computational method to automatically detect the perceived origin of full-body human movement and its propagation
2020-01-01 Matthiopoulou, O; Bardy, B; Gnecco, G; Mottet, D; Sanguineti, M; Camurri, A
A Formal Proof of Modal Completeness for Provability Logic
2021-01-01 Maggesi, Marco; Perini Brogi, Cosimo
A forward-backward algorithm for decomposable semi-definite programs
2020-01-01 Fabiani, Filippo; Grammatico, Sergio
A NERD DOGMA: Introducing CTF to Non-Expert Audience
2020-01-01 Costa, Gabriele; Lualdi, Martina; Ribaudo, Marina; Valenza, Andrea
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Accumulating and Interacting. Artworks in Ancient Rome’s Public Spaces
2020-01-01 Poggio, Alessandro
Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variations
2020-01-01 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
2020-01-01 Rozza, G.; Malik, M. H.; Demo, N.; Tezzele, M.; Girfoglio, M.; Stabile, G.; Mola, A.
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 83
- 4 Contributo in Atti di Convegno ... 83
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