9006 search results - page 1404 / 1802 » Modeling Software |
138
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Estimation of DNA duplex hybridization free energy is widely used for predicting cross-hybridizations in DNA computing and microarray experiments. A number of software...
149
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In the yeast Saccharomyces cerevisiae, interactions between galactose, Gal3p, Gal80p, and Gal4p determine the transcriptional status of the genes required for the gala...
172
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
190
Voted
BMCBI
2004
15 years 5 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
201
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...