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 synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential size (such as truth tables and permutations), they cannot be applied efficie ...
Although researchers and engineers originally focused on a preponderantly irreversible computing paradigm, alternative models receive more and more attention. Reversible computation is a promising example which has applications in many emerging technologie ...
Modern experimental techniques for the quantitative, time-course measurement of protein concentrations and gene activation levels enable the identification of dynamical models of genetic regulatory networks. In general, identification involves fitting appr ...
Long-range ion induced water-water correlations were recently observed in femtosecond elastic second harmonic scattering experiments of electrolyte solutions. To further the qualitative understanding of these correlations, we derive an analytical expressio ...
Nano -and microparticles have optical, structural, and chemical properties that differ from both their building blocks and the bulk materials themselves. These different physical and chemical properties are induced by the high surface-to-volume ratio. As a ...
Recently, an information-theoretical decomposition of Kullback–Leibler divergence into uncertainty, reliability, and resolution was introduced. In this article, this decomposition is generalized to the case where the observation is uncertain. Along with a ...
Among the various logical components of a phasor measurement unit (PMU), the synchrophasor estimation (SE) algorithm definitely represents the core one. Its choice is driven by two main factors: its accuracy in steady state and dynamic conditions as well a ...
The Institution of Engineering and Technology - IET2015
We introduce a novel framework that provides a logical structure for classifying and organizing fundamental components and concepts of location privacy. Our framework models mobile networks and applications, threats, location-privacy preserving mechanisms, ...
Scaling the performance of shared-everything transaction processing systems to highly-parallel multicore hardware remains a challenge for database system designers. Recent proposals alleviate locking and logging bottlenecks in the system, leaving page latc ...
This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundame ...