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.     

Morphological priming: Dissociation of phonological, semantic, and morphological factors

Previous experiments based on a masked-priming paradigm revealed robust morphological priming effects induced by two derivational morphemes in Hebrew: the root and the verbal pattern. However, considering the special characteristics of the masked-priming paradigm, the possible contributions of phonological and/or semantic factors to these morphological effects could not be firmly assessed. In the present study, the role of these factors in morphological priming was examined, using cross-modal presentation. Experiment 1 revealed that priming between morphologically related words in Hebrew is determined by higher level linguistic characteristics and cannot be reduced to phonological overlap. Experiment 2 confirmed that morphological priming occurs in Hebrew even when primes and targets are not semantically related but, nevertheless, increases with semantic similarity. The results support the claim that morphological priming cannot be accounted for by considering semantic and phonological factors alone, and they exemplify the potential of using both masked and cross-modal priming to examine morphological processing.     

The development of the Cultural Health Attributions Questionnaire (CHAQ)

Current general health belief measures that are used to assess health behaviors do not capture the full range of health beliefs present among Latinos. The purpose of this study was to develop a reliable and valid measure of Latino health beliefs, the Cultural Health Attributions Questionnaire (CHAQ). Three hundred forty participants were recruited in 2 metropolitan areas with large Latino populations. Exploratory factor analysis revealed 2 highly interpretable 12-item subscales: the Equity Attribution and the Behavioral-Environmental Attribution scales. Examination of the relationships between the subscales and measures of acculturation provided evidence of construct validity. Moreover, the prediction of health care behavior by the CHAQ also indicated initial criterion validity.     

Body mass index in female Spanish Olympic athletes

The purpose of this study was to examine the Body Mass Index of 180 female Spanish Olympic athletes (M age = 27.1 yr., SD = 5.9 yr.) who participate in presentation sports and nonpresentation sports, in comparison with 114 female nonathletes (M age = 20.7, SD = 1.5 yr.). Presentation sports athletes have a profile similar to that of a university student but by age with a lower Body Mass Index. In particular, rhythmic gymnasts have a lower weight and Body Mass Index than other athletes and nonathletes.     

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.     

Automatic and controlled semantic processing: a masked prime-task effect

A classical definition of automaticity establishes that automatic processing occurs without attention or consciousness, and cannot be controlled. Previous studies have demonstrated that semantic priming can be reduced if attention is directed to a low-level of analysis. This finding suggests that semantic processing is not automatic since it can be controlled. In this paper, we present two experiments that demonstrate that semantic processing may occur in the absence of attention and consciousness. A negative semantic priming effect was found when a low-level prime-task was required and when a masked lexical decision prime-task was performed (Experiment 1). This paper also discusses the limitations of the inhibitory mechanism involved in negative semantic priming effect.