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.

The M-theory origin of global properties of gauge theories

We show that global properties of gauge groups can be understood as geometric properties in M-theory. Different wrappings of a system of N M5-branes on a torus reduce to four-dimensional theories with AN−1 gauge algebra and different unitary groups. The classical properties of the wrappings determine the global properties of the gauge theories without the need to impose any quantum conditions. We count the inequivalent wrappings as they fall into orbits of the modular group of the torus, which correspond to the S-duality orbits of the gauge theories.

fMRI-Compatible Electromagnetic Haptic Interface

A new haptic interface device is suggested, which can be used for functional magnetic resonance imaging (fMRI) studies. The basic component of this 1 DOF haptic device are two coils that produce a Lorentz force induced by the large static magnetic field of the MR scanner. A MR-compatible optical angular encoder and a optical force sensor enable the implementation of different control architectures for haptic interactions. The challenge was to provide a large torque, and not to affect image quality by the currents applied in the device. The haptic device was tested in a 3T MR scanner. With a current of up to 1A and a distance of 1m to the focal point of the MR-scanner it was possible to generate torques of up to 4 Nm. Within these boundaries image quality was not affected.

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.