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.
Autofluorescent proteins have become indispensable in our quest to visualize molecular events in living cells. Further progress in the visualization and quantification of all biochemical activities of the cell will require the introduction of additional an ...
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent powe ...
This thesis presents NC(T), an extension of the DPLL(T) scheme [16, 29] for decision procedures for quantifier-free first-order logics. In DPLL(T), a general Boolean DPLL engine is instantiated with a theory solver for the theory T. The DPLL engine is resp ...
On account of the current global warming, climate researchers warn of a possible increase in the frequency and magnitude of extreme weather conditions in the future. As an alpine canton, the Grisons are particularly exposed to such events. In the article, ...
IRGC defines risk governance deficits as deficiencies (where elements are lacking) or failures (where actions are not taken or prove unsuccessful) in risk governance structures and processes. They hinder a fair and efficient risk governance process. The de ...
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the theories share set variables and set operations. We prove a combination theore ...
The key to extending the service life of a historical masonry bridge is an accurate examination of its actual performance. This paper presents a risk-based safety approach which introduces a risk matrix illustrating the risk presented by a structure as a f ...
Systemic risks and hazards have become increasingly significant features of modern industrial society of which the network industries form a vital element. The idea of systemic risk, however, is much less prominent in the network industries compared to ban ...
In the standard real options approach to investment under uncertainty, agents formulate optimal policies under the assumptions of risk neutrality or perfect capital markets. However, in most situations, corporate executives face incomplete markets either b ...
The impact of capital mobility restrictions on the diversification benefit for risk at the group level of a financial conglomerate is an important aspect in risk management. In this paper we propose a new bottom-up approach for realizing diversification be ...
