Publications associées à Transducteur fini

Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods

Colin Neil Jones, Milan Korda, Georgios Stathopoulos

This work presents an algorithmic scheme for solving the infinite-time constrained linear quadratic regulation problem. We employ an accelerated version of a popular proximal gradient scheme, commonly known as the Forward-Backward Splitting (FBS), and prov ...

Institute of Electrical and Electronics Engineers2017

Locally differentially-private distribution estimation

Michael Christoph Gastpar, Adriano Pastore

We consider a setup in which confidential i.i.d. samples X1, ..., Xn from an unknown discrete distribution PX are passed through a discrete memoryless privatization channel (a.k.a. mechanism) which guarantees an epsilon-level of local differential privacy. ...

Ieee2016

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Jonathan Mark Scarlett

This paper studies the second-order coding rates for memoryless channels with a state sequence known non-causally at the encoder. In the case of finite alphabets, an achievability result is obtained using constant-composition random coding, and by using a ...

Institute of Electrical and Electronics Engineers2015

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

Jayakrishnan Unnikrishnan

Consider a finite set of sources, each producing independent identically distributed observations that follow a unique probability distribution on a finite alphabet. We study the problem of matching a finite set of observed sequences to the set of sources ...

Institute of Electrical and Electronics Engineers2015

Measuring and Synthesizing Systems in Probabilistic Environments

Barbara Jobstmann, Rishabh Singh

The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...

Assoc Computing Machinery2015

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Alcherio Martinoli, José Nuno Ferreira Maia Pereira

The work described is part of a long term program of introducing institutional robotics, a novel framework for the coordination of robot teams that stems from institutional economics concepts. Under the framework, institutions are cumulative sets of persis ...

Mit Press2014

For Coordination, State Component Transitions

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Coordinating component behaviour and, in particular, concurrent access to resources is among the key difficulties of building large concurrent systems. To address this, developers must be able to manipulate high-level concepts, such as Finite State Machine ...

2013

Integration of BIP into Connectivity Factory: Implementation

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

2013

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.

Transducteur fini

Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods

Variations on a theme by Higman

Locally differentially-private distribution estimation

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

Measuring and Synthesizing Systems in Probabilistic Environments

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

For Coordination, State Component Transitions

Integration of BIP into Connectivity Factory: Implementation

The Kaldi Speech Recognition Toolkit

Graph Chatbot

Chattez avec Graph Search

The Kaldi Speech Recognition Toolkit

Integration of BIP into Connectivity Factory: Implementation

Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Locally differentially-private distribution estimation

Variations on a theme by Higman

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

Measuring and Synthesizing Systems in Probabilistic Environments

For Coordination, State Component Transitions