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.
With the omnipresence of embedded processing in all forms of electronics today, there is a strong trend towards wireless, battery-powered, portable embedded systems which have to operate under stringent energy constraints. Consequently, low power consumpti ...
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...
As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of computer science, and so on. With its forecast potential for solving problems by only o ...
We present the design (hardware + software) of “Peta-pico-Voltron”, a low-current high voltage power supply for electrostatic actuators. Developed primarily for dielectric elastomer actuators, it offers a low-cost solution to generate user controllable vol ...
The most successful systems for "big data'' processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate, or middleware, upon which to build data-centric distribute ...
As hardware designs get more robust and efficient, software can solve a wider range of challenges, each one more advanced than the previous one. The direct consequence is that software complexity grows continuously. Despite being used more frequently in de ...
We are interested in the study of non-correlation of Fourier coefficients of Maass forms against a wide class of real analytic functions. In particular, the class of functions we are interested in should be thought of as some archimedean analogs of Frobeni ...
The present work develops a new methodology for assessing urban renewal scenarios at the neighborhood scale. Entitled URBIUS, this methodology seeks to meet the needs of municipalities in terms of planning for the development of their urban built fabric. I ...
In water supply systems, the potential exists for micro-hydropower that uses the pressure excess in the networks to produce electricity. However, because urban drinking water networks are complex systems in which flows and pressure vary constantly, identif ...
How does the streamwater quality change during storm events, and how to characterize it? The purpose of this study is to investigate the evolution of major ions in streamwater from base ow to storm ux. Regular manual sampling and automated sampling campaig ...
