ASM
2010
ASM
13 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ASM
2010
ASM
13 years 10 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
We present a general heuristicfor the median problem for induced breakpoints on genomes with unequal gene content and incorporate this into a routine for estimating optimal gene o...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
In a recent paper (Preparata et al., 1999) we introduced a novel probing scheme for DNA sequencing by hybridization (SBH). The new gapped-probe scheme combines natural and univers...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...