Results 11 to 20 of about 399,699 (283)
Markov two-components processes [PDF]
Logical Methods in Computer Science, 2013 We propose Markov two-components processes (M2CP) as a probabilistic model of asynchronous systems based on the trace semantics for concurrency. Considering an asynchronous system distributed over two sites, we introduce concepts and tools to manipulate ...
Samy Abbes
doaj +6 more sources
Quantum Semi-Markov Processes [PDF]
Physical Review Letters, 2008 We construct a large class of non-Markovian master equations that describe the dynamics of open quantum systems featuring strong memory effects, which relies on a quantum generalization of the concept of classical semi-Markov processes. General conditions for the complete positivity of the corresponding quantum dynamical maps are formulated.
H. P. Breuer, B. Vacchini
openaire +8 more sources
Nonlinear Markov processes in big networks
Special Matrices, 2016 Big networks express multiple classes of large-scale networks in many practical areas such as computer networks, internet of things, cloud computation, manufacturing systems, transportation networks, and healthcare systems.
Li Quan-Lin
doaj +4 more sources
Learning Markov Decision Processes for Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao +5 more
doaj +4 more sources
Semipullbacks of labelled Markov processes [PDF]
Logical Methods in Computer Science, 2021 A labelled Markov process (LMP) consists of a measurable space $S$ together with an indexed family of Markov kernels from $S$ to itself. This structure has been used to model probabilistic computations in Computer Science, and one of the main problems in
Jan Pachl, Pedro Sánchez Terraf
doaj +1 more source
Theoretical Population Biology, 2022 We construct a family of genealogy-valued Markov processes that are induced by a continuous-time Markov population process. We derive exact expressions for the likelihood of a given genealogy conditional on the history of the underlying population process.
Aaron A. King +2 more
openaire +4 more sources
Elektronika ir Elektrotechnika, 2023 Cardiovascular diseases have become extremely prevalent in the global population. Several accurate classification methods for arrhythmias have been proposed in the healthcare literature.
Swetha Rameshbabu, Sabitha Ramakrishnan
doaj +1 more source
The Evolution of the Sickle Cell Anaemia in the Region of Kinshasa: a Mathematic Modelling
Hipotenusa, 2022 We attempt to study the evolution of the sickle cell anaemia in the region of Kinshasa by proposing three models based on Markov processes. The first two models namely, the idealistic and the quasi- idealistic models fail to completely describe the data
R.Gilles Bokolo +3 more
doaj +1 more source
Application of Markov processes for analysis and control of aircraft maintainability
Научный вестник МГТУ ГА, 2020 The process of aircraft operation involves constant effects of various factors on its components leading to accidental or systematic changes in their technical condition.
Yu. M. Chinyuchin, A. S. Solov'ev
doaj +1 more source
Markov and Semi-Markov Chains, Processes, Systems, and Emerging Related Fields
Mathematics, 2021 Probability resembles the ancient Roman God Janus since, like Janus, probability also has a face with two different sides, which correspond to the metaphorical gateways and transitions between the past and the future [...]
P.-C.G. Vassiliou, Andreas C. Georgiou
doaj +1 more source