Results 41 to 50 of about 18,450 (284)

normalisation by evaluation for dependent types

, 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

Embedding chiropractic in Indigenous Health Care Organisations: applying the normalisation process model

BMC Health Services Research, 2012
Background Improving the health of Indigenous Australians remains a major challenge. A chiropractic service was established to evaluate this treatment option for musculoskeletal illness in rural Indigenous communities, based on the philosophy of keeping ...
Polus Barbara I, Paterson Charlotte, van Rotterdam Joan, Vindigni Dein   +3 more
doaj   +1 more source

A Multilingual Evaluation of Three Spelling Normalisation Methods for Historical Text [PDF]

Proceedings of the 8th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH), 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. Three different normalisation methods are evaluated: a simplistic filtering model, a Levenshteinbased approach, and a character-based statistical machine translation ...
Joakim Nivre, Eva Pettersson, Beáta Megyesi   +2 more
openaire   +1 more source

‘Smart’ BLE wearables for digital contact tracing in care homes during the COVID-19 pandemic—a process evaluation of the CONTACT feasibility study

Implementation Science Communications, 2023
Background Rapid and mass transmission of the SARS-CoV-2 virus amongst vulnerable people led to devastating effects from COVID-19 in care homes. The CONTACT intervention introduced Bluetooth Low Energy ‘smart’ wearable devices (BLE wearables) as a basis ...
Carl A. Thompson, Amrit Daffu-O’Reilly, Thomas Willis, Adam Gordon, Catherine Noakes, Kishwer Khaliq, Amanda Farrin, Andrew Kemp, Tom Hall, Chris Bojke, Karen Spilsbury   +10 more
doaj   +1 more source

Clustering-based forecasting method for individual consumers electricity load using time series representations

Open Computer Science, 2018
This paper presents a new method for forecasting a load of individual electricity consumers using smart grid data and clustering. The data from all consumers are used for clustering to create more suitable training sets to forecasting methods.
Laurinec Peter, Lucká Mária
doaj   +1 more source

Design, optimisation and standardisation of a high‐dimensional spectral flow cytometry workflow assessing T‐cell immunophenotype in patients with melanoma

Clinical & Translational Immunology, 2023
Objectives Despite the success of immune checkpoint blockade, most metastatic melanoma patients fail to respond to therapy or experience severe toxicity. Assessment of biomarkers and immunophenotypes before or early into treatment will help to understand
Jack M Edwards, Miles C Andrews, Hayley Burridge, Robin Smith, Carole Owens, Mark Edinger, Katherine Pilkington, Juliette Desfrancois, Mark Shackleton, Sashendra Senthi, Menno C vanZelm   +10 more
doaj   +1 more source

A Case Study for Environmental Impact Assessment in the Process Industry: Municipal Solid Waste Incineration (MSWI)

Chemical Engineering Transactions, 2014
Life Cycle Assessment (LCA) has been introduced in the evaluation of chemical processes and or products in order to take into account the Supply Chain and its environmental constraints and burdens.
M. Margallo, R. Aldaco, A. Irabien
doaj   +1 more source

Evaluating Strategies to Normalise Biological Replicates of Western Blot Data

PLoS ONE, 2014
Western blot data are widely used in quantitative applications such as statistical testing and mathematical modelling. To ensure accurate quantitation and comparability between experiments, Western blot replicates must be normalised, but it is unclear how the available methods affect statistical properties of the data.
Marc R. Birtwistle, Natalia Volinsky, Andrea Degasperi, Walter Kolch, Boris N. Kholodenko, Jens Rauch   +5 more
openaire   +6 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   +1 more source

Exploring implementation processes in general practice in a feedback intervention aiming to reduce potentially inappropriate prescribing: a qualitative study among general practitioners

Implementation Science Communications, 2021
Background Potentially inappropriate prescribing (PIP) has been linked with adverse health outcomes and increased healthcare costs. Feedback interventions targeting PIP have shown promising results. However, translation from research to everyday practice
Kirsten Høj, Anna Mygind, Flemming Bro
doaj   +1 more source