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 monograph advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations. It presents the current state of the art in system design, discusses its limitations, and identifies poss ...
Social networks today are great source of data which can be used and analyzed in different ways. In our project the main goal is to predict the behavior of the users, more accurately said: we try to predict what will a particular user tweet in the future, ...
Design correctness and performance are major issues which are usually considered separately, and with different emphasis, by traditional system design flows. In this paper we show that one can meaningfully connect and benefit from the advantages of two des ...
We address the problem of microphone location cali- bration where the sensor positions have a sparse spatial approximation on a discretized grid. We characterize the microphone signals as a sparse vector represented over a codebook of multi-channel signals ...
We address the problem of microphone location calibration from a sparse coding perspective where the sensor positions are approximated over a discretized grid. We characterize the microphone signals as a sparse vector represented over a codebook of multi-c ...
The potential for a building design to provide daylight for general illumination was, until very recently, evaluated using only the daylight factor, i.e. a ratio of internal to external illumination under a single standardised overcast sky. Other known eff ...
The microstructure stability during δ sub-solvus annealing was investigated in Inconel 718 alloy. A reference dynamically recrystallized microstructure was produced through thermomechanical processing (torsion). The reference microstructure evolution durin ...
We construct a model of innovation diffusion that incorporates a spatial component into a classical imitation-innovation dynamics first introduced by F. Bass. Relevant for situations where the imitation process explicitly depends on the spatial proximity b ...
Intricate relationships between mechanical and electrochemical degradation aspects likely affect the durability of solid oxide fuel cell stacks. This study presents a modelling framework that combines thermo-electrochemical models including degradation and ...
We study glue operators used in component-based frameworks to obtain systems as the composition of atomic components described as labeled transition systems (LTS). Glue operators map tuples of LTS into LTS. They restrict the behavior of their arguments by ...