3040 search results - page 507 / 608 » Independent Natural Extension |
169
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
171
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Serotypes of the Foot-and-Mouth disease viruses (FMDVs) were generally determined by biological experiments. The computational genotyping is not well studied even with...
150
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: DNA microarrays are used to investigate differences in gene expression between two or more classes of samples. Most currently used approaches compare mean expression l...
285
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Cells dynamically adapt their gene expression patterns in response to various stimuli. This response is orchestrated into a number of gene expression modules consistin...