Spreadability for Quantum Stochastic Processes, with an Application to Boolean Commutation Relations
Entropy, 2020 In order to manage spreadability for quantum stochastic processes, we study in detail the structure of the involved monoids acting on the index-set of all integers Z , that is that generated by left and right hand-side partial shifts, the monoid of ...
Vitonofrio Crismale +2 more
doaj +1 more source
Two different template replicators coexisting in the same protocell: stochastic simulation of an extended chemoton model. [PDF]
PLoS ONE, 2011 The simulation of complex biochemical systems, consisting of intertwined subsystems, is a challenging task in computational biology. The complex biochemical organization of the cell is effectively modeled by the minimal cell model called chemoton ...
István Zachar +2 more
doaj +1 more source
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods [PDF]
, 2006 Starting from a biochemical signalling pathway model expresses in a process algebra enriched with quantitative information, we automatically derive both continuous-space and discrete-space representations suitable for numerical evaluation.
Calder, M. +8 more
core +1 more source
Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler [PDF]
, 2003 We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian process algebra for expressing compositional performance models.
Knottenbelt,W.J. +11 more
core +1 more source
Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 For a long time biologists have used visual representations of biochemical networks to gain a quick overview of important structural properties. Recently SBGN, the Systems Biology Graphical Notation, has been developed to standardise the way in which ...
Jane Hillston +2 more
doaj +1 more source
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes [PDF]
, 2010 Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chains with process terms. The transition relation assigns to each process, for
Nicola Michele Loreti +8 more
core +1 more source
CARMA: Collective Adaptive Resource-sharing Markovian Agents [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and ...
Luca Bortolussi +7 more
doaj +1 more source
Sensitivity and identifiability analysis of COVID-19 pandemic models
Вавиловский журнал генетики и селекции, 2021 The paper presents the results of sensitivity-based identif iability analysis of the COVID-19 pandemic spread models in the Novosibirsk region using the systems of differential equations and mass balance law.
O. I. Krivorotko +3 more
doaj +1 more source
Performance analysis of stochastic process algebra models using stochastic simulation
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006 Jeremy T. Bradley +2 more
exaly +3 more sources
On Markovian cocycle perturbations in classical and quantum probability
International Journal of Mathematics and Mathematical Sciences, 2003 We introduce Markovian cocycle perturbations of the groups of transformations associated with classical and quantum stochastic processes with stationary increments, which are characterized by a localization of the perturbation to the algebra of events ...
G. G. Amosov
doaj +1 more source