CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Federico Campeotto
Latest
A declarative concurrent system for protein structure prediction on GPU
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
Experimenting with FIASCO for protein structure prediction.
Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages
Towards a complete constraint solver on GPU
A Constraint Solver for Flexible Protein Models
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints.
Cite
×