The exact hardness of deciding derivational and runtime complexity

For any class C of computable total functions satisfying some mild conditions, we prove that the following decision problems are complete for the existential part of the second level of the arithmetical hierarchy: (A) Deciding whether a term rewriting system (TRS for short) has runtime complexity bounded by a function in C. (B) Deciding whether a TRS has derivational complexity bounded by a function in C. In particular, the problems of deciding whether a TRS has polynomially (exponentially) bounded runtime complexity (respectively derivational complexity) are complete for this level of the arithmetical ierarchy. This places deciding polynomial derivational or runtime complexity of TRSs at the same level as deciding nontermination or nonconfluence of TRSs. We proceed to show that the related problem of deciding for a single computable function f whether a TRS has runtime complexity bounded from above by f is complete for the universal part of the first level of the arithmetical hierarchy. We further prove that analysing the implicit complexity of TRSs is even more difficult: The problem of deciding whether a TRS accepts a language of terms accepted by some TRS with runtime complexity bounded by a function in C is complete for the existential part of the third level of the arithmetical hierarchy. All of our results are easily extended to the notion of minimal complexity (where the length of shortest reductions to normal form is considered) and remain valid under any computable reduction strategy. Finally, all results hold both for unrestricted TRSs and for the class of orthogonal TRSs

Cutaneous Immune Cell-Microbiota Interactions Are Controlled by Epidermal JunB/AP-1

Atopic dermatitis (AD) is a multi-factorial skin disease with a complex inflammatory signature including type 2 and type 17 activation. Although colonization by S. aureus is common in AD, the mechanisms rendering an organism prone to dysbiosis, and the role of IL-17A in the control of S. aureus-induced skin inflammation, are not well understood. Here, we show several pathological aspects of AD, including type 2/type 17 immune responses, elevated IgE, barrier dysfunction, pruritus, and importantly, spontaneous S. aureus colonization in JunBΔep mice, with a large transcriptomic overlap with AD. Additionally, using Rag1-/- mice, we demonstrate that adaptive immune cells are necessary for protection against S. aureus colonization. Prophylactic antibiotics, but not antibiotics after established dysbiosis, reduce IL-17A expression and skin inflammation, examined using Il17a-eGFP reporter mice. Mechanistically, keratinocytes lacking JunB exhibit higher MyD88 levels in vitro and in vivo, previously shown to regulate S. aureus colonization. In conclusion, our data identify JunB as an upstream regulator of microbiota-immune cell interactions and characterize the IL-17A response upon spontaneous dysbiosis.We thank the Wagner lab for helpful suggestions and discussion throughout the evolution of this project, specifically Alvaro Ucero, Nuria Gago, and Liliana Mellor. We thank Vanessa Bermeo and Guillermo Medrano for help with animal husbandry and genotyping. O.U. was funded by the ECTS/Amgen Bone Biology Fellowship (2013-2016) and by the Spanish Ministry of Economy and Competitiveness (SAF2012-39670). B.R. and W.W. were funded by a Jesus-Serra visiting scientist grant. E.F.W. was funded by a European Research Council advanced grant (ERC FCK/2008/37).S

Superconformal M2-branes and generalized Jordan triple systems

Three-dimensional conformal theories with six supersymmetries and SU(4) R-symmetry describing stacks of M2-branes are here proposed to be related to generalized Jordan triple systems. Writing the four-index structure constants in an appropriate form, the Chern-Simons part of the action immediately suggests a connection to such triple systems. In contrast to the previously considered three-algebras, the additional structure of a generalized Jordan triple system is associated to a graded Lie algebra, which corresponds to an extension of the gauge group. In this note we show that the whole theory with six manifest supersymmetries can be naturally expressed in terms of such a graded Lie algebra. Also the BLG theory with eight supersymmetries is included as a special case.Comment: 15 pages, v2 and v3: minor corrections and clarifications, references added, v2: section 4 extended, v3: published versio

Three-algebras, triple systems and 3-graded Lie superalgebras

The three-algebras used by Bagger and Lambert in N=6 theories of ABJM type are in one-to-one correspondence with a certain type of Lie superalgebras. We show that the description of three-algebras as generalized Jordan triple systems naturally leads to this correspondence. Furthermore, we show that simple three-algebras correspond to simple Lie superalgebras, and vice versa. This gives a classification of simple three-algebras from the well known classification of simple Lie superalgebras.Comment: 21 pages. v2: published versio

