Publications associées à AIM 2019 Challenge on Image Extreme Super-Resolution: Methods and Results

Edit Based Grading of SQL Queries

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

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

Kamiar Aminian, Gaëlle Prigent, Salil Apte

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

Testing of asymptomatic individuals for fast feedback-control of COVID-19 pandemic

Gabriel Aeppli

We argue that frequent sampling of the fraction ofa priorinon-symptomatic but infectious humans (either by random or cohort testing) significantly improves the management of the COVID-19 pandemic, when compared to intervention strategies relying on data fr ...

2020

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Mathias Josef Payer

Fuzzing is one of the most popular and effective techniques for finding software bugs. To detect triggered bugs, fuzzers leverage a variety of sanitizers in practice. Unfortunately, sanitizers target long running experiments-e.g., developer test suites-not ...

USENIX ASSOC2020

Numerical Simulations of Pulsating Heat Pipes, Part 1: Modeling

John Richard Thome, Jackson Braz Marcinichen, Brian Paul D'Entremont, Raffaele Luca Amalfi, Filippo Cataldo, Philippe Aubin

The pulsating nature of a closed loop pulsating heat pipe (CLPHP) makes the prediction of its thermal-hydraulic performance extremely challenging. Unfortunately, the design of CLPHPs is still quite an empirical process, requiring testing of many prototypes ...

IEEE2019

Optical microsystems for genetically engineered biosensors. Case study: Glucose monitoring

Bakul Jitendra Vinchhi

Diabetes is a global epidemic with millions of people dying from it every year. Progress in microelectronics and machine learning has led to a huge number of FDA approvals of devices for continuous monitoring and treatment of diabetes with one product usin ...

EPFL2019

NTIRE 2018 Challenge on Spectral Reconstruction from RGB Images

Radu Timofte, Marjan Shahpaski, Ruofan Zhou, Fayez Lahoud, Majed El Helou, Dong Liu, Lei Zhang, Soumik Sarkar, Himanshu Sharma, Bing Zhang, Chang Chen

This paper reviews the first challenge on spectral image reconstruction from RGB images, i.e., the recovery of whole-scene hyperspectral (HS) information from a 3- channel RGB image. The challenge was divided into 2 tracks: the “Clean” track sought HS reco ...

2018

Use of compact Laser Doppler Velocimetry in reduced scale model testing of hydraulic machines

François Avellan, Andres Müller, Vincent Berruex, Loïc Andolfatto, Masashi Sakamoto

Laser based flow survey methods such as Laser Doppler Velocimetry (LDV) or Particle Image Velocimetry (PIV) have long been used for studying the flow in hydraulic machines. Even if the results have crucially improved our understanding of potentially destab ...

2018

The detection of two-component mixture alternatives : Theory and methods

Daria Rukina

In this thesis, we deal with one of the facets of the statistical detection problem. We study a particular type of alternative, the mixture model. We consider testing where the null hypothesis corresponds to the absence of a signal, represented by some kno ...

EPFL2018

Systematically testing OpenFlow controller applications

Jennifer Rexford, Dejan Kostic, Marco Canini, Maciej Leszek Kuzniar, Peter Peresini

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

Elsevier Science Bv2015

Morphological Evolution of Physical Robots through Model-Free Phenotype Development

Simon Lukas Hauser

Artificial evolution of physical systems is a stochastic optimization method in which physical machines are iteratively adapted to a target function. The key for a meaningful design optimization is the capability to build variations of physical machines th ...

2015

Distributed Multi-Robot Learning using Particle Swarm Optimization

Ezequiel Leonardo Di Mario

This thesis studies the automatic design and optimization of high-performing robust controllers for mobile robots using exclusively on-board resources. Due to the often large parameter space and noisy performance metrics, this constitutes an expensive opti ...

EPFL2015

Making Automated Testing of Cloud Applications an Integral Component of PaaS

George Candea, Stefan Bucur, Johannes Kinder

Traditional testing is inadequate for the complexity of modern cloud application software stacks. While the platform-as-a-service (PaaS) model has streamlined application development and deployment, its multiple abstraction layers and dependencies have mad ...

2013

Evaluation of the tensile strength of SFRC as derived from inverse analysis of notched bending tests

Aurelio Muttoni

For the design of SFRC members, the most fundamental material property is its post cracking residual tensile strength. When relying on physical models to describe structural behaviour under load, the material laws must first be accurately established. If t ...

VIII International Conference on Fracture Mechanics of Concrete and Concrete Structures, FraMCoS-82013

Status of Conductor Qualification for the ITER Central Solenoid

Pierluigi Bruzzone, Boris Stepanov

The ITER central solenoid (CS) must be capable of driving inductively 30 000 15 MA plasma pulses with a burn duration of 400 s. This implies that during the lifetime of the machine, the CS, comprised of six independently powered coil modules, will have to ...

IEEE Institute of Electrical and Electronics Engineers2013

A NICE Way to Test OpenFlow Applications

Jennifer Rexford, Dejan Kostic, Marco Canini, Peter Peresini

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

2012

A novel framework for noise robust ASR using cochlear implant-like spectrally reduced speech

We propose a novel framework for noise robust automatic speech recognition (ASR) based on cochlear implant-like spectrally reduced speech (SRS). Two experimental protocols (EPs) are proposed in order to clarify the advantage of using SRS for noise robust A ...

2011

An Innovative Device for Determining the Soil Water Retention Curve Under High Suction at Different Temperatures

Lyesse Laloui, Simon Salager, Marta Rizzi

In order to characterize the water retention behavior of fine soils, very high suction values have to be applied. In this range of values, the vapor equilibrium technique is usually used. This paper presents an innovative device, a sorption bench, which pe ...

Springer Verlag2011

Comparison of Deconvolution Software in 3D Microscopy: A User Point of View—Part 1

Daniel Sage, Alessandra Griffa

Deconvolution is an image restoration technique which improves image contrast, resolution and signal to noise ratio. In modern optical microscopy and biological research deconvolution is becoming a fundamental processing step which allows for better image ...

EMS2010