5608 search results - page 284 / 1122 » On the Theory of Matchgate Computations |
139
Voted
ORL
2007
15 years 6 months ago
2007
We establish the existence results for the Allaz–Vila [B. Allaz, J.-L. Vila, Cournot competition, forward markets and efficiency, J. Econ. Theory 59 (1993) 1–16] forward mark...
198
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
The research aim of this paper is to represent everydaylife patterns of thought like "Because I know, what you think I think ..." by a process on a machine, which is inv...
159
click to vote
IPL
2010
15 years 5 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
195
click to vote
JSC
2010
15 years 5 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
192
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...