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.
Network tomography establishes linear relationships between the characteristics of individual links and those of end-to-end paths. It has been proved that these relationships can be used to infer the characteristics of links from end-to-end measurements, p ...
While there has been substantial progress in segmenting natural im-ages, state-of-the-art methods that perform well in such tasks unfortunately tend to underperform when confronted with the different challenges posed by electron microscope (EM) data. For e ...
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple ve ...
Most closed source drivers installed on desktop systems today have never been exposed to formal analysis. Without vendor support, the only way to make these often hastily written, yet critical programs accessible to static analysis is to directly work at t ...
Micro Aerial Vehicles (MAVs) with perching capabilities can be used to efficiently place sensors in aloft locations. A major challenge for perching is to build a lightweight mechanism that can be easily mounted on a MAV, allowing it to perch (attach and de ...
To date, no fringe analysis technique has the capability to provide simultaneous and direct estimation of the continuous distributions corresponding to the interference phase and its first and second-order derivatives within the framework of a single inter ...
The notion of habiter (inhabiting in both a transitive and intransitive sense), developed in the course of the second half of the 20th century, made it possible to place the human individual in the center of spatial theories. Of phenomenological inspiratio ...
Abstract We give a new randomized LP-rounding 1.725-approximation algorithm for the metric Fault- Tolerant Uncapacitated Facility Location problem. This improves on the previously best known 2.076-approximation algorithmof Swamy & Shmoys. To the best of ou ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010
Experimental techniques in molecular biology have led to the production of enormous amounts of data on the dynamics of cellular processes. The availability of time series data characterizing genomic, proteomic and metabolic systems must be complemented wit ...
For decades the trans-frontier conurbation of Geneva has suffered from a recurring housing shortage, and the supply of land has been clearly recognized by local professionals as one of the main factors in a resolution of this problem. The cross-boundary na ...