Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of verification tools. While this is well-understood in safety verification, th ...
We report a study of the modes B± → DK ± and B± → DK± where D() decays to CP eigenstates. The data sample used contains 275 × 106 BB̄ events at the Y(4S) resonance collected by the Belle detector at the KEKB energy-asymmetric e+e- collider. The CP asymme ...
Future digital signal processing (DSP) systems must provide robustness on algorithm and application level to the presence of reliability issues that come along with corresponding implementations in modern semiconductor process technologies. In this paper, ...
This paper investigates the effectiveness of voluntary approaches in a comparative case study on European and Swiss climate legislation. Voluntary approaches are known to be less environmentally effective and economic efficient than other climate policy in ...
We present experimental results which test whether diffusion engineering can increase the energy resolution of a single-photon superconducting tunnel-junction spectrometer. When a UV photon is absorbed in superconducting Al, it creates an excess number of ...
Miniswys motor (property of Miniswys SA) is a piezoelectric, ultrasonic, linear motor intended to be integrated in an optical system for mobile phones. With the aim of continually optimizing their product, Miniswys SA has signed a collaboration agreement w ...
Doubly-charged Higgs bosons are searched for in e+e- collision data collected with the L3 detector at LEP at centre-of-mass energies up to 209 GeV. Final states with four leptons are analysed to tag the pair-production of doubly-charged Higgs bosons. No si ...
We propose a new signed or unsigned Euclidean distance transformation algorithm, based on the local corrections of the well-known 4SED algorithm of Danielsson. Those corrections are only applied to a small neighborhood of a small subset of pixels from the ...
Video signals are sequences of natural images, where images are often modeled as piecewise-smooth signals. Hence, video can be seen as a 3D piecewise-smooth signal made of piecewise-smooth regions that move through time. Based on the piecewise-smooth model ...
Suppose Q is a family of discrete memoryless channels. An unknown member of Q is available with perfect (causal) feedback for communication. A recent result (A. Tchamkerten and I.E. Telatar) shows the existence, for certain families of channels (e.g. binar ...
