Results 11 to 20 of about 20,046 (252)

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

Mathematical Structures in Computer Science, 2002
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
  +7 more sources

An application of Extended Normalisation Process Theory in a randomised controlled trial of a complex social intervention: Process evaluation of the Strengthening Families Programme (10–14) in Wales, UK

SSM: Population Health, 2017
Purpose: Process evaluations generate important data on the extent to which interventions are delivered as intended. However, the tendency to focus only on assessment of pre-specified structural aspects of fidelity has been criticised for paying ...
Jeremy Segrott, Simon Murphy, Heather Rothwell, Jonathan Scourfield, David Foxcroft, David Gillespie, Jo Holliday, Kerenza Hood, Claire Hurlow, Sarah Morgan-Trimmer, Ceri Phillips, Hayley Reed, Zoe Roberts, Laurence Moore   +13 more
doaj   +2 more sources

Abstract hypernormalisation, and normalisation-by-trace-evaluation for generative systems [PDF]

, 2018
Jacobs' hypernormalisation is a construction on finitely supported discrete probability distributions, obtained by generalising certain patterns occurring in quantitative information theory. In this paper, we generalise Jacobs' notion in turn, by describing a notion of hypernormalisation in the abstract setting of a symmetric monoidal category endowed ...
Richard Garner
openaire   +3 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

‘We’re passengers sailing in the same ship, but we have our own berths to sleep in’: Evaluating patient and public involvement within a regional research programme: An action research project informed by Normalisation Process Theory

PLOS ONE, 2019
Patient and public involvement (PPI) is a requirement for UK health and social care research funding. Evidence for how best to implement PPI in research programmes, such as National Institute for Health Research (NIHR) Collaborations for Applied Health Research and Care (CLAHRCs), remains limited. This paper reports findings from an action research (AR)
Julia Keenan, Fiona Poland, Jonathan Boote, Amanda Howe, Helena Wythe, Anna Varley, Penny Vicary, Lisa Irvine, Amander Wellings   +8 more
openaire   +6 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

Evaluation of fatigue life data by normalising procedures

, 2000
13th European Conference on Fracture, San Sebastian (Spain)
Castillo, E., Aenlle López, Manuel, Lamela Rey, María Jesús, Fernández Canteli, Alfonso Carlos   +3 more
openaire   +2 more sources

A qualitative approach for spatial multi-criteria evaluation of landslide susceptibility by normalised values of Analytical Hierarchical Process (AHP): a case study from Kalawana Administrative Division, Sri Lanka

Journal of the Geological Society of Sri Lanka, 2019
A.A. Virajh Dias, Jagath Gunatilake
openaire   +3 more sources

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

Comparison of normalisation methods for surface-enhanced laser desorption and ionisation (SELDI) time-of-flight (TOF) mass spectrometry data

BMC Bioinformatics, 2008
Background Mass spectrometry for biological data analysis is an active field of research, providing an efficient way of high-throughput proteome screening. A popular variant of mass spectrometry is SELDI, which is often used to measure sample populations
Beijnen Jos H, Gast Marie-Christine W, Engwegen Judith YMN, Meuleman Wouter, Reinders Marcel JT, Wessels Lodewyk FA   +5 more
doaj   +1 more source