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.     

The contextual modulation of conditioned taste aversions by the physical environment and time of day is similar

In a pair of experiments, we have compared the ability of changes of place (Exp. 1) and changes of time of day (Exp. 2) to separately modulate learned saline-aversion memory phenomena in rats. Neither a spatial nor a temporal change disrupted latent inhibition using the present behavioral procedure. However, pre-exposure to the taste increased the contextual control of the learned aversion expression. The aversion reappeared in the place or at the time of conditioning after extinction in a different context. The results indicate that environmental and temporal contexts can independently, but similarly modulate taste aversion learning.     

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.     

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.     

Development of object permanence in food-storing magpies (Pica pica)

The development of object permanence was investigated in black-billed magpies (Pica pica), a food-storing passerine bird. The authors tested the hypothesis that food-storing development should be correlated with object-permanence development and that specific stages of object permanence should be achieved before magpies become independent. As predicted, Piagetian Stages 4 and 5 were reached before independence was achieved, and the ability to represent a fully hidden object (Piagetian Stage 4) emerged by the age when magpies begin to retrieve food. Contrary to psittacine birds and humans, but as in dogs and cats, no "A-not-B error" occurred. Although magpies also mastered 5 of 6 invisible displacement tasks, evidence of Piagetian Stage 6 competence was ambiguous.     

Intention memory and achievement motivation: volitional facilitation and inhibition as a function of affective contents of need-related stimuli

Replicating findings of J. Kuhl and M. Kazén (1999), reduction or removal of Stroop interference was achieved after short exposure to primes eliciting positive affect. This effect was need specific: Stroop interference removal (volitional facilitation) was found with positive primes related to achievement needs but not with positive primes related to affiliation or power needs. Five studies are reported. College students and unemployed university graduates participated in 2 studies each and branch managers of a large insurance company in 1 study. Whereas Stroop interference reduction or removal was found in all groups after positive-achievement primes, the 2 groups of unemployed persons additionally showed a significant increase of Stroop interference (volitional inhibition) after exposure to primes related to negative achievement episodes. Results are discussed in the context of Kuhl's personality systems interactions theory.     

Statistical computations over a speech stream in a rodent

Statistical learning is one of the key mechanisms available to human infants and adults when they face the problems of segmenting a speech stream (Saffran, Aslin, & Newport, 1996) and extracting long-distance regularities (G6mez, 2002; Pe?a, Bonatti, Nespor, & Mehler, 2002). In the present study, we explore statistical learning abilities in rats in the context of speech segmentation experiments. In a series of five experiments, we address whether rats can compute the necessary statistics to be able to segment synthesized speech streams and detect regularities associated with grammatical structures. Our results demonstrate that rats can segment the streams using the frequency of co-occurrence (not transitional probabilities, as human infants do) among items, showing that some basic statistical learning mechanism generalizes over nonprimate species. Nevertheless, rats did not differentiate among test items when the stream was organized over more complex regularities that involved nonadjacent elements and abstract grammar-like rules.     

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.