English
Related papers

Related papers: A Complete Quantitative Deduction System for the B…

200 papers

This paper proposes a new probabilistic classification algorithm using a Markov random field approach. The joint distribution of class labels is explicitly modelled using the distances between feature vectors. Intuitively, a class label…

Computation · Statistics 2010-06-02 Nial Friel , Anthony N. Pettitt

We present a new approach to the bootstrap for chains of infinite order taking values on a finite alphabet. It is based on a sequential Bootstrap Central Limit Theorem for the sequence of canonical Markov approximations of the chain of…

Probability · Mathematics 2007-05-23 P. Collet , D. Duarte , A. Galves

We first propose the concept of Stepanov-like weighted pseudo-almost automorphic on time-space scales and we apply this type of oscillation to high-order BAM neural networks with mixed delays. Then, we study the existence and exponential…

Dynamical Systems · Mathematics 2018-03-15 Adnène Arbi

We introduce a new method for analyzing midpoint discretizations of stochastic differential equations (SDEs), which are frequently used in Markov chain Monte Carlo (MCMC) methods for sampling from a target measure $\pi \propto \exp(-V)$.…

Numerical Analysis · Mathematics 2025-07-18 Matthew S. Zhang

In this paper we give an alternative proof that the family of matrices studied by Daeshik Choi in A proof of Crouzeix's conjecture for a class of matrices, Linear Algebra and its Applications, 438, no. 8 (2013), pp. 3247-3257, satisfy…

Functional Analysis · Mathematics 2025-08-19 Michel Crouzeix , Anne Greenbaum

In this paper we propose a novel variance reduction approach for additive functionals of Markov chains based on minimization of an estimate for the asymptotic variance of these functionals over suitable classes of control variates. A…

Statistics Theory · Mathematics 2020-02-18 D. Belomestny , L. Iosipoi , E. Moulines , A. Naumov , S. Samsonov

In this letter we introduce a class of delayed kinetic systems derived from mass action type reaction network models. We define the time delayed positive stoichiometric compatibility classes and the notion of complex balanced time delayed…

Dynamical Systems · Mathematics 2017-04-21 György Lipták , Katalin M. Hangos , Mihály Pituk , Gábor Szederkényi

The manuscript generalizes several recent results of the 2nd author concerning Markov-Chain Modelling of $(1,\lambda )$-ES Linear Optimization.

Discrete Mathematics · Computer Science 2013-11-22 Martin Holena , Alexandre Chotard

Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a…

Systems and Control · Computer Science 2015-06-23 Benjamin M. Gyori , Bing Liu , Soumya Paul , R. Ramanathan , P. S. Thiagarajan

We extend the notion of Cantor-Kantorovich distance between Markov chains introduced by (Banse et al., 2023) in the context of Markov Decision Processes (MDPs). The proposed metric is well-defined and can be efficiently approximated given a…

Machine Learning · Computer Science 2024-07-12 Adrien Banse , Venkatraman Renganathan , Raphaël M. Jungers

Motivated by information geometry, a distance function on the space of stochastic matrices is advocated. Starting with sequences of Markov chains the Bhattacharyya angle is advocated as the natural tool for comparing both short and long…

Probability · Mathematics 2025-05-06 Antony R. Lee , Peter Tino , Iain Bruce Styles

We develop a new Bayesian modelling framework for the class of higher-order, variable-memory Markov chains, and introduce an associated collection of methodological tools for exact inference with discrete time series. We show that a version…

We present and explore a general method for deriving a Lie-Markov model from a finite semigroup. If the degree of the semigroup is $k$, the resulting model is a continuous-time Markov chain on $k$ states and, as a consequence of the product…

Group Theory · Mathematics 2017-09-05 Jeremy G. Sumner , Michael D. Woodhams

Gradients have been exploited in proposal distributions to accelerate the convergence of Markov chain Monte Carlo algorithms on discrete distributions. However, these methods require a natural differentiable extension of the target discrete…

Machine Learning · Computer Science 2023-02-28 Yue Xiang , Dongyao Zhu , Bowen Lei , Dongkuan Xu , Ruqi Zhang

We consider a Markovian load balancing model on a fully-connected network, where calls have Poisson arrivals and exponential durations. The endpoints of each call are uniform over all the links of the network. Each call is routed either…

Probability · Mathematics 2013-06-24 Malwina Luczak

We provide sufficient conditions for the existence of invariant probability measures for generic stochastic differential equations with finite time delay. This is achieved by means of the Krylov-Bogoliubov method. Furthermore, we focus on…

Dynamical Systems · Mathematics 2026-05-15 Mark van den Bosch , Onno van Gaans , Sjoerd Verduyn Lunel

We begin the study of how to extend few variable means to several variable ones and how to shrink means of several variables to less variables. With the help of one of the techniques we show that it is enough to check an inequality between…

Classical Analysis and ODEs · Mathematics 2021-08-24 Attila Losonczi

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into…

Logic in Computer Science · Computer Science 2015-07-01 Lijun Zhang , David N. Jansen , Flemming Nielson , Holger Hermanns

We derive a finite-sample probabilistic bound on the parameter estimation error of a system identification algorithm for Linear Switched Systems. The algorithm estimates Markov parameters from a single trajectory and applies a variant of…

Machine Learning · Computer Science 2025-05-19 Daniel Racz , Mihaly Petreczky , Balint Daroczy

We present a highly efficient proximal Markov chain Monte Carlo methodology to perform Bayesian computation in imaging problems. Similarly to previous proximal Monte Carlo approaches, the proposed method is derived from an approximation of…

Computation · Statistics 2020-03-20 Luis Vargas , Marcelo Pereyra , Konstantinos C. Zygalakis