Applicative theories for logarithmic complexity classes

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Darwin's multicellularity: from neurotrophic theories and cell competition to fitness fingerprints

Metazoans have evolved ways to engage only the most appropriate cells for long-term tissue development and homeostasis. In many cases, competitive interactions have been shown to guide such cell selection events. In Drosophila, a process termed cell competition eliminates slow proliferating cells from growing epithelia. Recent studies show that cell competition is conserved in mammals with crucial functions like the elimination of suboptimal stem cells from the early embryo and the replacement of old T-cell progenitors in the thymus to prevent tumor formation. Moreover, new data in Drosophila has revealed that fitness indicator proteins, required for cell competition, are also involved in the culling of retinal neurons suggesting that 'fitness fingerprints' may play a general role in cell selection.

On supergravity theories, after ∼ 40 years

An introduction to and a partial review of supergravity theories is given, insisting on concepts and on some important technical aspects. Topics covered include elements of global supersymmetry, a derivation of the simplest N = 1 supergravity theory, a discussion of N =1 matter-supergravity couplings, of the scalar sector and of some simple models. Space-time is four-dimensional.

Sport Psychology. Theories and Applications for Performance, Health and Humanity.

This congress proceedings volume includes all abstracts submitted to the 14th European Congress of Sport Psychology of the European Federation of Sport Psychology FEPSAC that have been accepted by the scientific evaluation committee. Content: six keynote lectures, Panteleimon ("Paddy") Ekkekakis: Escape from Cognitivism: Exercise as Hedonic Experience; Sergio Lara-Bercial and Cliff Mallett: Serial Winning Coaches – Vision, People and Environment; Kari Fasting: Sexual Harassment and Abuse in Sport – Implications for Sport Psychologists; Claudia Voelcker-Rehage: Benefits of Physical Activity and Fitness for Lifelong Motor and Cognitive Development – Brain and Behaviour; Nancy J. Cooke: Interactive Team Cognition: Focusing on Team Dynamics; Chris Harwood: Doing Sport Psychology? Critical Reflections as a Scientist-Practitioner. Abstracts of 11 invited symposia, 65 submitted symposia, 8 special sessions, and 5 poster sessions.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.