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 consider a distributed binary hypothesis testing setup where multiple nodes send quantized information to a central processor, which is oblivious to the nodes’ statistics. We study the regime where the type-II error decays exponentially and the type-I e ...
The Quantified Self (QS) members explore the relation between self-tracking and individual change. Berger and Luckmann insists that individual change begins with a disruptive emotion. It continues with the public sharing of the story of the event. Then the ...
Methods of topological data analysis have been successfully applied in a wide range of fields to provide useful summaries of the structure of complex data sets in terms of topological descriptors, such as persistence diagrams. While there are many powerfu ...
In this work we give optimal, i.e., necessary and sufficient, conditions for integrals of the calculus of variations to guarantee the existence of solutions-both weak and variational solutions-to the associated L-2-gradient flow. The initial values are mer ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
Electrochemical reduction of carbon dioxide is one of the plausible approaches towards renewable energy carriers. When coupled with electricity, which can be provided by sustainable technologies, it becomes a method of high importance with potential value ...
Expectation propagation (EP) is a widely successful algorithm for variational inference. EP is an iterative algorithm used to approximate complicated distributions, typically to find a Gaussian approximation of posterior distributions. In many applications ...
The common placement of thermostats in offices might not reflect the actual thermal environment around occupants and influence the energy use. In this research, it is questioned which type of thermostat at which location better represents the conditions in ...
Rances in the north of Vaud suffered last year from the effects of large soil movement. Rances became the new playground where MeduSoil technology was tested as a remediation for this type of events. This is a decisive new step, after the technology has be ...
Classification methods from machine learning are receiving a lot of attention in the transportation modelling community. This is motivated by the access to large databases, and to various success stories reported in this research community. Discrete choice ...
