Results 11 to 20 of about 29,987 (175)

What drives adoption of a computerised, multifaceted quality improvement intervention for cardiovascular disease management in primary healthcare settings? A mixed methods analysis using normalisation process theory

Implementation Science, 2018
Background A computerised, multifaceted quality improvement (QI) intervention for cardiovascular disease (CVD) management in Australian primary healthcare was evaluated in a cluster randomised controlled trial.
Bindu Patel, Tim Usherwood, Mark Harris, Anushka Patel, Kathryn Panaretto, Nicholas Zwar, David Peiris   +6 more
doaj   +2 more sources

A compiled implementation of normalisation by evaluation* [PDF]

Journal of functional programming, 2012
Klaus Aehlig, Florian Haftmann, T. Nipkow   +2 more
semanticscholar   +2 more sources

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

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   +2 more sources

Co-creation of social innovations for healthy ageing in rural Europe – a process evaluation of a volunteer-led guided conversation toolkit using Normalisation Process Theory (NPT)

Journal of Responsible Innovation
We critically explored the use of Normalisation Process Theory (NPT) in the evaluation of a co-designed intervention toolkit for Healthy Ageing through Innovation in Rural Europe (HAIRE).
Basharat Hussain, Mahrukh Mirza, Shukru Esmene, Catherine Leyshon, Michael Leyshon, Arunangsu Chatterjee   +5 more
doaj   +2 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, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini   +3 more
doaj   +1 more source

Semantic analysis of normalisation by evaluation for typed lambda calculus [PDF]

ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2002
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 ...
M. Fiore
semanticscholar   +1 more source

Endovascular ultrasound renal denervation to lower blood pressure in young hypertensive women planning pregnancy: study protocol for a multicentre randomised, blinded and sham controlled proof of concept study

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 ...
, Laurence Amar, Hélène Bouvaist, Anne Blanchard, Guillaume Lamirault, Didier Riethmuller, Loïc Sentilhes, Philippe Gosse, Louise Ghesquière, Pascal Delsart, Marc Sapoval, Patrice Guérin, Michel Azizi, Rosa Maria Bruno, Romain Boulestreau, Julien Doublet, Julie Gaudissard, Antoine Cremer, Vassilis Tsatsaris, Claire Mounier Vehier, Guillaume Ledieu, Benjamin Longere, Olivier Ormezzano, Charlotte Casser, Yannick Neuder, Mathieu Rodiere, Béatrice Duly-Bouhanick, Paul Guerby, Hervé Rousseau, Robert Winer   +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, Thierry Coquand, Miguel Pagano   +2 more
doaj   +1 more source

Multisite reproducibility and test-retest reliability of the T1w/T2w-ratio: A comparison of processing methods

NeuroImage, 2021
Background: The ratio of T1-weighted (T1w) and T2-weighted (T2w) magnetic resonance imaging (MRI) images is often used as a proxy measure of cortical myelin.
Stener Nerland, Kjetil N. Jørgensen, Wibeke Nordhøy, Ivan I. Maximov, Robin A.B. Bugge, Lars T. Westlye, Ole A. Andreassen, Oliver M. Geier, Ingrid Agartz   +8 more
doaj   +1 more source

Double Machine Learning Based Program Evaluation under Unconfoundedness [PDF]

Econometrics Journal, 2020
This paper reviews, applies and extends recently proposed methods based on Double Machine Learning (DML) with a focus on program evaluation under unconfoundedness.
M. Knaus
semanticscholar   +1 more source