13 search results - page 3 / 3 » Oscillation analysis of linearly coupled piecewise affine sy... |
SIAMADS
2010
13 years 6 days ago
2010
We study binocular rivalry in a competitive neural network with synaptic depression. In particular, we consider two coupled hypercolums within primary visual cortex (V1), represent...
TII
2010
13 years 5 days ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
BMCBI
2008
13 years 5 months ago
2008
Background: The previous studies of genome-wide expression patterns show that a certain percentage of genes are cell cycle regulated. The expression data has been analyzed in a nu...