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.
In this paper we derive regularity results for equilibria of multilattices under an external force and prove a priori and a posteriori error estimates for a multiscale numerical method for computing such equilibria. The estimates are derived in a W-1,W-inf ...
In this work, we showed the realization of a fully- implantable device that integrates a microfabricated sensing platform, a coil for power and data transmission and integrated circuits. We described a device intended to test the biocompati- bility of the ...
This project studied hydrological models used in the catchment of the Petite Chamberonne north-west of Lausanne. In a first step, input data have been analysed and prepared for the spatially explicit, conceptual hydrological model SEHR-ECHO. It has been pr ...
Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analo ...
Le Mont-Blanc est un site alpin de haute montagne d’une incroyable richesse de paysages et de diversités. C’est un monde à part, fascinant, séparé des vallées par son altitude, ses conditions climatiques et son accès difficile. L’architecture est un domain ...
We give a new fast method for evaluating sprectral approximations of nonlinear polynomial functionals. We prove that the new algorithm is convergent if the functions considered are smooth enough, under a general assumption on the spectral eigenfunctions th ...
We prove a fixed point theorem for a family of Banach spaces, notably for L^1. Applications include the optimal answer to the "derivation problem" for group algebras which originated in the 1960s. ...
We prove the following version of Poincaré, duality for reduced L (q,p) -cohomology: For any 1 < q, p < a, the Lqp -cohomology of a Riemannian manifold is in duality with the interior Lp'q'-cohomology for 1/p + 1/p' = 1/q + 1/q' = 1. ...
Modeling privacy for RFID protocols went through different milestones. One pretty complete model was proposed by Vaudenay at ASIACRYPT 2007. It provides a hierarchy of privacy levels, depending on whether corruption is addressed by the protocol and on whet ...
We give a new fast method for evaluating sprectral approximations of nonlinear polynomial functionals. We prove that the new algorithm is convergent if the functions considered are smooth enough, under a general assumption on the spectral eigenfunctions th ...