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.     

Action-based and vision-based selection of input: Two sources of control

In the first part of this paper we review evidence suggesting that there exists a mechanism that selects input on the basis of its similarity to the required action. This response-based input selection differs from the more established space- and object-based input selection in that it is not constrained by the structure of the input. Our evidence suggests that the two-choice Stroop effect is caused by this response-based selection mechanism. By contrast, it is known that the flanker effect is determined by the space- and object- based selection mechanisms. We explore whether the conflict resolution of the Stroop and flanker tasks is different as well by embedding these two tasks in a PRP (Psychological Refractory Period) paradigm. We show that the Stroop and the PRP effects are additive whereas the flanker and the PRP effects are underadditive, suggesting that the processes in charge of the conflict resolution in the Stroop and the flanker tasks are indeed different. We discuss possible reasons for this difference, and discuss possible ways in which the response-based mechanism can be implemented in information processing models.     

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.     

Win-shift and win-stay learning in the short-beaked echidna (<Emphasis Type="Italic">Tachyglossus aculeatus</Emphasis>)

Numerous previous investigators have explained species differences in spatial memory performance in terms of differences in foraging ecology. In three experiments we attempted to extend these findings by examining the extent to which the spatial memory performance of echidnas (or "spiny anteaters") can be understood in terms of the spatio-temporal distribution of their prey (ants and termites). This is a species and a foraging situation that have not been examined in this way before. Echidnas were better able to learn to avoid a previously rewarding location (to "win-shift") than to learn to return to a previously rewarding location (to "win-stay"), at short retention intervals, but were unable to learn either of these strategies at retention intervals of 90 min. The short retention interval results support the ecological hypothesis, but the long retention interval results do not. Electronic Publication     

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.     

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 Factor Structure of the Beavers Interactional Scales

Confirmatory factor analysis and regression analyses of the Beavers Interactional Scales did not appear to support the model offered by its developers, namely, several specified family attributes contributing respectively to two global factors of Family Competence and Family Style. Moreover, regression analysis indicated that only three of 12 items predicted raters' assessments of Global Family Health, and one of seven items predicted Global Family Style. Individuals interested in the family dynamic centripetal/centrifugal might best think of that as a unitary entity and rate it accordingly.     

Family functioning and early onset of sexual intercourse in Latino adolescents

The purpose of this study was to identify factors associated with early onset of sexual intercourse. Within an ecological system's conceptual framework, familial factors associated with early onset of sexual activity were identified in a sample of 425 adolescents from San Juan metro area schools. Measures included questions about sexual activity, sexual permissiveness, and such familial variables as: discipline, parental supervision, and parental support. Significant relationships were observed between early onset of sexual intercourse and parental supervision, discipline, parental support, and parents' marital status. Results suggest the key role of parents and family in prevention of HIV-risk behaviors among adolescents in terms of delaying sexual onset. Overall, the study described youths who postponed sexual activity as having greater support, supervision, and parental involvement.     

Plantinga’s Reformed Epistemology: What’s the Question?

Alvin Plantingas Warranted Christian Belief is without questionone of the central texts of the Reformed epistemology movement. Critiques of Plantingas defence have been both multiple and varied. As varied as these responses are, however, it is my contention that many of them amount to the same thing. It is the purpose of this paper to offer an overview of the main lines of attack that have been directed as Plantingas project, and thereafter to show how many, if not most, of these objections can be understood as versions or aspects of the same criticism, what I call the Inadequacy Thesis.