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 pattern matching on code from the new macro system of Scala 3 is modeled by a calculus called λ half-circle. We present a mechanized proof of soundness of the calculus in Coq and discuss encountered challenges. ...
Multi-phase phenomena remain at the heart of many challenging fluid dynamics problems. Molecular fluxes at the interface determine the fate of neighboring phases, yet their closure far from the continuum needs to be modeled. Along the hierarchy of kinetic ...
Many scientific inquiries in natural sciences involve approximating a spherical field -namely a scalar quantity defined over a continuum of directions- from generalised samples of the latter (e.g. directional samples, local averages, etc). Such an approxim ...
Given two probability measures P and Q and an event E, we provide bounds on P(E) in terms of Q(E) and f-divergences. In particular, the bounds are instantiated when the measures considered are a joint distribution and the corresponding product of marginals ...
We extend the celebrated Rothschild and Stiglitz (1970) definition of Mean-Preserving Spreads to a dynamic framework. We adapt the original integral conditions to transition probability densities, and give sufficient conditions for their satisfaction. We t ...
In an open, bounded subset Omega of R-N such that 0 is an element of Omega we consider the nonlinear eigenvalue problem -Sigma(N)(i,j,=1) partial derivative(i){A(ij)(x)partial derivative(j)u} + V(x)u + n(x,del u)+ g(x, u) = lambda u in Omega integral(Omega ...
We study the regularity of the probability density function of the supremum of the solution to the linear stochastic heat equation. Using a general criterion for the smoothness of densities for locally nondegenerate random variables, we establish the smoot ...
In the presence of plant-model mismatch, the estimation of plant gradients is key to the performance of measurement-based iterative optimization schemes. However, gradient estimation requires time-consuming experiments, wherein the plant is sequentially pe ...
We report on the impact of anisotropy to tokamak plasma configuration and stability. Our focus is on analysis of the impact of anisotropy on ITER pre-fusion power operation 5 MA, B = 1.8 T ICRH scenarios. To model ITER scenarios remapping tools are develop ...
All mechanical systems, naturally occurring or human-produced, are subjected to friction and wear at the interface of solid constituents. Large portions of energy dissipation and loss of material, in every-day life and industrial applications alike, are du ...
