Satisfiability Testing for Boolean Formulas Using Δ-trees

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem.     

Crossmodal temporal order and processing acuity in developmentally dyslexic young adults

We investigated crossmodal temporal performance in processing rapid sequential nonlinguistic events in developmentally dyslexic young adults (ages 20-36 years) and an age- and IQ-matched control group in audiotactile, visuotactile, and audiovisual combinations. Two methods were used for estimating 84% correct temporal acuity thresholds: temporal order judgment (TOJ) and temporal processing acuity (TPA). TPA requires phase difference detection: the judgment of simultaneity/nonsimultaneity of brief stimuli in two parallel, spatially separate triplets. The dyslexic readers' average temporal performance was somewhat poorer in all six comparisons; in audiovisual comparisons the group differences were not statistically significant, however. A principal component analysis indicated that temporal acuity and phonological awareness are related in dyslexic readers. The impairment of temporal input processing seems to be a general correlative feature of dyslexia in children and adults, but the overlap in performance between dyslexic and normal readers suggests that it is not a sufficient reason for developmental reading difficulties.     

Lateral asymmetry in phonological processing: relating behavioral measures to neuroimaged structures

Recent neuroimaging studies have revealed neuroanatomical centers of activation that appear to be linked specifically to phonological processes. Furthermore, there is evidence that these centers of activation are more likely to be bilaterally represented in women than in men. However, behavioral evidence of such hemispheric asymmetries or of related sex differences is somewhat inconsistent. Two experiments were carried out to determine whether behavioral correlates of the neuroimaging findings could be demonstrated. The first experiment employed a rhyme-matching task used in a recent neuroimaging study, in which two nonsense words were projected successively to the left or right sides of the visual field. The results indicated that the left hemisphere was superior for this task. An analysis of gender effects, however, revealed that the asymmetry was restricted to men. The second experiment employed a lateralized pseudohomophone detection task that was designed to determine whether the results of the first experiment could be confirmed in the context of a phonological task with a simpler structure. This experiment broadly supported the findings of the first experiment. The results support the specialization of the left hemisphere for phonological processing, and the existence of gender differences with respect to these processes.     

Interruptions improve choice performance in gray jays: prolonged information processing versus minimization of costly errors

Under the assumption that selection favors minimization of costly errors, erroneous choice may be common when its fitness cost is low. According to an adaptive-choice model, this cost depends on the rate at which an animal encounters the choice: the higher this rate, the smaller the cost of choosing a less valuable option. Errors should thus be more common when interruptions to foraging are shorter. A previous experiment supported this prediction: gray jays, Perisoreus canadensis, were more error prone when subjected to shorter delays to access to food rewards. This pattern, though, is also predicted by an attentional-constraints model. Because the subjects were able to inspect the rewards during delays, their improved performance when subjected to longer delays could have been a byproduct of the experimentally prolonged opportunity for information processing. To evaluate this possibility, a follow-up experiment manipulated both delay to access and whether rewards could be inspected during delays. Depriving jays of the opportunity to inspect rewards (using opaque lids) induced only a small, nonsignificant increase in error rate. This effect was independent of length of delay and so the jays' improved performance when subjected to longer delays was not simply a byproduct of prolonged information processing. More definitively, even when the jays were prevented from inspecting rewards during delays, their performance improved when subjected to longer delays. The findings are thus consistent with the adaptive-choice model. Electronic Publication     

From case management to prevention of scientific dishonesty in Denmark

In 1992, The Danish Medical Research Council established a national committee on scientific dishonesty with the twofold task of handling cases of scientific misconduct and taking preventive initiatives. Scientific dishonesty was proven in only five cases, but in another nine cases lesser degrees of deviations from good scientific practice were found. The experiences from a total of 24 treated cases indicated that three key areas were at the basis of most of the accusations and the deviations from good practice: uncertainty about 1) authorship, about 2) rights and duties to use scientific data and about 3) agreements at the initiation of joint studies. As a consequence guidelines on good practice have been issued on these key subjects. An earlier version of this paper was presented at a symposium, Scientific Misconduct. An International Perspective, organised by The Medical University of Warsaw, 16 November, 1998.     

