2343 search results - page 318 / 469 » Structure and Interpretation of Computer Programs |
145
click to vote
LICS
1991
IEEE
15 years 8 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
160
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...
152
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Several mathematical and statistical methods have been proposed in the last few years to analyze microarray data. Most of those methods involve complicated formulas, a...
166
click to vote
CG
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we present a sketch modelling system which we call Stilton. The program resembles a desktop VRML browser, allowing a user to navigate a 3D model in a perspective pro...
144
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Genome sequencing projects have expanded the gap between the amount of known protein sequences and structures. The limitations of current high resolution structure det...