Results 11 to 20 of about 27,519 (162)

A model of distributed object­based stochastic hybrid systems

open access: yesЖурнал Белорусского государственного университета: Математика, информатика, 2019
This article offers a mathematical model for distributed object­oriented 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]

open access: yesLogical Methods in Computer Science, 2009
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

H ∞ containment control with time‐varying delays and communicate noise under semi‐Markov switching topologies

open access: yesIET Cyber-systems and Robotics, 2021
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]

open access: yesLogical Methods in Computer Science, 2012
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

open access: yesGenetics Selection Evolution, 2022
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

open access: yesСучасні інформаційні системи, 2021
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

open access: yesMathematics, 2019
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]

open access: yesPeerJ, 2013
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

Home - About - Disclaimer - Privacy