Computer games are the most promising tools meeting the children’s needs stemmed from the new digital technologies. Thus, educational games are considered as effective ways providing these. However, to make an educational game more effective, one needs to know children’s preferences and factors affecting their choices. One of the factors is character features of the games because most children ...

Partial methods play an important role in formal methods and beyond. Recently such methods were developed for parity games, where polynomial-time partial solvers decide the winners of a subset of nodes. We investigate here how effective polynomial-time partial solvers can be by studying interactions of partial solvers based on generic composition patterns that preserve polynomial-time computabi...

A majority of today’s higher education students have been nurtured on a steady diet of technology and Internet access, leading to the increased presence of laptops in higher education classrooms. However, many instructors are unsure whether or how to assimilate this technology into their lessons. The purpose of the following study was to examine the impact of unstructured (limited use) vs. stru...

The basic premise of this paper is the notion that computer game production can be conceptualised as a game played among various players, on a heterogeneous and distributed playing field, and according to rules which are subject to constant changes. The playing field on which digital games production takes place can be regarded as structurally analogous to the gamespace of digital games themsel...

We introduce planning games, a study of interactions of self-motivated agents in automated planning settings. Planning games extend STRIPS-like models of single-agent planning to systems of multiple self-interested agents, providing a rich class of structured games that capture subtle forms of local interactions. We consider two basic models of planning games and adapt game-theoretic solution c...

In order to achieve crisis preparedness a number of approaches are combined including traditional training through courses and training material, coaching, simulated emergencies to recreate realistic working experiences, and structured debriefings to learn by reflecting on specific work experiences. Recently, Serious Games have also been proposed for this domain and experiments on their usage s...

In the last decade, there has been much research at the interface of computer science and game theory. One important class of problems at this interface is the computation of solution concepts (such as Nash equilibrium or correlated equilibrium) of a finite game. In order to take advantage of the highly-structured utility functions in games of practical interest, it is important to design compa...

Game theory models decision makers' behaviors in strategic situations. Since the structures of games are different, behavior and preferences of the players are different in various types of game. This paper reviews various situations of games. Here, characteristics of some common games are discussed and compared. Specifically, we focus on a group of games called symmetric games including Prison...

abstract there are varieties of researches for appraisal of results obtained by countries in olympics, using data envelopment analysis method. this research is aimed to make such appraisal for iranians’ results in olympics games using the dea method. before taking any measures, main issues of dea methods for appraisal of olympics games in the previous research were discussed, afterward optimiza...