Intuitionistic mathematics perceives subtle variations in meaning where classical mathematics asserts equivalence, and permits geometrically and computationally motivated axioms that classical mathematics prohibits. It is therefore wellsuited as a logical foundation on which questions about computability in the real world are studied. The realizability interpretation explains the computational ...

M ark Weiser envisioned a world in which computing is so pervasive that everyday devices can sense their relationship to us and to each other. They could, thereby, respond so appropriately to our actions that the computing aspects would fade into the background. Underlying this vision is the assumption that sensing a broad set of physical phenomena, rather than just data input, will become a co...

Increasing user engagement is constant challenge for Intelligent Tutoring Systems researchers. A current trend in the ITS field is to increase engagement of proven learning systems by integrating them within games, or adding in game like components. Incorporating proven learning methods within a game based environment is expected to add to the overall experience without detracting from the orig...

PURPOSE OF REVIEW Rehabilitation for sensorimotor impairments aims to improve daily activities, walking, exercise, and motor skills. Monitoring of practice and measuring outcomes, however, is usually restricted to laboratory-based procedures and self-reports. Mobile health devices may reverse these confounders of daily care and research trials. RECENT FINDINGS Wearable, wireless motion sensor...

Our concepts of the physical world distinguish objects, such as chairs, from substances, such as quantities of wood, that constitute them. A particular chair might consist of a single chunk of wood, yet we think about the chair and the wood in different ways. For example, part of the wood is still wood, but part of the chair is not a chair. In this article we examine the basis of the object/sub...

Deep neural network-based classifiers are known to be vulnerable to adversarial examples that can fool them into misclassifying their input through the addition of small-magnitude perturbations. However, recent studies have demonstrated that such adversarial examples are not very effective in the physical world—they either completely fail to cause misclassification or only work in restricted ca...

A big challenge for the web is to become ubiquitous, blended with the everyday life of people. The pervasive web envisions seamless connectivity with the physical world, where embedded devices offer real-world services to the users. Social networking is a core part of the online experience. The Web 2.0 has become a social web, extending users’ social capabilities. Online social networking platf...

The creation of physical-world interfaces seamlessly integrated with the physical environment poses new implementation and interface challenges for the Tcl language. 3wish is a suite of [incr Tcl] class libraries and C/C++ extensions which supports user interfaces integrating distributed physical sensors, displays, and 3D graphics. The poster presents an overview of 3wish, its application to ph...

The creation of physical-world interfaces seamlessly integrated with the physical environment poses new implementation and interface challenges for the Tcl language. 3wish is a suite of [incr Tcl] class libraries and C/C++ extensions which supports user interfaces integrating distributed physical sensors, displays, and 3D graphics. The poster presents an overview of 3wish, its application to ph...