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.
As the field of bioimage informatics matures, the issue of the validation of image reconstruction algorithms and the definition of proper performance criteria becomes more pressing. In this work, we discuss benchmarking aspects of fluorescence microscopy q ...
We present decision procedures for logical constraints that support reasoning about collections of elements such as sets, multisets, and fuzzy sets. Element membership in such collections is given by a characteristic function from a finite universe (of unk ...
Mathematical models, along with scientific theory and practical experiments, are a crucial part of modern engineering and science. The author takes a look at the role mathematical models play in topics ranging from vascular simulation to weather forecastin ...
The interest of German building masters towards hydraulic binders grows at the third decade of the 19th century. This acute interest is stimulated by the import of «Roman Cement» from England and by the acquisition of the knowledge related to it. The disse ...
Using arguments developed by De Giorgi in the 1950's, it is possible to prove the regularity of the solutions to a vast class of variational problems in the Euclidean space. The main goal of the present thesis is to extend these results to the more abstrac ...
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...
This work investigated how important the explicit modeling of sunlight exposure (aspect, slope) is for discharge simulation in a high alpine catchment. The used spatially-explicit hydrological model includes a simple snow accumulation and melt routine (bas ...
Recent works in scientific realism by Stanford (2006) and Chakravartty (2008) have generated interests in the research of a more selective and sophisticated scientific realism. Such debates advance the philosophical development of scientific realism, and a ...
The purpose of the thesis is to fill a gap in the publications about Viollet-le-Duc, outlining his profile as an architect through a chronological study of his projects, whether built or not, of his theoretic writings and, when useful, of his restoration w ...
