A Semantic Basis for Specialising Domain Constraints [PDF]
, 1999 This paper formalises an analysis of finite domain programs and the resultant program transformation. The analysis adds low valency (domain) constraints to clauses in order to reduce search.
Howe, Jacob M., King, Andy
core
A Galois-connection between Myers-Briggs’ Type Indicators and Szondi’s Personality Profiles
, 2014 We propose a computable Galois-connection between Myers-Briggs’ Type Indicators (MBTIs), the most widely-used personality measure for non-psychiatric populations (based on C.G.
Simon Kramer
core
Isomonodromie en théorie de Galois différentielle
, 2019 The first part of this thesis concerns the generalization of a characterization, from a Tannakian point of view, of the exact sequences of affine groupoid schemes, which had been outlined by Esnault-Hai.
Bay-Rousson, Hugo
core
Modularity of PGL2(𝔽p)-representations over totally real fields. [PDF]
Proc Natl Acad Sci U S A, 2021 Allen PB, Khare CB, Thorne JA.
europepmc +1 more source
Isomonodromic deformation in differential Galois theory
, 2019 La première partie de cette thèse concerne la généralisation d'une caractérisation, d'un point de vu Tannakien, des suites exactes de schémas en groupoïdes affines, qui avait été esquissée par Esnault-Hai.
Bay-Rousson, Hugo
core
Applications of representation theory and of explicit units to Leopoldt's conjecture. [PDF]
Res Number TheoryFerri F, Johnston H.
europepmc +1 more source
Three-torsion subgroups and wild conductor exponents of plane quartics. [PDF]
Res Number TheoryLupoian E, Rawson J.
europepmc +1 more source
Low-rank parity-check codes over Galois rings. [PDF]
Des Codes Cryptogr, 2021 Renner J, Neri A, Puchinger S.
europepmc +1 more source
Analysis and synthesis of a growing network model generating dense scale-free networks via category theory. [PDF]
Sci Rep, 2020 Haruna T, Gunji YP.
europepmc +1 more source
A Survey of Lattice-Based Physical-Layer Security for Wireless Systems with <i>p</i>-Modular Lattice Constructions. [PDF]
Entropy (Basel)Khodaiemehr H +5 more
europepmc +1 more source