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 CommunicationsBackground 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 +5 more
doaj +3 more sources
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
Semantic analysis of normalisation by evaluation for typed lambda calculus [PDF]
Mathematical Structures in Computer Science, 2022 AbstractThis 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 ...
Marcelo Fiore
openalex +4 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 OpenObjectives 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 +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 +2 more
openalex +5 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 +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 +13 more
doaj +11 more sources
3D Evaluation of fine-scale normalised DSMs in urban settings
South African Journal of Geomatics, 2022 Humankind often needs to accurately model, identify and spatially quantify aboveground phenomena on the Earth’s surface for informed decision-making. Height data derived from digital elevation models (DEMs) is often used to achieve this. This study conducted a deterministic assessment of three normalised digital surface models (nDSMs) of different ...
Andrè Breytenbach
openalex +4 more sources
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure [PDF]
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020 We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in the free cartesian closed bicategory on a set of objects there is at most one structural 2-cell between any parallel pair of 1-cells. We thereby reduce the difficulty of constructing structure in arbitrary cartesian closed bicategories to the level of 1 ...
Marcelo Fiore, Philip Saville
openalex +4 more sources