Publication

Hierarchical diffusion algorithms for distributed estimation

Publications associées (103)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

Formal Approaches to Querying Big Data in Shared-Nothing Systems

Bas Ketsman

To meet today's data management needs, it is a widespread practice to use distributed data storage and processing systems. Since the publication of the MapReduce paradigm, a plethora of such systems arose, but although widespread, the capabilities of these ...

ASSOC COMPUTING MACHINERY2019

Soft haptic device to render the sensation of flying like a drone

Dario Floreano, Carine Rognon

Haptic feedback located on the torso is proposed to enhance the state awareness of a user in virtual reality or during teleoperation while leaving the hands free for manipulation and communication. We provide haptic feedback on the torso by compressing a s ...

2019

The asymmetric multitype contact process

Thomas Mountford, Daniel Rodrigues Valesin

We study the multitype contact process on Z(d) under the assumption that one of the types has a birth rate that is larger than that of the other type, and larger than the critical value of the standard contact process. We prove that, if initially present, ...

ELSEVIER SCIENCE BV2019

Which sensor type at which location should offices with south orientated window choose to improve comfort and reduce energy consumption?

Dolaana Khovalyg

The common placement of thermostats in offices might not reflect the actual thermal environment around occupants and influence the energy use. In this research, it is questioned which type of thermostat at which location better represents the conditions in ...

2019

Distributed Inference Over Networks Under Subspace Constraints

Ali H. Sayed, Stefan Vlaski, Roula Nassif

This paper considers optimization problems over networks where agents have individual objectives to meet, or individual parameter vectors to estimate, subject to subspace constraints that enforce the objectives across the network to lie in a low-dimensiona ...

IEEE2019

2018 FIFA World Cup: The group stage imbalance. Can we do better?

Gilles Baechler, Frederike Dümbgen, Miranda Krekovic, Golnooshsadat Elhami

Synopsis: Create a fair ranking system for the 2018 FIFA World Cup LCAV20171130 Level: BS, MS Description: Imagine that you are given the scores of all the 32 teams participating in the 2 ...

2018

Des bactéries pour soutenir le sol de Rances

Rances in the north of Vaud suffered last year from the effects of large soil movement. Rances became the new playground where MeduSoil technology was tested as a remediation for this type of events. This is a decisive new step, after the technology has be ...

2018

Participation processes in the field of public transportation

Levy Sharabi

As the complexity of urban planning increases by the discovery of new issues and new dynamics, it appears that the “role of the planner as the technical expert just supporting the political decision makers has been progressively substituted by the awarenes ...

2018

Des bactéries contre l'érosion

2018