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
file con accesso da definire2025 Farsoni, Saverio; Bertagnon, Alessandro; D'Antona, Andrea; Rizzi, Jacopo; Roma, Marco; Bonfe', Marcello; Proto, Antonino; Baldazzi, Giulia; Pagani, Anselmo; Zamboni, Paolo
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.
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
file con accesso da definire2025 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.
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
On (maximal, tractable) fragments of the branching algebra?
2020 Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
2024 Bertagnon, A.; Gavanelli, M.
The horn fragment of branching algebra
2020 Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano