Results 1 to 10 of about 1,823,674 (334)

Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus [PDF]

arXiv, 2022
This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and shows how it can be adapted to unify definability and normalisation, yielding an extensional normalisation result. In
Marcelo Fiore
arxiv   +6 more sources

Factors influencing normalisation and sustainment of the Birmingham Symptom-specific Obstetric Triage System (BSOTS): a qualitative implementation evaluation study with UK maternity health professionals [PDF]

Implementation Science Communications
Background Maternity triage is the emergency portal to access maternity services for pregnant or newly postnatal women experiencing unexpected complications or concerns. Traditionally women were seen in the order in which they attended maternity services
Nimarta Dharni, Agnieszka Latuszynska, Sophie-Anna Dann, Nina Johns, Graeme Currie, Sara Kenyon   +5 more
doaj   +3 more sources

Distortions introduced by normalisation of values of criteria in multiple criteria methods of evaluation

Lietuvos Matematikos Rinkinys, 2014
Quantitative multiple criteria decision aid (MCDA) methods of evaluation gain increasing popularity among researchers. The idea of the methods is to comprise values ofcriteria characterising each object into a single non-dimensional cumulative criterion,
Askoldas Podviezko
doaj   +4 more sources

Evaluation of suitable reference genes for qPCR normalisation of gene expression in a Achilles tendon injury model. [PDF]

PLoS One
Tendons are one of the major load-bearing tissues in the body; subjected to enormous peak stresses, and thus vulnerable to injury. Cellular responses to tendon injury are complex, involving inflammatory and repair components, with the latter employing both resident and recruited exogenous cell populations.
Marr N, Meeson R, Piercy RJ, Hildyard JCW, Thorpe CT.   +4 more
europepmc   +7 more sources

Embedding the ‘CoolCuddle’ intervention for infants undergoing therapeutic hypothermia for hypoxic-ischaemic encephalopathy in NICU: an evaluation using normalisation process theory [PDF]

BMJ Open
Objectives Newborn infants exposed to lack of oxygen and blood flow to the brain around birth may develop brain dysfunction (hypoxic-ischaemic encephalopathy—HIE).
Lucy Beasant, Jeremy Horwood, Ela Chakkarapani, Jenny Ingram, David Odd, Stephanie Stocks, Denise Parker   +6 more
doaj   +3 more sources

A compiled implementation of normalisation by evaluation [PDF]

Journal of Functional Programming, 2012
AbstractWe present a novel compiled approach to Normalisation by Evaluation (NBE) for ML-like languages. It supports efficient normalisation of open λ-terms with respect to β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle.
Klaus Aehlig, Florian Haftmann, Tobias Nipkow   +2 more
openalex   +5 more sources

Normalisation by Evaluation for Type Theory, in Type Theory [PDF]

Logical Methods in Computer Science, 2017
We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated in the metalanguage of type theory using quotient inductive types.
Thorsten Altenkirch, Ambrus Kaposi
doaj   +2 more sources

The Simple Type Theory of Normalisation by Evaluation

Electronic Notes in Theoretical Computer Science, 2001
AbstractWe develop the type theory of the Normalisation by Evaluation (NbE) algorithm for the λ-calculus in the simply-typed case. In particular, we show that the algorithm computes long β(η)-normal forms by means of Plotkin's call-by-name and call-by-value β-evaluation semantics. This is noteworthy (i) as the algorithm decides full βη-equality and (ii)
René Vestergaard
openalex   +3 more sources

Evaluation of extraction and normalisation strategies for the analysis of lipids in placental vessels [PDF]

Journal of Pharmaceutical and Biomedical Analysis, 2018
The analysis of lipids in tough or fibrous biological tissues can be challenging due to difficulties in obtaining a representative sample following homogenisation of the tissue. Furthermore, the choice of normalisation method can have a major effect on the quality of quantitative results.
Katrin N. Sander, Daniel Hay, Fiona Broughton Pipkin, Raheela Khan, David A. Barrett   +4 more
openalex   +5 more sources

Normalisation process theory: a framework for developing, evaluating and implementing complex interventions [PDF]

BMC Medicine, 2010
Background The past decade has seen considerable interest in the development and evaluation of complex interventions to improve health. Such interventions can only have a significant impact on health and health care if they are shown to be effective when
Ong Bie, O'Donnell Catherine, Mair Frances, Kennedy Anne, Finch Tracy, Dowrick Christopher, Ballini Luciana, MacFarlane Anne, Pope Catherine, Treweek Shaun, Murray Elizabeth, Rapley Tim, Rogers Anne, May Carl   +13 more
doaj   +11 more sources