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.
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
file con accesso da definireIn corso di stampa Bertagnon, Alessandro; Gavanelli, Marco
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
file con accesso da definire2023 Bertagnon, A.; Gavanelli, M.; Zanotti, F.
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.
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
file con accesso da definire2024 Bertagnon, Alessandro; Gavanelli, Marco
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
file con accesso da definire2023 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
The horn fragment of branching algebra
2020 Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano