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.
The Lighthouse Project proposes a house. Named a House it had to address inhabitation: for whom was defined by each student. Additionally the Lighthouse had to include a public function. Light was considered as an attractor and conductor of flows in the ur ...
We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...
We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...
An online memory matching game is used to explore the collective performance for stimulus sets varying in color, text and texture. The game is a consistent five wide by four high array of 70 by 70 pixels squares for a total of eleven unique test pairs. Use ...
There has been a long-standing debate on the question of how basic reflexive behaviours in mammals come about. Recently, it has been hypothesized that soft musculoskeletal interactions, such as intrinsic passive dynamics, might play a crucial role in the d ...
In threshold graphs one may find weights for the vertices and a threshold value t such that for any subset S of vertices, the sum of the weights is at most the threshold t if and only if the set S is a stable (independent) set. In this note we ask a simila ...
In many imaging applications, such as functional Magnetic Resonance Imaging (fMRI), full, uniformly- sampled Cartesian Fourier (frequency space) measurements are acquired to reconstruct an image. In order to reduce scan time and increase temporal resolutio ...
Tagging in online social networks is very popular these days, as it facilitates search and retrieval of diverse resources available online. However, noisy and spam annotations often make it difficult to perform an efficient search. Users may make mistakes ...
Let {X(t), t is an element of R-N} be a fractional Brownian motion in R-d of index H. If L(0,I) is the local time of X at 0 on the interval I subset of R-N, then there exists a positive finite constant c(=c(N,d,H)) such that ...
