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 comparison between the Extended Kalman Filter and a Minimum-Energy Filter in the TSE(2) case
2021-01-01 Rigo, Damiano; Sansonetto, Nicola; Muradore, Riccardo
A computable and compositional semantics for hybrid automata
2020-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures
2021-01-01 Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola
A containerized ROS-compliant verification environment for robotic systems
2021-01-01 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
A context-based approach for partitioning big data
2020-01-01 Migliorini, S.; Belussi, A.; Quintarelli, E.; Carra, D.
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems
2022-01-01 Lora, Michele; Nuzzo, Pierluigi
A Decidable Multi-agent Logic forReasoning About Actions, Instruments, and Norms
2020-01-01 van Berkel, K; Lyon, T; Olivieri, F
A deep generative multimodal imaging genomics framework for Alzheimer's disease prediction
2022-01-01 Dolci, Giorgio; Abdur Rahaman, Md; Chen, Jiayu; Duan, Kuaikuai; Fu, Zening; Abrol, Anees; Menegaz, Gloria; Calhoun, Vince D.
A deep learning unsupervised approach for fault diagnosis of household appliances
2020-01-01 Cordoni, Francesco Giuseppe; Bacchiega, Gianluca; Bondani, Giulio; Radu, Robert; Muradore, Riccardo
A Design Methodology of Multi-level Digital Twins
2021-01-01 Centomo, Stefano; Avogaro, Andrea; Panato, Marco; Tadiello, Carlo; Fummi, Franco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A comparison between the Extended Kalman Filter and a Minimum-Energy Filter in the TSE(2) case | 1-gen-2021 | Rigo, Damiano; Sansonetto, Nicola; Muradore, Riccardo | |
A computable and compositional semantics for hybrid automata | 1-gen-2020 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja | |
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures | 1-gen-2021 | Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola | |
A containerized ROS-compliant verification environment for robotic systems | 1-gen-2021 | Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G. | |
A context-based approach for partitioning big data | 1-gen-2020 | Migliorini, S.; Belussi, A.; Quintarelli, E.; Carra, D. | |
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems | 1-gen-2022 | Lora, Michele; Nuzzo, Pierluigi | |
A Decidable Multi-agent Logic forReasoning About Actions, Instruments, and Norms | 1-gen-2020 | van Berkel, K; Lyon, T; Olivieri, F | |
A deep generative multimodal imaging genomics framework for Alzheimer's disease prediction | 1-gen-2022 | Dolci, Giorgio; Abdur Rahaman, Md; Chen, Jiayu; Duan, Kuaikuai; Fu, Zening; Abrol, Anees; Menegaz, Gloria; Calhoun, Vince D. | |
A deep learning unsupervised approach for fault diagnosis of household appliances | 1-gen-2020 | Cordoni, Francesco Giuseppe; Bacchiega, Gianluca; Bondani, Giulio; Radu, Robert; Muradore, Riccardo | |
A Design Methodology of Multi-level Digital Twins | 1-gen-2021 | Centomo, Stefano; Avogaro, Andrea; Panato, Marco; Tadiello, Carlo; Fummi, Franco |
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
- 04 Contributo in atti di convegno 647
- 04 Contributo in atti di convegno... 647
Data di pubblicazione
- 2022 224
- 2021 232
- 2020 191
Editore
- IEEE 36
- IEEE COMPUTER SOC 14
- SPRINGER INTERNATIONAL PUBLISHING AG 13
- Springer 9
- ASSOC COMPUTING MACHINERY 5
- CEUR 4
- inScience Press 4
- Pisa University Press 4
- Società Italiana Marketing 4
- Adi editore 3
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL... 8
- ELECTRONIC PROCEEDINGS IN THEORET... 3
- PROCEDIA COMPUTER SCIENCE 3
- ATTI E MEMORIE DELL'ACCADEMIA DI ... 1
- E3S WEB OF CONFERENCES 1
- EUROPEAN HEART JOURNAL 1
- JOURNAL OF THE PERIPHERAL NERVOUS... 1
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 1
- LIRDEF 1
- PROCEEDINGS - ACM-SIGMOD INTERNAT... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 29
- LECTURE NOTES IN ARTIFICIAL INTEL... 22
- CEUR WORKSHOP PROCEEDINGS 19
- ICERI PROCEEDINGS 5
- INTERNATIONAL CONFERENCE ON PATTE... 5
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 5
- PROCEEDINGS OF THE ... IEEE/RSJ I... 5
- ADVANCES IN INTELLIGENT SYSTEMS A... 3
- ANNUAL INTERNATIONAL CONFERENCE O... 3
- EPIC SERIES IN COMPUTING 3
Keyword
- machine learning 9
- POMCP 9
- data management 7
- Explainable AI 7
- Static analysis 7
- Burrows-Wheeler-Transform 6
- Fault modeling 6
- Abstract interpretation 5
- COVID-19 5
- Covid-19 5
Lingua
- eng 533
- ita 100
- fre 6
- spa 6
- rus 2
- afh 1
- enm 1
Accesso al fulltext
- no fulltext 383
- open 125
- restricted 115
- reserved 24