Mind wandering has been associated with both adaptive outcomes and performance impairment,
depending on the context. Recently, non-invasive brain stimulation has been applied …

The diagnosis of obsessive-compulsive disorder (OCD) has been linked with changes in
frontostriatal resting-state connectivity. However, replication of prior findings is lacking, and the …

By the end of the 1970's, all states in the US had modified their laws to permit drivers to turn
right on steady red at signalized intersections. Police-reported crash data from six states …

New interventions are needed for obsessive-compulsive disorder. Here we present a
randomized single-blinded, two-arm, parallel-group, sham-controlled clinical trial assessing the …

We show the existence of a prime minimal model containing an infinite set of indiscernibles.
We then find a sentence of L ω1ω which is categorical in ω 1 but whose model of power ω 1 …

The construction of term-rewriting systems, specifically by the Knuth–Bendix completion
procedure, is considered. We look for conditions that might ensure the existence of a finite …

Background Current behavioural treatment of obsessive-compulsive disorder (OCD) is informed
by fear conditioning and involves iteratively re-evaluating previously threatening stimuli …

Static security architectures are not able to maintain security invariants or the proper balance
between security and performance in rapidly changing environments. Such environments …

This paper gives an overview of the State Delta Verification System (SDVS), an automated
system developed at The Aerospace Corporation for use in formal computer verification. …

This is a guide for users of the State Delta Verification System (SDVS), Version 13. Its style
is somewhere between that of a tutorial and a reference manual. All facets of the verification …