Sciweavers

7 search results - page 2 / 2
» Synchronization of a network of intermittently coupled capac...
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
13 years 10 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
JCNS
2000
126views more  JCNS 2000»
13 years 5 months ago
Alpha-Frequency Rhythms Desynchronize over Long Cortical Distances: A Modeling Study
Neocortical networks of excitatory and inhibitory neurons can display alpha()-frequency rhythms when an animal is in a resting or unfocused state. Unlike some - and -frequency rhy...
Stephanie R. Jones, David J. Pinto, Tasso J. Kaper...