Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Recent Results on Computable and Compositional Semantics for Hybrid Systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
2024-01-01 Beltrame, GIOVANNI ALBERTO; Combi, Carlo; Farinelli, Alessandro; Posenato, Roberto; Pozzi, Giuseppe
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning
2021-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Security Analysis of the OWASP Benchmark with Julia
2017-01-01 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
Semantic information elicitation from unstructured medical records
2006-01-01 Ruffolo, M.; Cozza, V.; Gallucci, L.; Manna, Marco; Pizzonia, M.
Sisinflab: An ensemble of supervised and unsupervised strategies for the NEEL-IT challenge at Evalita 2016
2016-01-01 Cozza, V.; Bruna, W. L.; Di Noia, Tommaso
Static Analysis for GDPR Compliance
2018-01-01 Ferrara, Pietro; Spoto, Nicola Fausto
Strong Controllability of Temporal Networks with Decisions
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Tabular Model Learning in Monte Carlo Tree Search
2023-01-01 Castellini, Alberto; Bragantini, Davide; Rossignolo, Davide; Segala, Federico; Farinelli, Alessandro
Tackling different business process perspectives modeling data, time, and decisions in BPMN processes
2019-01-01 Zerbato, F.
Temporal and Resource Controllability of Workflows Under Uncertainty
2019-01-01 Zavatteri, Matteo
Towards a logic-based approach for multi-modal fusion and decision making during motor rehabilitation sessions
2019-01-01 D?asaro, F. A.; Origlia, A.; Rossi, S.
Using Inductive Logic Programming to globally approximate Neural Networks for preference learning: challenges and preliminary results
2022-01-01 Fossemò, Daniele; Mignosi, Filippo; Raggioli, Luca; Spezialetti, Matteo; D'Asaro, Fabio Aurelio
When a Dollar in a Fully Clustered Word Makes a BWT
2022-01-01 Giuliani, Sara; Liptak, Zsuzsanna; Masillo, Francesco
When a Dollar Makes a BWT
2019-01-01 Giuliani, Sara; Liptak, Zsuzsanna; Rizzi, Romeo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Recent Results on Computable and Compositional Semantics for Hybrid Systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano | |
| Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements | 1-gen-2024 | Beltrame, GIOVANNI ALBERTO; Combi, Carlo; Farinelli, Alessandro; Posenato, Roberto; Pozzi, Giuseppe | |
| Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning | 1-gen-2021 | Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro | |
| Security Analysis of the OWASP Benchmark with Julia | 1-gen-2017 | Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto | |
| Semantic information elicitation from unstructured medical records | 1-gen-2006 | Ruffolo, M.; Cozza, V.; Gallucci, L.; Manna, Marco; Pizzonia, M. | |
| Sisinflab: An ensemble of supervised and unsupervised strategies for the NEEL-IT challenge at Evalita 2016 | 1-gen-2016 | Cozza, V.; Bruna, W. L.; Di Noia, Tommaso | |
| Static Analysis for GDPR Compliance | 1-gen-2018 | Ferrara, Pietro; Spoto, Nicola Fausto | |
| Strong Controllability of Temporal Networks with Decisions | 1-gen-2020 | Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano | |
| Tabular Model Learning in Monte Carlo Tree Search | 1-gen-2023 | Castellini, Alberto; Bragantini, Davide; Rossignolo, Davide; Segala, Federico; Farinelli, Alessandro | |
| Tackling different business process perspectives modeling data, time, and decisions in BPMN processes | 1-gen-2019 | Zerbato, F. | |
| Temporal and Resource Controllability of Workflows Under Uncertainty | 1-gen-2019 | Zavatteri, Matteo | |
| Towards a logic-based approach for multi-modal fusion and decision making during motor rehabilitation sessions | 1-gen-2019 | D?asaro, F. A.; Origlia, A.; Rossi, S. | |
| Using Inductive Logic Programming to globally approximate Neural Networks for preference learning: challenges and preliminary results | 1-gen-2022 | Fossemò, Daniele; Mignosi, Filippo; Raggioli, Luca; Spezialetti, Matteo; D'Asaro, Fabio Aurelio | |
| When a Dollar in a Fully Clustered Word Makes a BWT | 1-gen-2022 | Giuliani, Sara; Liptak, Zsuzsanna; Masillo, Francesco | |
| When a Dollar Makes a BWT | 1-gen-2019 | Giuliani, Sara; Liptak, Zsuzsanna; Rizzi, Romeo |
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