Publication

Synthesizing efficient systems in probabilistic environments

Related publications (65)

Graph Chatbot

Chat with Graph Search

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.

MEM0R1ES: Memory-based Information Systems

Michele Catasta

The advent of the Web reshaped the way in which humans memorize information, arguably unlike any other technological advance of the last decades. Rather than remembering the information itself, people are primed to find the needed information through Web s ...

EPFL2015

Livret "La Sensi à l'information Literacy"

Aurore Fanny Granval, Noémi Valérie Suzanne Cobolet

Prenez la route avec nous pour découvrir l'Information Literacy. En suivant ce parcours de sensibilisation, vous découvrirez les différents enjeux liés à la maîtrise de l'information. ...

2015

StoreSim: Optimizing Information Leakage in Multicloud Storage Services

Karl Aberer, Rameez Rahman, Hao Zhuang

Many schemes have been recently advanced for storing data on multiple clouds. Distributing data over different cloud storage providers (CSPs) automatically provides users with a certain degree of information leakage control, as no single point of attack ca ...

2015

Advancing catchment hydrology to deal with predictions under change

Steven Vincent Weijs

Throughout its historical development, hydrology as an earth science, but especially as a problem-centred engineering discipline has largely relied (quite successfully) on the assumption of stationarity. This includes assuming time invariance of boundary c ...

Copernicus Gesellschaft Mbh2014

Synthesizing robust systems

Barbara Jobstmann

Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior if ass ...

Springer2014

Unstable Avoided Crossing in Coupled Spinor Condensates

Nathan Rafaël Bernier

We consider the dynamics of a Bose-Einstein condensate with two internal states, coupled through a coherent drive. We focus on a specific quench protocol, in which the sign of the coupling field is suddenly changed. At a mean-field level, the system is tra ...

Amer Physical Soc2014

Portfolio construction under information asymmetry

Lionel Coulot

We introduce in this thesis the idea of a variable lookback model, i.e., a model whose predictions are based on a variable portion of the information set. We verify the intuition of this model in the context of experimental finance. We also propose a novel ...

EPFL2013

Input-output theory of the unconventional photon blockade

Vincenzo Savona, Hugo Pierre Alexandre Flayac

We study the unconventional photon blockade, recently proposed for a coupled-cavity system, in the presence of input and output quantum fields. Mixing of the input or output channels still allows strong photon antibunching of the output field, but for opti ...

American Physical Society2013

Interpolation for Synthesis on Unbounded Domains

Viktor Kuncak, Régis William Blanc

Synthesis procedures compile relational specifications into functions. In addition to bounded domains, synthesis procedures are applicable to domains such as mathematical integers, where the domain and range of relations and synthesized code is unbounded. ...

Ieee2013

Practical Network Tomography

Denisa Gabriela Ghita

In this thesis, we investigate methods for the practical and accurate localization of Internet performance problems. The methods we propose belong to the field of network loss tomography, that is, they infer the loss characteristics of links from end-to-en ...

EPFL2012