Results 271 to 280 of about 31,411 (282)

A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation

International Conference on Typed Lambda Calculus and Applications, 2013
We present a core Martin-Lof type theory with subtyping; it has a cumulative hierarchy of universes and the contravariant rule for subtyping between dependent product types. We extend to this calculus the normalisation by evaluation technique defined for a variant of MLTT without subtyping.
Daniel Fridlender, Miguel Pagano
openaire   +2 more sources

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, J F, Gonnet, C, Clément, J M, Faccini   +3 more
openaire   +2 more sources

Antihypertensive therapy and regression of coronary artery disease: Insights from the Comparison of Amlodipine versus Enalapril to Limit Occurrences of Thrombosis (CAMELOT) and Norvasc for Regression of Manifest Atherosclerotic Lesions by Intravascular Sonographic Evaluation (NORMALISE) trials

American Heart Journal, 2006
In patients with coronary artery disease (CAD), therapies designed to prevent clinical events are not always associated with significant reduction in coronary obstruction, as measured by quantitative coronary angiography. We set out to explore the relationship between quantitative coronary angiography parameters, baseline characteristics, and clinical ...
Sorin J, Brener, Thomas B, Ivanc, Roman, Poliszczuk, Michael, Chen, E Murat, Tuzcu, Tingfei, Hu, David J, Frid, Steven E, Nissen   +7 more
openaire   +2 more sources

Normalisation by Evaluation

Prospects for Hardware Foundations, 1998
Ulrich Berger, Matthias Eberl, H. Schwichtenberg   +2 more
semanticscholar   +1 more source

Evaluation of optimal extracellular vesicle small RNA isolation and qRT-PCR normalisation for serum and urine.

JIM - Journal of Immunological Methods, 2016
R. Crossland, J. Norden, L. Bibby, Joanna Davis, A. Dickinson   +4 more
semanticscholar   +1 more source

Data Normalisation-Based Solar Irradiance Forecasting Using Artificial Neural Networks

The Arabian journal for science and engineering, 2020
Isha Arora, J. Gambhir, T. Kaur
semanticscholar   +1 more source

Comparative study on the evaluation and benchmarking information hiding approaches based multi-measurement analysis using TOPSIS method with different normalisation, separation and context techniques

, 2018
B. Zaidan, A. A. Zaidan
semanticscholar   +1 more source

Evaluation of electromyography normalisation methods for the back squat.

Journal of Electromyography & Kinesiology, 2012
T. G. Balshaw, A. Hunter
semanticscholar   +1 more source

Normalisation of EMG amplitude: an evaluation and comparison of old and new methods.

Medical Engineering and Physics, 1999
A. Burden, R. Bartlett
semanticscholar   +1 more source

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

ACM-SIGACT Symposium on Principles of Programming Languages, 2004
V. Balat, R. D. Cosmo, M. Fiore
semanticscholar   +1 more source