نتایج جستجو برای: higher order theory
تعداد نتایج: 2412498 فیلتر نتایج به سال:
The Intelligent Principle of the Universe is a beginningless and endless entity considered fundamental property universe. It in energetic intimacy Psychosoma, its unquestionable “morphogenetic field” that cells are aggregated to finally model your future physical body. On other hand, mind, seat Consciousness is, therefore, non-material brain where all informational content human being stored, s...
We propose a mechanism naturally leading to the spontaneous symmetry breaking in a gauge theory. The Higgs field is assumed to have global and gauged internal symmetries. We associate a non zero chemical potential to one of the globally conserved charges commuting with all of the gauge transformations. This induces a negative mass squared for the Higgs field triggering the spontaneous symmetry ...
We show how a procedure developed by Bledsoe for automatically nding substitution instances for set variables in higher-order logic can be adapted to provide increased automation in proof search in the Calculus of Constructions (CC). Bledsoe's procedure operates on an extension of rst-order logic that allows existential quantiication over set variables. The method nds maximal solutions for this...
We introduce a new foundation for game theory based on so-called open games. Unlike existing approaches open games are fully compositional: games are built using algebraic operations from standard components, such as players and outcome functions, with no fundamental distinction being made between the parts and the whole. Open games are intended to be applied at large scales where classical gam...
The regret theory of choice under uncertainty proposed by Loomes and Sugden has performed well in explaining and predicting violations of Expected Utility theory. the original version of the model was confined to pairwise choices, which limited its usefulness as an economic theory of choice. Axioms for a more general form of regret theory have been proposed by Loomes and Sugden. In this paper, ...
A method to solve various aspects of the strong coupling expansion of the superconformal field theory duals of AdS5×X geometries from first principles is proposed. The main idea is that at strong coupling the configurations that dominate the low energy dynamics of the field theory compactified on a three sphere are given by certain non-trivial semi-classical configurations in the moduli space o...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید