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.     

Is there an effect of handedness on the position of the egocentric reference?

Forty normal subjects (20 left-handed; 20 right-handed) were submitted to a proprioceptive straight ahead pointing task while blindfolded to study the effect of the hand used and of the hand preference on the estimation of the subjective sagittal middle. Results showed that left-handed and right-handed subjects both deviated to the left of the objective sagittal middle and presented an effect of the hand used and of the starting point affecting their straight ahead performance in a similar way. In all subjects whatever their manual preference, using the left hand and starting 30 degrees to left induced a tendency to deviate to the same side, whereas using the right hand and starting 30 degrees to right induced a tendency to place the subjective middle to the right of the objective middle. These results are interpreted with regard to the hypothesis of a cortical control of the position of the egocentric reference.     

Understanding Dali's Slave market with the disappearing bust of Voltaire: a case study in the scale information driving perception

A generic problem in vision is to know which information drives the perception of a stimulus. We address this problem in a case study that involves the perceptual reversal of an ambiguous image (here, Dali's painting the Slave Market with the Disappearing Bust of Voltaire 1940). In experiment 1, we use 'bubbles' (Gosselin and Schyns, 2001 Vision Research 41 2261-2271) to disambiguate the image and to determine the specific visual information that drives each possible perception (here, the nuns versus the bust of Voltaire). Experiment 2 validates that this information does determine the selective perception of the ambiguous image. We adapted the spatial-frequency channels of observers selectively to the information that mediates one of the two perceptions, to induce the opposite perception of the ambiguous image in a transfer phase. Together, the results suggest a method of revealing the visual information that drives perception.     

Effects of divided attention and word concreteness on correct recall and false memory reports

Lists of thematically related words were presented to participants with or without a concurrent task. In Experiments 1 and 2, respectively, English or Spanish word lists were either low or high in concreteness (concrete vs abstract words) and were presented, respectively, auditorily or visually for study. The addition of a concurrent visual or auditory task, respectively, substantially reduced correct recall and doubled the frequency of false memory reports (nonstudied critical or theme words). Divided attention was interpreted as having reduced the opportunity for participants to monitor successfully their elicitations of critical associates. Comparisons of concrete and abstract lists revealed significantly more recalls of false memories for abstract than concrete word lists. Comparisons between two levels of attention, two levels of word concreteness, and two presentation modalities failed to support the "more is less" effect by which enhanced correct recall is accompanied by increased frequencies of false memories.     

Hypothalamo-pituitary-adrenocortical axis function and hedonic behavior in adult male and female rats prenatally stressed by maternal food restriction

Neuroendocrine activation during stress is affected by many factors contributing to the variability of the stress response. The present study was aimed at evaluating long-term changes in hypothalamo-pituitary-adrenocortical (HPA) axis function and in hedonic behavior in adult offspring prenatally stressed by maternal food restriction, with attention on possible gender differences. Adult offspring were blood sampled via a tail artery cannula. Prenatally stressed females had significantly higher adrenal weights compared to males. Plasma ACTH levels, which rose in response to acute stress induced by handling, were significantly higher in females compared to those in males. A similar pattern was found in plasma corticosterone. The rise in ACTH levels was more pronounced in prenatally stressed rats though the rise in corticosterone failed to be modified. Corticotropin releasing hormone (CRH) and proopiomelanocortin mRNA levels in the hypothalamic paraventricular nucleus and anterior pituitary, respectively, were found to be unchanged. The present experiments failed to reveal a decrease in hedonic behavior in prenatally stressed rats. In contrast, in male offspring a tendency to a higher sucrose preference was observed. These data together with observed changes in hormone and CRH mRNA levels indicate that the gestational stress used did not result in a depression-like state in adult offspring.     

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.     

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.     

RAP: a new framework for visual categorization

Cognitive science might almost be defined as several disciplines communicating their different perspectives on the mind, the common object of study. However, domain-specific concepts and techniques can prevent, rather than foster, a communication of viewpoints. In this article, we develop a new framework for visual categorization in which the interaction between Represented (R) information and Available (A) information determine the Potent (P) information (symbolically, R ? A approximately P). We argue and illustrate that this framework helps to establish a common language to articulate issues common to low-, mid-, and high-level vision. More importantly, we present new techniques with which to visualize the so-far elusive constructs of representation and potent information.     

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I

This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating the Rare-logics into more standard modal logics. The main idea of the translation consists in eliminating the Boolean terms by taking advantage of the components construction and in using various properties of the classes of semilattices involved in the semantics. The novelty of our approach allows us to prove new decidability results (presented in Part II), in particular for information logics derived from rough set theory and we open new perspectives to define proof systems for such logics (presented also in Part II).