Sciweavers

2 search results - page 1 / 1
» A polynomial time computation of the exact correlation struc...
Sort
View
WABI
2007
Springer
13 years 10 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha