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.
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...
In Switzerland, the current code for structural concrete published in 2003 privileged an incremental approach for design of new members or for assessment of existing structures with respect to a number of topics (shear, buckling, reinforcement detailing th ...
Considered as one of the most difficult complications in horology, the mechanical chiming watch, known as the striking watch, has today become one of the symbols of high craftsmanship. When it chimes the hour the sound of a striking watch must not only be ...
A method to solve weakly non-linear partial differential equations with Volterra series is presented in the context of single-input systems. The solution x(z,t) is represented as the output of a z-parameterized Volterra system, where z denotes the space va ...
In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including ...
This thesis contributes to the field of analytical chemistry of solid samples by introducing a new instrument with unprecedented performance characteristics and analytical capabilities. The instrument is based on the laser ablation and ionisation time-of-f ...
A Python package for room acoustics. This package would allow us to simulate sound propagation in a closed room allowing us to predict a situation, compare it with experimental results or apply calculations for various signal processing applications. ...
The behavior and performance of four cloud condensation nucleus instruments are theoretically analyzed. They include the static diffusion cloud chamber (SDCC), the Fukuta continuous flow spectrometer (FCNS), the Hudson continuous flow spectrometer (HCNS), ...
