549 search results - page 76 / 110 » From genes to functional classes in the study of biological ... |
WADT
1998
Springer
14 years 25 days ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
AAAI
2007
13 years 11 months ago
2007
The long-term goal of Project Halo is to build an application called Digital Aristotle that can answer questions on a variety of science topics and provide user and domain appropr...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
BMCBI
2007
13 years 8 months ago
2007
Background: The fundamental role that intrinsic stochasticity plays in cellular functions has been shown via numerous computational and experimental studies. In the face of such e...
NAR
2011
12 years 11 months ago
2011
By broad literature survey, we have developed a leaf senescence database (LSD, http://www .eplantsenescence.org/) that contains a total of 1145 senescence associated genes (SAGs) ...