Perception of pictorial eye gaze by baboons (Papio papio)

Pictorial faces looking left or right were presented to baboons (Papio papio) before the display of a target letter in the left or right hemifield of a monitor screen. Baboons had to provide go or no-go responses taking into account the identity of the target letter. The 1st 6 experiments showed no reliable effect of eye gaze on discrimination speed, using either schematic gazes or pictures of real gazes. Experiment 7 showed that eye gazes facilitated target processing when eye cues were perfect predictors of target location. Findings suggest that baboons do not spontaneously process eye-gaze direction but can learn to do so if the gaze has a predictive value. Implications of these findings on baboons' perspective-taking abilities are discussed.     

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.