5608 search results - page 74 / 1122 » On the Theory of Matchgate Computations |
229
click to vote
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
SKG
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
145
click to vote
JCSC
1998
15 years 1 months ago
1998
: Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysi...
123
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
139
click to vote
Book
"The aim of this book is to present the strongest possible version of
G¨odel's incompleteness theorem, using an information-theoretic approach
based on the size of com...