재정 지원 요구사항을 통해 공개된 자료 - Marco Gavanelli자세히 알아보기
제공된 곳이 없음: 3
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
Towards efficient MUS extraction.
M Gavanelli, T Mancini, A Belov, I Lynce, J Marques-Silva
AI Communications 25 (2), 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), 2012
재정 지원 요구사항 정책: Government of Spain
제공된 곳이 있음: 10
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
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
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
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
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.