We describe an interaction console for interactive proof exercises using proof planning as back-engine. Based on the proof planning situation, the console offers suggestions for proof steps. These suggestions can dynamically be adapted, e.g. to the user and to pedagogical criteria. This adaptive configuration is possible because the suggestion mechanism and proof planning are clearly separated....

1. Mobile device management (MDM): MDM is a platform life cycle management technology that provides inventory, OS configuration management, mobile app provisioning and deprovisioning, remote wipe, and remote viewing/control for troubleshooting. MDM profiles, installed on the device, facilitate these functions. 2. Mobile application management (MAM): MAM applies management and policy control fun...

System Problem Detection by Mining Console Logs

In this paper, I discuss the development of the games console as a converged form, focusing on the industrial and technical dimensions of convergence. Starting with the decline of hybrid devices like the Commodore 64, the paper traces the way in which notions of convergence and divergence have infl uenced the console gaming market. Special attention is given to the convergence strategies employ...

The SPring-8 storage ring is under construction and will be commissioned in February 1997. The design for the control system of the storage ring adopted the so-called Standard Model concept. VMEbus is used as the front-end control system and is widely distributed around the 1436m circumference of the storage ring. The VMEbus is controlled by a single-board-computer with a RISC processor. The VM...

Python based Robot Interactive Development Environment (PyRIDE) is a software that supports rapid interactive programming of robot skills and behaviours on PR2/ROS (Robot Operating System) platform. One of the key features of PyRIDE is its interactive remotely accessible Python console that allows its users to program robots online and in realtime in the same way as using the standard Python in...

With an increasing availability of affordable and effective robotic telepresence systems, key questions in the design of such systems arise, in particular when they aim at untrained users. Previous research regarding telepresence systems has focused on the (mobile) robotic platforms themselves or the differences between virtual as compared to physical representations thereof. The design space o...

A 38-year-old man presented to the accident and emergency department complaining of severe neck pain. This had started immediately after swinging his Wii game console control during a rather vigorous game. An X-ray demonstrated a clay-shoveler's fracture of C7. This had radiological features to suggest an acute injury. This is the first report of a clay-shoveler's fracture strongly suggestive o...