Catégorie

Théorie des codes

Publications associées (1 000)

Scaling Functional Synthesis and Repair

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Construction of Polar Codes With Sublinear Complexity

Rüdiger Urbanke, Seyed Hamed Hassani, Marco Mondelli

Consider the problem of constructing a polar code of block length N for a given transmission channel W. Previous approaches require one to compute the reliability of the N synthetic channels and then use only those that are sufficiently reliable. However, ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Modelling Workflow for Segmented Timber Shells using Wood-wood Connections.

Yves Weinand, Julien Gamerro, Petras Vestartas, Nicolas Henry Pierre Louis Rogeau

This paper presents a modelling method based on planarization for double-curved segmented timber shell made from quad polygons and assembled by wood-wood connections. The inspiration is taken from timber dome structures, where solid timber walls were built ...

Springer2019

Modelling Workflow for Segmented Timber Shells using Wood-wood Connections.

Yves Weinand, Julien Gamerro, Petras Vestartas, Nicolas Henry Pierre Louis Rogeau

2019

Towards an Algebraic Network Information Theory: Distributed Lossy Computation of Linear Functions

Michael Christoph Gastpar, Sung Hoon Lim, Adriano Pastore, Chen Feng

Consider the important special case of the K-user distributed source coding problem where the decoder only wishes to recover one or more linear combinations of the sources. The work of Körner and Marton demonstrated that, in some cases, the optimal rate re ...

2019

Statistical Physics Methods for Community Detection

Chun Lam Chan

This thesis is devoted to information-theoretic aspects of community detection. The importance of community detection is due to the massive amount of scientific data today that describes relationships between items from a network, e.g., a social network. I ...

EPFL2019

Calibration Aspects of INS Navigation

Philipp Clausen

The use of a Bayesian filter (e.g., Kalman filter) for the fusion of information from satellite positioning and inertial navigation is a common approach in many applications, where the knowledge of position, velocity, and attitude in space are of great int ...

EPFL2019

Cluster perturbation theory. III. Perturbation series for coupled cluster singles and doubles excitation energies

Jógvan Magnus Olsen, Pablo Jonas Baudin

The cluster perturbation series, CPS(D), for coupled cluster singles and doubles excitation energies is considered. It is demonstrated that the second-order model CPS(D-2) is identical to the configuration interaction singles with perturbative doubles, CIS ...

AMER INST PHYSICS2019

Analysis of output modifier adaptation for real-time optimization

Dominique Bonvin, Alejandro Gabriel Marchetti

In the context of real-time optimization, modifier-adaptation schemes update the model-based optimization problem by adding first-order correction terms to the cost and constraint functions of the optimization problem. This guarantees meeting the plant fir ...

PERGAMON-ELSEVIER SCIENCE LTD2019

MATHICSE Technical Report : Low-rank approximation in the Frobenius norm by column and row subset selection

Daniel Kressner, Alice Cortinovis

A CUR approximation of a matrix A is a particular type of low-rank approximation where C and R consist of columns and rows of A, respectively. One way to obtain such an approximation is to apply column subset selection to A and its transpose. In this work, ...

MATHICSE2019

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