Sfoglia per Serie
Abstraction Modulo Stability for Reverse Engineering
2022-01-01 Becchi, Anna; Cimatti, Alessandro
Analysis of Dynamic Brain Connectivity Through Geodesic Clustering
2019-01-01 Yamin, A.; Dayan, M.; Squarcina, L.; Brambilla, P.; Murino, V.; Diwadkar, V.; Sona, D.
Aplib: Tactical Agents for Testing Computer Games
2021-01-01 Prasetya, I. S. W. B.; Dastani, Mehdi; Prada, Rui; Vos, Tanja E. J.; Dignum, Frank; Kifetew, Fitsum Meshesha
Asynchronous Composition of Local Interface LTL Properties
2022-01-01 Bombardelli, Alberto; Tonetta, Stefano
Automatic Tissue Segmentation with Deep Learning in Patients with Congenital or Acquired Distortion of Brain Anatomy
2020-01-01 Amorosino, Gabriele; Peruzzo, Denis; Astolfi, Pietro; Redaelli, Daniela; Avesani, Paolo; Arrigoni, Filippo; Olivetti, Emanuele
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
2020-01-01 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
A context-based logic for distributed knowledge representation and reasoning
1999-01-01 Ghidini, C.; Serafini, L.
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2021-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Data Augmentation Techniques for the Video Question Answering Task
2020-01-01 Falcon, Alex; Lanz, Oswald; Serra, Giuseppe
Deep 2D Encoder-Decoder Convolutional Neural Network for Multiple Sclerosis Lesion Segmentation in Brain MRI
2019-01-01 Aslani, Shahab; Dayan, Michael; Murino, Vittorio; Sona, Diego
Deep Learning Architectures for DNA Sequence Classification
2017-01-01 Lo Bosco, Giosué; Di Gangi, Mattia Antonino
A DevOps Perspective for QoS-Aware Adaptive Applications
2020-01-01 De Sanctis, Martina; Bucchiarone, Antonio; Trubiani, Catia
Digging into Business Process Meta-models: A First Ontological Analysis
2020-01-01 Adamo, Greta; Di Francescomarino, Chiara; Ghidini, Chiara
An End-to-End Semantic Platform for Nutritional Diseases Management
2019-01-01 Donadello, Ivan; Dragoni, Mauro
Enhancing Perceptual Attributes with Bayesian Style Generation
2019-01-01 Siarohin, Aliaksandr; Zen, Gloria; Sebe, Nicu; Ricci, Elisa
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
Extracting Business Process Entities and Relations from Text Using Pre-trained Language Models and In-Context Learning
2022-01-01 Bellan, Patrizio; Dragoni, Mauro; Ghidini, Chiara
Frontiers of Combining Systems, 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
2015-01-01 Lutz, Carsten; Ranise, Silvio
Indoor Localization Using Audio Features of FM Radio Signals
2011-01-01 Popleteev, Andrei; Osmani, Venet; Mayora, Oscar; Matic, Aleksandar
Justifiable Exceptions in General Contextual Hierarchies
2019-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstraction Modulo Stability for Reverse Engineering | 1-gen-2022 | Becchi, Anna; Cimatti, Alessandro | |
| Analysis of Dynamic Brain Connectivity Through Geodesic Clustering | 1-gen-2019 | Yamin, A.; Dayan, M.; Squarcina, L.; Brambilla, P.; Murino, V.; Diwadkar, V.; Sona, D. | |
| Aplib: Tactical Agents for Testing Computer Games | 1-gen-2021 | Prasetya, I. S. W. B.; Dastani, Mehdi; Prada, Rui; Vos, Tanja E. J.; Dignum, Frank; Kifetew, Fitsum Meshesha | |
| Asynchronous Composition of Local Interface LTL Properties | 1-gen-2022 | Bombardelli, Alberto; Tonetta, Stefano | |
| Automatic Tissue Segmentation with Deep Learning in Patients with Congenital or Acquired Distortion of Brain Anatomy | 1-gen-2020 | Amorosino, Gabriele; Peruzzo, Denis; Astolfi, Pietro; Redaelli, Daniela; Avesani, Paolo; Arrigoni, Filippo; Olivetti, Emanuele | |
| Computation of the Transient in Max-Plus Linear Systems via SMT-Solving | 1-gen-2020 | Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul | |
| A context-based logic for distributed knowledge representation and reasoning | 1-gen-1999 | Ghidini, C.; Serafini, L. | |
| Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2021 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
| Data Augmentation Techniques for the Video Question Answering Task | 1-gen-2020 | Falcon, Alex; Lanz, Oswald; Serra, Giuseppe | |
| Deep 2D Encoder-Decoder Convolutional Neural Network for Multiple Sclerosis Lesion Segmentation in Brain MRI | 1-gen-2019 | Aslani, Shahab; Dayan, Michael; Murino, Vittorio; Sona, Diego | |
| Deep Learning Architectures for DNA Sequence Classification | 1-gen-2017 | Lo Bosco, Giosué; Di Gangi, Mattia Antonino | |
| A DevOps Perspective for QoS-Aware Adaptive Applications | 1-gen-2020 | De Sanctis, Martina; Bucchiarone, Antonio; Trubiani, Catia | |
| Digging into Business Process Meta-models: A First Ontological Analysis | 1-gen-2020 | Adamo, Greta; Di Francescomarino, Chiara; Ghidini, Chiara | |
| An End-to-End Semantic Platform for Nutritional Diseases Management | 1-gen-2019 | Donadello, Ivan; Dragoni, Mauro | |
| Enhancing Perceptual Attributes with Bayesian Style Generation | 1-gen-2019 | Siarohin, Aliaksandr; Zen, Gloria; Sebe, Nicu; Ricci, Elisa | |
| Extending nuXmv with Timed Transition Systems and Timed Temporal Properties | 1-gen-2019 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano | |
| Extracting Business Process Entities and Relations from Text Using Pre-trained Language Models and In-Context Learning | 1-gen-2022 | Bellan, Patrizio; Dragoni, Mauro; Ghidini, Chiara | |
| Frontiers of Combining Systems, 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings | 1-gen-2015 | Lutz, Carsten; Ranise, Silvio | |
| Indoor Localization Using Audio Features of FM Radio Signals | 1-gen-2011 | Popleteev, Andrei; Osmani, Venet; Mayora, Oscar; Matic, Aleksandar | |
| Justifiable Exceptions in General Contextual Hierarchies | 1-gen-2019 | Bozzato, Loris; Eiter, Thomas; Serafini, Luciano |
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