G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
— The problem of non-cooperative power control is studied for wireless ad hoc networks supporting data services. We develop a maximum throughput based non-cooperative power contr...
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
The difficulty of maintaining effective testbed partnerships, among users of computer-based tools and builders of those tools, has been an obstacle to the success of science colla...
Videogames have been studied seriously only for a few years. So, we can wonder how we could use the recent academic works to approach new design methods. This article proposes a f...