23 search results - page 4 / 5 » The Calculus of Looping Sequences for Modeling Biological Me... |
BIBE
2005
IEEE
14 years 2 months ago
2005
IEEE
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
NFM
2011
13 years 3 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
BMCBI
2008
13 years 8 months ago
2008
Background: Insertions and deletions (indels) represent a common type of sequence variations, which are less studied and pose many important biological questions. Recent research ...
BMCBI
2002
13 years 8 months ago
2002
Background: Most profile and motif databases strive to classify protein sequences into a broad spectrum of protein families. The next step of such database studies should include ...
BMCBI
2006
13 years 8 months ago
2006
Background: Hidden Markov Models (HMMs) have been extensively used in computational molecular biology, for modelling protein and nucleic acid sequences. In many applications, such...