مقالات بحثية تمّ التفويض بإتاحتها للجميع - Marco Gavanelliمزيد من المعلومات
عدد المقالات البحثية غير المتاحة للجميع في أي موقع: 1
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip
A Peano, L Ramini, M Gavanelli, M Nonato, D Bertozzi
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
التفويضات: Government of Italy
عدد المقالات البحثية المتاحة للجميع في موقع ما: 14
Improved filtering for the Euclidean traveling salesperson problem in CLP (FD)
A Bertagnon, M Gavanelli
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1412-1419, 2020
التفويضات: Government of Italy
Logic-based Benders decomposition in answer set programming for chronic outpatients scheduling
P Cappanera, M Gavanelli, M Nonato, M Roma
Theory and Practice of Logic Programming 23 (4), 848-864, 2023
التفويضات: Government of Italy
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
A Bertagnon, M Gavanelli
2020 International Conference on Computational Science and Computational …, 2020
التفويضات: Government of Italy
Improving the efficiency of Euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
E Bellodi, A Bertagnon, M Gavanelli, R Zese
International Conference of the Italian Association for Artificial …, 2020
التفويضات: Government of Italy
The Horn fragment of branching algebra
A Bertagnon, M Gavanelli, A Passantino, G Sciavicco, S Trevisani
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 178, 5-1-5-16, 2020
التفويضات: Government of Italy
Deciding the consistency of branching time interval networks
M Gavanelli, A Passantino, G Sciavicco
25th International Symposium on Temporal Representation and Reasoning (TIME …, 2018
التفويضات: Government of Italy
Geometric reasoning on the traveling salesperson problem: comparing answer set programming and constraint logic programming approaches
A Bertagnon, M Gavanelli
CEUR WORKSHOP PROCEEDINGS 3437, 1-11, 2023
التفويضات: Government of Italy
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
F Chesani, G Cota, M Gavanelli, E Lamma, P Mello, F Riguzzi
Engineering Applications of Artificial Intelligence 95, 103861, 2020
التفويضات: Government of Italy
On (maximal, tractable) fragments of the branching algebra?
A Bertagnon, M Gavanelli, G Sciavicco, S Trevisani
CEUR WORKSHOP PROCEEDINGS 2710, 113-126, 2020
التفويضات: Government of Italy
Dischargeable Obligations in Abductive Logic Programming
M Alberti, M Gavanelli, E Lamma, F Riguzzi, R Zese
International Joint Conference on Rules and Reasoning, 7-21, 2017
التفويضات: Government of Italy
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training
A Proto, A Cavalieri, G Gadda, A Taibi, L Astolfi, M Bonfè, A Bertagnon, ...
Electronics 12 (11), 2419, 2023
التفويضات: Government of Italy
Dischargeable Obligations in the 𝒮CIFF Framework
M Alberti, M Gavanelli, E Lamma, F Riguzzi, K Satoh, R Zese
Fundamenta Informaticae 176 (3-4), 321-348, 2020
التفويضات: Government of Italy
Towards efficient MUS extraction
M Gavanelli, T Mancini, A Belov, I Lynce, J Marques-Silva
AI Communications 25 (2), 97-116, 2012
التفويضات: Science Foundation Ireland
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem
M Gavanelli, T Mancini, S González-Martín, AA Juan, D Riera, Q Castellà, ...
AI Communications 25 (2), 173-189, 2012
التفويضات: Government of Spain
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.