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
file con accesso da definire2026 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
2023 Bertagnon, A.; Gavanelli, M.; Zanotti, F.
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
2024 Bertagnon, Alessandro; Gavanelli, Marco
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.
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
2020 Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints
2021 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
2020 Bertagnon, Alessandro; Gavanelli, Marco
New Encodings of the Euclidean Traveling Salesperson Problem in Constraint Answer Set Programming on Difference Logic
file con accesso da definire2026 Bertagnon, Alessandro; Gavanelli, Marco
On (maximal, tractable) fragments of the branching algebra?
2020 Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano