Publication

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

Related publications (72)

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.

Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)

Viktor Kuncak

Our goal is to help people construct software that does what they wish. We develop tools and algorithms that span static and dynamic verification, constraint solving, and program synthesis. I will outline the current state our verification and synthesis sy ...

Springer-Verlag Berlin2014

Interchangeability with thresholds and degradation factors for Soft CSPs

Boi Faltings, Nicoleta Neagu

Substitutability and interchangeability in constraint satisfaction problems (CSPs) have been used as a basis for search heuristics, solution adaptation and abstraction techniques. In this paper, we consider how the same concepts can be extended to soft con ...

Springer2013

Escaping the Prior Knowledge Corridor: What shapes the Number and Variety of Market Opportunities identified before Market Entry of Technology Start-ups?

Marc Gruber, James David Thompson

The choice of the firm's market environment is one of the fundamental decisions of firm founders. We study the pre-entry generation of founders' market choice sets by investigating their search for market opportunities in which the firm's technological res ...

INFORMS2013

Utility-driven Data Acquisition in Participatory Sensing

Karl Aberer, Immanuel Trummer, Mehdi Riahi

Participatory sensing (PS) is becoming a popular data acquisition means for interesting emerging applications. However, as data queries from these applications increase, the sustainability of this platform for multiple concurrent applications is at stake. ...

2013

Privacy Decision Making in the Travel Panopticon

Intelligent Transport Systems (ITS) have the potential to increase road-network capacities, reduce congestion and pollution, create shorter and more predictable journey times and significantly improve road-user safety. However, these technologies will also ...

2012

Resource-based Planning with Timelines

Jingshi Li

Real world planning applications typically involve making decisions that consumes limited resources, which requires both planning and scheduling. In this paper we propose a new approach that bridges the gap between planning and scheduling by explicitly mod ...

2012

Are Privacy Fears Associated with Intelligent Transport Systems Justified?

The creation of wide-area, real-time monitoring systems for the road network has the potential to achieve a step change in both our understanding of the evolution of congestion and forecasting/information to minimise its economic consequences. While such c ...

2011

Coordinating Logistics Operations with Privacy Guarantees

Boi Faltings, Thomas Léauté

Several logistics service providers serve a certain number of customers, geographically spread over an area of operations. They would like to coordinate their operations so as to minimize overall cost. At the same time, they would like to keep information ...

2011

MDD propagators with explanation

Radoslaw Szymanek

Multi-valued decision diagrams (MDDs) are a convenient approach to representing many kinds of constraints including table constraints, regular constraints, complex set and multiset constraints, as well as ad-hoc problem specific constraints. This paper int ...

2011

NxN Coupling Matrix Synthesis of Dissipative Microwave Filters

Michael Mattes, Francisco Edén Sorolla Rosario, Diego Navarro Tapia

In this communication, the coupling matrix synthesis of dissipative microwave filters is analyzed and compared to the synthesis of lossless filters. A modified definition of the vector matrix product allows using the same synthesis procedure in both cases. ...

2011