Unification, T-theoreticity, and Testing: The Case of Fitness in Natural Selection
Sign Up to like & getrecommendations! Published in 2024 at "Erkenntnis"
DOI: 10.1007/s10670-024-00826-3
Abstract: Theoreticity and unification are two main issues discussed in philosophy of science. The first attempts to clarify the different roles of concepts used in a scientific theory. The second concerns the role of unification in… read more here.
Keywords: theoreticity; unification; theoreticity testing; unification theoreticity ... See more keywords
A Novel Unification Method to Characterize a Broad Class of Growth Curve Models Using Relative Growth Rate
Sign Up to like & getrecommendations! Published in 2019 at "Bulletin of Mathematical Biology"
DOI: 10.1007/s11538-019-00617-w
Abstract: Growth curve models serve as the mathematical framework for the quantitative studies of growth in many areas of applied science. The evolution of novel growth curves can be categorized in two notable directions, namely generalization… read more here.
Keywords: unification; relative growth; growth equations; growth curve ... See more keywords
Semantic unification modulates N400 and BOLD signal change in the brain: A simultaneous EEG-fMRI study
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Neurolinguistics"
DOI: 10.1016/j.jneuroling.2019.100855
Abstract: Abstract Semantic unification during sentence comprehension has been associated with amplitude change of the N400 in event-related potential (ERP) studies, and activation in the left inferior frontal gyrus (IFG) in functional magnetic resonance imaging (fMRI)… read more here.
Keywords: unification; change; simultaneous eeg; eeg fmri ... See more keywords
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading*
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Functional Programming"
DOI: 10.1017/s0956796817000028
Abstract: Abstract Unification is a core component of every proof assistant or programming language featuring dependent types. In many cases, it must deal with higher order problems up to conversion. Since unification in such conditions is… read more here.
Keywords: unification; guide new; universe polymorphism; including universe ... See more keywords
Extensions of unification modulo ACUI
Sign Up to like & getrecommendations! Published in 2019 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129519000185
Abstract: Abstract The theory ACUI of an associative, commutative, and idempotent binary function symbol + with unit 0 was one of the first equational theories for which the complexity of testing solvability of unification problems was… read more here.
Keywords: modulo acui; unification; extensions unification; acui unification ... See more keywords
Formalising nominal C-unification generalised with protected variables
Sign Up to like & getrecommendations! Published in 2021 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000050
Abstract: Abstract This work extends a rule-based specification of nominal C-unification formalised in Coq to include ‘protected variables’ that cannot be instantiated during the unification process. By introducing protected variables, we are able to reuse the… read more here.
Keywords: formalising nominal; protected variables; generalised protected; unification ... See more keywords
Be Careful What You Wish For: Security Challenges Facing the Korean Peninsula During a Potential Unification Process
Sign Up to like & getrecommendations! Published in 2017 at "Asian Security"
DOI: 10.1080/14799855.2017.1414043
Abstract: ABSTRACT There is a lacuna in the literature analyzing the mid-term (6-24 months) period after a DPRK contingency that results in the Pyongyang regime’s relatively sudden and unmanaged fall. This article helps fill that gap,… read more here.
Keywords: unification; security; careful wish; wish security ... See more keywords
The Effect of the Post-Socialist Transition on Inequality of Educational Opportunity: Evidence from German Unification
Sign Up to like & getrecommendations! Published in 2019 at "European Sociological Review"
DOI: 10.1093/esr/jcz012
Abstract: In 1990, German unification led to an abrupt and extensive restructuring of the educational system and economy of the German Democratic Republic (GDR) as the latter was reintegrated into the Federal Republic of Germany (FRG).… read more here.
Keywords: inequality educational; inequality; german unification; unification ... See more keywords
General vacuum stability of orbifold gauge breaking and application to asymptotic grand unification
Sign Up to like & getrecommendations! Published in 2024 at "Physical Review D"
DOI: 10.1103/physrevd.111.095013
Abstract: We examine the vacuum stability of gauge symmetry breaking in five dimensions, compactified on the S1/(Z2×Z2′) orbifold. We consider SU(N), Sp(N), SO(2N), and SO(2N+1) theories in the bulk, and provide an exhaustive classification of possible… read more here.
Keywords: unification; stability; vacuum stability; asymptotic grand ... See more keywords
GUT inspired SO(5)×U(1)×SU(3) gauge-Higgs unification
Sign Up to like & getrecommendations! Published in 2019 at "Physical Review D"
DOI: 10.1103/physrevd.99.095010
Abstract: $SO(5) \times U(1) \times SU(3)$ gauge-Higgs unification model inspired by $SO(11)$ gauge-Higgs grand unification is constructed in the Randall-Sundrum warped space. The 4D Higgs boson is identified with the Aharonov-Bohm phase in the fifth dimension.… read more here.
Keywords: gut inspired; gauge higgs; higgs unification; inspired gauge ... See more keywords
Unification of a differential inclusion with parameter in the guidance problem
Sign Up to like & getrecommendations! Published in 2017 at "Doklady Mathematics"
DOI: 10.1134/s1064562417060205
Abstract: A differential inclusion (d.i.) with a parameter α ∈ ℒ, where ℒ is a compact set in a finite-dimensional Euclidean space is considered. The problem under study is one of guiding a d.i. to a… read more here.
Keywords: unification; differential inclusion; inclusion parameter; parameter ... See more keywords