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.
An Ontology-Based Coaching Solution for Increasing Self-Awareness of Own Functional Status
2021-01-01 Dragoni, Mauro; Bailoni, Tania; Martin, Jean-Claude; Lindgren, Helena; Guerrero Rosero, Esteban
Reverse engineering with P-stable Abstractions
2021-01-01 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
A portable opto-acoustic survey solution for mapping of underwater targets
2021-01-01 Chemisky, B.; Nocerino, E.; Menna, F.; Nawaf, M. M.; Drap, P.
Benchmarking Constrained IoT Devices in Blockchain-Based Agri-Food Traceability Applications
2021-01-01 Pincheira, Miguel; Vecchio, Massimo; Giaffreda, Raffaele
Overview of the Interspeech TLT2020 Shared Task onASR for Non-Native Children’s Speech
2020-01-01 Gretter, Roberto; Matassoni, Marco; Falavigna, Giuseppe Daniele; Evanini, Keelan; Wee Leong, Chee
Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead
2021-01-01 Bucchiarone, Antonio; Cicchetti, Antonio; Bencomo, Nelly; Loria, Enrica; Marconi, Annapaola
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Designing for/with/around Nature: Exploring new Frontiers of Outdoor-related HCI
2021-01-01 Mencarini, Eleonora; Rapp, Amon; Tonolli, Linda; Teli, Maurizio; Cibin, Roberto; D'Andrea, Vincenzo; Zancanaro, Massimo
Thin low-gain avalanche detectors for particle therapy applications
2020-01-01 Vignati, A.; Donetti, M.; Fausti, F.; Ferrero, M.; Giordanengo, S.; Hammad Ali, O.; Mart Villarreal, O. A.; Mas Milian, F.; Mazza, G.; Monaco, V.; Sacchi, R.; Shakarami, Z.; Sola, V.; Staiano, A.; Tommasino, F.; Verroi, E.; Wheadon, R.; Cirio, R.
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Ontology-Based Coaching Solution for Increasing Self-Awareness of Own Functional Status | 1-gen-2021 | Dragoni, Mauro; Bailoni, Tania; Martin, Jean-Claude; Lindgren, Helena; Guerrero Rosero, Esteban | |
| Reverse engineering with P-stable Abstractions | 1-gen-2021 | Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea | |
| A portable opto-acoustic survey solution for mapping of underwater targets | 1-gen-2021 | Chemisky, B.; Nocerino, E.; Menna, F.; Nawaf, M. M.; Drap, P. | |
| Benchmarking Constrained IoT Devices in Blockchain-Based Agri-Food Traceability Applications | 1-gen-2021 | Pincheira, Miguel; Vecchio, Massimo; Giaffreda, Raffaele | |
| Overview of the Interspeech TLT2020 Shared Task onASR for Non-Native Children’s Speech | 1-gen-2020 | Gretter, Roberto; Matassoni, Marco; Falavigna, Giuseppe Daniele; Evanini, Keelan; Wee Leong, Chee | |
| Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead | 1-gen-2021 | Bucchiarone, Antonio; Cicchetti, Antonio; Bencomo, Nelly; Loria, Enrica; Marconi, Annapaola | |
| Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis | 1-gen-2021 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| Designing for/with/around Nature: Exploring new Frontiers of Outdoor-related HCI | 1-gen-2021 | Mencarini, Eleonora; Rapp, Amon; Tonolli, Linda; Teli, Maurizio; Cibin, Roberto; D'Andrea, Vincenzo; Zancanaro, Massimo | |
| Thin low-gain avalanche detectors for particle therapy applications | 1-gen-2020 | Vignati, A.; Donetti, M.; Fausti, F.; Ferrero, M.; Giordanengo, S.; Hammad Ali, O.; Mart Villarreal, O. A.; Mas Milian, F.; Mazza, G.; Monaco, V.; Sacchi, R.; Shakarami, Z.; Sola, V.; Staiano, A.; Tommasino, F.; Verroi, E.; Wheadon, R.; Cirio, R. | |
| Expressiveness of Extended Bounded Response LTL | 1-gen-2021 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano |
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 ... 464
- 4 Contributo in Atti di Convegno ... 423
- 4 Contributo in Atti di Convegno ... 35
- 4 Contributo in Atti di Convegno ... 6
Data di pubblicazione
- 2021 223
- 2020 241
Editore
- IEEE 31
- Springer 16
- CEUR-WS.org 13
- Association for Computational Lin... 12
- ACM 6
- European Language Resources Assoc... 5
- AAAI Press 4
- European Language Resources Assoc... 4
- SPIE 4
- Schloss Dagstuhl -- Leibniz-Zentr... 3
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO... 14
- MEETING ABSTRACTS 12
- JOURNAL OF PHYSICS. CONFERENCE SE... 3
- E3S WEB OF CONFERENCES 2
- EUROPEAN NEUROPSYCHOPHARMACOLOGY 2
- PROCEDIA COMPUTER SCIENCE 2
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- ENGINEERING PROCEEDINGS 1
- INTERNATIONAL CONFERENCE RECENT A... 1
- JPS CONFERENCE PROCEEDINGS 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 29
- LECTURE NOTES IN ARTIFICIAL INTEL... 17
- CEUR WORKSHOP PROCEEDINGS 7
- COMMUNICATIONS IN COMPUTER AND IN... 4
- PROCEEDINGS OF SPIE 4
- IEEE INTERNATIONAL FUZZY SYSTEMS ... 3
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 3
- ADVANCES IN INTELLIGENT SYSTEMS A... 2
- FRONTIERS IN ARTIFICIAL INTELLIGE... 2
- ISPRS ANNALS OF THE PHOTOGRAMMETR... 2
Keyword
- Silicon Drift Detector 3
- Silicon Drift Detectors 3
- ASIC 2
- COVID-19 2
- filter bubble 2
- machine learning 2
- Real-time systems 2
- 5G 1
- AI service 1
- Algorithm analysis 1
Lingua
- eng 420
- ita 4
- lat 1
Accesso al fulltext
- no fulltext 359
- open 53
- restricted 29
- reserved 23