Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Regression testing

Related publications (28)

Model reduction of coupled systems based on non-intrusive approximations of the boundary response maps

Jan Sickmann Hesthaven, Niccolo' Discacciati

We propose a local, non -intrusive model order reduction technique to accurately approximate the solution of coupled multi -component parametrized systems governed by partial differential equations. Our approach is based on the approximation of the boundar ...

Elsevier Science Sa2024

Investigating neural resource allocation in the sensorimotor control of extra limbs

Giulia Dominijanni

The rise of robotic body augmentation brings forth new developments that will transform robotics, human-machine interaction, and wearable electronics. Extra robotic limbs, although building upon restorative technologies, bring their own set of challenges i ...

EPFL2024

Dangerous acquaintances: the interplay between type IV pili and the type VI secretion system during Vibrio cholerae's environmental lifestyle

Simon Bernhard Otto

Cholera, caused by the bacterium Vibrio cholerae, has affected humanity throughout history and still impacts millions of people every year. Apart from being a human pathogen, V. cholerae is a common member of the aquatic environment. Due to this natural re ...

EPFL2024

Impact of microwave beam scattering by density fluctuations on the electron-cyclotron power deposition profile in tokamaks

Stefano Coda, Joan Decker, Oleg Krutkin, Umesh Kumar, Jean Arthur Cazabonne

Electron-cyclotron waves are a tool commonly used in tokamaks, in particular to drive current. Their ability to drive current in a very localized manner renders them an optimal tool for MHD mode mitigation. However, such applications require high accuracy ...

IOP Publishing Ltd2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Fast correlation function calculator A high-performance pair-counting toolkit

Cheng Zhao

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

EDP SCIENCES S A2023

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, Flavio Toffalini, Han Zheng

Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...

Usenix Assoc2023

Community-Aware Group Testing

Christina Fragouli, Suhas Diggavi, Pavlos Nikolopoulos

Group testing is a technique that can reduce the number of tests needed to identify infected members in a population, by pooling together multiple diagnostic samples. Despite the variety and importance of prior results, traditional work on group testing ha ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Specific Gestalt principles cannot explain (un)crowding

Michael Herzog, Oh-Hyeon Choung, Einat Rashal

The standard physiological model has serious problems accounting for many aspects of vision, particularly when stimulus configurations become slightly more complex than the ones classically used, e.g., configurations of Gabors rather than only one or a few ...

2023

Mechanical Characterisation of Porcine Urethra: Non Linear Constitutive Models and Experimental Approach

Yves Perriard, Yoan René Cyrille Civet, Thomas Guillaume Martinez, Stefania Maria Aliki Konstantinidi, Amine Benouhiba, Quentin Philippe Mario De Menech

Low urinary tract dysfunctions and symptoms (LUTS) and Urinary incontinence (UI) in particular is a medical condition that affects millions of people worldwide. One of the most promising long term treatments for this condition is the use of an artificial u ...

IEEE2023

Advancing first principle-based molecular dynamics of biological systems with machine learning

François Louis Mouvet

Molecular dynamics (MD) simulations have emerged as a transformative approach to analyse molecular systems at the atomic level, offering valuable insights into complex biological processes. Many biological phenomena can only accurately be described by inco ...

EPFL2023

Impact of Annealing on ZrO2 Nanotubes for Photocatalytic Application

Sami Rtimi

This work aims to study the structural, optical, and photocatalytic properties of ZrO2 nanotubes (NTs) that have been synthesized using the electrochemical anodization method. The structural and morphological characteristics of unannealed and annealed (400 ...

MDPI2023

Performance of the Cable-in-Conduit Conductors for Super-X Test Facility

Kamil Sedlák, Yu Wu

Following the conceptual design, the engineering design of the dc magnet and cable-in-conduit conductor (CICC) for the Super-X test facility has been done in 2021. Totally three types of conductors with different structures were designed for the three pair ...

IEEE Institute of Electrical and Electronics Engineers2023

Aging investigation of the latest standard dual power modules using improved interconnect technologies by power cycling test

Yi Zhang, Rui Wu

The latest standard "New Dual" power module has been developed for both silicon and silicon-carbide devices to meet the increasing demands in high reliability and high temperature power electronic applications. Due to the new package is just starting to re ...

PERGAMON-ELSEVIER SCIENCE LTD2022

To regenerate or not to regenerate: Vertebrate model organisms of regeneration-competency and -incompetency

Can Aztekin

Why only certain species can regenerate their appendages (e.g. tails and limbs) remains one of the biggest mysteries of nature. Unlike anuran tadpoles and salamanders, humans and other mammals cannot regenerate their limbs, but can only regrow lost digit t ...

WILEY2022

A geometrically exact model for thin magneto-elastic shells

Pedro Miguel Nunes Pereira de Almeida Reis, Matteo Pezzulla, Dong Yan

We develop a reduced model for hard-magnetic, thin, linear-elastic shells that can be actuated through an external magnetic field, with geometrically exact strain measures. Assuming a reduced kinematics based on the Kirchhoff-Love assumption, we derive a r ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Th1509U European 170 Ghz 1 Mw Cw Industrial Gyrotron Upgrade

Stefano Alberti, Jean-Philippe Hogge, Francisco Sanchez, Ioannis Pagonakis, François Jean Gaston Legrand

This paper describes the status on the upgrade of the first European gyrotron prototype for ITER, manufactured by Thales. The upgraded prototype, TH1509U, is now being tested to verify the performance improvements and to assess the compliance with ITER ECR ...

IEEE2021

Biomechanical Response of the Lower Extremity to Running-Induced Acute Fatigue: A Systematic Review

Kamiar Aminian, Salil Apte, Gaëlle Prigent

Objective: To investigate (i) typical protocols used in research on biomechanical response to running-induced fatigue, (ii) the effect of sport-induced acute fatigue on the biomechanics of running and functional tests, and (iii) the consistency of analyzed ...

2021

Edit Based Grading of SQL Queries

Bikash Chandra

Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test the correctness of a student query. However, in case a student query is fou ...

ASSOC COMPUTING MACHINERY2021