Results 261 to 270 of about 29,074 (310)

Using normalisation process theory to evaluate the implementation of a digital health intervention in community and secondary care long COVID clinics

Fiona Stevenson, Paul Pfeffer, Sarah Walker, Hadiza Ismaila, Veeriah Jegatheesan, Ibrahim Mohammad, Ann Blandford, Stuart Linke, John R. Hurst, William Ricketts, Fiona Hamilton, David Sunkersing, Katherine Bradbury, Henry Goodfellow   +13 more
openalex   +1 more source

D-dimer levels at the time of admission to hospital as a predictor of outcome in trauma patients: A prospective observational study. [PDF]

Saudi J Anaesth
Hazarika A, Kumar M, Ahluwalia J, Khurana BJK, Mahajan V, Bhatia N, Naik N, Kumar D.   +7 more
europepmc   +1 more source

A theory-based analysis of the implementation of online asynchronous telemedicine platforms into primary care practices using Normalisation Process Theory. [PDF]

BMC Prim Care
Leighton C, Joseph-Williams N, Porter A, Edwards A, Cooper A.   +4 more
europepmc   +1 more source

SS-EMERGE - self-supervised enhancement for multidimension emotion recognition using GNNs for EEG. [PDF]

Sci Rep
Ahuja C, Sethia D.
europepmc   +1 more source

Supercompilation and normalisation by evaluation

, 2010
openaire   +1 more source

What enables the safe prescription and monitoring of morphine for chronic breathlessness? Insights from a Normalisation Process Theory-informed implementation survey and interviews with clinicians

Pearson M, Mohamed A, Bajwah S, Fallon M, Date K, Williams B, Currow D, Johnson M.   +7 more
europepmc   +1 more source

EnrichMap: Spatially informed enrichment analysis for functional interpretation of spatial transcriptomics

Celik C, Secrier M.
europepmc   +1 more source

Is Your Style Transfer Doing Anything Useful? An Investigation Into Hippocampus Segmentation and the Role of Preprocessing

Kalabizadeh H, Griffanti L, Yeung PH, Voets N, Gillis G, Mackay CE, Namburete AI, Dinsdale NK, Kamnitsas K.   +8 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Operational aspects of untyped Normalisation by Evaluation

Mathematical Structures in Computer Science, 2004
A purely syntactic and untyped variant of Normalisation by Evaluation for the $\lambda$-calculus is presented in the framework of a two-level $\lambda$-calculus with rewrite rules to model the inverse of the evaluation functional. Among its operational properties there is a standardisation theorem that formally establishes the adequacy of ...
Klaus Aehlig, Felix Joachimski
semanticscholar   +3 more sources

Normalisation by Evaluation [PDF]

Prospects for Hardware Foundations, 1998
We extend normalization by evaluation (FIrst presented in [4]) from the pure typed ?-calculus to general higher type term rewrite systems. This work also gives a theoretical explanation of the normalization algorithm implemented in the Minlog system.
Ulrich Berger, Matthias Eberl, H. Schwichtenberg   +2 more
semanticscholar   +2 more sources