Insights into the implementation of a whole genome sequencing report form (SRF) to reduce nosocomial SARS-CoV-2 in UK hospitals within an unfolding pandemic: A qualitative process evaluation using normalisation process theory. [PDF]
PLoS OneLeiser R +11 more
europepmc +2 more sources
Managing obstetric bleeding in Wales: A qualitative evaluation of the OBS Cymru care bundle using Normalisation Process Theory. [PDF]
PLoS OneRai T +17 more
europepmc +2 more sources
A new way to evaluate G-Wishart normalising constants via Fourier analysis [PDF]
The G-Wishart distribution is an essential component for the Bayesian analysis of Gaussian graphical models as the conjugate prior for the precision matrix. Evaluating the marginal likelihood of such models usually requires computing high-dimensional integrals to determine the G-Wishart normalising constant.
Ching Wong, Giusi Moffa, Jack Kuipers
openalex +3 more sources
ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)This work has been submitted to the IEEE for possible ...
Manuel Milling +4 more
openalex +4 more sources
Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages [PDF]
, 2005 This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed intermediate language MIL.
Lindley, Sam
openaire +5 more sources
On Sessions and Infinite Data [PDF]
Logical Methods in Computer Science, 2017 We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an ...
Paula Severi +3 more
doaj +1 more source
Evaluation of electromyography normalisation methods for the back squat [PDF]
Journal of Electromyography and Kinesiology, 2012 The aim of the study was to evaluate maximal isometric (dynamometer based {MVC-NORM} and isometric squat {MIS-NORM}) and sub-maximal EMG normalisation methods (60%-NORM, 70%-NORM, 80%-NORM) for dynamic back squat exercise (DSQ-EX). The absolute reliability (limits of agreement {LOA}, coefficient of variation {CV%}), relative reliability (intra-class ...
Balshaw, Tom, Hunter, Angus
openaire +4 more sources
Nested Sampling with Normalising Flows for Gravitational-Wave Inference [PDF]
Phys. Rev. D 103, 103006 (2021), 2021 We present a novel method for sampling iso-likelihood contours in nested sampling using a type of machine learning algorithm known as normalising flows and incorporate it into our sampler nessai. Nessai is designed for problems where computing the likelihood is computationally expensive and therefore the cost of training a normalising flow is offset by
arxiv +1 more source
BMJ Open, 2023 Introduction A major issue confronting clinicians treating hypertension in pregnancy is the limited number of pharmacological options. Endovascular catheter-based renal denervation (RDN) is a new method to lower blood pressure (BP) in patients with ...
+29 more
doaj +1 more source
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance [PDF]
Logical Methods in Computer Science, 2011 We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluation algorithm.
Andreas Abel +2 more
doaj +1 more source