Sfoglia per Serie
Repair of convolutional neural networks using convex optimization: Preliminary experiments
2019-01-01 Guidotti, D.; Leofante, F.
STOLE: A Reference Ontology for Historical Research Documents.
2015-01-01 Pandolfo, Laura
Translating Requirements in Property Specification Patterns using LLMs
2024-01-01 Guidotti, D.; Pandolfo, L.; Fanni, T.; Zedda, K.; Pulina, L.
Unlocking Historical Insights: Developing a Dataset from Historical Archives
2023-01-01 Pandolfo, L.; Pulina, L.
Verification of Neural Networks for Safety and Security-critical Domains
2022-01-01 Guidotti, D.
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project
2022-01-01 Eramo, R.; Fanni, T.; Guidotti, D.; Pandolfo, L.; Pulina, L.; Zedda, K.
The WOW Project: Bridging AI and Cultural Heritage for Actress Writings
2023-01-01 Pandolfo, L.; Cardone, L.; Cutzu, L.; Perna, R.; Seligardi, B.; Simi, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Repair of convolutional neural networks using convex optimization: Preliminary experiments | 1-gen-2019 | Guidotti, D.; Leofante, F. | |
| STOLE: A Reference Ontology for Historical Research Documents. | 1-gen-2015 | Pandolfo, Laura | |
| Translating Requirements in Property Specification Patterns using LLMs | 1-gen-2024 | Guidotti, D.; Pandolfo, L.; Fanni, T.; Zedda, K.; Pulina, L. | |
| Unlocking Historical Insights: Developing a Dataset from Historical Archives | 1-gen-2023 | Pandolfo, L.; Pulina, L. | |
| Verification of Neural Networks for Safety and Security-critical Domains | 1-gen-2022 | Guidotti, D. | |
| Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project | 1-gen-2022 | Eramo, R.; Fanni, T.; Guidotti, D.; Pandolfo, L.; Pulina, L.; Zedda, K. | |
| The WOW Project: Bridging AI and Cultural Heritage for Actress Writings | 1-gen-2023 | Pandolfo, L.; Cardone, L.; Cutzu, L.; Perna, R.; Seligardi, B.; Simi, G. |
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