منابع مشابه
Intrinsic vs. Extrinsic Motivation in an Interactive Engineering Game
In this paper, we study intrinsic vs. extrinsic motivation in players playing an electrical engineering gaming environment. We used UNTANGLED, a highly interactive game to conduct this study. This game is developed to solve complex mapping problem from electrical engineering using human intuitions. Our goal is to find whether there are differences in the ways anonymous players solved electrical...
متن کاملGame analysis: Cellular vs. WLAN
To date, the growth of mobile communications has been fuelled almost exclusively by voice calls. However, voice is becoming a saturated market, and with increasing competition forcing lower prices, leading to a trend of declining ARPU, mobile operators are seeking to introduce new services in order to maintain growth. Industry forecasts predict that revenues from data traffic will compensate fo...
متن کاملAshoke Sen
We analyze M-theory compactified on (K3 × S)/Z2 where the Z2 changes the sign of the three form gauge field, acts on S as a parity transformation and on K3 as an involution with eight fixed points preserving SU(2) holonomy. At a generic point in the moduli space the resulting theory has as its low energy limit N = 1 supergravity theory in six dimensions with eight vector, nine tensor and twenty...
متن کاملCausality vs. Interleavings in Concurrent Game Semantics
We investigate relationships between interleaving and causal notions of game semantics for concurrent programming languages, focusing on the existence of canonical compact causal representations of the interleaving game semantics of programs. We perform our study on an affine variant of Idealized Parallel Algol (IPA), for which we present two games model: an interleaving model (an adaptation of...
متن کاملSen - R 9708 1997
We study equational axiomatizations of bisimulation equivalence for the language obtained by extending Milner's basic CCS with string iteration. String iteration is a variation on the original binary version of the Kleene star operation p q obtained by restricting the rst argument to be a non-empty sequence of atomic actions. We show that, for every positive integer k, bisimulation equivalence ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Japan Society for Fuzzy Theory and Intelligent Informatics
سال: 2014
ISSN: 1347-7986,1881-7203
DOI: 10.3156/jsoft.26.5_187