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.     

Comparative analysis of different correction methods for measuring Rod-and-Frame Test performance

A comparative analysis was conducted of five different methods for scoring the Rod-and-Frame Test to examine the convergent validities of each of the five methods with performance on the Embedded Figures Test for a sample of 408 13- to 16-yr.-olds. The scoring methods included the absolute error, the algebraic error, the absolute value of the algebraic error, the frame effect, and an assessment of relative field dependence. Correlations obtained among the five methods and the Embedded Figures Test indicated different patterns for boys and girls. In general, the method which employed the absolute value of the algebraic error yielded the strongest convergent validity coefficients with scores on the Embedded Figures Test and Group Embedded Figures Test for boys (.62 and -.54, respectively), although, for girls, the absolute algebraic error and absolute error both yielded coefficients of .50 with Embedded Figures Test scores and -.46 with Group Embedded Figures Test scores.     

Biased language use in stereotype maintenance: the role of encoding and goals

In 4 studies, the authors investigated the relative impact of biased encoding of information and communication goals on biased language use. A category label (linguistic expectancy bias, Study 1) or a group label (linguistic intergroup bias, Study 2) was presented either before or after a story that participants were asked to communicate. Biased language use only emerged when participants learned about the group membership of the actor or the category label before hearing the story. However, communication goals had an effect on language use at the retrieval stage, independent of encoding (Studies 3 and 4). Although communication goal effects seemed to overwhelm encoding effects, encoding still influenced language use under externally imposed time pressure (Study 3) and self-imposed time constraints (Study 4). This research reaffirms the importance of both cognitive and communicative processes in stereotype maintenance and highlights the conditions under which they each operate.     

The Impact of Personality and Religion on Attitudes toward Alcohol among 16–18 Year Olds in Northern Ireland

Background: Previous research demonstrates a negative relationship between attitude toward alcohol and religiosity. However, what is less apparent is if this relationship may, at least in part, be a function of individual differences in personality, as previous research has demonstrated a relationship between certain measures of personality and both attitude toward alcohol and attitude toward religiosity. The aim of the present study was to explore the impact of personality and the relative efficacy of different markers of religiosity in predicting attitude toward alcohol among a sample of 16–18 year olds in Northern Ireland. Method: The Francis Scale of Attitude toward Alcohol (Francis, 1992c. Drug and Alcohol Dependence, 31, 45–50) was administered alongside the Abbreviated Revised Eysenck Personality Questionnaire (Francis, Brown, & Philipchalk, 1992. Personality and Individual Differences, 13(4), 443–449), the Francis Scale of Attitude toward Christianity (Francis & Stubbs, 1987. Personality and Individual Differences, 8, 741–743) and measures of frequency of personal prayer and church attendance among a sample of 243 16- to 18-year-old sixth-form students in Northern Ireland. Results and conclusion: The data demonstrate that a more prohibitive attitude toward alcohol was correlated with lower psychoticism scores (tendermindedness) and a more positive attitude toward Christianity. Multiple-regression analyses confirm the importance of attitude toward religion in predicting individual differences in attitude toward alcohol.     

Death anxiety and death depression in Spanish nurses

This study examined the dimensional structure of Tomás-Sábado and Gómez-Benito's Death Anxiety Inventory and Templer, et al.'s Death Depression Scale-Revised. The responses of 244 Spanish nurses to the Spanish forms of both scales were evaluated by means of a principal axis factor analysis with direct Oblimin rotation. Five significant factors were identified: Internally Generated Death Anxiety, Death Depression, Externally Generated Death Anxiety, Death Threat, and Death Sadness, accounting for 51.6% of the variance. The distribution of the factor loadings for the items of both scales on the five factors supported the discriminant validity of the constructs specific to each of the scales and justified their use in evaluating death anxiety and death depression independently.     

Alan: An Action Language For Modelling Non-Markovian Domains

In this paper we present the syntax and semantics of a temporal action language named Alan, which was designed to model interactive multimedia presentations where the Markov property does not always hold. In general, Alan allows the specification of systems where the future state of the world depends not only on the current state, but also on the past states of the world. To the best of our knowledge, Alan is the first action language which incorporates causality with temporal formulas. In the process of defining the effect of actions we define the closure with respect to a path rather than to a state, and show that the non-Markovian model is an extension of the traditional Markovian model. Finally, we establish relationship between theories of Alan and logic programs.     

Detection of sound rise time by adults with dyslexia

Low sensitivity to amplitude modulated (AM) sounds is reported to be associated with dyslexia. An important aspect of amplitude modulation cycles are the rise and fall times within the sound. In this study, simplified stimuli equivalent to just one cycle were used and sensitivity to varying rise times was explored. Adult participants with dyslexia or compensated dyslexia and a control group performed a detection task with sound pairs of different rise times. Results showed that the participants with dyslexia differed from the control group in rise time detection and a correlation was found between rise time detection and reading and phonological skills. A subgroup of participants with lower sensitivity to rise time detection characterized by low accuracy in syllable-level phonological skills was found within the dyslexic group. Short stimuli containing only one rise time produced associations with phonological skills and reading, even in a language where the perception of rise time contrasts are not crucial for the signaling of phonemic contrast.     

The perception of second language sounds in early bilinguals: new evidence from an implicit measure

Previous studies have suggested that nonnative (L2) linguistic sounds are accommodated to native language (L1) phonemic categories. However, this conclusion may be compromised by the use of explicit discrimination tests. The present study provides an implicit measure of L2 phoneme discrimination in early bilinguals (Catalan and Spanish). Participants classified the 1st syllable of disyllabic stimuli embedded in lists where the 2nd, task-irrelevant, syllable could contain a Catalan contrastive variation (/epsilon/-/e/) or no variation. Catalan dominants responded more slowly in lists where the 2nd syllable could vary from trial to trial, suggesting an indirect effect of the /epsilon/-/e/ discrimination. Spanish dominants did not suffer this interference, performing indistinguishably from Spanish monolinguals. The present findings provide implicit evidence that even proficient bilinguals categorize L2 sounds according to their L1 representations.     

Finger gnosia: a predictor of numerical abilities in children?

This paper aimed to test the specificity of predicting power of finger gnosia on later numerical abilities in school-age children and to contribute to the understanding of this effect. Forty-one children were tested in the beginning of Grade 1 on finger gnosia, left-right orientation (another sign of the Gerstmann "syndrome"), and global development. Fifteen months later, numerical and reading abilities were assessed. Analyses of the results indicated that, contrary to the general measures of cognitive development, performance in the finger gnosia test was a good predictor of numerical skills 1 year later but not of reading skills, which proves the specificity of that predictor. The same conclusion was also true for the left-right orientation. However, finger gnosia could equally predict performance in numerical tasks that do or do not rely heavily on finger representation or on magnitude representation. Results are discussed in terms of the localizationist and the functional hypotheses.