Abstract

This group aims to be a vehicle for the discussion on the objectives and contents of the Journal of Validation of Computational Models, as well as any other aspect related to the verification and validation (V&V) of computational models in all areas of engineering and applied [...]

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

The present article analyses similarity and differences between academic and professional speech about “fact checking”, understanding it from a double perspective, both, like a competence that current journalists have to acquire, and a work field that offers new opportunities. [...]

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

The conceptual simplicity and the ability of cohesive finite element models to describe complex fracture phenomena makes them often the approach of [...]

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 [...]