SAVERI, GAIA Statistiche
SAVERI, GAIA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.013 secondi).
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series
2024-01-01 Ferfoglia, Irene; Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca
Is Machine Learning Model Checking Privacy Preserving?
2024-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone
Retrieval-Augmented Mining of Temporal Logic Specifications from Data
2024-01-01 Saveri, Gaia; Bortolussi, Luca
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
2024-01-01 Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca; Kretìnsky, Jan
Reliable and Explainable AI in Trieste
2023-01-01 Ballarin, Emanuele; Bortolussi, Luca; Cairoli, Francesca; Gallese, Chiara; Nenzi, Laura; Saveri, Gaia
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
2023-01-01 Saveri, Gaia; Bortolussi, Luca
Graph Neural Networks for Propositional Model Counting
2022-01-01 Saveri, Gaia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series | 1-gen-2024 | Ferfoglia, Irene; Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca | |
| Is Machine Learning Model Checking Privacy Preserving? | 1-gen-2024 | Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone | |
| Retrieval-Augmented Mining of Temporal Logic Specifications from Data | 1-gen-2024 | Saveri, Gaia; Bortolussi, Luca | |
| stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic | 1-gen-2024 | Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca; Kretìnsky, Jan | |
| Reliable and Explainable AI in Trieste | 1-gen-2023 | Ballarin, Emanuele; Bortolussi, Luca; Cairoli, Francesca; Gallese, Chiara; Nenzi, Laura; Saveri, Gaia | |
| Towards Invertible Semantic-Preserving Embeddings of Logical Formulae | 1-gen-2023 | Saveri, Gaia; Bortolussi, Luca | |
| Graph Neural Networks for Propositional Model Counting | 1-gen-2022 | Saveri, Gaia |