ZANELLA, MARCO
ZANELLA, MARCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.016 secondi).
Abstract interpretation of decision tree ensemble classifiers
2020 Ranzato, Francesco; Zanella, Marco
Fairness-Aware Training of Decision Trees by Abstract Interpretation
2021 Ranzato, F.; Urban, C.; Zanella, M.
Genetic adversarial training of decision trees
2021 Ranzato, F.; Zanella, M.
Invertible Linear Transforms of Numerical Abstract Domains
2018 Ranzato, Francesco; Zanella, Marco
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways
2021 Marchi, Saverio; Zanella, Marco; Pinton, Paolo; Crafa, Silvia; Boniolo, Giovanni
Robustness Verification of Decision Tree Ensembles
2019 Ranzato, Francesco; Zanella, Marco
Robustness Verification of Support Vector Machines
2019 Ranzato, Francesco; Zanella, Marco
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Abstract interpretation of decision tree ensemble classifiers | 2020 | Francesco RanzatoMarco Zanella | - | PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE | Proceedings of the 34th AAAI Conference on Artificial Intelligence |
| Fairness-Aware Training of Decision Trees by Abstract Interpretation | 2021 | Ranzato F.Zanella M. + | - | - | International Conference on Information and Knowledge Management, Proceedings |
| Genetic adversarial training of decision trees | 2021 | Ranzato F.Zanella M. | - | - | GECCO 2021 - Proceedings of the 2021 Genetic and Evolutionary Computation Conference |
| Invertible Linear Transforms of Numerical Abstract Domains | 2018 | Francesco RanzatoZANELLA, MARCO | - | LECTURE NOTES IN COMPUTER SCIENCE | Proceedings of the 25th International Static Analysis Symposium (SAS'18) |
| MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways | 2021 | Zanella, MarcoPinton, PaoloCrafa, Silvia + | ISCIENCE | - | - |
| Robustness Verification of Decision Tree Ensembles | 2019 | Francesco RanzatoMarco Zanella | - | - | Proceedings of the 1st Workshop on Artificial Intelligence and FormalVerification, Logic, Automata, and Synthesis, co-located with the18th International Conference of the Italian Association for ArtificialIntelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 |
| Robustness Verification of Support Vector Machines | 2019 | Ranzato, FrancescoZanella, Marco | - | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Proceedings of the 26th International Static Analysis Symposium, SAS 2019 |