Three dual-task experiments were conducted to examine whether the underadditive interaction of the Simon effect and stimulus onset asynchrony (SOA) on Task 2 performance is due to decay. The experiments tested whether the reverse Simon effect obtained with an incompatible stimulus-response (S-R) mapping would show an overadditive interaction with SOA, as predicted by R. De Jong, C.-C. Liang, an...

While a software process is being exe cute d,many errors and problems occur which require to r econsider previously exe cute dprocess steps. In order to handle fe edback in a process management system, several requir ementsne ed to be addr essed: adaptability, human intervention, impact analysis, change prop agation, r estor ation of the work c ontext, and traceability. F eedback management in ...

We exhibit efficient algorithms to perform the following task: Given a function f defined on a finite subset E ⊂ R, compute a C function F on R, with a controlled C norm, that approximates f on the subset E.

Contracts specifying a procedure’s behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution procedure. This necessitates to annotate code with intermediate assertions, preventing full specification abstraction. We propose logic over symbolic traces able specify recursive procedures ...

We propose an original approach for checking memory safety of C pointer programs, by combining deductive verification and abstract interpretation techniques. The approach is modular and contextual, thanks to the use of Hoare-style annotations (preand postconditions), allowing us to verify each C function independently. Deductive verification is used to check these annotations in a sound way. Ab...

BACKGROUND AND OBJECTIVES This study examined the hypothesis that participants diagnosed with obsessive-compulsive disorder (OCD) show a selective deficit in inductive reasoning but are equivalent to controls in deductive reasoning. METHODS Twenty-five participants with OCD and 25 non-clinical controls made inductive and deductive judgments about a common set of arguments that varied in logic...

This study used off-line repetitive transcranial magnetic stimulation (rTMS) to examine the roles of the superior parietal lobule (SPL) and inferior frontal gyrus (IFG) in a deductive reasoning task. Subjects performed a categorical syllogistic reasoning task involving congruent, incongruent, and abstract trials. Twenty four subjects received magnetic stimulation to the SPL region prior to the ...