Results 21 to 30 of about 31,411 (282)

Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages

, 2005
This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed intermediate language MIL.
Sam Lindley
openalex   +2 more sources

Evaluation of fatigue life data by normalising procedures

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

Evaluation of normalisation methods for uniaxial bias extension tests on engineering fabrics

, 2014
Frank Härtel, Philip G. Harrison
openalex   +3 more sources

On Sessions and Infinite Data [PDF]

Logical Methods in Computer Science, 2017
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an ...
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini   +3 more
doaj   +1 more source

Translational framework for implementation evaluation and research: a normalisation process theory coding manual for qualitative research and instrument development

Implementation Science, 2022
Background Normalisation Process Theory (NPT) is frequently used to inform qualitative research that aims to explain and evaluate processes that shape late-stage translation of innovations in the organisation and delivery of healthcare.
Carl R. May, B. Albers, M. Bracher, T. Finch, A. Gilbert, M. Girling, K. Greenwood, A. MacFarlane, F. Mair, Christine M. May, E. Murray, Sebastian Potthoff, T. Rapley   +12 more
semanticscholar   +1 more source

Endovascular ultrasound renal denervation to lower blood pressure in young hypertensive women planning pregnancy: study protocol for a multicentre randomised, blinded and sham controlled proof of concept study

BMJ Open, 2023
Introduction A major issue confronting clinicians treating hypertension in pregnancy is the limited number of pharmacological options. Endovascular catheter-based renal denervation (RDN) is a new method to lower blood pressure (BP) in patients with ...
, Laurence Amar, Hélène Bouvaist, Anne Blanchard, Guillaume Lamirault, Didier Riethmuller, Loïc Sentilhes, Philippe Gosse, Louise Ghesquière, Pascal Delsart, Marc Sapoval, Patrice Guérin, Michel Azizi, Rosa Maria Bruno, Romain Boulestreau, Julien Doublet, Julie Gaudissard, Antoine Cremer, Vassilis Tsatsaris, Claire Mounier Vehier, Guillaume Ledieu, Benjamin Longere, Olivier Ormezzano, Charlotte Casser, Yannick Neuder, Mathieu Rodiere, Béatrice Duly-Bouhanick, Paul Guerby, Hervé Rousseau, Robert Winer   +29 more
doaj   +1 more source

A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance [PDF]

Logical Methods in Computer Science, 2011
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluation algorithm.
Andreas Abel, Thierry Coquand, Miguel Pagano   +2 more
doaj   +1 more source

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

Factor model of a comfortable environment for the consumption of cultural services [PDF]

E3S Web of Conferences, 2021
The article presents the results of the research on the comfort of the cultural services consumption environment. The scientific discourses in the segment of the research subject are analysed, and on their basis, 17 evaluation criteria for the empirical ...
Parsieva Larisa, Gatsalova Larisa, Lobeyko Yuri, Yuschenko Irina, Ivashova Valentine   +4 more
doaj   +1 more source