5863 search results - page 1115 / 1173 » Calculating Functional Programs |
ECCC
2007
13 years 8 months ago
2007
The OR-SAT problem asks, given Boolean formulae φ1, . . . , φm each of size at most n, whether at least one of the φi’s is satisfiable. We show that there is no reduction fr...
MICRO
2006
IEEE
13 years 8 months ago
2006
IEEE
In the past few years, several research works have demonstrated that sampling can drastically speed up architecture simulation, and several of these sampling techniques are already...
BMCBI
2005
13 years 8 months ago
2005
Background: The alignment of multiple protein sequences is a fundamental step in the analysis of biological data. It has traditionally been applied to analyzing protein families f...
BMCBI
2005
2005
Phylogenetic reconstruction of ancestral character states for gene expression and mRNA splicing data
13 years 8 months ago
Background: As genomes evolve after speciation, gene content, coding sequence, gene expression, and splicing all diverge with time from ancestors with close relatives. A minimum e...
BMCBI
2005
13 years 8 months ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...