6608 search results - page 1229 / 1322 » On the Completeness of Model Checking |
131
Voted
BIOSYSTEMS
2007
15 years 3 months ago
2007
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...
154
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The most common substitution matrices currently used (BLOSUM and PAM) are based on protein sequences with average amino acid distributions, thus they do not represent ...
148
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The prediction of protein-protein binding site can provide structural annotation to the protein interaction data from proteomics studies. This is very important for th...
141
Voted
DC
2008
15 years 3 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
126
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...