A Rapid, Highly Sensitive and Open-Access SARS-CoV-2 Detection Assay for Laboratory and Home Testing

RT-qPCR-based diagnostic tests play important roles in combating virus-caused pandemics such as Covid-19. However, their dependence on sophisticated equipment and the associated costs often limits their widespread use. Loop-mediated isothermal amplification after reverse transcription (RT-LAMP) is an alternative nucleic acid detection method that overcomes these limitations. Here, we present a rapid, robust, and sensitive RT-LAMP-based SARS-CoV-2 detection assay. Our 40-min procedure bypasses the RNA isolation step, is insensitive to carryover contamination, and uses a colorimetric readout that enables robust SARS-CoV-2 detection from various sample types. Based on this assay, we have increased sensitivity and scalability by adding a nucleic acid enrichment step (Bead-LAMP), developed a version for home testing (HomeDip-LAMP), and identified open-source RT-LAMP enzymes that can be produced in any molecular biology laboratory. On a dedicated website, rtlamp.org (DOI: 10.5281/zenodo.6033689), we provide detailed protocols and videos. Our optimized, general-purpose RT-LAMP assay is an important step toward population-scale SARS-CoV-2 testing.MK was supported by the Vienna Science and Technology Fund (WWTF) through project COV20-031 (to JZ) and a Cambridge Trust LMB Cambridge Scholarship. Research in the AP lab is supported by the Austrian Science Fund (START Projekt Y 1031-B28, SFB “RNA-Deco” F 80) and EMBO-YIP; research in the JB lab is supported by the European Research Council (ERC- 2015-CoG - 682181). The IMP receives generous institutional funding from Boehringer Ingelheim and the Austrian Research Promotion Agency (Headquarter grant FFG-852936); IMBA is generously supported by the Austrian Academy of Sciences. Work in the LM-A laboratory is supported by grant PID2019- 104176RB-I00/AEI/10.13039/501100011033 of the Spanish Ministry of Science and Innovation, and an institutional grant of the Fundación Ramón Areces.Peer reviewe

The management of acute venous thromboembolism in clinical practice. Results from the European PREFER in VTE Registry

Venous thromboembolism (VTE) is a significant cause of morbidity and mortality in Europe. Data from real-world registries are necessary, as clinical trials do not represent the full spectrum of VTE patients seen in clinical practice. We aimed to document the epidemiology, management and outcomes of VTE using data from a large, observational database. PREFER in VTE was an international, non-interventional disease registry conducted between January 2013 and July 2015 in primary and secondary care across seven European countries. Consecutive patients with acute VTE were documented and followed up over 12 months. PREFER in VTE included 3,455 patients with a mean age of 60.8 ± 17.0 years. Overall, 53.0 % were male. The majority of patients were assessed in the hospital setting as inpatients or outpatients (78.5 %). The diagnosis was deep-vein thrombosis (DVT) in 59.5 % and pulmonary embolism (PE) in 40.5 %. The most common comorbidities were the various types of cardiovascular disease (excluding hypertension; 45.5 %), hypertension (42.3 %) and dyslipidaemia (21.1 %). Following the index VTE, a large proportion of patients received initial therapy with heparin (73.2 %), almost half received a vitamin K antagonist (48.7 %) and nearly a quarter received a DOAC (24.5 %). Almost a quarter of all presentations were for recurrent VTE, with >80 % of previous episodes having occurred more than 12 months prior to baseline. In conclusion, PREFER in VTE has provided contemporary insights into VTE patients and their real-world management, including their baseline characteristics, risk factors, disease history, symptoms and signs, initial therapy and outcomes

Lebenslange körperliche Aktivität durch Bewegung und Sport in der Schule

