Results 1 to 10 of about 231,559 (266)
String Theory and Unification [PDF]
PASCOS 2004, 2004 The use of the AdS/CFT correspondence to arrive at quiver gauge field theories is discussed. An abelian orbifold with the finite group $Z_{p}$ can give rise to a nonsupersymmetric $G = U(N)^p$ gauge theory with chiral fermions and complex scalars in ...
Frampton, Paul H.
core +3 more sources
The Algebraic Intersection Type Unification Problem [PDF]
Logical Methods in Computer Science, 2017 The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems.
Andrej Dudenhefner +2 more
doaj +3 more sources
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry [PDF]
Logical Methods in Computer Science, 2015 An algorithm for unification modulo one-sided distributivity is an early result by Tid\'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators satisfy this ...
Andrew M Marshall +2 more
doaj +3 more sources
Superconducting Field Theory (the Unification Theory)
, 2023 Unification theory with no extra dimensions. The first part unifies the strong nuclear force with the gravitational force in a mathematical way; the quantum vacuum is treated as a deformable system by the strong nuclear force. The second part unifies the strong nuclear force with the quantum vacuum in a hypothetical structure; the quantum vacuum is ...
Sergio Perez, Sergio Pérez Felipe
+19 more sources
Unification modulo a partial theory of exponentiation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols.
Paliath Narendran +2 more
doaj +4 more sources
Finite Unification: Theory and Predictions [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2010 All-loop Finite Unified Theories (FUTs) are very interesting N=1 supersymmetric Grand Unified Theories (GUTs) which not only realise an old field theoretic dream but also have a remarkable predictive power due to the required reduction of couplings.
Sven Heinemeyer +2 more
doaj +6 more sources
On stimulus persistence and human behavior: the stimulus persistence unification theory [PDF]
Communicative & Integrative Biology, 2022 A person trapped in a building engulfed in a raging fire, a person dealing with severe chronic disease, people dealing with a virus pandemic, and people fighting in a protracted war may appear dissimilar but are fundamentally in a similar situation and ...
Tobore Onojighofia Tobore
doaj +2 more sources
, 1992 The purpose of this paper is not to give an overview of the state of art in unification theory. It is intended to be a short introduction into the area of equational unification which should give the reader a feeling for what unification theory might be ...
Baader, Franz
core +3 more sources
A Formalization of the Theorem of Existence of First-Order Most General Unifiers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS.
Andréia B Avelar +3 more
doaj +4 more sources
Pattern Unification for the Lambda Calculus with Linear and Affine Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unifiers.
Anders Schack-Nielsen +1 more
doaj +1 more source