4962 search results - page 36 / 993 » Stochastic Model Checking |
156
click to vote
AROBOTS
2011
14 years 9 months ago
2011
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
89
Voted
TSMC
2010
14 years 8 months ago
2010
Abstract--Takagi
81
Voted
SIAMCO
2008
15 years 1 months ago
2008
An optimal consumption problem is studied in a growth model for the Cobb-Douglas production function in a finite horizon. The problem is transfered into a stochastic Ramsey proble...
107
Voted
CSB
2003
IEEE
15 years 7 months ago
2003
IEEE
We have constructed a computer model of the cytotoxic T lymphocyte (CTL) response to antigen and the maintenance of immunological memory. Because immune responses often begin with...
118
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...