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.
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 ...
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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
