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.

Uterine torsion in Brown Swiss cattle: retrospective analysis from an alpine practice in Switzerland

The incidence of uterine torsion in cattle is 0.5–1 per cent of all calvings and up to 30 per cent of all dystocia cases (Berchtold and Rüsch 1993). The unstable suspension of the bovine uterus is a predisposition cited by different authors (Pearson 1971, Schulz and others 1975, Berchtold and Rüsch 1993). Age of the cow, season and weight and sex of the calf have been inconsistently reported to be associated with uterine torsion (Distl 1991, Frazer and others 1996, Tamm 1997). Small amount of fetal fluids and a large abdomen may contribute to uterine torsion (Berchtold and Rüsch 1993). Furthermore, some authors describe a predisposition in the Brown Swiss breed (Distl 1991, Schmid 1993, Frazer and others 1996) and in cows kept in alpine regions (Schmid 1993). Uterine torsion is predominantly seen under parturition, and the degree of torsion is most often between 180° and 360°. The direction is counter-clockwise in 60–90 per cent of the cases (Pearson 1971, Berchtold and Rüsch 1993, Erteld and others 2012). Vaginal delivery is possible after manual detorsion or after rolling of the cow, whereas caesarean section has to be performed after unsuccessful detorsion or if the cervix is not dilating adequately following successful correction of the torsion (Berchtold and Rüsch 1993, Frazer and others 1996). Out of all veterinary-assisted dystocia cases, 20 per cent (Aubry and others 2008) to 30 per cent (Berchtold and Rüsch 1993) are due to uterine torsion. Many publications describe fertility variables after dystocia, but only Schönfelder and coworkers described that 40 per cent of the cows got pregnant after uterine torsion followed by caesarean section (Schönfelder and Sobiraj 2005).

Duration-dependent influence of dynamic torsion on the intervertebral disc: an intact disc organ culture study.

PURPOSE Mechanical loading is an important parameter that alters the homeostasis of the intervertebral disc (IVD). Studies have demonstrated the role of compression in altering the cellular metabolism, anabolic and catabolic events of the disc, but little is known how complex loading such as torsion-compression affects the IVD cell metabolism and matrix homeostasis. Studying how the duration of torsion affects disc matrix turnover could provide guidelines to prevent overuse injury to the disc and suggest possible beneficial effect of torsion. The aim of the study was to evaluate the biological response of the IVD to different durations of torsional loading. METHODS Intact bovine caudal IVD were isolated for organ culture in a bioreactor. Different daily durations of torsion were applied over 7 days at a physiological magnitude (±2°) in combination with 0.2 MPa compression, at a frequency of 1 Hz. RESULTS Nucleus pulpous (NP) cell viability and total disc volume decreased with 8 h of torsion-compression per day. Gene expression analysis suggested a down-regulated MMP13 with increased time of torsion. 1 and 4 h per day torsion-compression tended to increase the glycosaminoglycans/hydroxyproline ratio in the NP tissue group. CONCLUSIONS Our result suggests that load duration thresholds exist in both torsion and compression with an optimal load duration capable of promoting matrix synthesis and overloading can be harmful to disc cells. Future research is required to evaluate the specific mechanisms for these observed effects.

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.

Changes in Left Ventricular Torsion Early Postoperatively After Aortic Valve Replacement and at Long-Term Follow-up.

OBJECTIVE In patients with aortic stenosis, left ventricular systolic torsion (pT) is increased to overcome excessive afterload. This study assessed left ventricular torsion before and immediately after surgical valve replacement and tested the instant effect of fluid loading. DESIGN Prospective, clinical single-center study. SETTING Intensive care unit of a university hospital. PARTICIPANTS 12 patients undergoing elective aortic valve replacement for aortic stenosis. INTERVENTIONS Echocardiography was performed on the day before surgery, within 18 hours after surgery including a fluid challenge, and after 2.5 years. MEASUREMENTS AND MAIN RESULTS pT decreased early postoperatively by 21.2% (23.4° ± 5.6° to 18.4° ± 6.9°; p = 0.012) and reached preoperative values at 2.5 years follow-up (24 ± 7). Peak diastolic untwisting velocity occurred later early postoperatively (13% ± 8% to 21% ± 9.4%; p = 0.019) and returned toward preoperative values at follow-up (10.2 ± 4.7°). The fluid challenge increased central venous pressure (8 ± 4 mmHg to 11 ± 4 mmHg; p = 0.003) and reduced peak systolic torsion velocity (138.7 ± 37.6/s to 121.3 ± 32/s; p = 0.032). pT decreased in 3 and increased in 8 patients after fluid loading. Patients whose pT increased had higher early mitral inflow velocity postoperatively (p = 0.04) than those with decreasing pT. Patients with reduced pT after fluid loading received more fluids (p = 0.04) and had a higher positive fluid balance during the intensive care unit stay (p = 0.03). Torsion after fluid loading correlated with total fluid input (p = 0.001) and cumulative fluid balance (p = 0.002). CONCLUSIONS pT decreased early after aortic valve replacement but remained elevated despite elimination of aortic stenosis. After 2.5 years, torsion had returned to preoperative levels.

Newton-Cartan supergravity with torsion and Schrödinger supergravity

We derive a torsionfull version of three-dimensional N=2 Newton-Cartan supergravity using a non-relativistic notion of the superconformal tensor calculus. The “superconformal” theory that we start with is Schrödinger supergravity which we obtain by gauging the Schrödinger superalgebra. We present two non-relativistic N=2 matter multiplets that can be used as compensators in the superconformal calculus. They lead to two different off-shell formulations which, in analogy with the relativistic case, we call “old minimal” and “new minimal” Newton-Cartan supergravity. We find similarities but also point out some differences with respect to the relativistic case.

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.

The Reference Interview: Theories and Practice

The reference librarian's task is to translate the patron's question into one that can be answered with the library's resources. The first element of that task is to know what the patron wants; the second is to know what resources the library has and how to use them. Reference librarians must learn continuously throughout their careers, both because new resources become available, but also because patrons present questions requiring new resources. This article will focus on how to determine what kind of information the patron needs through the reference interview.

Stausberg, M. Contemporary Theories of Religion. A Critical Companion, New York, Routledge, Nueva York, 2009, 309 pp. ISBN: 978-0415463478

Fil: Bogdan, Guillermina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.