Concept

Short-circuit evaluation

Publications associées (28)

Scaling Functional Synthesis and Repair

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Compression and visual quality assessment for light field contents

Irene Viola

Since its invention in the 19th century, photography has allowed to create durable images of the world around us by capturing the intensity of light that flows through a scene, first analogically by using light-sensitive material, and then, with the advent ...

EPFL2019

A Physical Model of Non-stationary Blur in Ultrasound Imaging

Jean-Philippe Thiran, Yves Wiaux, Paul Hurley, Dimitris Perdios, Matthieu Martin Jean-André Simeoni, Adrien Georges Jean Besson, Marcel Arditi

Conventional ultrasound (US) imaging relies on delay-and-sum (DAS) beamforming which retrieves a radio- frequency (RF) image, a blurred estimate of the tissue reflectivity function (TRF). Despite the non-stationarity of the blur induced by propagation effe ...

2019

A template for constructing Bayesian networks in forensic biology cases when considering activity level propositions

Christophe Champod, Alex Biedermann

The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...

2018

Preventive chemotherapy to control soil-transmitted helminthiasis averted more than 500 000 DALYs in 2015

Background: Preventive chemotherapy (PC), the large-scale administration of anthelminthics, is recommended by the World Health Organization (WHO) for the control of soil-transmitted helminthiasis (STH). Since 2010, donated anthelminthics for STH have boost ...

Oxford University Press2018

Cross-Platform Language Design

Sébastien Jean R Doeraene

Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model. Furthermore, they need to interact with other languages targeting said runtimes. A language targeting only one runtim ...

EPFL2018

ORide: A Privacy-Preserving yet Accountable Ride-Hailing Service

Jean-Pierre Hubaux, Juan Ramón Troncoso-Pastoriza, Kévin Clément Huguenin, Italo Ivan Dacosta Petrocelli, Thi Van Anh Pham, Guillaume Francois Maurice Endignoux

In recent years, ride-hailing services (RHSs) have become increasingly popular, serving millions of users per day. Such systems, however, raise significant privacy concerns, because service providers are able to track the precise mobility patterns of all r ...

2017

Controlling structural and magnetic properties of IONPs by aqueous synthesis for improved hyperthermia

Heinrich Hofmann, Alla Arakcheeva, Débora Bonvin, Marijana Mionic Ebersold

Iron oxide nanoparticles (IONPs) were synthesized by a novel aqueous synthesis route which combines co-precipitation (CP) and hydrothermal (HT) treatment, termed CP + HT, and compared with IONPs obtained by the standard CP method. Properties of both types ...

2017