Is the news making us unhappy? The influence of daily news exposure on emotional states

There is evidence that exposure to negative news is making people feel bad, but not much is known about why this only affects some people or whether this also applies to everyday news exposure. This study examined the direct and indirect effects of daily news exposure on people's affective states. Using ecological momentary assessment (EMA), 63 respondents (24 men and 39 women) reported their news exposure and affective states five times a day for 10 days. In addition, personal relevance of the news and personality characteristics, neuroticism and extraversion, were assessed. Results showed that negative news perceptions were related to more negative affect and less positive affect, and these effects were moderated by personal relevance, but not personality characteristics. The implications of these outcomes are discussed.     

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.     

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.