8874 search results - page 1513 / 1775 » A New Implementation of Automath |
224
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
228
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Comparative analysis of gene expression profiling of multiple biological categories, such as different species of organisms or different kinds of tissue, promises to e...
189
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Copy number variations (CNVs) and polymorphisms (CNPs) have only recently gained the genetic community's attention. Conservative estimates have shown that CNVs an...
183
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Expression microarrays are increasingly used to obtain large scale transcriptomic information on a wide range of biological samples. Nevertheless, there is still much ...
229
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: With the completion of the HapMap project, a variety of computational algorithms and tools have been proposed for haplotype inference, tag SNP selection and genome-wid...