8 search results - page 1 / 2 » Compositional Reachability Analysis of Genetic Networks |
CMSB
2006
Springer
14 years 2 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
AUTOMATICA
2008
13 years 11 months ago
2008
screte abstractions Gr
HYBRID
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
ICNP
1998
IEEE
14 years 3 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
HCI
2009
13 years 9 months ago
2009
Abstract. We propose a brain-computer interface (BCI) system for evolving images in realtime based on subject feedback derived from electroencephalography (EEG). The goal of this s...