Programming of endogenous and exogenous saccades: evidence for a competitive integration model

Participants were required to make a saccade to a uniquely colored target while ignoring the presentation of an onset distractor. The results provide evidence for a competitive integration model of saccade programming that assumes endogenous and exogenous saccades are programmed in a common saccade map. The model incorporates a lateral interaction structure in which saccade-related activation at a specific location spreads to neighboring locations but inhibits distant locations. In addition, there is top-down, location-specific inhibition of locations to which the saccade should not go. The time course of exogenous and endogenous activation in the saccade map can explain a variety of eye movement data, including endpoints, latencies, and trajectories of saccades and the well-known global effect.     

Classical Non-Associative Lambek Calculus

We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.     

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.     

Derivation by prefixation in Slovenian: two aphasia case studies

The present study is concerned with two Slovenian-speaking patients who were asked to produce, in various tasks, verbs, nouns, and adjectives derived by prefixation with prepositions. Despite differences due to their specific linguistic difficulties, both patients' performance was characterized by the differential processing of prefixes and remaining components of complex words. Prepositions in prefixation were mostly preserved, and less frequently substituted, regardless of the numerous errors produced in the remaining portion of the words. These errors seem clearly determined by the morphological structure of the words and therefore appear to be authentic morphological errors. These findings contribute to the theoretical debate on mental lexical representation, speaking in favor of a morphological decomposition in processing of prefixed complex words at different processing levels.     

Neuronal changes in normal human aging and Alzheimer's disease

This article discusses age-related changes in brain weight, total number of cortical neurons, cortical dendrites, spine, and synapse density. The conclusion is that the present outlook is less grim than it was 30 years ago. Age-related reduction appears to be specific to brain region and cortical layer rather than a general feature. In addition, we describe a different pattern of changes that occur in Alzheimer's disease patients. This review concludes that the association cortices in particular are affected in aging and Alzheimer's disease and that the primary visual and somatosensory cortices are relatively spared.     

Age-related changes in event-related prospective memory performance: a comparison of four prospective memory tasks

The primary purpose of the study was to identify event-based prospective-memory tasks that provide sensitive and reliable tools for assessing effects of normal aging in prospective-memory performance. Four prospective-memory tasks were selected from the literature or were newly developed, with the tasks differing on various dimensions that, for theoretical reasons or based on previous evidence, might determine task sensitivity to age effects on prospective-memory performance: perceptual saliency of prospective target events, frequency of occurrence of prospective target events, complexity of prospective-memory instructions, and provision of feedback after prospective-memory errors. Two of the four tasks yielded large and robust age effects on prospective-memory performance. Correlational analyses suggested that these age effects on prospective-memory performance were mediated, at least in part, by a reduced ability of older adults to maintain prospective intentions in a highly activated state and not by age effects on basic mental speed alone.     

Relative damping improves linear mass-spring models of goal-directed movements

A limitation of a simple linear mass-spring model in describing goal directed movements is that it generates rather slow movements when the parameters are kept within a realistic range. Does this imply that the control of fast movements cannot be approximated by a linear system? In servo-control theory, it has been proposed that an optimal controller should control movement velocity in addition to position. Instead of explicitly controlling the velocity, we propose to modify a simple linear mass-spring model. We replaced the damping relative to the environment (absolute damping) with damping with respect to the velocity of the equilibrium point (relative damping). This gives the limb a tendency to move as fast as the equilibrium point. We show that such extremely simple models can generate rapid single-joint movements. The resulting maximal movement velocities were almost equal to those of the equilibrium point, which provides a simple mechanism for the control of movement speed. We further show that peculiar experimental results, such as an 'N-shaped' equilibrium trajectory and the difficulties to measure damping in dynamic conditions, may result from fitting a model with absolute damping where one with relative damping would be more appropriate. Finally, we show that the model with relative damping can be used to model subtle differences between multi-joint interceptions. The model with relative damping fits the data much better than a version of the model with absolute damping.     

Global visual completion of quasi-regular shapes

The topic of amodal completion has often been investigated by using partly occluded shapes that are regular. In research that has typically been done with displays such as these regular shapes, it has been shown that global aspects of a shape can determine completion. To see how robust these global influences in the completion process are, we investigated quasi-regular shapes, ie shapes with a certain overall regularity but not based on metrical identities. First, in experiment 1 participants had to complete quasi-regular shapes in a drawing task. Then, in experiment 2 the primed-matching paradigm was used. Results from both experiments provided evidence for global completions. In experiment 3 we found that multiple global completions can be primed, which, as a control experiment showed, cannot be explained by some inability of the visual system to see the difference between the different completions. These data support the notion that global influences on visual occlusion are apparent even when the partly occluded stimulus is outside the domain of regular shapes. Implications for a global approach are provided.