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 present an algorithm for generating all polynomial invariants of P-solvable loops with assignments and nested conditionals. We prove termination of our algorithm. The proof relies on showing that the dimensions of the prime ideals from the minimal decom ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010
Tumbleweed is an architectural artifact that engages the private with the public, the exterior with the interior and the ideal with the real in a mirroring effect: the terms of their relationships are multiplied and transformed into a new understanding… ...
An efficient control system is paramount for the operability of Fuel Cell systems since, in ideal cases, it allows the regulation of power output, temperatures and economic performance under a dynamic working environment where they need to operate. Althoug ...
We study periodic torus orbits on spaces of lattices. Using the action of the group of adelic points of the underlying tori, we define a natural equivalence relation on these orbits, and show that the equivalence classes become uniformly distributed. This ...
Let K be a field with char(K) ≠ 2. The Witt-Grothendieck ring (K) and the Witt ring W (K) of K are both quotients of the group ring ℤ[𝓖(K)], where 𝓖(K) := K*/(K*)2 is the square class group of K. Since ℤ[𝓖(K)] is integra ...
Many recent works have shown that if a given signal admits a sufficiently sparse representation in a given dictionary, then this representation is recovered by several standard optimization algorithms, in particular the convex ℓ1 minimization approac ...
Quantification of pollutant mass fluxes is essential for assessing the impact of contaminated sites on their surrounding environment, particularly on adjacent surface water bodies. In this context, it is essential to quantify but also to be able to monitor ...
Radio frequency geophysical methods are known for being very versatile tools in ground- and groundwater investigation at shallow depths. They are fast and easy to use and allow a high density of information over large surfaces, which makes them very suitab ...
The characteristics of magnetohydrodynamics (MHD) stability of plasmas with the internal diffusion barrier (IDB) are intensively studied in the Large Helical Device (LHD) experiment. These plasma are produced by the rapid fueling into the core region with ...
The Japan Society of Plasma Science and Nuclear Fusion Research2009
The Geneva and Zurich housing markets are characterised by high proportions of foreigners and a large share of rental housing. This provides ideal conditions for testing whether foreigners pay more for the same quality of housing than Swiss households and ...
