Abstract
This paper is focused on the fault tolerance of Human Machine Interfaces in the field of air traffic control (ATC) by accepting the overall user's body language as input. We describe ongoing work in progress in the project called Sixth Sense. Interaction patterns are reasoned from [...]Abstract
Increasing the energy efficiency of the built environment has become a priority worldwide and especially in Europe. Because of the relatively low turnover rate of the existing built environment, energy efficiency retrofitting appears to be a fundamental step in reducing its energy [...]
Abstract
Methods to obtain accurate estimations of the savings generated by building energy efficiency interventions are a topic of great importance, and considered to be one of the keys to increase capital investments in energy conservation strategies worldwide. In this study, a novel [...]
Abstract
Journalists specialized in health information have changed their work routines because of Internet and social networks. Generating health content allows researchers, physicians and patients to be connected and, in this respect, media play a prescriber role in the society. In this [...]Abstract
International audience; In a software development lifecycle, it is often more than half of the development time that is dedicated to verification activities. Formal methods offer new possibilities for verification. In the specification phase, simulation or model-checking allow users [...]