Results 11 to 20 of about 27,519 (162)
Unifying Markov properties for graphical models [PDF]
31 Pages, 6 figures, 1 ...
Lauritzen, Steffen L. +1 more
openaire +9 more sources
Testing for the Markov property in time series via deep conditional generative learning. [PDF]
Zhou Y, Shi C, Li L, Yao Q.
europepmc +2 more sources
A model of distributed objectbased stochastic hybrid systems
This article offers a mathematical model for distributed objectoriented stochastic hybrid systems (DOBSHS). DOBSHS are composite objects communicating with other objects through the exchange of messages through an asynchronous medium such as a network ...
Raman E. Sharykin +1 more
doaj +1 more source
Applications of Metric Coinduction [PDF]
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step showing that some property is preserved by one step of the approximation ...
Dexter Kozen, Nicholas Ruozzi
doaj +1 more source
This article focuses on H ∞ containment control and the communication network topologies that are driven by a semi‐Markov chain. Moreover, the communication channels between agents exist time‐varying delays and noise.
Xinfeng Ru +4 more
doaj +1 more source
Continuous Markovian Logics - Axiomatization and Quantified Metatheory [PDF]
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs).
Radu Mardare +2 more
doaj +1 more source
Causal inference for the covariance between breeding values under identity disequilibrium
Background The covariance matrix of breeding values is at the heart of prediction methods. Prediction of breeding values can be formulated using either an “observed” or a theoretical covariance matrix, and a major argument for choosing one or the other ...
Rodolfo J. C. Cantet +3 more
doaj +1 more source
ANALYSIS OF MULTI-THREADED MARKOV SYSTEMS
Known technologies for analyzing Markov systems use a well-operating mathematical apparatus based on the computational implementation of the fundamental Markov property.
Lev Raskin +3 more
doaj +1 more source
A Semi-Markov Leaky Integrate-and-Fire Model
In this paper, a Leaky Integrate-and-Fire (LIF) model for the membrane potential of a neuron is considered, in case the potential process is a semi-Markov process.
Giacomo Ascione, Bruno Toaldo
doaj +1 more source
A Markovian analysis of bacterial genome sequence constraints [PDF]
The arrangement of nucleotides within a bacterial chromosome is influenced by numerous factors. The degeneracy of the third codon within each reading frame allows some flexibility of nucleotide selection; however, the third nucleotide in the triplet of ...
Aaron D. Skewes, Roy D. Welch
doaj +2 more sources

