Publications related to Verification and validation

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

Elsevier2023

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

Assessing real-world gait with digital technology? Validation, insights and recommendations from the Mobilise-D consortium

Kamiar Aminian, Anisoara Ionescu, Abolfazl Soltani, Francesca Salis

Background: Although digital mobility outcomes (DMOs) can be readily calculated from real-world data collected with wearable devices and ad-hoc algorithms, technical validation is still required. The aim of this paper is to comparatively assess and validat ...

BioMed Central2023

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

Frequency stability assessment of modern power systems: Models definition and parameters identification

Mario Paolone, Yihui Zuo, Giacomo Piero Schiapparelli

One of the fundamental concerns in the operation of modern power systems is the assessment of their frequency stability in case of inertia-reduction induced by the large share of power electronic interfaced resources. Within this context, the paper propose ...

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

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

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

Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo, Jean-Pierre Braun

The eective deployment of Phasor Measurement Units (PMUs) in Distribution Networks (DNs) requires an enhancement in terms of estimation accuracy beyond the limits of IEEE Std C37.118.1 (IEEE Std), aiming at a Total Vector Error (TVE) in the order of 0.0x% ...

2019

User Guidance for Efficient Fact Checking

Quoc Viet Hung Nguyen, 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. The open nature of the Web, with content potentially being generated by everyone, howev ...

2019

User Guidance for Efficient Fact Checking

Thành Tâm Nguyên, Thanh Trung Huynh, Quoc Viet Hung Nguyen

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. The open nature of the Web, with content potentially being generated by everyone, howev ...

ASSOC COMPUTING MACHINERY2019

Accurate and efficient interpretation of load-test data for asset-management

Sai Ganesh Sarvotham Pai

Increasing demand for new infrastructure and ageing of existing infrastructure has made management of infrastructure a key challenge of this century. Replacement of all ageing civil infrastructure is economically and environmentally unsustainable. Civil in ...

EPFL2019

Three-dimensional imaging of integrated circuits with macro- to nanoscale zoom

Gabriel Aeppli, Manuel Guizar Sicairos, Christian David, Michal Odstrcil

The imaging of integrated circuits across different length scales is required for failure analysis, design validation and quality control. At present, such inspection is accomplished using a hierarchy of different probes, from optical microscopy on the mil ...

NATURE PUBLISHING GROUP2019

Architectural Sampling: A Formal Basis for Machine-Learnable Architecture

Immanuel Chee Beng Koh

The spatial and formal conception of architecture, and thus its modes of design perception and representation, directly contributes to its machine-learnability; and consequently, its capacity in leveraging today's machine learning apparatus for design inno ...

EPFL2019

A Robotic System for Adaptive Training and Function Assessment of Forelimb Retraction in Mice

Silvestro Micera, Stefano Lai, Maria Pasquini, Sara Conti

Rodent models are decisive for translational research in healthy and pathological conditions of motor function thanks to specific similarities with humans. Here, we present an upgraded version of the M-Platform, a robotic device previously designed to trai ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2018

Performance estimation of program partitions on multi-core platforms, 2016 26th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)

Marco Mattavelli, Simone Casale Brunet, Endri Bezati, Malgorzata Maria Michalska, Junaid Jameel Ahmad

The exploration of different design configurations of dynamic dataflow programs executed on many-core or multi-core platforms is, in general, a very difficult task. Determining a close-to-optimal partitioning, scheduling and buffer dimensioning configurati ...

2017

An Evaluation Framework for Lossy Compression of Genome Sequencing Quality Values

Marco Mattavelli, Claudio Paolo Alberti, Ana Angelica Hernandez Lopez

This paper provides the specification and an initial validation of an evaluation framework for the comparison of lossy compressors of genome sequencing quality values. The goal is to define reference data, test sets, tools and metrics that shall be used to ...

Ieee2016