Quantile normalisation is a popular normalisation method for data subject to unwanted variations such as images, speech, or genomic data. It applies a monotonic transformation to the feature values of each sample to ensure that after normalisation, t...
In this paper, we prove the strong normalisation for Martin-Löf's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation....
Normalisation in probability theory turns a subdistribution into a proper distribution. It is a partial operation, since it is undefined for the zero subdistribution. This partiality makes it hard to reason equationally about normalisation. A novel d...
Practise of Pattern Recignition tackling the problematic of Features Normalisation (⭐ 2)
Look up normalization, normalisation, or normalisâtion in Wiktionary, the free dictionary. Normalization or normalisation refers to a process that makes
An important property of neutron scattering data is that they can be normalised in absolute intensity units. In practice, however, such normalisation is often not performed, since it can be time-consuming and subject to systematic uncertainties. Here...
Abstract. This article determines relations between two notions concerning monoids: factorability structure, introduced to simplify the bar complex; and quadratic normalisation, introduced to generalise quadratic rewriting systems and normalisations...
We present a strictly geometric c-algebraic version of the analytic set normalisation. With the introduced tool we prove the Nullstellensatz for c-algebraic functions and study the growth exponent of a c-algebraic function....
To find practical solutions for the switch from peak normalisation to loudness normalisation, the EBU Production Management Committee formed an international
This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and shows how it...
In programming language semantics, normalisation by evaluation (NBE) is a method of obtaining the normal form of terms in the λ-calculus by appealing
We highlight the important role that canonical normalisation of kinetic terms in flavour models based on family symmetries can play in determining the Yukawa matrices. Even though the kinetic terms may be correctly canonically normalised to begin w...
In the general context of presentations of monoids, we study normalisation processes that are determined by their restriction to length-two words. Garside's greedy normal forms and quadratic convergent rewriting systems, in particular those associate...
utilities for validating and normalising Ancient Greek text (⭐ 23)
Points: 22 | Comments: 1 | Author: yread
Points: 152 | Comments: 56 | Author: delan
Points: 473 | Comments: 181 | Author: dddddaviddddd
Cross-vendor normalisation for network syslog messages, following the OpenConfig and IETF YANG models (⭐ 144)
Turret is a styles and browser behaviour normalisation framework for rapid development of responsive and accessible websites. (⭐ 799)