Results 11 to 20 of about 5,847 (262)
Toward the Unification of Physics and Number Theory [PDF]
Reports in Advances of Physical Sciences, 2019 This paper introduces the notion of simplex-integers and shows how, in contrast to digital numbers, they are the most powerful numerical symbols that implicitly express the information of an integer and its set theoretic substructure.
Klee Irwin
doaj +1 more source
A Proposal for Improving the Essence Standard by Using Terminology Unification
Ingeniería, 2021 Context: SEMAT (Software Engineering Method and Theory) is promoting a software engineering theory with adequate terminology to improve the transference of methods and practices between teams.
Carlos Mario Zapata Jaramillo +1 more
doaj +1 more source
Most General Variant Unifiers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties.
Santiago Escobar, Julia Sapiña
doaj +1 more source
Constraint solving in non-permutative nominal abstract syntax [PDF]
Logical Methods in Computer Science, 2011 Nominal abstract syntax is a popular first-order technique for encoding, and reasoning about, abstract syntax involving binders. Many of its applications involve constraint solving.
Matthew R. Lakin
doaj +1 more source
Unification and Logarithmic Space [PDF]
Logical Methods in Computer Science, 2018 We present an algebraic characterization of the complexity classes Logspace and Nlogspace, using an algebra with a composition law based on unification.
Clément Aubert, Marc Bagnol
doaj +1 more source
UV completion of extradimensional Yang-Mills theory for Gauge-Higgs unification
SciPost Physics, 2023 The $SU(N)$ Yang-Mills theory in $\mathbb R^4\times S^1$ spacetime is studied as a simple toy model of Gauge-Higgs unification. The theory is perturbatively nonrenormalizable but could be formulated as an asymptotically safe theory, namely a ...
Álvaro Pastor-Gutiérrez, Masatoshi Yamada
doaj +1 more source
STRING THEORY AND UNIFICATION [PDF]
PASCOS 2004, 2005 11 pages, 2 figures, talk at PASCOS 2004 / Nath ...
openaire +2 more sources
Unification Principle and a Geometric Field Theory
Open Physics, 2015 In the context of the geometrization philosophy, a covariant field theory is constructed. The theory satisfies the unification principle. The field equations of the theory are constructed depending on a general differential identity in the geometry used.
Wanas Mamdouh I. +2 more
doaj +1 more source
Unification Theories: Examples and Applications [PDF]
Axioms, 2018 We consider several unification problems in mathematics. We refer to transcendental numbers. Furthermore, we present some ways to unify the main non-associative algebras (Lie algebras and Jordan algebras) and associative algebras.
openaire +3 more sources
A string theory of flavor and CP
Nuclear Physics B, 2019 Modular transformations of string theory (including the well-known stringy dualities) play a crucial role in the discussion of discrete flavor symmetries in the Standard Model.
Alexander Baur +3 more
doaj +1 more source