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.
IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Student accommodation became a problem only a century after the foundation of the first universities in Europe in the 12th century. At the very beginning students had to provide their own lodgings autonomously. In many university cities the situation prove ...
In Switzerland, hydropower is the main energy source and contributes to about 58.3% of the total production. The 2050 energy strategy aims to increase this share in the coming decades. This increase is a challenge for hydropower plants. The maintenance and ...
CRC Press/Balkema2023
The research examines the entanglement of urban rationalities and industrial biopolitics in constructing company towns' identities and spatialities, providing different housing typologies for its workers. An epitome of spatial production under industrial p ...
2023
We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...
Tech Univ Braunschweig2014
The objective of this thesis is the development of high-field and high-current joints between Nb3Sn cables for superconducting coils. The main fields of application are high energy physics (HEP) and thermonuclear fusion. In this thesis, the focus is on Win ...
Nonspecific protein adhesion to nanoparticle (NP) has been proven to have important implications in nanomedicine. However, there are only a few examples of careful studies relating protein binding thermodynamics to NP physicochemical features. In particula ...
We consider the linear, time-independent fractional Schrödinger equation. We are interested in the local Hölder exponents of distributional solutions ψ, assuming local L p integrability of the functions V and f. By standard arguments, we obtain the formula ...
In this work, various aspects concerning the numerical simulation of a sailing boat are investigated. The attention is focused on simulation of the free-surface, the fluid-structure interaction (FSI) between wind and sails, and the dynamics of the whole bo ...
