[HTML][HTML] Smoothed model checking for uncertain continuous-time Markov chains
We consider the problem of computing the satisfaction probability of a formula for stochastic
models with parametric uncertainty. We show that this satisfaction probability is a smooth …
models with parametric uncertainty. We show that this satisfaction probability is a smooth …
[图书][B] Towards Bayesian model-based demography: Agency, complexity and uncertainty in migration studies
J Bijak - 2022 - library.oapen.org
This open access book presents a ground-breaking approach to developing micro-
foundations for demography and migration studies. It offers a unique and novel methodology …
foundations for demography and migration studies. It offers a unique and novel methodology …
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
L Bortolussi, S Silvetti - Tools and Algorithms for the Construction and …, 2018 - Springer
Parameterized verification of temporal properties is an active research area, being extremely
relevant for model-based design of complex systems. In this paper, we focus on parameter …
relevant for model-based design of complex systems. In this paper, we focus on parameter …
A language for agent-based discrete-event modeling and simulation of linked lives
In agent-based modeling and simulation, discrete-time methods prevail. While there is a
need to cover the agents' dynamics in continuous time, commonly used agent-based …
need to cover the agents' dynamics in continuous time, commonly used agent-based …
Biology as reactivity
Biology as reactivity Page 1 72 communications of the acm | oCTobEr 2011 | voL. 54 | No. 10
review articles Biology as Reactivity A living cell, we claim, is not only reactive in nature, but is …
review articles Biology as Reactivity A living cell, we claim, is not only reactive in nature, but is …
Fast adaptive uniformization of the chemical master equation
F Didier, TA Henzinger, M Mateescu… - … Workshop on High …, 2009 - ieeexplore.ieee.org
Within systems biology there is an increasing interest in the stochastic behavior of
biochemical reaction networks. An appropriate stochastic description is provided by the …
biochemical reaction networks. An appropriate stochastic description is provided by the …
Motion vector encryption in multimedia streaming
Z Liu, X Li - 10th International Multimedia Modelling …, 2004 - ieeexplore.ieee.org
Streaming video application requires high security as well as high computational
performance. In video encryption, traditional selective algorithms have been used to partially …
performance. In video encryption, traditional selective algorithms have been used to partially …
Modelling and simulating decision processes of linked lives: An approach based on concurrent processes and stochastic race
Individuals' decision processes play a central role in understanding modern migration
phenomena and other demographic processes. Their integration into agent-based …
phenomena and other demographic processes. Their integration into agent-based …
Bounding the equilibrium distribution of Markov population models
T Dayar, H Hermanns, D Spieler… - Numerical linear algebra …, 2011 - Wiley Online Library
We propose a bounding technique for the equilibrium probability distribution of continuous‐
time Markov chains with population structure and infinite state space. We use Lyapunov …
time Markov chains with population structure and infinite state space. We use Lyapunov …
[HTML][HTML] In the quantitative automata zoo
A Hartmanns, H Hermanns - Science of Computer Programming, 2015 - Elsevier
Quantitative model checking and performance evaluation deal with the analysis of complex
systems that must not only satisfy correctness requirements, but also meet performance and …
systems that must not only satisfy correctness requirements, but also meet performance and …