Sciweavers

Share
3 search results - page 1 / 1
» A Proof-Theoretic Approach to Hierarchical Math Library Orga...
Sort
View
MKM
2005
Springer
9 years 9 months ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen
BMCBI
2010
136views more  BMCBI 2010»
9 years 4 months ago
Bias correction and Bayesian analysis of aggregate counts in SAGE libraries
Background: Tag-based techniques, such as SAGE, are commonly used to sample the mRNA pool of an organism's transcriptome. Incomplete digestion during the tag formation proces...
Russell L. Zaretzki, Michael A. Gilchrist, William...
BMCBI
2006
167views more  BMCBI 2006»
9 years 4 months ago
GOurmet: A tool for quantitative comparison and visualization of gene expression profiles based on gene ontology (GO) distributi
Background: The ever-expanding population of gene expression profiles (EPs) from specified cells and tissues under a variety of experimental conditions is an important but difficu...
Jason M. Doherty, Lynn K. Carmichael, Jason C. Mil...
books