230 search results - page 46 / 46 » Automation for Dependently Typed Functional Programming |
BMCBI
2007
13 years 4 months ago
2007
Background: This work explores the quantitative characteristics of the local transcriptional regulatory network based on the availability of time dependent gene expression data se...
BIRTHDAY
2003
Springer
13 years 10 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
BMCBI
2005
13 years 4 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...
BMCBI
2010
12 years 12 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...