ZANELLA, MARCO

ZANELLA, MARCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.05 secondi).
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