357 search results - page 21 / 72 » Computing Reachable States for Nonlinear Biological Models |
HYBRID
2009
Springer
15 years 6 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...
BMCBI
2008
14 years 11 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...
149
click to vote
RECOMB
2004
Springer
16 years 5 hour 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...
ASM
2005
ASM
15 years 5 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...
104
click to vote
CVPR
2008
IEEE
16 years 1 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...