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.
Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...
Satellite conjunctions involving "near misses" of space objects are becoming increasingly likely. One approach to risk analysis for them involves the computation of the collision probability, but this has been regarded as having some counterintuitive prope ...
This work demonstrated that consolidated bioprocessing is a promising concept for conversion of lignocellulose to ethanol at industrial scale. CBP offers great cost saving potential, is feasible to be operated continuously and may be scaled up due to exten ...
Occupants play a key role in determining final building energy consumption. Empirical evidence must support occupants' modelling. Experiments on human responses to Indoor Environmental Quality (IEQ) are usually performed in test rooms or as in-field monito ...
With the advent of performance-based earthquake engineering (PBEE), the need for reliable prediction of earthquake-induced collapse of structures is essential. Despite the significant progress that has been made towards this goal, there are several hurdles ...
This first Action Lab focused on the basics, such as how people understand sufficiency, how they feel about it, how they discuss (or don’t) this topic, and who should be at the table for future rounds. It was named “Sufficiency in the Swiss Habitat”, and p ...
Artificial intelligence (AI) plays a rapidly increasing role in clinical care. Many of these systems, for instance, deep learning-based applications using multilayered Artificial Neural Nets, exhibit epistemic opacity in the sense that they preclude compre ...
Mood inference with mobile sensing data has been studied in ubicomp literature over the last decade. This inference enables context-aware and personalized user experiences in general mobile apps and valuable feedback and interventions in mobile health apps ...
We propose here a method to experimentally quantify unsteady leading-edge flow separation on aerofoils with finite thickness. The methodology relies on the computation of a leading-edge suction parameter based on measured values of the partial circulation ...
The current war between Russia and Ukraine has raised the question of the possibility of resistance from the academic community. The reduction of academic freedoms in Russia and Belarus in the 21st century is also related to the general social and politica ...
