Author Archives: adovier

A GPU Implementation of the ASP Computation By Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Flavio Vella Abstract General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of … Continue reading →

Tutorial on CP and Bioinformatics of September 4, 2015 https://users.dimi.uniud.it/~agostino.dovier/SLIDES/CORK_CP15.pdf

From left to right: Nando Fioretto, Agostino Dovier, Enrico Pontelli, and Alessandro Dal Palù (all but one teachers at the GULP school on logic programming)  

CUD@SAT: SAT Solving on GPUs. A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli. Journal of Experimental & Theoretical Artificial Intelligence (JETAI), Volume 27(3), July 2015, pp. 293-316. (draft) DOI: 10.1080/0952813X.2014.954274 Abstract The parallel computing power offered by Graphical Processing … Continue reading →

http://qui.uniud.it/notizieEventi/ricerca-e-innovazione/ateneo-premiato-research-center-gpu-dalla-californiana-nvidia-corporation  

Our favourite lab has been selected to be a 2015 GPU Research Center “based on the vision, quality, and impact of (y)our research leveraging GPU Computing”. A great thank to all LAB members that made it possible and to NVIDIA … Continue reading →

F. Campeotto, A. Dovier, and E. Pontelli. A Declarative Concurrent System for Protein Structure Prediction on GPU. Journal of Experimental & Theoretical Artificial Intelligence (JETAI). On line since february 2015 DOI: 10.1080/0952813X.2014.993503 Abstract This paper provides a novel perspective in … Continue reading →

Cliccando sulla foto (item 18) c’è una lezione on-line sul ruolo dei giochi in AI (realizzata per il progetto flash forward 2 organizzato dalle Università di Udine e Trieste).

Agostino Dovier @ECAI2014. Pictures by Enrico Pontelli  

The paper A GPU Implementation of Large Neighborhood Search  for Solving Constraint Optimization Problems by F. Campeotto, A. Dovier, F. Fioretto, and E. Pontelli will be presented (as full paper) at ECAI 2014 ABSTRACT Constraint programming has gained prominence as … Continue reading →