1466 search results - page 240 / 294 » C Program Information Database for Analysis Tools |
BMCBI
2006
13 years 7 months ago
2006
Background: Current genomic research methods provide researchers with enormous amounts of data. Combining data from different high-throughput research technologies commonly availa...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
ER
1995
Springer
13 years 11 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
BMCBI
2006
13 years 7 months ago
2006
Background: gene identification in genomic DNA sequences by computational methods has become an important task in bioinformatics and computational gene prediction tools are now es...
BMCBI
2005
13 years 7 months ago
2005
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...