Results 11 to 20 of about 1,572 (217)
Future Internet, 2023 In this paper we consider the research and development of classifiers that are trained to predict the task solved by source code. Possible applications of such task detection algorithms include method name prediction, hardware–software partitioning ...
Artyom V. Gorchakov +2 more
doaj +1 more source
Putting Markov Chains Back into Markov Chain Monte Carlo [PDF]
Journal of Applied Mathematics and Decision Sciences, 2007 Markov chain theory plays an important role in statistical inference both in the formulation of models for data and in the construction of efficient algorithms for inference. The use of Markov chains in modeling data has a long history, however the use of Markov chain theory in developing algorithms for statistical inference has only become popular ...
Richard J. Barker, Matthew R. Schofield
openaire +1 more source
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Parametric Markov chains have been introduced as a model for families of stochastic systems that rely on the same graph structure, but differ in the concrete transition probabilities. The latter are specified by polynomial constraints for the parameters.
Lisa Hutschenreiter +2 more
doaj +1 more source
A Definition Scheme for Quantitative Bisimulation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as continuous-time Markov chains, interactive Markov chains, and Markov automata.
Diego Latella +2 more
doaj +1 more source
Optimal control of multiple Markov-switching stochastic systems with numerical applications
Results in Control and Optimization, 2022 In this article the authors set up an optimal control framework for a hybrid stochastic system with dual or multiple Markov switching diffusion processes, while Markov chains governing these switching diffusions are not identical as assumed in the ...
Jianmin Shi
doaj +1 more source
Information geometry of Markov Kernels: a survey
Frontiers in Physics, 2023 Information geometry and Markov chains are two powerful tools used in modern fields such as finance, physics, computer science, and epidemiology. In this survey, we explore their intersection, focusing on the theoretical framework.
Geoffrey Wolfer, Shun Watanabe
doaj +1 more source
Journal of Applied Probability, 2003 We study irreducible time-homogenous Markov chains with finite state space in discrete time. We obtain results on the sensitivity of the stationary distribution and other statistical quantities with respect to perturbations of the transition matrix. We define a new closeness relation between transition matrices, and use graph-theoretic techniques, in ...
Eilon Solan, Nicolas Vieille
openaire +7 more sources
Optimal choice of word length when comparing two Markov sequences using a χ 2-statistic
BMC Genomics, 2017 Background Alignment-free sequence comparison using counts of word patterns (grams, k-tuples) has become an active research topic due to the large amount of sequence data from the new sequencing technologies.
Xin Bai +4 more
doaj +1 more source
Theoretical Computer Science, 2011 The article introduces constraint Markov chains as a new tool for specification. They are a generalization of interval Markov chains. Interval Markov chains extend Markov chains by labeling transitions with intervals, implying that each transition probability needs to be within the according interval.
Caillaud, Benoit +5 more
openaire +4 more sources
New Zealand Journal of Mathematics, 2021 We introduce the space of virtual Markov chains (VMCs) as a projective limit of the spaces of all finite state space Markov chains (MCs), in the same way that the space of virtual permutations is the projective limit of the spaces of all permutations of finite sets.We introduce the notions of virtual initial distribution (VID) and a virtual transition ...
Evans, Steven, Jaffe, Adam Q.
openaire +4 more sources