Lebenslange körperliche Aktivität ist Teil eines adäquaten Gesundheitsverhaltens. Der Begriff beschreibt ein gesundheitswirksames Ausmaß an Bewegung in allen Lebensabschnitten. Die Institution Schule hat die Möglichkeit, das Aktivitätsausmaß der Schülerinnen und Schüler zu beeinflussen. Dieser Einfluss soll aber nicht nur während der Schulzeit wirksam sein, sondern das lebenslange Ausmaß der körperlichen Aktivität positiv beeinflussen. Die vorliegende Arbeit klärt zu Beginn, was lebenslange körperliche Aktivität ist und welche Bedeutung sie hat. Im Hinblick auf die steigende Prävalenz von Übergewicht und Bewegungsmangelkrankheiten muss das Verankern des Konzepts eines lebenslangen Sporttreibens ein zentrales Anliegen der Gesellschaft sein. Im System Schule gibt es aber derzeit Problemfelder, die eine Sozialisation zu Bewegung und Sport erschweren. Der Sportunterricht muss sich mehr an der Lebenswelt der Kinder und Jugendlichen orientieren und qualitativ hochwertig sein. Die Stundenkürzungen und der oftmalige Entfall der Sportstunden sind im Sinne einer Verankerung der Bedeutung von lebenslanger körperlicher Aktivität problematisch. Die Institution Schule hat weitreichende Möglichkeiten. Durch qualitativ hochwertigen Sportunterricht, mehr Bewegung in der Schule und Brücken zu außerschulischen Angeboten können Schülerinnen und Schüler positive Erfahrungen mit Bewegung und Sport machen und sie dauerhaft in ihr Leben integrieren. Schule muss auch darauf bedacht sein, bei unterschiedlichen Vorerfahrungen und Voraussetzungen kompensatorisch wirksam zu sein. Die Arbeit versucht Möglichkeiten aufzuzeigen, in der Schule auf lebenslanges Sporttreiben hinzuführen und diskutiert diese. Schließlich wird jede Schule in die Pflicht genommen, den individuellen Gegebenheiten entsprechend die Schülerinnen und Schüler effektiv auf lebenslanges Sporttreiben vorzubereiten.Lifelong physical activity is part of an adequate health behavior. The term refers to a health-promoting degree of movement in all stages of life. It is possible for school as an institution to influence students? level of physical activity. This influence, however, should not only be effective while attending school, but much rather positively influence the degree of lifelong physical activity. Firstly, this thesis clarifies what lifelong physical activity means and the significance it has. With regard to the increasing prevalence of overweight and illnesses associated with sedentary lifestyles, lifelong physical activity must be a major concern of society. However, in school there are problem areas which impede socialization to stable physical activity patterns. Physical education teaching needs to be led by the everyday lives of students and have high quality. Reduction of physical education (PE) time allocation and cancellation of PE lessons make it difficult to convey the importance of lifelong physical activity.School as an institution has significant opportunities. By means of high quality PE teaching, more physical activity in school and building bridges to offerings outside school, students can experience the value of physical activity and learn to permanently include it into their lives. School also has to take into consideration different preconditions and previous experiences.Options for encouraging lifelong physical activity in school are identified and discussed in this thesis. Finally, it is highlighted that according to the individual circumstances it is every school?s responsibility to prepare students for lifelong physical activity as effectively as possible.vorgelegt von Jakob SchnablAbweichender Titel laut Übersetzung der Verfasserin/des VerfassersZsfassung in dt. u. engl. SpracheGraz, Univ., Dipl.-Arb., 2014(VLID)24258

A rapid, highly sensitive and open-access SARS-CoV-2 detection assay for laboratory and home testing

Global efforts to combat the Covid-19 pandemic caused by the beta coronavirus SARS-CoV-2 are currently based on RT-qPCR-based diagnostic tests. However, their high cost, moderate throughput and reliance on sophisticated equipment limit widespread implementation. Loop-mediated isothermal amplification after reverse transcription (RT-LAMP) is an alternative detection method that has the potential to overcome these limitations. Here we present a rapid, robust, highly sensitive and versatile RT-LAMP based SARS-CoV-2 detection assay. Our forty-minute procedure bypasses a dedicated RNA isolation step, is insensitive to carry-over contamination, and uses a hydroxynaphthol blue (HNB)-based colorimetric readout, which allows robust SARS-CoV-2 detection from various sample types. Based on this assay, we have substantially increased sensitivity and scalability by a simple nucleic acid enrichment step (bead-LAMP), established a pipette-free version for home testing (HomeDip-LAMP), and developed a version with open source enzymes that can be produced in any molecular biology setting. Our advanced, universally applicable RT-LAMP assay is a major step towards population-scale SARS-CoV-2 testing.N