Automating elevator design with satisfiability modulo theories S Demarchi, M Menapace, A Tacchella 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 4 | 2019 |
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. L Annunziata, M Menapace, A Tacchella ECMS, 543-549, 2017 | 4 | 2017 |
Ontologies in System Engineering: a Field Report M Menapace, A Tacchella Advances in Artificial Intelligence: From Theory to Practice: 30th …, 2017 | 2 | 2017 |
Downscaling of Satellite Air Quality Data Using Deep Learning¡ A Rapuzzi, C Nattero, M Menapace, P Campanella, L Cademartori, ... IGARSS 2022-2022 IEEE International Geoscience and Remote Sensing Symposium …, 2022 | 1 | 2022 |
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches S Demarchi, M Menapace, A Tacchella International Conference of the Italian Association for Artificial …, 2021 | 1 | 2021 |
Automated Design of Complex Systems with Constraint Programming Techniques. S Demarchi, A Tacchella, M Menapace CPS Summer School, PhD Workshop, 51-59, 2019 | 1 | 2019 |
Pixel Regression from Heterogeneous Input and Incomplete Ground Truth, with Applications to Environmental Monitoring A Rapuzzi, M Menapace, C Nattero, P Campanella IGARSS 2023-2023 IEEE International Geoscience and Remote Sensing Symposium …, 2023 | | 2023 |
WASDI, a cloud platform for Earth Observation and Natural Hazards C Nattero, R Rudari, M Chini, P Campanella, M Menapace EGU General Assembly Conference Abstracts, EGU-15882, 2023 | | 2023 |
A comparison of declarative AI techniques for computer automated design of elevator systems G Cicala, S Demarchi, M Menapace, L Annunziata, A Tacchella Intelligenza Artificiale 16 (1), 131-150, 2022 | | 2022 |