A 64-channel electrode array was used to study the spatial and temporal characteristics of fast (>200 Hz) electrical oscillations recorded from the surface of rat cortex in both awake and anesthetized animals. Transient vibrissal displacements were effective in evoking oscillatory responses in the vibrissa/barrel field and were tightly time-locked to stimulus onset, coinciding with the earliest...

The dynamics of activation waves in excitable media can give rise to spiral turbulence, the resulting spatiotemporal chaos being associated with empirical biological phenomena such as life-threatening disturbances in the natural rhythm of the heart. In this paper, we propose a spatially extended but non-global scheme using an array of control points for terminating such spatiotemporally chaotic...

Formally verifying properties of programs that manipulate arrays in loops is computationally challenging. In this paper, we focus on a useful class of such programs, and present a novel property-driven verification method that first infers array access patterns in loops using simple heuristics, and then uses this information to compositionally prove universally quantified assertions about array...

This paper describes an automatic data distribution method which deal with both the alignment and the distribution problems in a single optimization phase, as opposed to sequentially solving these two inter-dependent approaches as done by previous work. The core of this work is called the Communication-Parallelism Graph, which describes the relationships among array dimensions of the same and d...

The effect of presentation type on organization in visuospatial working memory (VSWM) was examined. Stimuli were presented sequentially or simultaneously at study, and participants made same/different judgements at test. The test array varied in four different spatial configuration conditions: one featuring no changes from study, one in which two items switched, one in which the same array repe...