Abstract
This paper presents a system which extends the use of the traditional white cane by the blind for navigation purposes in indoor environments. Depth data of the scene in front of the user is acquired using the Microsoft Kinect sensor which is then mapped into a pattern representation. Using neural networks, the proposed system uses this information to extract relevant features from the scene, enabling the detection of possible obstacles along the way. The results show that the neural network is able to correctly classify the type of pattern presented as input.

Abstract
The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriate for safety-related applications, and suggests the use of static data type analysis of the source code. In this context, we have added a data type semantic verifier to the MatIEC compiler - an open source ST, IL and SFC code translator to ANSI C. In so doing, we have identified several issues related to the definition of the semantics of the IL and ST programming languages, as well as with the data type model defined in IEC 61131-3. In this paper we describe the issues we uncovered, explain how the data type static analyzer of the MatIEC was implemented, explain the options we took, and suggest how the IEC 61131-3 standard could be made more explicit.

Abstract
The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriate for safety-related applications, and suggests the use of static data type analysis of the source code. In this context, we have added a data type semantic verifier to the MatlEC compiler - an open source ST, IL and SFC code translator to ANSI C. In so doing, we have identified several issues related to the definition of the semantics of the IL and ST programming languages, as well as with the data type model defined in IEC 61131-3. In this paper we describe the issues we uncovered, explain how the data type static analyzer of the MatlEC was implemented, explain the options we took, and suggest how the IEC 61131-3 standard could be made more explicit. © 2012 IEEE.

Abstract
Naphthalene-based fluorophores have been widely used in different applications such as fluorescent sensors, biological/medical labels, in the development of lightharvesting systems and materials for light-emitting diodes. Typically, the naphthalene scaffold has low molecular weight and its properties depend strongly on the number, type and position of the substituent groups in the ring. Although the unsubstituted naphthalene is poorly fluorescent, when donor and acceptor groups are attached to positions 2 and 6 of the ring, the fluorescence increases significantly through an Intramolecular Charge Transfer (ICT) mechanism. Substantial changes in the fluorescence spectrum, quantum yield and lifetime are often observed with solvent changes or as a result of binding to a substrate. All aspects related with the design, synthesis and photophysical properties of the naphthalene-based fluorophores will be highlighted in this chapter. Also, naphthalene-based fluorescent chemosensors incorporating a specific binding site for sensing cations and anions will also be focused in this chapter.

Abstract
The use of keyboard and mouse combinations to navigate 3D environments of virtual worlds requires the coordination of both hands in order for the 2D degrees of motion of the mice to transform into the variety of motions available in a 3D space. Such coordination may pose a challenge to people with motor disabilities. 3D controllers known as "3D mice" are presented by manufacturers as significant interface alternatives. To establish the feasibility of such claims, we have conducted a usability test of two 3D mice marketed by 3Dconnexion, in parallel with a keyboard+mouse test. The 10 participants had motor disabilities due to medullary lesions on vertebrae C5-D11, and performed 13 different tasks in the Second Life virtual world: 5 participants used 3D mice, 5 used keyboard+mouse. We have concluded that 2-3 of the 5 most challenging tasks in the keyboard+mouse combination become less challenging using 3D mice. Participants' feedback was more positive regarding 3D mice, but with significant differences between mice. Contrary to our initial expectations, the least stable mouse, Space Navigator, originated the best feedback. (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
The current paper proposes a novel color correction approach for onboard multi-camera systems. It works by segmenting the given images into several regions. A probabilistic segmentation framework, using 3D Gaussian Mixture Models, is proposed. Regions are used to compute local color correction functions, which are then combined to obtain the final corrected image. An image data set of road scenarios is used to establish a performance comparison of the proposed method with other seven well known color correction algorithms. Results show that the proposed approach is the highest scoring color correction method. Also, the proposed single step 3D color space probabilistic segmentation reduces processing time over similar approaches.