Protein Topology Prediction through Parallel Constraint Logic Programming.
Dominic A. ClarkChristopher J. RawlingsJack ShiraziAndré VéronMike ReevePublished in: ISMB (1993)
Keyphrases
- constraint logic programming
- subcellular localization
- constraint solving
- contact map
- logic programming language
- protein structure prediction
- protein secondary structure
- answer set programming
- logic programming
- constraint programming
- contact maps
- prediction accuracy
- protein interaction
- proof theoretic
- predicting protein
- protein structure
- constraint propagation
- temporal reasoning
- protein sequences
- drug design
- global constraints
- high level
- protein function
- parallel processing
- programming paradigms
- experimentally determined
- secondary structure
- parallel computation
- amino acids
- heuristic search
- visual features
- general purpose
- special case
- computational complexity