Displaying similar documents to “Generalized Gram-Hadamard inequality.”

About the decision of reachability for register machines

Véronique Cortier (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We study the decidability of the following problem: given p affine functions f 1 , ... , f p over k and two vectors v 1 , v 2 k , is v 2 reachable from v 1 by successive iterations of f 1 , ... , f p (in this given order)? We show that this question is decidable for p = 1 , 2 and undecidable for some fixed p .

A backward particle interpretation of Feynman-Kac formulae

Pierre Del Moral, Arnaud Doucet, Sumeetpal S. Singh (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

We design a particle interpretation of Feynman-Kac measures on path spaces based on a backward Markovian representation combined with a traditional mean field particle interpretation of the flow of their final time marginals. In contrast to traditional genealogical tree based models, these new particle algorithms can be used to compute normalized additive functionals “on-the-fly” as well as their limiting occupation measures with a given precision degree that does not depend on the...