8 search results - page 1 / 2 » Compositional Reachability Analysis of Genetic Networks |
CMSB
2006
Springer
13 years 8 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 4 months ago
2008
screte abstractions Gr
HYBRID
2004
Springer
13 years 10 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
13 years 8 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 2 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...