Sfoglia per Serie
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
The invisible power of fairness. How machine learning shapes democracy
2019-01-01 Beretta, Elena; Santangelo, Antonio; Lepri, Bruno; Vetrò, Antonio; Carlos De Martin:, Juan
Kernel-Based Analysis of Functional Brain Connectivity on Grassmann Manifold
2015-01-01 Dodero, Luca; Sambataro, Fabio; Murino, Vittorio; Sona, Diego
Key-concept Extraction for Ontology Engineering
2012-01-01 Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele
Knowledge Enhanced Neural Networks
2019-01-01 Daniele, Alessandro; Serafini, Luciano
Knowledge Enhanced Neural Networks for Relational Domains
2023-01-01 Daniele, Alessandro; Serafini, Luciano
Knowledge Extraction for Information Retrieval
2016-01-01 Corcoglioniti, Francesco; Dragoni, Mauro; Rospocher, Marco; Palmero Aprosio, Alessio
Kratos2: an SMT-Based Model Checker for Imperative Programs
2023-01-01 Griggio, Alberto; Jonas, Martin
Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules
2023-01-01 Andrao, Margherita; Treccani, Barbara; Zancanaro, Massimo
Learning Hybrid Process Models from Events
2017-01-01 van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara
Leveraging Multi-task Learning for Biomedical Named Entity Recognition
2019-01-01 Mehmood, Tahir; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan
Logic Tensor Networks for Top-N Recommendation
2023-01-01 Carraro, Tommaso; Daniele, Alessandro; Aiolli, Fabio; Serafini, Luciano
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations
2019-01-01 Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada
A Low-Cost Computer Vision System for Real-Time Tennis Analysis
2019-01-01 Messelodi, S.; Modena, C. M.; Ropele, V.; Marcon, S.; Sgrò, M.
Low-cost IoT, Big data, and Cloud platform for Developing Countries
2017-01-01 Dupont, Corentin; Bures, Tomas; Sheikhalishahi, Mehdi; Pham, Congduc; Rahim, MD Abdur
Mapping Tractography Across Subjects
2016-01-01 Nguyen, Thien Bao; Olivetti, Emanuele; Avesani, Paolo
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering
2016-01-01 Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
2016-01-01 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Model-Based Design of an Energy-System Embedded Controller Using Taste
2016-01-01 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Model-based Player Experience Testing with Emotion Pattern Verification
2023-01-01 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
The invisible power of fairness. How machine learning shapes democracy | 1-gen-2019 | Beretta, Elena; Santangelo, Antonio; Lepri, Bruno; Vetrò, Antonio; Carlos De Martin:, Juan | |
Kernel-Based Analysis of Functional Brain Connectivity on Grassmann Manifold | 1-gen-2015 | Dodero, Luca; Sambataro, Fabio; Murino, Vittorio; Sona, Diego | |
Key-concept Extraction for Ontology Engineering | 1-gen-2012 | Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele | |
Knowledge Enhanced Neural Networks | 1-gen-2019 | Daniele, Alessandro; Serafini, Luciano | |
Knowledge Enhanced Neural Networks for Relational Domains | 1-gen-2023 | Daniele, Alessandro; Serafini, Luciano | |
Knowledge Extraction for Information Retrieval | 1-gen-2016 | Corcoglioniti, Francesco; Dragoni, Mauro; Rospocher, Marco; Palmero Aprosio, Alessio | |
Kratos2: an SMT-Based Model Checker for Imperative Programs | 1-gen-2023 | Griggio, Alberto; Jonas, Martin | |
Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules | 1-gen-2023 | Andrao, Margherita; Treccani, Barbara; Zancanaro, Massimo | |
Learning Hybrid Process Models from Events | 1-gen-2017 | van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara | |
Leveraging Multi-task Learning for Biomedical Named Entity Recognition | 1-gen-2019 | Mehmood, Tahir; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan | |
Logic Tensor Networks for Top-N Recommendation | 1-gen-2023 | Carraro, Tommaso; Daniele, Alessandro; Aiolli, Fabio; Serafini, Luciano | |
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations | 1-gen-2019 | Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada | |
A Low-Cost Computer Vision System for Real-Time Tennis Analysis | 1-gen-2019 | Messelodi, S.; Modena, C. M.; Ropele, V.; Marcon, S.; Sgrò, M. | |
Low-cost IoT, Big data, and Cloud platform for Developing Countries | 1-gen-2017 | Dupont, Corentin; Bures, Tomas; Sheikhalishahi, Mehdi; Pham, Congduc; Rahim, MD Abdur | |
Mapping Tractography Across Subjects | 1-gen-2016 | Nguyen, Thien Bao; Olivetti, Emanuele; Avesani, Paolo | |
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering | 1-gen-2016 | Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara | |
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration | 1-gen-2016 | Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne | |
Model-Based Design of an Energy-System Embedded Controller Using Taste | 1-gen-2016 | Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano | |
Model-based Player Experience Testing with Emotion Pattern Verification | 1-gen-2023 | Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele |
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