1922 search results - page 121 / 385 » Systems biology, models, and concurrency |
BIOSYSTEMS
2008
15 years 1 months ago
2008
This paper investigates how self-organisation might be harnessed for the manipulation and control of calcium oscillations. Calcium signalling mechanisms are responsible for a numb...
132
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
121
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
123
click to vote
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
105
click to vote
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...