Alessandro Dal Palu'
Titolo
Citata da
Citata da
Anno
COMMIT: convex optimization modeling for microstructure informed tractography
A Daducci, A Dal Pal¨, A Lemkaddem, JP Thiran
IEEE transactions on medical imaging 34 (1), 246-257, 2014
1222014
GPU-enhanced finite volume shallow water solver for fast flood simulations
R Vacondio, A Dal Palu, P Mignosa
Environmental modelling & software 57, 60-75, 2014
952014
Constraint logic programming approach to protein structure prediction
A Dal Palu, A Dovier, F Fogolari
BMC bioinformatics 5 (1), 186, 2004
902004
Microstructure informed tractography: pitfalls and open challenges
A Daducci, A Dal Pal˙, M Descoteaux, JP Thiran
Frontiers in neuroscience 10, 247, 2016
882016
Identification of α-helices from low resolution protein density maps
A Dal Palu, J He, E Pontelli, Y Lu
Computational Systems Bioinformatics, 89-98, 2006
742006
Gasp: Answer set programming with lazy grounding
A Dal Pal¨, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
722009
Simulation of the January 2014 flood on the Secchia River using a fast and high-resolution 2D parallel shallow-water numerical scheme
R Vacondio, F Aureli, A Ferrari, P Mignosa, A Dal Pal¨
Natural Hazards 80 (1), 103-125, 2016
412016
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
A Dal Palu, A Dovier, E Pontelli
Software: Practice and Experience 37 (13), 1405-1449, 2007
382007
Answer set programming with constraints using lazy grounding
A Dal Pal¨, A Dovier, E Pontelli, G Rossi
International Conference on Logic Programming, 115-129, 2009
362009
Integrating finite domain constraints and CLP with sets
AD Pal˙, A Dovier, E Pontelli, G Rossi
Proceedings of the 5th ACM SIGPLAN international conference on Principlesá…, 2003
352003
A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models
R Vacondio, A Dal Pal¨, A Ferrari, P Mignosa, F Aureli, S Dazzi
Environmental Modelling & Software 88, 119-137, 2017
342017
Cud@ sat: Sat solving on gpus
A Dal Pal¨, A Dovier, A Formisano, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence 27 (3), 293-316, 2015
312015
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
A Dal Palu, A Dovier, E Pontelli
Proceedings of the 7th ACM SIGPLAN international conference on Principlesá…, 2005
292005
Protein Folding in CLP() with Empirical Contact Energies
A Dal Palu, A Dovier, F Fogolari
International Workshop on Constraint Solving and Constraint Logicá…, 2003
282003
Global tractography with embedded anatomical priors for quantitative connectivity analysis
A Lemkaddem, D Ski÷ldebrand, A Dal Pal˙, JP Thiran, A Daducci
Frontiers in neurology 5, 232, 2014
272014
Exploring the use of GPUs in constraint solving
F Campeotto, A Dal Palu, A Dovier, F Fioretto, E Pontelli
International Symposium on Practical Aspects of Declarative Languages, 152-167, 2014
252014
CLP-based protein fragment assembly
AD Palu, A Dovier, F Fogolari, E Pontelli
arXiv preprint arXiv:1007.5180, 2010
232010
A convex optimization framework for global tractography
A Daducci, A Dal Palu, A Lemkaddem, JP Thiran
2013 IEEE 10th International Symposium on Biomedical Imaging, 524-527, 2013
222013
A constraint solver for flexible protein model
F Campeotto, A Dal Pal¨, A Dovier, F Fioretto, E Pontelli
Journal of Artificial Intelligence Research 48, 953-1000, 2013
162013
A constraint logic programming approach to 3D structure determination of large protein complexes
AD Pal¨, E Pontelli, J He, Y Lu
Proceedings of the 2006 ACM symposium on Applied computing, 131-136, 2006
152006
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20