Results 91 to 100 of about 1,260,387 (211)
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
GAMETIC DISEQUILIBRIUM IN MULTIGENIC SYSTEMS UNDER NORMALIZING SELECTION [PDF]
, 1967 Alex Fraser
openalex +1 more source
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
Journal of Integrative Agriculture, 2018 In order to precisely assess gene expression level, a suitable internal reference gene must be chosen to quantify real-time reverse transcription polymerase chain reaction (RT-qPCR) data.
Bai-zhong ZHANG +4 more
doaj
The Scattering Matrix: Normalized to Complex n-Port Load Networks [PDF]
, 1965 R.A. Rohrer
openalex +1 more source
The Ubiquitous View: Surveillance, Imagination, and the Power of Being Seen
On_Culture, 2018 The _Essay discusses the relation between surveillance and imagination. It unfolds the argument that surveillance as a form of (political) oppression is necessarily centering on a decisionistic act of the individual who has to opt for deviant or ...
Jörn Ahrens
doaj
On the Normalization of the Bethe-Salpeter Wave Function in the Unequal-Mass Case by Means of the Stereographic Projection Method [PDF]
, 1968 Kenji Seto
openalex +1 more source
A construction for the normalizer of a ring with local unit with applications to the theory of 𝐿-algebras [PDF]
, 1960 Barron Brainerd
openalex +1 more source