SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 13 di 13
Titolo Data di pubblicazione Autore(i) File
On (maximal, tractable) fragments of the branching algebra? 2020 Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
Constraint programming algorithms for route planning exploiting geometrical information 2020 Bertagnon, A. file con accesso da definire
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments 2020 Bertagnon, Alessandro; Gavanelli, Marco
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints 2020 Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) 2020 Bertagnon, Alessandro; Gavanelli, Marco
The horn fragment of branching algebra 2020 Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Ste...fano
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints 2021 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
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 file con accesso da definire
Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems 2022 Bertagnon, Alessandro
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches 2023 Bertagnon, A.; Gavanelli, M. file con accesso da definire
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex 2023 Bertagnon, A.; Gavanelli, M.; Zanotti, F. file con accesso da definire
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.; No...nato, M.; Gavanelli, M.; Cristofori, G.; D'Antona, A.; Farsoni, S.
Mostrati risultati da 1 a 13 di 13
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile