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.     

Variability and detection of invariant structure

Two experiments investigated learning of nonadjacent dependencies by adults and 18–month–olds. Each learner was exposed to three–element strings (e.g., pel–kicey–jic) produced by one of two artificial languages. Both languages contained the same adjacent dependencies, so learners could distinguish the languages only by acquiring dependencies between the first and third elements (the nonadjacent dependencies). The size of the pool from which the middle elements were drawn was systematically varied to investigate whether increasing variability (in the form of decreasing predictability between adjacent elements) would lead to better detection of nonadjacent dependencies. Infants and adults acquired nonadjacent dependencies only when adjacent dependencies were least predictable. The results point to conditions that might lead learners to focus on nonadjacent versus adjacent dependencies and are important for suggesting how learning might be dynamically guided by statistical structure.     

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.     

Sleep-dependent hippocampal slow activity correlates with waking memory performance in humans

The positive effect of postlearning sleep on memory consolidation as well as the relationship between sleep-related memory processes and the hippocampal formation are increasingly clarified topics in neurobiology. However, the possibility of a stable relationship between waking mnemonic performance and sleep-dependent hippocampal electric activity is unexplored. Here we report a correlative analysis between sleep-dependent parahippocampal-hippocampal (pHip-Hip) electric activity recorded by foramen ovale (FO) electrodes and different types of memory performances in epileptic patients. Psychological testing was performed days or weeks before electrophysiological recordings. The relative spectral power of the slow activity (below 1.25 Hz) during deep non-REM (NREM) sleep at the right pHip-Hip region correlated positively with the visual memory performance according to Rey-Osterrieth Complex Figure Test (ROCFT). Along the posterior-anterior direction of the hippocampal formation a linear increasing of correlations was observed. The relative power of the activity below 1.25 Hz at the left pHip-Hip during phasic REM sleep correlated positively with verbal learning performance and mnemonic retention values according to ROCFT. It is concluded that the pHip-Hip structures' capacity of producing high amplitude and synchronized slow (< 1 Hz) oscillation during deep NREM sleep is related to the functional power of these structures. We hypothesize that the asymmetric (side-specific) propagation of ponto-geniculo-occipital (PGO) activity to the pHip-Hip region is related to the memory correlates of phasic REM sleep.     

Investigation into Combinatory Systems with Dual Combinators

Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (, ), led to the introduction of dual combinators in Dunn & Meyer 1997. Dual combinators are "mirror images" of the usual combinators and as such do not constitute an interesting subject of investigation by themselves. However, when combined with the usual combinators (e.g., in order to recover associativity in a sequent calculus), the whole system exhibits new features. A dual combinatory system with weak equality typically lacks the Church-Rosser property, and in general it is inconsistent. In many subsystems terms "unexpectedly" turn out to be weakly equivalent. The paper is a preliminary attempt to investigate some of these issues, as well as, briefly compare function application in symmetric -calculus (cf. Barbanera & Berardi 1996) and dual combinatory logic.     

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.