Results 311 to 320 of about 580,256 (322)

New cut-off criterion for uninformative variable elimination in multivariate calibration of near-infrared spectra for the determination of heroin in illicit street drugs

Analytica Chimica Acta, 2008
Javier Moros, Julia Kuligowski, Guillermo QuintÁs   +2 more
exaly  

Towards a clausal analysis of cut-elimination

Journal of Symbolic Computation, 2006
Matthias Baaz
exaly  

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

Theoretical Computer Science, 1999
Mitsuhiro Okada
exaly  

Elimination of cancer disparities via organizational transformation and community-driven approaches

Ca-A Cancer Journal for Clinicians, 2011
exaly  

Global measles elimination

Nature Reviews Microbiology, 2006
William J Moss, Diane E Griffin
exaly  

ANTI-SMOKING EFFORTS CUT LUNG CANCER DEATHS

Ca-A Cancer Journal for Clinicians, 2003
exaly  

A cut-elimination theorem

1972
openaire   +1 more source

Sufficient conditions for cut elimination with complexity analysis

Annals of Pure and Applied Logic, 2007
João Rasga
exaly  

Cut Elimination in Transfinite Type Theory

Mathematical Logic Quarterly, 1973
openaire   +2 more sources

Normalization and cut elimination

2014
openaire   +1 more source