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
Geotechnical in-situ test methods provide valuable data for asset development, operation, and decommissioning. For confidence in test results, industry typically requires calibration and verification of in-situ test sensors to be conducted in a calibration laboratory. A calibration [...]Abstract
The research compares 2 CPTU profiles obtained with a same piezocone setup but having a different degree of saturation associated with the pore pressure measuring system. In the reference test, saturation was performed injecting 20cS silicon oil in the conduit connecting the porous [...]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 [...]