Previous research has documented that playing violent video games has various negative effects on social behavior in that it causes an increase in aggressive behavior and a decrease in prosocial behavior. In contrast, there has been much less evidence on the effects of prosocial video games. In the present research, 4 experiments examined the hypothesis that playing a prosocial (relative to a n...

Background. Females' golf course lengths have been reduced due to their strength characteristics, leading to shorter shot distances than men. Although the golf game requires different physical conditions for females and males, the physiological demands of both genders are unknown. Objectives. This study aimed to investigate the physiological responses of female and male golfers during 18 holes...

In this article, we describe the design and development of a gaming platform with augmented reality components whose purpose is to fight sedentary lifestyle by promoting active aging in elderly institutions. The augmented reality components project games on the floor where the users can interact by moving sideways or sitting and playing with the arms.. In this work, we target the design of a co...

This paper presents a platform for mobile educational games, named "Quest for Knowledge." The platform allows for creation of interactive educational games that include a multimedia content (video, audio, documents, maps) and playing of games outside classrooms. Students access the games using personal computers and mobile terminals (phones, PDAs). The usual game scenarios include team-based so...

Many people do not get the recommended 30 minutes of exercise per day, which can result in health problems such as obesity, muscle atrophy and chronic disease. Based on the principles of casual games and exergames, we propose and define casual exergames for motivating people to exercise in multiple small chunks of time throughout the day. We designed, implemented, and tested a casual exergame c...

Mobile accelerometry is more and more being used in clinical trials as a tool to measure outcomes related to physical activity. However, it is still difficult to integrate exercise therapy in controlled clinical trials. We want to explore the option to use a unified platform to both measure outcome and prescribe and monitor exercise therapy using the actibelt technology platform. We present a p...

We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents connected by means of unidirectional communication channels. Agents communicate with each other by passing answer sets obtained by updating the information received from connected agents with their own private inform...

We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybrid games. The logic dDGL is a conservative extension of dL, which we exploit for our implementation of dDGL in the theorem prover KeYmaera. We provide rules for extending the dL sequent proof calculus to handle the dDGL...