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.
Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. A major roadblock in adopting effect systems in popular languages is the tradeoff between expressiveness and verbosity. In this technical report ...
This paper presents a new approach to measuring similarity over massive time-series data. Our approach is built on two principles: one is to parallelize the large amount computation using a scalable cloud serving system, called TimeCloud. The another is to ...
Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in a wide-spread industrial language: Java’s checked exception ...
Interaction networks shaped by social processes constitute the substrate on which various phenomena of interest to human biology occur, for example, epidemics, diffusion of health information, and the exertion of social influence related to health. Underst ...
Background: A biological system's robustness to mutations and its evolution are influenced by the structure of its viable space, the region of its space of biochemical parameters where it can exert its function. In systems with a large number of biochemica ...
This paper presents a framework for analyzing probabilistic safety and reachability problems for discrete time stochastic hybrid systems in scenarios where system dynamics are affected by rational competing agents. In particular, we consider a zero-sum gam ...
Chromatin immunoprecipitation experiments followed by ultra-high-throughput sequencing (ChIP-seq) is becoming the method of choice to identify transcription factor binding sites in prokaryotes and eukaryotes in vivo. Here, we review the computational steps ...
A robot accepted by animals as conspecifics is a very powerful tool in behavioral biology, particularly in studies of gregarious animals. In this paper we present a robotic zebrafish designed for experiments on the collective animal behavior. The robot con ...
The study of membranes is at a turning point. New theories about membrane structure and function have recently been proposed, however, new technologies, combining chemical, physical, and biochemical approaches are necessary to test these hypotheses. In par ...
Several important societal and economic world problems can be addressed by the smart use of technology. The last forty years have witnessed the realization of computational systems and networks, rooted in our ability of crafting complex integrated circuits ...