Propositional computability logic I

In the same sense as classical logic is a formal theory of truth, the recently initiated approach called computability logic is a formal theory of computability. It understands (interactive) computational problems as games played by a machine against the environment, their computability as existence of a machine that always wins the game, logical operators as operations on computational problems, and validity of a logical formula as being a scheme of "always computable" problems. The present contribution gives a detailed exposition of a soundness and completeness proof for an axiomatization of one of the most basic fragments of computability logic. The logical vocabulary of this fragment contains operators for the so called parallel and choice operations, and its atoms represent elementary problems, i.e. predicates in the standard sense. This article is self-contained as it explains all relevant concepts. While not technically necessary, however, familiarity with the foundational paper "Introduction to computability logic" [Annals of Pure and Applied Logic 123 (2003), pp.1-99] would greatly help the reader in understanding the philosophy, underlying motivations, potential and utility of computability logic, -- the context that determines the value of the present results. Online introduction to the subject is available at http://www.cis.upenn.edu/~giorgi/cl.html and http://www.csc.villanova.edu/~japaridz/CL/gsoll.html .Comment: To appear in ACM Transactions on Computational Logi

Snatch trajectory of elite level girevoy (Kettlebell) sport athletes and its implications to strength and conditioning coaching

Girevoy sport (GS) has developed only recently in the West, resulting in a paucity of English scientific literature available. The aim was to document kettlebell trajectory of GS athletes performing the kettlebell snatch. Four elite GS athletes (age = 29-47 years, body mass = 68.3-108.1 kg, height 1.72-1.89 m) completed one set of 16 repetitions with a 32.1 kg kettlebell. Trajectory was captured with the VICON motion analysis system (250 Hz) and analysed with VICON Nexus (1.7.1). The kettlebell followed a ‘C’ shape trajectory in the sagittal plane. Mean peak velocity in the upwards phase was 4.03 ± 0.20 m s –1, compared to 3.70 ± 0.30 m s–1 during the downwards phase, and mean radial error across the sagittal and frontal planes was 0.022 ± 0.006 m. Low error in the movement suggests consistent trajectory is important to reduce extraneous movement and improve efficiency. While the kettlebell snatch and swing both require large anterior-posterior motion, the snatch requires the kettlebell to be held stationary overhead. Therefore, a different coaching application is required to that of a barbell snatch

Methodological tests of the use of trace elements as tracers to assess root activity

peer-reviewedN.J.H. was funded by the Irish Research Council, co-funded by Marie Curie Actions under FP7. The field experiments A, B and G were supported by the European Community's Seventh Framework Programme (FP7/2007-2013) under the grant agreements FP7-266018 (AnimalChange) and FP7- 244983 (MultiSward). Experiment F was supported by the German Science Foundation (FOR 456).Background and aims There is increasing interest in how resource utilisation in grassland ecosystems is affected by changes in plant diversity and abiotic conditions. Research to date has mainly focussed on aboveground responses and there is limited insight into belowground processes. The aim of this study was to test a number of assumptions for the valid use of the trace elements caesium, lithium, rubidium and strontium as tracers to assess the root activity of several grassland species. Methods We carried out a series of experiments addressing the reliability of soil labelling, injection density, incubation time, application rate and the comparability of different tracers in a multiple tracer method. Results The results indicate that it is possible to achieve a reliable labelling of soil depths. Tracer injection density affected the variability but not the mean level of plant tracer concentrations. Tracer application rates should be based on pilot studies, because of site- and species-specific responses. The trace elements did not meet prerequisites to be used in a multiple tracer method. Conclusions The use of trace elements as tracers is potentially a very useful tool to give insight into plant root activity at different soil depths. This work highlights some of the main benefits and pitfalls of the method and provides specific recommendations to assist the design of tracer experiments and interpretation of the results.N.J.H. was funded by the Irish Research Council, co-funded by Marie Curie Actions under FP7. The field experiments A, B and G were supported by the European Community's Seventh Framework Programme (FP7/2007-2013) under the grant agreements FP7-266018 (AnimalChange) and FP7- 244983 (MultiSward). Experiment F was supported by the German Science Foundation (FOR 456).European Unio

