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.
We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...
We propose a novel method to accurately reconstruct a set of images representing a single scene from few linear multi-view measurements. Each observed image is modeled as the sum of a background image and a foreground one. The background image is common to ...
A big challenge in the last few years is to perform simulations of cardiovascular systems. Since it would be too computational expensive and complicated to simulate an entire blood circuit, an idea is to use a Domain Decomposition (DD) technique and to spl ...
In this article, we present some new properties of representations of Yang-Mills algebras. We first show that any free Lie algebra with m generators is a quotient of the Yang-Mills algebra ym(n) on n generators, for n ≥ 2m. We derive from this that any sem ...
We propose a novel method to accurately reconstruct a set of images representing a single scene from a few linear multiview measurements. Each observed image is modeled as the sum of a background image and a foreground one. The background image is common t ...
A new approach for computationally efficient estimation of stability factors for parametric partial differential equations is presented. The general parametric bilinear form of the problem is approximated by two affinely parametrized bilinear forms at diff ...
We present the current Reduced Basis framework for the efficient numerical approximation of parametrized steady Navier-Stokes equations. We have extended the existing setting developed in the last decade (see e.g. [S. Deparis, SIAM J. Numer. Anal. 46 (2008 ...
Super-resolution localization microscopy methods such as PALM and STORM have been shown to provide imaging with resolutions up to a few tens of nanometers while using relatively simple setups. Biplane PALM has extended the PALM technique to three-dimension ...
We describe the design of Kaldi, a free, open-source toolkit for speech recognition research. Kaldi provides a speech recognition system based on finite-state automata (using the freely available OpenFst), together with detailed documentation and a compreh ...
Super-resolution localization microscopy methods such as PALM and STORM have been shown to provide imaging with resolutions up to a few tens of nanometers while using relatively simple setups. Biplane PALM has extended the PALM technique to three-dimensio ...