357 search results - page 21 / 72 » Computing Reachable States for Nonlinear Biological Models |
201
click to vote
HYBRID
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
183
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
273
click to vote
RECOMB
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
172
click to vote
ASM
2005
ASM
16 years 1 months ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
196
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
In this paper, we describe a nonlinear image representation based on divisive normalization that is designed to match the statistical properties of photographic images, as well as...