Results 111 to 120 of about 1,189,320 (221)

Short proofs of strong normalization [PDF]

arXiv, 2008
This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The normalization proofs use translations of terms and types to systems, for which strong normalization property is known.
arxiv  

Normal binary graph models [PDF]

arXiv, 2009
We show that the marginal semigroup of a binary graph model is normal if and only if the graph is free of K_4 minors. The technique, based on the interplay of normality and the geometry of the marginal cone, has potential applications to other normality questions in algebraic statistics.
arxiv  

Lectures on normal Coulomb frames in the normal bundle of twodimensional immersionen of higher codimension [PDF]

arXiv, 2009
We establish existence and regularity results for normal Coulomb frames in the normal bundle of two-dimensional surfaces of disc-type embedded in Euclidean spaces of higher dimensions.
arxiv  

Normal Soft int-Group [PDF]

arXiv, 2012
In this paper, we define normal soft int-groups and derive their some basic properties. We also investigate some relations on {\alpha}-inclusion, soft product and normal soft int-groups. Then we define normalizer, quotient group and give some theorems concerning these concepts.
arxiv  

Normality of Circular $\beta$-ensemble

, 2019
We will prove the Berry-Esseen theorem for the number counting function of the circular $\beta$-ensemble (C$\beta$E), which will imply the central limit theorem for the number of points in arcs.
Feng, Renjie, Tian, Gang, Wei, Dongyi
core  

An Examination of the Robustness to Non Normality of the EWMA Control Charts for the Dispersion [PDF]

The EWMA control chart is used to detect small shifts in a process. It has been shown that, for certain values of the smoothing parameter, the EWMA chart for the mean is robust to non normality.
Maravelakis, Petros, Panaretos, John, Psarakis, Stelios   +2 more
core   +1 more source

Normality Addition via Normality Detection in Industrial Image Anomaly Detection Models [PDF]

arXiv
The task of image anomaly detection (IAD) aims to identify deviations from normality in image data. These anomalies are patterns that deviate significantly from what the IAD model has learned from the data during training. However, in real-world scenarios, the criteria for what constitutes normality often change, necessitating the reclassification of ...
arxiv  

Projective normality of Artin-Schreier curves

, 2013
In this paper we study the projective normality of certain Artin-Schreier curves $Y_f$ defined over a field $\F$ of characteristic $p$ by the equations $y^q+y=f(x)$, $q$ being a power of $p$ and $f\in \F[x]$ being a polynomial in $x$ of degree $m$, with $
Ballico, Edoardo, Ravagnani, Alberto
core   +1 more source

On the normality of Boolean quartics [PDF]

arXiv
In the BFA 2023 conference paper, A. Polujan, L. Mariot and S. Picek exhibited the first example of a non-normal but weakly normal bent function in dimension 8. In this note, we present numerical approaches based on the classification of Boolean spaces to explore in detail the normality of bent functions of 8 variables and we complete S.
arxiv  

Normal trees of digraphs [PDF]

arXiv
In this paper we investigate normal trees of directed graphs, which extend the fundamental concept of normal trees of undirected graphs and form a special case of normal trees of connectoids. We show that a directed graph $D$ has a normal spanning tree if and only if the topological space $|D|$ is metrizable.
arxiv