Abstract
The 'future is haptic' is what we have been hearing from technologists and visionary theorists. Yet, haptic is not a technological feature, but a biological function. Haptic is almost an unknown term outside the research discourses and engineering labs. When asked, the majority of people ignore the relation between haptic and touch. What is unknown is that haptic is part of our multifunctional sense of touch formed by cutaneous, kinesthetic, and haptic sensory systems. Proposing to rediscover the haptic through crossroads of art and design research, intermediated by emergent technologies, this paper aims to introduce a haptic art concept for a touch reactive dynamic surface as an awareness project. Inspired by the instinctive survival touch reactions of the living beings, it is intended to construct the knowledge of the self through the sense of touch, following the latest technological advances in smart materials that provide physical interactivity for art and design explorations. © 2012 Springer-Verlag.

Abstract
Benefits provided by music in humans have been reinforced through several studies, mainly by active participation in musical therapy sessons, with surprising results in physical and psychological rehabilitation. However, all the previous implemented approaches require specialized hardware to function and complex configurations to set-up. We define a computational system focused on the elderly to allow musical expressiveness through motion, solely using the resources available in an ordinary home computer. To evaluate our approach, we developed a prototype and piloted acceptance tests on several senior citizens, with an average age of eighty-three. Our experiments showed high levels of interest from the senior citizens, denoting positive capabilities of well-being and life quality enrichment. The performed experiments have also shown that an ordinary computer is capable of performing the proposed methodology, without any restriction. (C) 2012 The Authors. Published by Elsevier B.V. Selection and/or peer-review under responsibility of the Scientific Programme Committee of the 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion (DSAI 2012)

Abstract
We give a new presentation of Brzozowski's algorithm to minimize finite automata, using elementary facts from universal algebra and coalgebra, and building on earlier work by Arbib and Manes on the duality between reachability and observability. This leads to a simple proof of its correctness and opens the door to further generalizations. © 2012 Springer-Verlag Berlin Heidelberg.

Abstract
Usually one can quantify the subjective notion of useful information in two different perspectives: static resources - measuring the amount of planing required to construct the object; or dynamic resources - measuring the computational effort required to produce the object. We study the robustness of logical depth measuring dynamic resources, proving that small variations in the significance level can cause large changes in the logical depth. © 2012 Springer-Verlag.

Abstract
In everyday life, people need to move, whether in business or leisure. Navigation requires spatial knowledge and ability to make decisions based on geographic information. Recently, powerful tools have been developed, enhancing the capabilities of geographical analysis and decision-making. This work presents a platform to handle and provide geographic information, including accessibility oriented features. This geographic information system (GIS) is part of a wider project, called SmartVision. The aim of this project is to create a system that allows blind users to navigate in the University of Tras-os-Montes and Alto Douro campus. The GIS platform, together with other modules of the SmartVision system prototype, provides information to blind users, assisting their navigation and giving alerts of nearby points-of-interest or obstacles. Together with the GIS platform, this paper also describes the handling of accessibility information by the SmartVision prototype, namely the Navigation Module, the Computer Vision Module and the Interface Module.

Abstract
The automatic matching of entities between information repositories is essential for aligning and ontology mediation processes, but there is great ambiguity when adopting it. Data integration between repositories demands great quality of ontology alignments, and as such ambiguous correspondences must be identified and corrected beforehand. Debugging is even more relevant if the process is systematic and complete, thus allowing its formalisation and implementation and promoting its acceptance. In this paper we address the analysis and systematization of the ontology alignment debugging process, proposing the characterization of the ontology matching scenarios through ten dimensions. The resulting scenarios are categorized as Simple and Composed depending on the associated actions taken for solving the ambiguity. We suggest evolving the alignment process into an iterative matching-debugging process, where the resulting ambiguous scenarios and correction strategies are fed into the matching algorithms for supporting the resolution of the alignment problems.