Sciweavers

9051 search results - page 68 / 1811
» On detectability of stochastic systems
Sort
View
AMC
2006
145views more  AMC 2006»
15 years 6 months ago
Computing the moments of high dimensional solutions of the master equation
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
Stefan Engblom
IANDC
2006
117views more  IANDC 2006»
15 years 6 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
TCSB
2010
15 years 4 months ago
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
Céline Kuttler, Cédric Lhoussaine, M...
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 4 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
AAMAS
2002
Springer
15 years 6 months ago
Stochastic Simulation of Inherited Kinship-Driven Altruism
The aim of this research is to assess the r^ole of a hypothetical inherited feature (gene) promoting altruism between relatives as a factor for survival in the context of a multi-...
Heather Turner, Dimitar Kazakov