159 search results - page 1 / 32 » Symbolic Systems Biology: Hybrid Modeling and Analysis of Bi... |
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
HYBRID
2003
Springer
13 years 10 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...
KES
2007
Springer
13 years 11 months ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
NAR
2006
13 years 4 months ago
2006
Systemslevelinvestigationofgenomicscaleinformation requires the development of truly integrated databases dealing with heterogeneous data, which can be queried for simple properti...
COGSR
2011
12 years 11 months ago
2011
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...