5456 search results - page 40 / 1092 » General Equilibrium Theory |
111
click to vote
STOC
2007
ACM
16 years 1 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
KR
2010
Springer
15 years 6 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
JCC
2002
15 years 1 months ago
2002
: The quasi-degenerate perturbation theory (QDPT) with complete active space (CAS) self-consistent field (SCF) reference functions is extended to the general multiconfiguration (MC...
97
Voted
ICCAD
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...
141
click to vote
JAIR
2012
13 years 3 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...