Results 261 to 270 of about 31,411 (282)

Recommendations for Quantitative Data-Independent Acquisition (DIA) Proteomics using Controlled Quantitative Experiments (CQEs)

Frey AM, Sidgwick F, Porter A, Palmowski P, Trost M.   +4 more
europepmc   +1 more source

Ten Year Outcome of Anti-Thyroid Drug Treatment for First Episode Graves' Thyrotoxicosis: The Predictive Importance of TRAb. [PDF]

Clin Endocrinol (Oxf)
Tun NNZ, Zammitt NN, Strachan MWJ, Seckl JR, Gibb FW.   +4 more
europepmc   +1 more source

Selection and Validation of Reference Genes for RT-qPCR in Protonemal Tissue of the Desiccation-Tolerant Moss <i>Pseudocrossidium replicatum</i> Under Multiple Abiotic Stress Conditions. [PDF]

Plants (Basel)
Nava-Nolazco RM, Ríos-Melendez S, Galván-Gordillo SV, Martínez-Navarro AC, Sánchez-Pérez M, Chavez-Santoscoy RA, Bibbins-Martínez M, Maldonado-Mendoza IE, Arroyo-Becerra A, Villalobos-López MA.   +9 more
europepmc   +1 more source

More than just a heatmap: elevating XAI with rigorous evaluation metrics. [PDF]

Front Med Technol
Muhammad D, Bendechache M.
europepmc   +1 more source

Adherence to a care pathway for inflammatory bowel disease in the southwest region of the Netherlands: results of a mixed-methods implementation study. [PDF]

BMJ Open Qual
Visser EH, Allers S, van Linschoten RCA, Bodelier AGL, Fitzpatrick C, de Jonge V, Vermeulen H, Verweij E, van der Wiel SK, van der Horst D, van der Woude CJ, van Noord D, West RL.   +12 more
europepmc   +1 more source

Managing obstetric bleeding in Wales: A qualitative evaluation of the OBS Cymru care bundle using Normalisation Process Theory

Tanvi Rai, Lisa Hinton, Rosa Mackay, Mairead Black, Julia Sanders, Pauline Slade, Amy Elsmore, Amrit Dhadda, William Parry‐Smith, Rachel Collis, Stavros Petrou, Simon Stanworth, Philip Pallmann, Julia Townson, Haddy Fye, Ayşe Gür Geden, Peter W. Collins, Sarah Bell   +17 more
openalex   +1 more source

Unsupervised Normalisation of Historical Spelling : A Multilingual Evaluation

, 2018
Nicklas Bergman
openalex   +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 ...
Aehlig, Klaus, Joachimski, Felix
openaire   +2 more sources