2296 search results - page 410 / 460 » The Expressive Power of Synchronizations |
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
155
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: There is a large amount of microarray data accumulating in public databases, providing various data waiting to be analyzed jointly. Powerful kernel-based methods are c...
127
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative trait locus (QTL) mapping identifies genomic regions that likely contain genes regulating a quantitative trait. However, QTL regions may encompass tens to...
137
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Recent biological discoveries have shown that clustering large datasets is essential for better understanding biology in many areas. Spectral clustering in particular ...
127
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Meta-analysis methods exist for combining multiple microarray datasets. However, there are a wide range of issues associated with microarray meta-analysis and a limite...