We have developed task scheduler logic (TSL) to automate reasoning about scheduling and concurrency in systems software. TSL can detect race conditions and other errors as well as supporting lock inference: the derivation of an appropriate lock implementation for each critical section in a system. Lock inference solves a number of problems in creating flexible, reliable, and efficient systems s...

Previous research suggests that when intentions are encoded, participants establish an attention allocation policy based on their metacognitive beliefs about how demanding it will be to fulfill the prospective memory (PM) task. We investigated whether tacit PM demands can influence judgments about the cognitive effort required for success, and, as a result, affect ongoing task interference and ...

We investigated the effects of visuo-spatial attention on the kinematics of grasping movements by employing a dual-task paradigm. Participants had to grasp cylindrical objects of different sizes (motor task) while simultaneously identifying a target digit presented at a different spatial location within a rapid serial visual presentation (perceptual task). The grasping kinematics in this dual-t...

In the present study, we investigated age-related differences in the processing of emotional stimuli. Specifically, we were interested in whether older adults would show deficits in unbinding emotional expression (i.e., either no emotion, happiness, anger, or disgust) from bound stimuli (i.e., photographs of faces expressing these emotions), as a hyper-binding account of age-related differences...

The influence of a secondary task on concurrent postural control was explored in twenty-one dyslexic children (mean age: 10.4 ± 0.3 years). Data were compared with twenty age-matched non-dyslexic children. As a secondary task, a modified Stroop test was used, in which words were replaced with pictures of fruits. The postural control of children was recorded in standard Romberg condition as the ...

Abstract Breaking the curse of small datasets in machine learning is but one major challenges that cause several real-life prediction problems. In offshore wind application, for instance, this issue presents when monitoring an asset attempt to reduce its infant mortality failures. Another challenge could emerge reducing number sensors installed order limit investment systems. To tackle these is...

Inhibitory control is the ability to suppress competing, dominant, automatic, or prepotent cognitive processing at perceptual, intermediate, and output stages. Inhibitory control is a key cognitive function of typical and atypical child development. This study examined age-related trends of Stroop-like interference in 3 to 12-year-old children and young adults by administration of a computerize...

Can associative learning take place without awareness? We explore this issue in a sequence learning paradigm with amnesic and control participants, who were simply asked to react to one of four possible stimuli on each trial. Unknown to them, successive stimuli occurred in a sequence. We manipulated the extent to which stimuli followed the sequence in a deterministic manner (noiseless condition...

The effects of selective and nonselective attentional processes on prepulse inhibition (PPI) of the acoustic startle response were examined by assessing PPI under intermixed task and no-task conditions. Results for the task condition revealed that greater PPI was produced by an attended than an ignored prepulse at a lead interval of 120 ms (marginally significant in the early trial block and si...

We have developed task scheduler logic (TSL) to automate reasoning about scheduling and concurrency in systems software. TSL can detect race conditions and other errors as well as supporting lock inference: the derivation of an appropriate lock implementation for each critical section in a system. Lock inference solves a number of problems in creating flexible, reliable, and efficient systems s...