Sfoglia per Serie
Information Extraction for Learning Expressive Ontologies
2015-01-01 Petrucci, Giulio
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline
2021-01-01 Bisegna, Andrea; Carbone, Roberto; Ranise, Silvio
Interactive Comic-Based Digital Storytelling for Self-expression
2018-01-01 Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo
Interactive Digital Storytelling and Self-expression in the Context of Young Male Migrants
2018-01-01 Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions
2017-01-01 Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Information Extraction for Learning Expressive Ontologies | 1-gen-2015 | Petrucci, Giulio | |
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline | 1-gen-2021 | Bisegna, Andrea; Carbone, Roberto; Ranise, Silvio | |
Interactive Comic-Based Digital Storytelling for Self-expression | 1-gen-2018 | Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo | |
Interactive Digital Storytelling and Self-expression in the Context of Young Male Migrants | 1-gen-2018 | Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo | |
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments | 1-gen-2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions | 1-gen-2017 | Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria | |
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. |
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