Results 301 to 310 of about 393,847 (324)
Some of the next articles are maybe not open access.
Grand unification scale effects in supersymmetric unification
Physical Review D, 1995We write a Monte Carlo program allowing arbitrary splitting among GUT scale particles consistent with experimental constraints for both the minimal supersymmetric model and the missing doublet model. The resulting correlations among the low energy parameters are discussed and several advantages of the missing doublet model are pointed out.
, Clavelli, , Coulter
openaire +2 more sources
Journal of Automated Reasoning, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Alternative Spirituality and Religion Review, 1995
The Holy Spirit Association for the Unification of World Christianity (HSA-UWC), founded in Seoul in 1954 by the Reverend Sun Myung Moon (1920–2012), has been more popularly known as the Unification Church (UC) or ‘the Moonies.’ Following revelations that he reports having received as a young man, Moon devoted his life to preaching and eventually ...
openaire +1 more source
The Holy Spirit Association for the Unification of World Christianity (HSA-UWC), founded in Seoul in 1954 by the Reverend Sun Myung Moon (1920–2012), has been more popularly known as the Unification Church (UC) or ‘the Moonies.’ Following revelations that he reports having received as a young man, Moon devoted his life to preaching and eventually ...
openaire +1 more source
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems, 1982The unification problem in f'mst-order predicate calculus is described in general terms as the solution of a system of equations, and a nondeterministic algorithm is given. A new unification algorithm, characterized by having the acyclicity test efficiently embedded into it, is derived from the nondeterministic one, and a PASCAL implementation is given.
MARTELLI, Alberto, U. Montanari
openaire +2 more sources
Unification in Abelian semigroups
Journal of Automated Reasoning, 1987As always when Professor J. Siekmann takes the floor, he has really something to say. His experience and results [Lect. Notes Comput. Sci. 170, 1-42 (1984; Zbl 0547.03011); Automation of reasoning: Classical papers on computational logic. Vol. 1: 1957-1966, Vol. 2: 1967-1970 (1983; Zbl 0567.03001, Zbl 0567.03002)] are strong arguments.
Herold, Alexander, Siekmann, Jörg H.
openaire +1 more source
Humanities and Unification Education for Unification
Public Policy Research Institute, Korea UniversityThis paper explores the essential meaning and direction of unification education aimed at achieving peaceful unification on the Korean Peninsula. The author argues that unification education should present a clear vision of peaceful unification and systematically teach it to students.
openaire +1 more source
On Justification of Unification as Basis of Unification Movements and Unification Education
The Journal of the Humanities for Unification, 2016openaire +1 more source
Relations of Life and Unification and Unification-subculture
The Institute of Humanities at Soonchunhyang University, 2022openaire +1 more source

