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.
Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...
In this paper we compare 10 established frameworks for analyzing social-ecological systems. We limited ourselves to frameworks that were explicitly designed to be used by a wider community of researchers and practitioners. Although all these frameworks see ...
Quadrupedal animals move through their environments with unmatched agility and grace. An important part of this is the ability to choose between different gaits in order to travel optimally at a certain speed or to robustly deal with unanticipated perturba ...
We start by describing how higher-order function support can be added to a (first order) functional verification framework. We cover both the higher-order construct management and framework extensions necessary for constraint specification. Next, we outlin ...
Languages like F#, C#, and recently also Scala, provide “async” extensions which aim to make asynchronous programming easier by avoiding an inversion of control that is inherent in traditional callback-based programming models (for the purpose of this pape ...
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...
As decided by the European Parliament in April 2009, starting from 2019, new buildings must be so-called net-zero energy buildings. The capital cost of these building systems and thus the potential for optimization will increase significantly. In addition, ...
In order for brain-computer interfaces (BCIs) to be used reliably for extended periods of time, they must be able to adapt to the users evolving needs. This adaptation should not only be a function of the environmental (external) context, but should also c ...
The task of a neural associative memory is to retrieve a set of previously memorized pat- terns from their noisy versions by using a net- work of neurons. Hence, an ideal network should be able to 1) gradually learn a set of patterns, 2) retrieve the corre ...
Modeling Enterprise Architecture (EA) requires the representation of multiple views for an enterprise. This could be done by a team of stakeholders that essentially have different backgrounds. One way to do this is to structure the model into hierarchical ...
