Results 11 to 20 of about 1,823,674 (334)
Normalisation by Evaluation for Type Theory, in Type Theory [PDF]
Logical Methods in Computer Science, 2016 Logical Methods in Computer Science ; Volume 13, Issue 4 ; 1860 ...
Thorsten Altenkirch, Ambrus Kaposi
core +14 more sources
Corrigendum to ‘Evaluation of normalisation methods for uniaxial bias extension tests on engineering fabrics’ [PDF]
Composites Part A: Applied Science and Manufacturing, 2015 This short communication is intended to correct certain erroneous conclusions drawn in the recently published paper by Hartel and Harrison (2014). The investigation of Hartel and Harrison (2014) was intended to evaluate the performance of normalisation methods for the uniaxial bias extension test.
Philip G. Harrison, Frank Härtel
core +5 more sources
Evaluation of normalisation methods for uniaxial bias extension tests on engineering fabrics [PDF]
Composites Part A: Applied Science and Manufacturing, 2014 An investigation has been conducted to evaluate the performance of normalisation methods for the uniaxial bias extension test. The predictions of two published theories for rate-independent behaviour are examined and a third heuristic method is proposed.
Frank Härtel, Philip G. Harrison
core +6 more sources
A Continuous Quality Improvement Intervention to Improve Antenatal HIV Care Testing in Rural South Africa: Evaluation of Implementation in a Real-World Setting [PDF]
International Journal of Health Policy and Management, 2022 BackgroundWe evaluated continuous quality improvement (CQI) targeting antenatal HIV care quality in rural South Africa using a stepped-wedge cluster-randomised controlled trial (Management and Optimisation of Nutrition, Antenatal, Reproductive, Child ...
H. Manisha Yapa +10 more
doaj +4 more sources
Comparison of normalisation methods for surface-enhanced laser desorption and ionisation (SELDI) time-of-flight (TOF) mass spectrometry data [PDF]
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 +5 more
doaj +4 more sources
normalisation by evaluation for dependent types [PDF]
, 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 +8 more sources
3D Evaluation of fine-scale normalised DSMs in urban settings
South African Journal of Geomatics, 2022 Humankind often needs to accurately model, identify and spatially quantify aboveground phenomena on the Earth’s surface for informed decision-making. Height data derived from digital elevation models (DEMs) is often used to achieve this. This study conducted a deterministic assessment of three normalised digital surface models (nDSMs) of different ...
Andrè Breytenbach
openalex +4 more sources
An Algebra of Pure Quantum Programming [PDF]
Electronic Notes in Theoretical Computer Science, Volume 170, 6
March 2007, Pages 23-47, 2005 We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach.
Altenkirch +10 more
arxiv +4 more sources
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure [PDF]
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020 We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in the free cartesian closed bicategory on a set of objects there is at most one structural 2-cell between any parallel pair of 1-cells. We thereby reduce the difficulty of constructing structure in arbitrary cartesian closed bicategories to the level of 1 ...
Marcelo Fiore, Philip Saville
openalex +4 more sources
Normalised expression and evaluation of PI tuning rules [PDF]
IFAC Proceedings Volumes, 2008 Abstract This manuscript addresses the problem of casting the heterogeneous panorama of model-based PI tuning rules into some uniform framework. By adopting convenient normalisations, different rules can be expressed in such a way to allow objectively grounded comparisons.
Alberto Leva, Filippo Donida
openalex +3 more sources