Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos 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 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 ...
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 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 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 ...
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 ...
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 ...
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 ...