Results 1 to 10 of about 86,980 (313)

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

Machine Learning Approach for Diagnosis and Prognosis of Cardiac Arrhythmia Condition Using a Minimum Feature Set and Auto-Segmentation-Based Window Optimisation

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

Markov genealogy processes

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, Qianying Lin, Edward L. Ionides   +2 more
openaire   +4 more sources

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   +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, Cedric Musema Sinamuli, Dibere Kodondi, Bruce Shola Mafuta   +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

Geometric branching reproduction Markov processes

Modern Stochastics: Theory and Applications, 2020
We present a model of a continuous-time Markov branching process with the infinitesimal generating function defined by the geometric probability distribution.
Assen Tchorbadjieff, Penka Mayster
doaj   +1 more source

Markov-modulated affine processes

Stochastic Processes and their Applications, 2022
32 ...
Kevin Kurt, Rüdiger Frey
openaire   +5 more sources

METHODOLOGY FOR ASSESSING THE STATE OF DUAL-USE ROBOTIC COMPLEXES BASED ON THE USE OF A THREE-LEVEL ARCHITECTURE OF A DATABASE MANAGEMENT SYSTEM

Надежность и качество сложных систем, 2022
Background. In the conditions of modern military conflicts, the problem of effective control of large groups of robots is actualized. The large amount of data associated with the operation of robotic systems (RC) determines the existence of ...
S.V. Ivanov, A.V. Zaichenko, E.M. Khorolsky, A.A. Kolesnikov   +3 more
doaj   +1 more source