3742 search results - page 689 / 749 » On the Use of Formal Techniques for Validation |
185
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: At intermediate stages of genome assembly projects, when a number of contigs have been generated and their validity needs to be verified, it is desirable to align thes...
167
click to vote
CGF
2010
15 years 6 months ago
2010
Biologists pioneering the new field of comparative functional genomics attempt to infer the mechanisms of gene regulation by looking for similarities and differences of gene activ...
182
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The degree to which conventional DNA sequencing techniques will be successful for highly repetitive genomes is unclear. Investigators are therefore considering various...
199
click to vote
ANOR
2004
15 years 6 months ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
175
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Recent technological advances in mass spectrometry pose challenges in computational mathematics and statistics to process the mass spectral data into predictive models...