6608 search results - page 1302 / 1322 » On the Completeness of Model Checking |
BMCBI
2010
13 years 8 months ago
2010
Background: Phylogenetic relationships between genes are not only of theoretical interest: they enable us to learn about human genes through the experimental work on their relativ...
BMCBI
2008
13 years 8 months ago
2008
Background: The increasing availability of fungal genome sequences provides large numbers of proteins for evolutionary and phylogenetic analyses. However the heterogeneity of data...
BMCBI
2010
13 years 8 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
BMCBI
2008
13 years 8 months ago
2008
Background: Metabolomics, or metabonomics, refers to the quantitative analysis of all metabolites present within a biological sample and is generally carried out using NMR spectro...
BMCBI
2007
13 years 8 months ago
2007
Background: Numerous functional genomics approaches have been developed to study the model organism yeast, Saccharomyces cerevisiae, with the aim of systematically understanding t...