Results 11 to 20 of about 31,411 (282)

Implementing online consultations in primary care: a mixed-method evaluation extending normalisation process theory through service co-production [PDF]

BMJ Open, 2018
Objectives To examine patient and staff views, experiences and acceptability of a UK primary care online consultation system and ask how the system and its implementation may be improved.
Michelle Farr, Jonathan Banks, Hannah B Edwards, Kate Northstone, Elly Bernard, Chris Salisbury, Jeremy Horwood   +6 more
openalex   +2 more sources

Selection of Novel Reference Genes by RNA-Seq and Their Evaluation for Normalising Real-Time qPCR Expression Data of Anthocyanin-Related Genes in Lettuce and Wild Relatives [PDF]

International Journal of Molecular Sciences, 2023
Lettuce is a popular vegetable source of bioactive compounds, like anthocyanins, powerful antioxidants present in red and semi-red varieties. Selection of reliable reference genes (RGs) for the normalization of real-time quantitative PCR (qPCR) data is crucial to obtain accurate gene expression results. Among the genes with totally unrelated biological
Inés Medina‐Lozano, María Soledad Arnedo, Jérôme Grimplet, Aurora Díaz   +3 more
openalex   +5 more sources

The Simple Type Theory of Normalisation by Evaluation

Electronic Notes in Theoretical Computer Science, 2001
AbstractWe develop the type theory of the Normalisation by Evaluation (NbE) algorithm for the λ-calculus in the simply-typed case. In particular, we show that the algorithm computes long β(η)-normal forms by means of Plotkin's call-by-name and call-by-value β-evaluation semantics. This is noteworthy (i) as the algorithm decides full βη-equality and (ii)
René Vestergaard
openalex   +2 more sources

Selection and validation of reference genes for normalisation of gene expression in ischaemic and toxicological studies in kidney disease.

PLoS ONE, 2020
Normalisation to standard reference gene(s) is essential for quantitative real-time polymerase chain reaction (RT-qPCR) to obtain reproducible and comparable results of a gene of interest (GOI) between subjects and under varying experimental conditions ...
Sanjeeva Herath, Hongying Dai, Jonathan Erlich, Amy Ym Au, Kylie Taylor, Lena Succar, Zoltán H Endre   +6 more
doaj   +2 more sources

Normalisation by Evaluation for Dependent Types

International Conference on Formal Structures for Computation and Deduction, 2016
We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated using internal type theory using quotient inductive types. We use a typed presentation hence there are no preterms or realizers in our construction.
Altenkirch, Thorsten, Kaposi, Ambrus
openaire   +5 more sources

A Multilingual Evaluation of Three Spelling Normalisation Methods for Historical Text

LaTeCH@EACL, 2014
We present a multilingual evaluation of approaches for spelling normalisation of historical text based on data from five languages: English, German, Hungarian, Icelandic, and Swedish.
Eva Pettersson, Beáta Megyesi, Joakim Nivre   +2 more
openalex   +2 more sources

Selection of reliable reference genes for the normalisation of gene expression levels following time course LPS stimulation of murine bone marrow derived macrophages

BMC Immunology, 2017
Background Macrophages are key players in the initiation, perpetuation and regulation of both innate and adaptive immune responses. They largely perform these roles through modulation of the expression of genes, especially those encoding cytokines ...
Akane Tanaka, Joyce To, Bronwyn O’Brien, Sheila Donnelly, Maria Lund   +4 more
doaj   +2 more sources

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

Supercompilation and normalisation by evaluation

, 2010
It has been long recognised that partial evaluation is related to proof normalisation. Normalisation by evaluation, which has been presented for theories with simple types, has made this correspondance formal. Recently Andreas Abel formalised an algorithm for normalisation by evaluation for System F.
Gavin Mendel-Gleason, Geoff Hamilton
openalex   +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