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 +5 more sources
Corrigendum to ‘Evaluation of normalisation methods for uniaxial bias extension tests on engineering fabrics’ [PDF]
Composites Part A: Applied Science and Manufacturing, 2015 This short communication is intended to correct certain erroneous conclusions drawn in the recently published paper by Hartel and Harrison (2014). The investigation of Hartel and Harrison (2014) was intended to evaluate the performance of normalisation methods for the uniaxial bias extension test.
Philip G. Harrison, Frank Härtel
semanticscholar +6 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
semanticscholar +6 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 bicategories. 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.
Marcelo Fiore, Philip Saville
semanticscholar +5 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 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
Evaluation of normalisation methods for uniaxial bias extension tests on engineering fabrics [PDF]
Composites Part A: Applied Science and Manufacturing, 2014 An investigation has been conducted to evaluate the performance of normalisation methods for the uniaxial bias extension test. The predictions of two published theories for rate-independent behaviour are examined and a third heuristic method is proposed.
Frank Härtel, Philip G. Harrison
semanticscholar +5 more sources
Translational framework for implementation evaluation and research: a normalisation process theory coding manual for qualitative research and instrument development [PDF]
Implementation Science, 2022 Background Normalisation Process Theory (NPT) is frequently used to inform qualitative research that aims to explain and evaluate processes that shape late-stage translation of innovations in the organisation and delivery of healthcare.
Carl May +12 more
openalex +2 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
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 +3 more sources
A Continuous Quality Improvement Intervention to Improve Antenatal HIV Care Testing in Rural South Africa: Evaluation of Implementation in a Real-World Setting [PDF]
International Journal of Health Policy and Management, 2022 BackgroundWe evaluated continuous quality improvement (CQI) targeting antenatal HIV care quality in rural South Africa using a stepped-wedge cluster-randomised controlled trial (Management and Optimisation of Nutrition, Antenatal, Reproductive, Child ...
H. Manisha Yapa +10 more
doaj +2 more sources