Sciweavers

5608 search results - page 41 / 1122
» On the Theory of Matchgate Computations
Sort
View
ICS
2010
Tsinghua U.
15 years 10 months ago
Game Theory with Costly Computation: Formulation and Application to Protocol Security
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...
Joseph Y. Halpern, Rafael Pass
MKM
2009
Springer
15 years 8 months ago
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
Aleks Kissinger
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 1 months ago
Game Theory with Costly Computation
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
Joseph Y. Halpern, Rafael Pass
IAT
2008
IEEE
15 years 8 months ago
A Computer Simulation Laboratory for Social Theories
  We   present   an   agent­based   model   that   employs  different   social   theories   and   their   combination   to  explain and predict social changes.Â...
Joseph M. Whitmeyer, Moutaz Khouja, Ted Carmichael...
CCCG
2008
15 years 2 months ago
Computational Balloon Twisting: The Theory of Balloon Polyhedra
This paper builds a general mathematical and algorithmic theory for balloon-twisting structures, from balloon animals to balloon polyhedra, by modeling their underlying graphs (ed...
Erik D. Demaine, Martin L. Demaine, Vi Hart