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.
Distributed Cognition and Course of Action theories offer frameworks for micro-analysis of activity. The former leads to an abstract level of description of the propagation of information in a socio-technical system. The latter embeds conclusions from the ...
In this paper, we provide a formal analysis of a rational exchange protocol proposed by Syverson. A rational exchange protocol guarantees that misbehavior cannot generate benefits, and is therefore discouraged. The analysis is performed using our formal mo ...
In this paper we present a toolset aimed at the analysis of programs written in Java and a new kind of active objects. The toolset detects if the program contains deadlocks and may provide a CCS description along with a labeled transition system of the pro ...
It is sometimes observed that several neoclassical tearing modes (NTMs) are present at the same time. This can happen both at the mode onset of a new NTM or during the nonlinear saturated phase of a given mode. In order to analyse whether nonlinear mode co ...
This thesis discusses certain issues related to the treatment of classification problems using techniques that rely on Boolean concepts. The interest of using Boolean-based models in classification is demonstrated with the help of LAD (Logical Analysis of ...
This thesis discusses certain issues related to the treatment of classification problems using techniques that rely on Boolean concepts. The interest of using Boolean-based models in classification is demonstrated with the help of LAD (Logical Analysis of ...
This paper provides a time-domain feedback analysis of several adaptive schemes with emphasis on stability and robustness issues. It is shown that an intrinsic feedback structure, mapping the noise sequence and the initial weight guess to the apriori estim ...
Automatic meeting analysis is an emerging research field. In this paper, we present stochastic algorithms for tracking people in multi-sensor meeting rooms, for a number of relevant tasks, including tracking multiple people, tracking head pose towards anal ...