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

Concept

Short-circuit evaluation

Related publications (28)

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

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, Marcel Arditi, Matthieu Martin Jean-André Simeoni, Adrien Georges Jean Besson, Dimitris Perdios

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

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 Robert 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, Kévin Clément Huguenin, Juan Ramón Troncoso-Pastoriza, 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, Marijana Mionic Ebersold, Débora Bonvin

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