Sciweavers

1653 search results - page 11 / 331
» Computer science and game theory
Sort
View
FOSSACS
2009
Springer
14 years 2 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas
FOCS
2009
IEEE
14 years 2 months ago
Convergence to Equilibrium in Local Interaction Games
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
Andrea Montanari, Amin Saberi
TCS
2010
13 years 5 months ago
Invariant games
In the context of 2-player removal games, we define the notion of invariant game for which each allowed move is independent of the position it is played from. We present a family ...
Éric Duchêne, Michel Rigo
PC
2000
105views Management» more  PC 2000»
13 years 7 months ago
New advances in chemistry and materials science with CPMD and parallel computing
A short overview is presented of the density functional theory and molecular dynamics (DFT
Wanda Andreoni, Alessandro Curioni