Sfoglia per Serie
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
BASIC: Towards a Blockchained Agent-Based SImulator for Cities
2018-01-01 Marrocco, Luana; Castelló Ferrer, Eduardo; Bucchiarone, Antonio; Grignard, Arnaud; Alonso, Luis; Larson, Kent; ‘Sandy’ Pentland, Alex
Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning
2018-01-01 Nedbal, Radim; Serafini, Luciano
Beyond parameterized verification
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
Bootstrapping technique + embeddings = emotional corpus an- notated automatically.
2017-01-01 Canales, Lea; Strapparava, Carlo; Boldrini, Ester; Martinez-Barco, Patricio
Business Processes and Their Participants: An Ontological Perspective
2017-01-01 Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Guarino, Nicola; Sanfilippo, Emilio Maria
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
BASIC: Towards a Blockchained Agent-Based SImulator for Cities | 1-gen-2018 | Marrocco, Luana; Castelló Ferrer, Eduardo; Bucchiarone, Antonio; Grignard, Arnaud; Alonso, Luis; Larson, Kent; ‘Sandy’ Pentland, Alex | |
Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning | 1-gen-2018 | Nedbal, Radim; Serafini, Luciano | |
Beyond parameterized verification | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
Bootstrapping technique + embeddings = emotional corpus an- notated automatically. | 1-gen-2017 | Canales, Lea; Strapparava, Carlo; Boldrini, Ester; Martinez-Barco, Patricio | |
Business Processes and Their Participants: An Ontological Perspective | 1-gen-2017 | Adamo, Greta; Borgo, Stefano; Di Francescomarino, Chiara; Ghidini, Chiara; Guarino, Nicola; Sanfilippo, Emilio Maria |
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