Sfoglia per Serie
AADS: A Noise-Robust Anomaly Detection Framework for Industrial Control Systems
2020-01-01 Abdelaty, Maged; Doriguzzi Corin, Roberto; Siracusa, Domenico
Abducing Compliance of Incomplete Event Logs
2016-01-01 Chesani, Federico; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Adding New Tasks to a Single Network with Weight Transformations using Binary Masks
2018-01-01 Mancini, Massimiliano; Ricci, Elisa; Caputo, Barbara; Rota Bulò, Samuel
AI Slipping on Tiles: Data Leakage in Digital Pathology
2021-01-01 Bussola, Nicole; Marcolini, Alessia; Maggio, Valerio; Jurman, Giuseppe; Furlanello, Cesare
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
Analysis of Cyclic Fault Propagation via ASP
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Applying Self-Interaction Attention for Extracting Drug-Drug Interactions
2019-01-01 Putelli, Luca; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan
ASASPXL: New Clother for Analysing ARBAC Policies
2016-01-01 Truong, Anh; Ranise, Silvio
Assisted Process Knowledge Graph Building Using Pre-trained Language Models
2023-01-01 Bellan, Patrizio; Dragoni, Mauro; Ghidini, Chiara
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments
2023-01-01 Sassetti, Gianluca; Sharif, Amir; Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio
ATLAS: A World-Wide Travel Assistant Exploiting Service-Based Adaptive Technologies.
2017-01-01 Bucchiarone, Antonio; De Sanctis, Martina; Marconi, Annapaola
Attention-Based Explanation in a Deep Learning Model For Classifying Radiology Reports
2021-01-01 Putelli, Luca; Gerevini, Alfonso; Lavelli, Alberto; Maroldi, Roberto; Serina, Ivan
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations
2019-01-01 Morelli, Umberto; Ranise, Silvio; Sartori, Damiano; Sciarretta, Giada; Tomasi, Alessandro
Augmented Reality to Enhance the Clinician’s Observation During Assessment of Daily Living Activities
2017-01-01 De Cecco, M.; Fornaser, A.; Tomasin, P.; Zanetti, M.; Guandalini, G.; Ianes, P. G.; Pilla, F.; Nollo, G.; Valente, M.; Pisoni, T.
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications
2020-01-01 Sharif, Amir; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
Automated Legal Compliance Checking by Security Policy Analysis
2017-01-01 Ranise, Silvio; Siswantoro, Hari
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments
2021-01-01 Dashti, Salimeh; Sharif, Amir; Carbone, Roberto; Ranise, Silvio
Automatic Classification of Radiological Reports for Clinical Care
2017-01-01 Gerevini, Alfonso E.; Lavelli, Alberto; Maffi, Alessandro; Maroldi, Roberto; Minard, Anne-Lyse Myriam; Serina, Ivan; Squassina, Guido
Automatic Discovery of Fair Paths in Infinite-State Transition Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Automatic Page Object Generation with APOGEN
2016-01-01 Stocco, Andrea; Leotta, Maurizio; Ricca, Filippo; Tonella, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
AADS: A Noise-Robust Anomaly Detection Framework for Industrial Control Systems | 1-gen-2020 | Abdelaty, Maged; Doriguzzi Corin, Roberto; Siracusa, Domenico | |
Abducing Compliance of Incomplete Event Logs | 1-gen-2016 | Chesani, Federico; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio | |
Adding New Tasks to a Single Network with Weight Transformations using Binary Masks | 1-gen-2018 | Mancini, Massimiliano; Ricci, Elisa; Caputo, Barbara; Rota Bulò, Samuel | |
AI Slipping on Tiles: Data Leakage in Digital Pathology | 1-gen-2021 | Bussola, Nicole; Marcolini, Alessia; Maggio, Valerio; Jurman, Giuseppe; Furlanello, Cesare | |
Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
Analysis of Cyclic Fault Propagation via ASP | 1-gen-2022 | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg | |
Applying Self-Interaction Attention for Extracting Drug-Drug Interactions | 1-gen-2019 | Putelli, Luca; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan | |
ASASPXL: New Clother for Analysing ARBAC Policies | 1-gen-2016 | Truong, Anh; Ranise, Silvio | |
Assisted Process Knowledge Graph Building Using Pre-trained Language Models | 1-gen-2023 | Bellan, Patrizio; Dragoni, Mauro; Ghidini, Chiara | |
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments | 1-gen-2023 | Sassetti, Gianluca; Sharif, Amir; Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio | |
ATLAS: A World-Wide Travel Assistant Exploiting Service-Based Adaptive Technologies. | 1-gen-2017 | Bucchiarone, Antonio; De Sanctis, Martina; Marconi, Annapaola | |
Attention-Based Explanation in a Deep Learning Model For Classifying Radiology Reports | 1-gen-2021 | Putelli, Luca; Gerevini, Alfonso; Lavelli, Alberto; Maroldi, Roberto; Serina, Ivan | |
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations | 1-gen-2019 | Morelli, Umberto; Ranise, Silvio; Sartori, Damiano; Sciarretta, Giada; Tomasi, Alessandro | |
Augmented Reality to Enhance the Clinician’s Observation During Assessment of Daily Living Activities | 1-gen-2017 | De Cecco, M.; Fornaser, A.; Tomasin, P.; Zanetti, M.; Guandalini, G.; Ianes, P. G.; Pilla, F.; Nollo, G.; Valente, M.; Pisoni, T. | |
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications | 1-gen-2020 | Sharif, Amir; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio | |
Automated Legal Compliance Checking by Security Policy Analysis | 1-gen-2017 | Ranise, Silvio; Siswantoro, Hari | |
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments | 1-gen-2021 | Dashti, Salimeh; Sharif, Amir; Carbone, Roberto; Ranise, Silvio | |
Automatic Classification of Radiological Reports for Clinical Care | 1-gen-2017 | Gerevini, Alfonso E.; Lavelli, Alberto; Maffi, Alessandro; Maroldi, Roberto; Minard, Anne-Lyse Myriam; Serina, Ivan; Squassina, Guido | |
Automatic Discovery of Fair Paths in Infinite-State Transition Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Automatic Page Object Generation with APOGEN | 1-gen-2016 | Stocco, Andrea; Leotta, Maurizio; Ricca, Filippo; Tonella, Paolo |
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