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

Abstract

Two strategies are proposed for dealing with disinformation by using content curation, which we term “curating the truth” and “curating the lie.” The former is the traditional concept of content curation, which seeks to optimize existing content of value. The latter is a curation [...]

Abstract

The rise of fact-checking as an innovative tool aimed at improving democratic well-being has become a transnational movement in journalism. In June 2021, the Duke Reporters’ Lab database features 341 such initiatives around the world, including 33 active fact-checking projects in [...]