Since its invention in the 19th century, photography has allowed to create durable images of the world around us by capturing the intensity of light that flows through a scene, first analogically by using light-sensitive material, and then, with the advent ...
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 ...
EPFL2019
Graph Chatbot
Chattez avec Graph Search
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.
This paper performs a comprehensive and comparative evaluation of the state of the art local features for the task of image based 3D reconstruction. The evaluated local features cover the recently developed ones by using powerful machine learning technique ...
Identifying nuclei is often a critical first step in analyzing microscopy images of cells and classical image processing algorithms are most commonly used for this task. Recent developments in deep learning can yield superior accuracy, but typical evaluati ...
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 ...
We develop a membrane technology based on amyloid fibrils to remove aluminium from water and minimize its exposure to humans. We study aluminium adsorption by amyloid fibrils by evaluating the binding isotherms, the thermodynamics and the effects of differ ...
As the end of life becoming more and more complex recycling systems encountered many difficulties in valuing all the materials contain in each product. This involves not only recovering a large number of materials but also doing so with the minimal environ ...
Paul Scherrer Institute, World Resources Forum2019
Robustness of extracted embeddings in cross-database scenarios is one of the main challenges in text-independent speaker verification (SV) systems. In this paper, we investigate this robustness via performing structural cross-database experiments with or w ...
yy Today's researchers have made concerted efforts to benefit from biodiesel and to achieve better combustion due to its higher cetane number in comparison to that of diesel. The major drawback of utilizing biodiesel-diesel blend is the corresponding incre ...
In the Bay Area of San Francisco, the earthquake contours are not easy to define: seismology is still a relatively recent science, and controversies around methods to evaluate the earthquake risk are constant. In this context, the invitation to think about ...