Mind-wandering is associated with switching our attention to internally directed thoughts and is by definition an intrinsic, self-generated cognitive function. Interestingly, previous research showed that it may be possible to modulate its propensity externally, with transcranial direct current stimulation (tDCS) targeting different regions in the default mode and executive control networks (ECNs). However, these studies used highly heterogeneous montages (targeting the dorsolateral prefrontal cortex (DLPFC), the right inferior parietal lobule (IPL), or both concurrently), often showed contradicting results, and in many (...) cases failed to replicate. Our study aimed to establish whether tDCS of the default mode network (DMN), via targeting the right IPL alone, could modulate mind-wandering propensity using a within-subjects double-blind, counterbalanced design. Participants completed sustained attention to response task (SART) interspersed with thought-probes to capture their subjective reports of mind-wandering before and after receiving anodal, cathodal, or sham tDCS over the right IPL (with the reference over the left cheek). We found evidence for the lack of an effect of stimulation on subjective reports of mind-wandering (JZS-BF 01 = 5.19), as well as on performance on the SART task (errors (JZS-BF 01 = 6.79) and reaction time (JZS-BF 01 = 5.94). Overall, we failed to replicate previous reports of successful modulations of mind-wandering propensity with tDCS over the IPL, instead of providing evidence in support of the lack of an effect. This and other recent unsuccessful replications call into question whether it is indeed possible to externally modulate spontaneous or self-generated cognitive processes. (shrink)

A quintessential challenge for any perceptual system is the need to focus on task-relevant information without being blindsided by unexpected, yet important information. The human visual system incorporates several solutions to this challenge, one of which is a reflexive covert attention system that is rapidly responsive to both the physical salience and the task-relevance of new information. This paper presents a model that simulates behavioral and neural correlates of reflexive attention as the product of brief neural attractor states that are (...) formed across the visual hierarchy when attention is engaged. Such attractors emerge from an attentional gradient distributed over a population of topographically organized neurons and serve to focus processing at one or more locations in the visual field, while inhibiting the processing of lower priority information. The model moves towards a resolution of key debates about the nature of reflexive attention, such as whether it is parallel or serial, and whether suppression effects are distributed in a spatial surround, or selectively at the location of distractors. Most importantly, the model develops a framework for understanding the neural mechanisms of visual attention as a spatiotopic decision process within a hierarchy and links them to observable correlates such as accuracy, reaction time, and the N2pc and PD components of the EEG. This last contribution is the most crucial for repairing the disconnect that exists between our understanding of behavioral and neural correlates of attention. (shrink)

Interval Temporal Logic is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents. Due to the logic's non-elementary complexity, efficient ITL-based verification tools have been difficult to develop, even for propositional subsets. MONA is an efficient implementation of an automata-based decision procedure for the logic WS1S. Despite the non-elementary complexity of WS1S, MONA has been successfully applied in problems such as hardware synthesis, protocol verification and theorem proving. Here we consider a (...) rich propositional subset of ITL, PITL, whose expressive power is equivalent to that of WS1S, and in turn to that of regular languages. PITL not only includes operators such as chop, star and projection, but also past operators such as previous, chop in the past and since. We provide an interpretation of PITL formulas in WS1S, which led us to a direct translation from PITL formulas to MONA specifications. We present the tool PITL2MONA as an implementation of such translation. With PITL2MONA acting as a front-end, MONA is used as a decision procedure for PITL. To our knowledge, this is one of the few implementations of a decision procedure for PITL, the first one based on automata, and the only one which handles both projection and past operators. We have tested our implementation on a number of examples; we show in this paper the application of PITL and its MONA-based decision procedure in solutions to the dining-philosophers and a multimedia synchronisation problem, together with some experimental results on these and some other examples. (shrink)