4355 search results - page 772 / 871 » From Interpretation to Compilation |
106
click to vote
MSCS
2007
14 years 9 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
117
click to vote
BMCBI
2010
14 years 7 months ago
2010
Background: Mass spectrometry has become a standard method by which the proteomic profile of cell or tissue samples is characterized. To fully take advantage of tandem mass spectr...
105
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Gene set enrichment testing has helped bridge the gap from an individual gene to a systems biology interpretation of microarray data. Although gene sets are defined a ...
NAR
2011
14 years 22 days ago
2011
Correlations of gene-to-gene co-expression and metabolite-to-metabolite co-accumulation calculated from large amounts of transcriptome and metabolome data are useful for uncoverin...
SDM
2011
SIAM
14 years 22 days ago
2011
SIAM
Motivated by sensor networks, mobility data, biology and life sciences, the area of mining uncertain data has recently received a great deal of attention. While various papers hav...