CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
A. Dal Palu
Latest
An xAI Approach for Data-to-Text Processing with ASP
Prolog Meets Biology
Prolog Meets Biology
2D object reconstruction with ASP
Experimenting with FIASCO for protein structure prediction.
A Constraint Solver for Flexible Protein Models
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints.
Protein Structure Analysis with Constraint Programming.
CLP-based protein fragment assembly
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
Constraint based methods for bioinformatics (Chapter VI)
GASP: Answer Set Programming with Lazy Grounding
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
Enhancing the Computation of Approximate Solutions of the Protein Structure Determination
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
Agent-Based Protein Folding Simulation
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD)
Designing an urban-scale auditory alert system
Protein Folding in CLP(FD) with Empirical Contact Energies
Protein Folding Simulation in CCP
Cite
×