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.     

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.     

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.