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.     

Lexical and relational influences on the processing of novel compounds

To interpret a novel compound (e.g., chocolate twig), one must access the concepts denoted by the words and select a relation that links them together. To examine the role of lexical and relation information on conceptual combination, target combinations were preceded by one of three prime combinations. In Experiment 1, the prime used a semantically similar head noun and either the same or different relation. The third prime was semantically unrelated to the target. Experiment 2 was identical, except the modifier was the semantically related constituent. Although semantic priming was observed in both experiments, relation priming was obtained only when the modifier was similar.     

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.     

Brief Strategic Family Therapy: Twenty-Five Years of Interplay Among Theory, Research and Practice in Adolescent Behavior Problems and Drug Abuse

This article describes a systematic program of research that focuses on Brief Strategic Family Therapy (BSFT) and the adaptations that were developed based on BSFT principles. The culture-specific origins of BSFT are reviewed, as well as its broader applications to the field of family therapy. Research is reviewed demonstrating that BSFT is a promising family-based approach to treating Hispanic youth behavior problems and drug abuse. Treatment innovations are described that address the combination of intergenerational and cultural differences that occur among youths and their Hispanic parents. Programmatic work is described that challenges basic principles of family therapy by expanding BSFT to a One Person modality and a strategic engagement procedure. Both of these novel approaches are intended to add tools to therapists' repertoire in working with difficult-to-engage families. A preview discussion of results is presented from a randomized clinical trial that is an application of an ecosystemic prevention version of BSFT. The implications of the work of the Center for Family Studies are discussed in the context of the broader service system. Ultimately, this article articulates a way of thinking about adolescent problem behavior, its social interactional determinants, and a range of theoretically consistent family-centered strategies that attempt to change social ecological processes that impact adolescent developmental trajectories.     

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.     

The role of morphological constituents in reading Finnish compound words

The processing of transparent Finnish compound words was investigated in 2 experiments in which eye movements were recorded while sentences were read silently. The frequency of the second constituent had a large influence (95 ms) on gaze duration on the target words, but its influence was relatively late in processing: A clear effect only occurred on the probability of a third fixation. The frequency of the whole compound word had a similar influence on gaze duration (82 ms) and influenced eye movements at least as rapidly as did the frequency of the second constituent. These results, together with an earlier finding that the frequency of the first constituent affected the first fixation duration, indicate that the identification of these compound words involves parallel processing of both morphological constituents and whole-word representations.     

Interhemispheric inhibition, intrahemispheric activation, and lexical capacities of the right hemisphere: a tachistoscopic, divided visual-field study in normal subjects

This study proposes that the lexical-semantic capacities of the right hemisphere (RH) are underestimated in normal subjects and reexamines them in a "dynamic model" framework. As expected, overloading the left hemisphere by combining a lexical-decision task presented in divided visual field with a concurrent heavy verbal memory load, and activating the RH by combining the lexical-decision task with a concurrent visuo-imaged memory load, lead to enhanced left visual field-RH lexical performance. The RH appears to support a larger lexical-semantic network than suggested in the literature, including representations for long and nonimageable words, and the accessibility threshold for the representations stored therein is modulated by hemispheric activation-inhibition mechanisms.     

Nonhomogeneous resolution of images of natural scenes

The aim of this research is to model and simulate the loss of visual resolution as a function of retinal eccentricity in the perception of natural scenes. The model of visual resolution is based on a space-variant low-pass filter, having a variable convolution kernel according to retinal eccentricity. The parameters of the model are computed from psychophysical measures of visual acuity as a function of retinal eccentricity. The implementation of the model allowed us to generate images of scenes with nonhomogeneous space-variant resolution, simulating the filtering executed by the eye. These scenes are used to test and optimise the model by means of experiments in static vision (through tachistoscopic presentations) and in dynamic vision where the resolution of the scene is computed, in real-time, as a function of the location of gaze.