Residual Symmetries in the Spectrum of Periodically Driven Alkali Rydberg States

We identify a fundamental structure in the spectrum of microwave driven alkali Rydberg states, which highlights the remnants of the Coulomb symmetry in the presence of a non-hydrogenic core. Core-induced corrections with respect to the hydrogen spectrum can be accounted for by a perturbative approach.Comment: 7 pages, 2 figures, to be published in Europhysics Letter

Bacillary angiomatosis in HIV-infected patients - An epidemiological and clinical study

Background: No data were available on the epidemiological and clinical characteristics of bacillary angiomatosis (BA) in Germany. Objective:To determine epidemiological and clinical data on HIV-associated BA. Methods: A chart review of all BA cases between 1990 and 1998 was performed in 23 German AIDS treatment units. Results: A total of 21 cases of BA was diagnosed. During th is period, the participating HIV centers treated about 17,000 HIV-infected patients. As a result, a BA prevalence of 1.2 cases/1,000 patients can be assumed. 19 BA were localized in the skin; in 5 cases bones and in 4 cases the liver were involved. Out of 20 patients who received antibiotic therapy, 13 had complete remission. The median time of duration up to complete remission was 32 days (9-82), During the follow-up of the 20 patients, 7 relapses were observed, Conclusion: BA is a rare HIV-associated disease with a prevalence of 1,2 cases/1,000 patients in the presented study. Copyright (C) 2000 S. Karger AG, Basel

Reliability of kettlebell swing one and five repetition maximum

BACKGROUND: Research into the kettlebell swing has increased in the last decade. There has been a paucity of literature assessing an individual’s ability to perform the kettlebell swing exercise. The purpose of this study was to determine the test-retest reliability of the one and five repetition maximum (1RM and 5RM) kettlebell swing. MATERIALS & METHODS: Twenty four recreational resistance-trained participants performed an isometric mid-thigh pull (IMTP) and two familiarization sessions followed by three test sessions for each RM load approximately one week apart, using a custom-built plate-loaded kettlebell. On each test occasion, subjects completed a series of warm-up sets followed by 3–4 progressively heavier kettlebell swings to a standardized height until 1RM or 5RM was reached. Test-retest reliability was calculated using the intra-class correlation (ICC) and typical error was represented as the coefficient of variation (CV%) with 90% confidence limits (90% CL). The smallest worthwhile change (SWC%) representing the smallest change of practical importance, was calculated as 0.2 × between-subject standard deviation. The relationship of kettlebell swing performance and maximum strength was determined by Pearson correlation with ±90% CL between the absolute peak force recorded during IMTP and 1RM or 5RM. RESULTS: Results demonstrated a high test-retest reliability for both the 1RM (ICC = 0.97, 90% CL [0.95–0.99]; CV = 2.7%, 90% CL [2.2–3.7%]) and 5RM (ICC = 0.98, 90% CL [0.96–0.99]; CV = 2.4%, 90% CL [1.9–3.3%]), respectively. The CV% was lower than the SWC for both the 1RM (SWC = 2.8%, 90% CL [1.9–3.5]) and 5RM (SWC = 2.9%, 90% CL [1.9–3.6]) kettlebell swing. The correlation between IMTP absolute peak force and the 1RM (r = 0.69, 90% CL 0.43–0.83) was large and very large for the 5RM (r = 0.75, 90% CL [0.55–0.87]). CONCLUSIONS: These results demonstrate the stability of 1RM and 5RM kettlebell swing performance after two familiarization sessions. Practitioners can be confident that changes in kettlebell swing 1RM and 5RM performance of >3.6 kg represent a practically important difference, which is the upper limit of the 90% CL