Results 161 to 170 of about 29,987 (175)

REVAMP (Reducing Experimentation of Vaping AMong secondary school Students): Protocol for an Intervention Development Study

Radley A, Moynihan V, Duncan A, Miller M, Niven A, Bauld L, Ribisl K, Dobbie F.   +7 more
europepmc   +1 more source

Approaches, barriers, and facilitators to and strategies for normalizing the provision of Ultrasound Scanning by Midwives in the Antenatal Clinic

Maseko B, Kuyere A, Mndala L, Kondoni C, Gadama L, Bamuya C, Malunga A, Medley N, Crampin M, Lissauer D, Nyondo-Mipando AL.   +10 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Normalisation by Evaluation for Dependent Types

International Conference on Formal Structures for Computation and Deduction, 2016
Thorsten Altenkirch, A. Kaposi
semanticscholar   +1 more source

Normalisation by Evaluation

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

Operational aspects of untyped Normalisation by Evaluation

Mathematical Structures in Computer Science, 2004
Klaus Aehlig, Felix Joachimski
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