Results 241 to 250 of about 20,046 (252)

Topological segmentation of mass spectrometry imaging data. [PDF]

open access: yesJ Mass Spectrom Adv Clin Lab
Derkach MM   +5 more
europepmc   +1 more source

Operational aspects of untyped Normalisation by Evaluation

Mathematical Structures in Computer Science, 2004
A purely syntactic and untyped variant of Normalisation by Evaluation for the $\lambda$-calculus is presented in the framework of a two-level $\lambda$-calculus with rewrite rules to model the inverse of the evaluation functional. Among its operational properties there is a standardisation theorem that formally establishes the adequacy of ...
Aehlig, Klaus, Joachimski, Felix
openaire   +1 more source

Comparative study of methods chosen by the Association Française de Normalisation (AFNOR) for evaluating sensitizing potential in the Albino guinea-pig

Food and Chemical Toxicology, 1983
An evaluation was made of the different protocols recommended by the Association Française de Normalisation (AFNOR) for assessing the sensitizing potential of chemicals in the guinea-pig. The methods studied were those of Magnusson & Kligman (J. invest. Derm. 1969, 52, 268), Maguire (J. Soc. cosmet. Chem. 1973, 24, 151), Maurer et al. (Agents & Actions
J P, Guillot   +3 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy