Self-determination theory: A case study of evidence-based coaching

The coach is central to the development of expertise in sport (Bloom, 1985) and is subsequently key to facilitating adaptive forms of motivation to enhance the quality of sport performance (Mallett & Hanrahan, 2004). In designing optimal training environments that are sensitive to the underlying motives of athletes, the coach requires an in-depth understanding of motivation. This paper reports on the application of self-determination theory (SDT; Deci & Ryan, 1985; Ryan & Deci, 2000) to coaching elite athletes. Specifically, the application of SDT to designing an autonomy-supportive motivational climate is outlined, which was used in preparing Australia's two men's relay teams for the 2004 Olympic Games in Athens.

Effective affective user interface design in games

It is proposed that games, which are designed to generate positive affect, are most successful when they facilitate flow (Csikszentmihalyi 1992). Flow is a state of concentration, deep enjoyment, and total absorption in an activity. The study of games, and a resulting understanding of flow in games can inform the design of non-leisure software for positive affect. The paper considers the ways in which computer games contravene Nielsen's guidelines for heuristic evaluation ( Nielsen and Molich 1990) and how these contraventions impact on flow. The paper also explores the implications for research that stem from the differences between games played on a personal computer and games played on a dedicated console. This research takes important initial steps towards de. ning how flow in computer games can inform affective design.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.