نتایج جستجو برای: higher order theory

تعداد نتایج: 2412498  

Journal: :International Journal of Solids and Structures 2013

Journal: :Psychology 2023

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...

2005
Francesco Sannino Kimmo Tuominen

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 ...

1996
Amy Felty

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...

2016
Julian Hedges

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...

1994
John Quiggin

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, ...

2007
David Berenstein

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید