Tactile spatial attention enhances gamma-band activity in somatosensory cortex and reduces low-frequency activity in parieto-occipital areas.

We investigated the effects of spatial-selective attention on oscillatory neuronal dynamics in a tactile delayed-match-to-sample task. Whole-head magnetoencephalography was recorded in healthy subjects while dot patterns were presented to their index fingers using Braille stimulators. The subjects’ task was to report the reoccurrence of an initially presented sample pattern in a series of up to eight test stimuli that were presented unpredictably to their right or left index finger. Attention was cued to one side (finger) at the beginning of each trial, and subjects performed the task at the attended side, ignoring the unattended side. After stimulation, high-frequency gamma-band activity (60 –95 Hz) in presumed primary somatosensory cortex (S1) was enhanced, whereas alpha- and beta-band activity were suppressed in somatosensory and occipital areas and then rebounded. Interestingly, despite the absence of any visual stimulation, we also found time-locked activation of medial occipital, presumably visual, cortex. Most relevant, spatial tactile attention enhanced stimulus-induced gamma-band activity in brain regions consistent with contralateral S1 and deepened and prolonged the stimulus induced suppression of beta- and alpha-band activity, maximal in parieto-occipital cortex. Additionally, the beta rebound over contralateral sensorimotor areas was suppressed. Wehypothesize that spatial-selective attention enhances the saliency of sensory representations by synchronizing neuronal responses in early somatosensory cortex and thereby enhancing their impact on downstream areas and facilitating interareal processing. Furthermore, processing of tactile patterns also seems to recruit visual cortex and this even more so for attended compared with unattended stimuli

Runtime Verification of Temporal Properties over Out-of-order Data Streams

We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the presence of message delay or loss. We also evaluate our approach experimentally. Our prototype implementation processes hundreds of events per second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape

Correlations and contrasts in structural history and style between an Archaean greenstone belt and adjacent gneiss belt, NE Minnesota

An analysis of the deformation along the boundary between the Vermilion Granitic Complex (VGC) and the Vermilion district indicates that the two terranes have seen a similar deformation history since the earliest stages of folding in the area. Despite this common history, variations in structural style occur between the two terranes, such as the relative development of D sub 1 fabrics and D sub 2 shear zones, and these can be attributed to differences in the crustal levels of the two terranes during the deformation. Similarly, the local development of F sub 3 folds in the VGC, but not in the Vermilion district, is interpreted to be a result of later-D sub 2 pluton emplacement which was not significant at the level of exposure of ther Vermilion district

Repeated Evolution of Digital Adhesion in Geckos: A Reply to Harrington and Reeder

We published a phylogenetic comparative analysis that found geckos had gained and lost adhesive toepads multiple times over their long evolutionary history (Gamble et al., PLoS One, 7, 2012, e39429). This was consistent with decades of morphological studies showing geckos had evolved adhesive toepads on multiple occasions and that the morphology of geckos with ancestrally padless digits can be distinguished from secondarily padless forms. Recently, Harrington & Reeder (J. Evol. Biol., 30, 2017, 313) reanalysed data from Gamble et al. (PLoS One, 7, 2012, e39429) and found little support for the multiple origins hypothesis. Here, we argue that Harrington and Reeder failed to take morphological evidence into account when devising ancestral state reconstruction models and that these biologically unrealistic models led to erroneous conclusions about the evolution of adhesive toepads in geckos

Quantum Stochastic Processes: A Case Study

We present a detailed study of a simple quantum stochastic process, the quantum phase space Brownian motion, which we obtain as the Markovian limit of a simple model of open quantum system. We show that this physical description of the process allows us to specify and to construct the dilation of the quantum dynamical maps, including conditional quantum expectations. The quantum phase space Brownian motion possesses many properties similar to that of the classical Brownian motion, notably its increments are independent and identically distributed. Possible applications to dissipative phenomena in the quantum Hall effect are suggested.Comment: 35 pages, 1 figure