Concept

Verification and validation

Related publications (59)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

A modelling framework for modern heritage buildings energy simulation

Franz Graf, Giulia Marino, Giuseppe Galbiati

The latest European polices highlight the urgent need to rehabilitate the existing building stock, responsible for 40 % of the EU's total energy consumption. In this process, a key role is played by thermal simulations, assessing the effective energy perfo ...

Amsterdam2023

Deep Learning Generalization with Limited and Noisy Labels

Mahsa Forouzesh

Deep neural networks have become ubiquitous in today's technological landscape, finding their way in a vast array of applications. Deep supervised learning, which relies on large labeled datasets, has been particularly successful in areas such as image cla ...

EPFL2023

ACACIA: a new method to produce on-the-fly merger trees in the RAMSES code

Mladen Ivkovic

The implementation of ACACIA, a new algorithm to generate dark matter halo merger trees with the Adaptive Mesh Refinement code RAMSES, is presented. The algorithm is fully parallel and based on the Message Passing Interface. As opposed to most available me ...

OXFORD UNIV PRESS2022

Validating model-based data interpretation methods for quantification of reserve capacity

Ian Smith, Sai Ganesh Sarvotham Pai

Optimal performance of civil infrastructure is an important aspect of liveable cities. A judicious combination of physics-based models with monitoring data in a validated methodology that accounts for uncertainties is explored in this paper. This methodolo ...

2021

Magnetization-prepared 2 Rapid Gradient-Echo MRI for B-1 Insensitive 3D T1 Mapping of Hip Cartilage: An Experimental and Clinical Validation

Tobias Kober

Background: Often used for T1 mapping of hip cartilage, three-dimensional (3D) dual-flip-angle (DFA) techniques are highly sensitive to flip angle variations related to B-1 inhomogeneities. The authors hypothesized that 3D magnetization-prepared 2 rapid gr ...

RADIOLOGICAL SOC NORTH AMERICA2021

Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

Learning a Unified Blind Image Quality Metric via On-Line and Off-Line Big Training Instances

Daniel Thalmann, Xingyu Xu

In this work, we resolve a big challenge that most current image quality metrics (IQMs) are unavailable across different image contents, especially simultaneously coping with natural scene (NS) images or screen content (SC) images. By comparison with exist ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

(Invited) Exchanging Degradation for Durability: Accelerated Stress Test Protocols for Solid Oxide Fuel Cells and Electrolysers

Jan Van Herle

The longer lifetimes of solid oxide cells (SOC) – obtained and still required, both in fuel cell and electrolysis operation – exacerbate the need for accelerated stress tests, since neither reliable degradation models are currently available nor validated ...

2020

Effort-driven Fact Checking

Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia, each storing millions of facts about society in general, and specific domains, such as ...

2019

, , , ,

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019