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.     

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.     

Psychosocial predictors of anxiety among immigrant Mexican migrant farmworkers: implications for prevention and treatment

This study examined predictors of anxiety symptomatology among immigrant Mexican migrant farmworkers in the Midwest. Its purposes were to assess the prevalence of anxiety symptoms, to examine the relationship between acculturative stress and anxiety, and to determine the variables that best predict anxiety. Heightened levels were found for overall anxiety and in the cognitive, affective, and physiological expressions of anxiety. Elevated acculturative stress, low self-esteem, ineffective social support, lack of control and choice in living a migrant farmworker lifestyle, low religiosity, and high education were significantly related to high anxiety. Findings suggest that migrant farmworkers who experience elevated acculturative stress are susceptible to the development of anxiety-related disorders and highlight the importance of establishing prevention and treatment services for migrant farmworkers.     

Psychological and family factors associated with suicidal ideation in pre-adolescents

To assess the psychological and family factors associated with suicidal ideation in pre-adolescent children, we studied a sample of 361 students, average age 9 years old. Two groups were formed, on the basis of the presence (n = 34) or absence (n = 44) of suicidal ideation. Suicidal ideation was assessed with the Children's Depression Inventory and the Children's Depression Rating Scale-Revised. Depression, hopelessness, self-esteem, and perceived family environment were compared in both the suicidal ideation and the control groups. Students with suicidal ideation generally presented greater depressive symptoms and hopelessness, and lower self-esteem and family expressiveness, although there were differences both between sexes, and when the variable depression was controlled. Identifying these risk factors in pre-adolescents may have an impact on prevention of suicidal behavior at higher risk ages.     

Attending, ignoring, and repetition: on the relation between negative priming and inhibition of return

A series of spatial localization experiments is reported that addresses the relation between negative priming and inhibition of return. The results of Experiment 1 demonstrate that slowed responses to repeated location stimuli can be obscured by repetition priming effects involving stimulus dimensions other than spatial location. The results of Experiments 2, 3A, and 3B demonstrate that these repetition priming effects may occur only when participants are required to respond to the prime display. Together, these results suggest that differences between attended and ignored repetition effects in selective attention studies of spatial localization do not provide a basis for distinguishing between spatial negative priming and inhibition of return.     

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.     

Functionality and spatial relations in memory and language

We examined whether the functionality of spatial relations affects the construction and memory of information in situation models. A functional relationship involves the interaction of entities that is implied by either typical use or contextual demands. Previous research has shown that spatial relations are less likely to be encoded during comprehension unless there is extensive prior knowledge, explicit instructions to attend to spatial information, or a clear emphasis on spatial information. If the construction of a situation model is guided by a need to understand the functional structure of a situation, then functional spatial relations should be more likely to be encoded. The results of our study showed that sentences with functional spatial relations were read faster and remembered better in both recall and recognition tests than sentences with nonfunctional spatial relations.