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.     

Polysynaptic potentiation at different levels of rat olfactory pathways following learning

This study was aimed at investigating the consequences of learning on late polysynaptic components of evoked field potential signals recorded in parallel at different levels of the olfactory pathways. For this, evoked field potentials induced by electrical stimulation of the olfactory bulb were recorded simultaneously in the anterior piriform cortex, the posterior piriform cortex, the lateral entorhinal cortex, and the dentate gyrus. The different parameters of late components were measured in each site before and after completion of associative learning in anesthetized rats. In the learning task, rats were trained to associate electrical stimulation of one olfactory bulb electrode with the delivery of sucrose (positive reward) and stimulation of a second olfactory bulb electrode with the delivery of quinine (negative reward). In this way, stimulation of the same olfactory bulb electrodes used for inducing field potentials served as a discriminative cue in the learning paradigm. The data confirmed previous observation that learning was associated with a lowering in late-component-1 intensity of induction in the posterior piriform cortex. The use of simultaneous recording allowed us to further specify the consequences of learning on late-component distribution in the studied network. Indeed the data showed that whereas before learning, late component 1 was rather uniformly distributed among the recorded sites; following learning, its expression was facilitated preferentially in the posterior piriform cortex and lateral entorhinal cortex. Furthermore, learning was accompanied by the emergence of a new late component (late component 2), which occurred simultaneously in the four recording sites. The possible involvement of potentiation of polysynaptic components in recognition and/or consolidation processes will be discussed.     

Targets of the memorized position and visual contexts]

The goal of this study was to determine whether a sensorimotor or cognitive encoding is used to encode a target position and save it into iconic memory. The methodology consisted of disrupting a manual aiming movement to a memorized visual target by displacing the visual field containing the target. The nature of the encoding was inferred from the nature and the size of the errors relative to a control. The target was presented either centrally or in the right periphery. Participants moved their hand from the left to the right of fixation. Black and white vertical stripes covered the whole visual field. The visual field was either stationary throughout the trial or was displaced to the right or left at the extinction of the target or at the start of the hand movement. In the latter case, the displacement of the visual field obviously could only be taken into account by the participant during the gesture. In this condition, our hypothesis was that the aiming error would follow the direction of visual field displacement. Results showed three major effects: (1) Vision of the hand during the gesture improved the final accuracy; (2) visual field displacement produced an underestimation of the target distance only when the hand was not visible during the gesture and was always in the same direction displacement; and (3) the effect of the stationary structured visual field on aiming precision when the hand was not visible depended on the distance to the target. These results suggest that a stationary structured visual field is used to support the memory of the target position. The structured visual field is more critical when the hand is not visible and when the target appears in peripheral rather than central vision. This suggests that aiming depends on memory of the relative peripheral position of the target (allocentric reference). However, in the present task, cognitive encoding does not maintain the "position" of the target in memory without reference to the environment. The systematic effect of the visual field displacement on the manual aiming suggests that the role of environmental reference frames in memory for position is not well understood. Some studies, in particular those of Giesbrecht and Dixon (1999) and Glover and Dixon (2001), suggested differing roles of the environment in the retention of the target position and the control of aiming movements toward the target. The present observations contribute to understanding the mechanism involved in locating and grasping objects with the hand.     

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.