Results 11 to 20 of about 186,614 (271)
Bitcoin Selfish Mining Modeling and Dependability Analysis [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2022 Blockchain technology has gained prominence over the last decade. Numerous achievements have been made regarding how this technology can be utilized in different aspects of the industry, market, and governmental departments.
Chencheng Zhou +3 more
doaj +1 more source
Model Checking Markov Chains with Actions and State Labels [PDF]
, 2007 In the past, logics of several kinds have been proposed for reasoning about discrete- or continuous-time Markov chains. Most of these logics rely on either state labels (atomic propositions) or on transition labels (actions).
Baier, Christel +4 more
core +8 more sources
Markov Model of Cyber Attack Life Cycle Triggered by Software Vulnerability [PDF]
International Journal of Electronics and Telecommunications, 2021 Software vulnerability life cycles illustrate changes in detection processes of software vulnerabilities during using computer systems. Unfortunately, the detection can be made by cyber-adversaries and a discovered software vulnerability may be ...
Romuald Hoffmann
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
Continuous-time controlled Markov chains
The Annals of Applied Probability, 2003 The authors consider continuous-time Markov decision processes with a denumerable state space and Borel action space where the cost and the transition rates are allowed to be unbounded. In the class of deterministic stationary policies they first give very weak conditions under which the existence of \(\varepsilon\)-optimal \((\varepsilon\geq 0 ...
Guo, Xianping +1 more
openaire +3 more sources
Imprecise continuous-time Markov chains
International Journal of Approximate Reasoning, 2017 Continuous-time Markov chains are mathematical models that are used to describe the state-evolution of dynamical systems under stochastic uncertainty, and have found widespread applications in various fields. In order to make these models computationally tractable, they rely on a number of assumptions that may not be realistic for the domain of ...
Thomas Krak, Jasper De Bock, Arno Siebes
openaire +4 more sources
Entropy rate of continuous-state hidden Markov chains [PDF]
, 2010 We prove that under mild positivity assumptions, the entropy rate of a continuous-state hidden Markov chain, observed when passing a finite-state Markov chain through a discrete-time continuous-output channel, is analytic as a function of the transition ...
Han, G, Marcus, B
core +2 more sources
Event-Chain Monte Carlo: Foundations, Applications, and Prospects
Frontiers in Physics, 2021 This review treats the mathematical and algorithmic foundations of non-reversible Markov chains in the context of event-chain Monte Carlo (ECMC), a continuous-time lifted Markov chain that employs the factorized Metropolis algorithm. It analyzes a number
Werner Krauth
doaj +1 more source
Fast-slow asymptotics for a Markov chain model of fast sodium current [PDF]
, 2017 We explore the feasibility of using fast-slow asymptotic to eliminate the computational stiffness of the discrete-state, continuous-time deterministic Markov chain models of ionic channels underlying cardiac excitability. We focus on a Markov chain model
Biktashev, V. N., Stary, T.
core +2 more sources
Healthcare Analytics, 2023 Malaria is the world’s most fatal and challenging parasitic disease, caused by the Plasmodium parasite and transmitted to humans by the bites of infected female mosquitos.
Asma Akter Akhi +3 more
doaj +1 more source