1699 search results - page 62 / 340 » On the Expressive Power of QLTL |
130
Voted
BMCBI
2006
15 years 23 days ago
2006
Background: The small sample sizes often used for microarray experiments result in poor estimates of variance if each gene is considered independently. Yet accurately estimating v...
117
Voted
CASCON
2007
15 years 2 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
116
click to vote
BMCBI
2008
15 years 25 days ago
2008
Background: The variety of DNA microarray formats and datasets presently available offers an unprecedented opportunity to perform insightful comparisons of heterogeneous data. Cro...
104
Voted
BMCBI
2005
15 years 19 days ago
2005
Background: With the explosion of microarray studies, an enormous amount of data is being produced. Systematic integration of gene expression data from different sources increases...
99
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...