Enduring consequences of experimentally induced biases in interpretation

Previous research has demonstrated that it is possible to induce biases in the interpretation of ambiguous text passages by training. Participants consistently trained to interpret emotionally ambiguous passages in either a negative or positive direction show training-congruent effects when presented with new ambiguous material. These training effects are demonstrated by participants' subsequent recognition ratings for disambiguating sentences, which represent both possible meanings of the novel ambiguous test passages. In this series of experiments, we investigated the durability of these training effects over time spans of up to 1 day and found them to be robust. The findings encourage us to believe that induced biases may serve as a useful analogue to those observed clinically.     

Ruminative coping and post-event processing in social anxiety

Cognitive models of social anxiety implicate various factors in the initiation and maintenance of socially anxious states, including anticipatory processing, self-focused attention and post-event processing. The present study focused on post-event processing, which is a post-mortem analysis following a social event that is described as ruminative in nature and serves to maintain social anxiety. Participants (N=112; 64 women, 48 men) were presented with vignettes that involved making mistakes in public and were instructed to record their thoughts to allow for the examination of the content of post-event processing. Ruminative coping and distraction were assessed via self-report. Results indicated that participants high in social anxiety (n=55) were more likely to ruminate and less likely to distract when faced with socially anxious stressors compared to those low in social anxiety (n=57). Further, as hypothesized, participants high in social anxiety recorded more negative thoughts and more upward counterfactual thoughts ('if only' type thoughts on how things could have been better; associated with negative affect) compared to those low in social anxiety. These results are discussed in terms of cognitive models of social anxiety.     

Global processing speed as a mediator of developmental changes in children's auditory memory span

This study examined the role of global processing speed in mediating age increases in auditory memory span in 5- to 13-year-olds. Children were tested on measures of memory span, processing speed, single-word speech rate, phonological sensitivity, and vocabulary. Structural equation modeling supported a model in which age-associated increases in processing speed predicted the availability of long-term memory phonological representations for redintegration processes. The availability of long-term phonological representations, in turn, explained variance in memory span. Maximum speech rate did not predict independent variance in memory span.     

Antecedent reactivation by surface and deep anaphora in Norwegian

Anaphora are expressions in language that depend on other linguistic entities for their full meaning. They can furthermore be divided into two types according to the level of representation where they find their antecedents: Surface anaphora, which resolve their reference at the sentence representation level, and deep anaphora, which resolve their reference at the non-grammatical level of discourse representation. The linguistic theory of these two anaphor types, and recent findings about processing differences at these two levels, combine to predict that surface anaphora should show fast and immediate reactivation of their antecedents, whereas deep anaphora should have a slower time course of antecedent re-access. These predictions were confirmed with two lexical decision task experiments with Norwegian stimuli.     

Variability of the MAX and MIN Statistic: A Theory of the Quantile Spread as a Function of Sample Size

The maximum and minimum of a sample from a probability distribution are extremely important random variables in many areas of psychological theory, methodology, and statistics. For instance, the behavior of the mean of the maximum or minimum processing time, as a function of the number of component random processing times (n), has been studied extensively in an effort to identify the underlying processing architecture (e.g., Townsend & Ashby, 1983; Colonius & Vorberg, 1994). Little is known concerning how measures of variability of the maximum or minimum change with n. Here, a new measure of random variability, the quantile spread, is introduced, which possesses sufficient strength to define distributional orderings and derive a number of results concerning variability of the maximum and the minimum statistics. The quantile spread ordering may be useful in many venues. Several interesting open problems are pointed out. This work was supported by an NIH Grant R01 MH57717 to the first author. Some of the collaboration took place during the year 2000 while J.T. Townsend was a Fellow at the Hanse Institute for Advanced Study (HWK), sponsored by H. Colonius at Oldenburg University.