898 search results - page 36 / 180 » An Analysis of Permutations in Arrays |
173
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Oligonucleotide arrays have become one of the most widely used high-throughput tools in biology. Due to their sensitivity to experimental conditions, normalization is ...
175
click to vote
FASE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
135
click to vote
LATIN
1998
Springer
15 years 10 months ago
1998
Springer
We study the performance of packet routing on arrays (or meshes) with bounded buffers in the routing switches, assuming that new packets are continuously inserted at all the nodes....
177
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The sequencing of many genomes and tiling arrays consisting of millions of DNA segments spanning entire genomes have made high-resolution copy number analysis possible...