FRANCOBALDI, MATTEO
FRANCOBALDI, MATTEO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Assegnisti
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Learning to use local cuts
2025 Berthold, Timo; Francobaldi, Matteo; Hendel, Gregor
SMLE: Safe Machine Learning via Embedded Overapproximation
2025 Francobaldi, Matteo; Lombardi, Michele
TinderAI: Support System for Matching AI Algorithms and Embedded Devices
2023 Francobaldi M.; De Filippo A.; Borghesi A.; Pizurica N.; Jovancevi I.; Llewellynn T.; de Prado M.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Learning to use local cuts | Berthold, Timo; Francobaldi, Matteo; Hendel, Gregor | 2025-01-01 | MATHEMATICAL PROGRAMMING COMPUTATION | - | 1.01 Articolo in rivista | - |
| SMLE: Safe Machine Learning via Embedded Overapproximation | Francobaldi, Matteo; Lombardi, Michele | 2025-01-01 | - | Association for the Advancement of Artificial Intelligence | 4.01 Contributo in Atti di convegno | - |
| TinderAI: Support System for Matching AI Algorithms and Embedded Devices | Francobaldi M.; De Filippo A.; Borghesi A.; Pizurica N.; Jovancevi I.; Llewellynn T.; de Prado M. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | Automated_Vertical_Matchmaking_of_AI_Algorithms_and_HW_Platforms_final.pdf |