6608 search results - page 1254 / 1322 » On the Completeness of Model Checking |
157
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: The small sample sizes often used for microarray experiments result in poor estimates of variance if each gene is considered independently. Yet accurately estimating v...
133
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: gene identification in genomic DNA sequences by computational methods has become an important task in bioinformatics and computational gene prediction tools are now es...
136
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...
146
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
125
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Despite a remarkable success in the computational prediction of genes in Bacteria and Archaea, a lack of comprehensive understanding of prokaryotic gene structures pre...