Publications related to Constant-recursive sequence

Distributed average consensus with quantization refinement

Pascal Frossard, Ye Pu, Effrosyni Kokiopoulou

We consider the problem of distributed average consensus in a sensor network where sensors exchange quantized information with their neighbors. We propose a novel quantization scheme that exploits the increasing correlation between the values exchanged by ...

Institute of Electrical and Electronics Engineers2013

Algebraic Divisibility Sequences Over Function Fields

Valéry Aurélien Mahé

In this note we study the existence of primes and of primitive divisors in function field analogues of classical divisibility sequences. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields define ...

Australian Mathematical Society2012

Defining new criteria for selection of cell-based intestinal models using publicly available databases

Michel Aguet, Mauro Delorenzi, Pascale Anderle Pedone, Thierry Sengstag

Background: The criteria for choosing relevant cell lines among a vast panel of available intestinal-derived lines exhibiting a wide range of functional properties are still ill-defined. The objective of this study was, therefore, to establish objective cr ...

BioMed Central2012

Progressive quantization in distributed average consensus

Pascal Frossard, Effrosyni Kokiopoulou

We consider the problem of distributed average consensus in a sensor network where sensors exchange quantized information with their neighbors. In particular, we exploit the increasing correlation between the exchanged values throughout the iterations of t ...

2012

Computation of connection coefficients and measure modifications for orthogonal polynomials

Jan Sickmann Hesthaven

We observe that polynomial measure modifications for families of univariate orthogonal polynomials imply sparse connection coefficient relations. We therefore propose connecting L (2) expansion coefficients between a polynomial family and a modified family ...

Springer Verlag2012

Slow slip events in Guerrero, Mexico, and consequences on strain accumulation over the past 15 years (invited).

Mathilde Edmée Lucette Radiguet de la Bastaie

Continuous Global Positioning System (cGPS) time series in Guerrero, Mexico, reveal the widespread existence of large Slow Slip Events (SSEs) at the boundary between the Cocos and North American plates. The existence of these SSEs asks the question of how ...

2012

Satisfiability Modulo Recursive Programs

Viktor Kuncak, Philippe Paul Henri Suter, Ali Sinan Köksal

We present a semi-decision procedure for checking satisfiability of expressive correctness properties of recursive first-order functional programs. In our approach, both properties and programs are expressed in the same language, a subset of Scala. We impl ...

Springer-Verlag Berlin2011

Progressive quantization in distributed average consensus

Pascal Frossard, Effrosyni Kokiopoulou

2011

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.

Constant-recursive sequence

A Multi-domain Spectral Method for Time-fractional Differential Equations

DynaProg for Scala

Distributed average consensus with quantization refinement

Algebraic Divisibility Sequences Over Function Fields

Defining new criteria for selection of cell-based intestinal models using publicly available databases

Progressive quantization in distributed average consensus

Computation of connection coefficients and measure modifications for orthogonal polynomials

Slow slip events in Guerrero, Mexico, and consequences on strain accumulation over the past 15 years (invited).

Satisfiability Modulo Recursive Programs

Progressive quantization in distributed average consensus

Graph Chatbot

Chat with Graph Search

A Multi-domain Spectral Method for Time-fractional Differential Equations

Progressive quantization in distributed average consensus

Distributed average consensus with quantization refinement

Slow slip events in Guerrero, Mexico, and consequences on strain accumulation over the past 15 years (invited).

DynaProg for Scala

Progressive quantization in distributed average consensus

Algebraic Divisibility Sequences Over Function Fields

Defining new criteria for selection of cell-based intestinal models using publicly available databases

Computation of connection coefficients and measure modifications for orthogonal polynomials

Satisfiability Modulo Recursive Programs