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 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.     

Effects of backward speech and speaker variability in language discrimination by rats

Human infants use prosodic cues present in speech to extract language regularities, and it has been suggested that this capacity is anchored in more general mechanisms that are shared across mammals. This study explores the extent to which rats can generalize prosodic cues that have been extracted from a training corpus to new sentences and how this discrimination process is affected by the normalization of the sentences when multiple speakers are introduced. Conditions 1 and 2 show rats' abilities to use prosodic cues present in speech, allowing them to discriminate between sentences not previously heard. But this discrimination is not possible when sentences are played backward. Conditions 3 and 4 show that language discrimination by rats is also taxed by the process of speaker normalization. These findings have remarkable parallels with data from human adults, human newborns, and cotton-top tamarins. Implications for speech perception by humans are discussed.     

AIDS and social exclusion: personality features or adaptive behaviors?

The purpose of this survey is to detect common personality features in people infected with AIDS who have a case history of drug addiction and who live in a situation of social exclusion. The sample comprised 105 male participants from the Autonomous Community of Andalusia, divided into 4 groups: (a) 30 men with AIDS, having an intravenous drug addiction case history and who live in a condition of social exclusion; (b) 30 men with IVDA case history, also living in a situation of social exclusion; (c) 15 men in a social exclusion condition; and (d) 30 men in a condition of social adaptation. The evaluation instruments were an author-designed semi-structured interview and the Multiaxial Clinical Inventory (MCMI-II; Millon, 1987). Although some differences were found, the results indicate that there is no specific personality profile in the "social exclusion" population. People in a condition of social exclusion (AIDS, drug addicts, and poor people) may obtain similar scores in the variables studied, but there is no clear specific personality profile in the excluded population, although there may be certain situations in which the segregated groups present similar behaviors. Furthermore, these behaviors do not always correspond to personality features but are adaptive responses to a harsh and complex reality.     

Effects of suppressing neutral and obsession-like thoughts in normal subjects: beyond frequency

Recent cognitive-behavioral theories on obsessive-compulsive disorder (OCD) show that deliberate attempts to suppress intrusive and undesirable thoughts lie at the genesis of clinical obsessions. In this paper the results of an experimental study on the suppression of neutral and obsession-like thoughts in normal subjects are presented. Eighty-seven university students performed in three experimental periods: (1) base-line monitoring, (2) experimental instruction, and (3) monitoring. For each of these periods, the frequency of the occurrence of a "white bear" thought or a personally relevant intrusive thought was registered. Half of the subjects received instructions to suppress the target-thought in period 2, and the other half were instructed to only monitor the target-thought in each of the experimental periods. Several measures were also obtained before and after the experiment: annoyance caused by the intrusion, suppression effort, subjective success, and evaluative appraisals of the target-thought. The results showed neither immediate nor delayed frequency increases of the target thought. However, evidence was found that deliberate thought suppression efforts, regardless of their content, had greater negative consequences than did non suppression. These results are discussed in relation to the recent cognitive proposals about OCD.     

Stereotype development in Andalusian children

Social psychologists have shown a profound interest in intergroup relationships, but there are very few papers focusing on the developmental aspects that explain the psychological mechanisms involved in the construction of group and cultural identity. Our research aims to explore how the self-categorization of Andalusian children evolves. We tried to assess the degree to which they self-identify as Andalusian, Spanish, and European, and how this identification changes with age. We were also interested in the affective evaluation of different groups (French, Italian, English, German, Spanish, Catalonian, and Andalusian) made by Andalusian children. Furthermore, we analyzed the relationship between self-categorization and the evaluation of these groups. Results show that the development of national (autonomous community) identity in these children is influenced by their cognitive development, as well as by the relationships among the regional communities of Spain and the relationships between Spain and other countries. The peculiarity of Andalusians as a group is that they assume both identities: Spanish and Andalusian, from a very early age. In-group favoritism is an extended phenomenon at all ages, and Andalusian children have a negative stereotype of the other Spanish groups and other European communities.     

The use of prosodic cues in language discrimination tasks by rats

Recent research with cotton-top tamarin monkeys has revealed language discrimination abilities similar to those found in human infants, demonstrating that these perceptual abilities are not unique to humans but are also present in non-human primates. Specifically, tamarins could discriminate forward but not backward sentences of Dutch from Japanese, using both natural and synthesized utterances. The present study was designed as a conceptual replication of the work on tamarins. Results show that rats trained in a discrimination learning task readily discriminate forward, but not backward sentences of Dutch from Japanese; the results are particularly robust for synthetic utterances, a pattern that shows greater parallels with newborns than with tamarins. Our results extend the claims made in the research with tamarins that the capacity to discriminate languages from different rhythmic classes depends on general perceptual abilities that evolved at least as far back as the rodents. Electronic Publication     

Are European and American golf players different? Reply to Engelhardt (1997)

Analysis of 1998 statistics for individual performance in the PGA European Tour yielded significant differences between some shot-making skills (drive distance, total driving, greens in regulation, and sand saves) between the top 10 and bottom 10 money winners, replicating (with partially different results) a result found for the 1995 American PGA Tour by Engelhardt.