BERTAGNON, Alessandro
BERTAGNON, Alessandro
Dipartimento di Scienze dell'Ambiente e della Prevenzione
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training
2023 Proto, Antonino.; Cavalieri, A.; Gadda, G.; Taibi, A.; Astolfi, L.; Bonfe', M.; Bertagnon, A.; Nonato, M.; Gavanelli, M.; Cristofori, G.; D'Antona, A.; Farsoni, S.
An Autonomous Robotic System for Aorta Ultrasound Screening with Deep Learning Segmentation
2025 Farsoni, Saverio; Bertagnon, Alessandro; D'Antona, Andrea; Rizzi, Jacopo; Roma, Marco; Bonfe', Marcello; Proto, Antonino; Baldazzi, Giulia; Pagani, Anselmo; Zamboni, Paolo
Artificial intelligence assessment of the jugular venous pulse from ultrasound high-resolution B-mode clips: A proof of concept
2026 Zamboni, Paolo; Pagani, Anselmo; Baldazzi, Giulia; Farsoni, Saverio; Busi, Pietro; Marchesin, Chiara; Proto, Antonino; Bertagnon, Alessandro
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
2024 Bertagnon, Alessandro; Gavanelli, Marco
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
2023 Bertagnon, A.; Gavanelli, M.; Zanotti, F.
Branching interval algebra: An almost complete picture
2021 Bertagnon, A.; Gavanelli, M.; Passantino, A.; Sciavicco, G.; Trevisani, S.
Chapter 2 - Technology boosted diagnosis and advanced procedural planning in endovascular surgery - Robot-mediated vascular ultrasound imaging: a promising technology for vascular diagnosis and screening programs
2024 Zamboni, Paolo; Baldazzi, Giulia; Pagani, Anselmo; Bertagnon, Alessandro; Farsoni, Saverio; Bonfe', Marcello
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts
2022 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco
Constraint programming algorithms for route planning exploiting geometrical information
2020 Bertagnon, A.
Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and Its Variants In Constraint Logic Programming
file con accesso da definire2026 Bertagnon, Alessandro; Gavanelli, Marco
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
2025 Bertagnon, A.; Dalpasso, M.; Favalli, M.; Gavanelli, M.
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
2024 Bertagnon, Alessandro; Gavanelli, Marco
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
2023 Bertagnon, A.; Gavanelli, M.
Host Genetics and Clinical Setting in COVID-19: Predictive Models by Machine Learning Algorithms (The FeMiNa Study)
file con accesso da definire2025 Antonica, B.; D’Aversa, Elisabetta; Asselta, R.; Paraboschi, E. M.; Bertagnon, A.; Passaro, A.; Volpato, S.; Castellazzi, M.; Marra, A. M.; Cittadini, A.; D’Assante, R.; Grisafi, M.; Salvatori, F.; Remelli, F.; Singh, A. V.; Tisato, V.; Gemmati, D.
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
2020 Bertagnon, Alessandro; Gavanelli, Marco
Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems
2022 Bertagnon, Alessandro
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints
2021 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
2020 Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
Joint Proceedings of the Workshops and Doctoral Consortium of the 42nd International Conference on Logic Programming (ICLP-WS-DC 2026) co-located with ICLP 2026
file con accesso da definire2026 Alviano, Mario; Angilica, Denise; Batsakis, Sotirios; Bertagnon, Alessandro; Costantini, Stefania; Gupta, Gopal; Hahn, Susana; Hecher, Markus; Maratea, Marco; Muñiz, Brais; Angel Rodriguez Reiners, Luis; Alejandro Borroto Santana, Manuel; Schaub, Torsten; Scala, Enrico; Lo Scudo, Fabrizio; Serafini, Luciano; Tarzariol, Alice; Vallati, Mauro; Vandevelde, Simon
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
2020 Bertagnon, Alessandro; Gavanelli, Marco