Male Flat Jockeys Do Not Display Deteriorations in Bone Density or Resting Metabolic Rate in Accordance With Race Riding Experience: Implications for RED-S.

Despite consistent reports of poor bone health in male jockeys, it is not yet known if this is a consequence of low energy availability or lack of an osteogenic stimulus. Given the rationale that low energy availability is a contributing factor in low bone health, we tested the hypothesis that both hip and lumbar bone mineral density (BMD) should progressively worsen in accordance with the years of riding. In a cross-sectional design, male apprentice (n=17) and senior (n=14) jockeys (matched for body mass and fat free mass) were assessed for hip and lumbar spine BMD as well as both measured and predicted resting metabolic rate (RMR). Despite differences (P0.05) in hip (-0.9 ± 1.1 v -0.8 ± 0.7) and lumbar Z-scores (-1.3 ± 1.4 v -1.5 ± 1) or measured RMR (1459 ± 160 v 1500 ± 165 kcal.d-1) between apprentices and senior jockeys, respectively. Additionally, years of race riding did not demonstrate any significant correlations (P>0.05) with either hip or lumbar spine BMD. Measured RMR was also not different (P>0.05) from predicted RMR in either apprentice (1520 ± 44 kcal.d-1) or senior jockeys (1505 ± 70 kcal.d-1). When considered with previously published data examining under-reporting of energy intake and direct assessments of energy expenditure, we suggest that low BMD in jockeys is not due to low energy availability per se, but rather, the lack of an osteogenic stimulus associated with riding

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Subclinical cardiopulmonary dysfunction in stage 3 chronic kidney disease.

OBJECTIVE: Reduced exercise capacity is well documented in end-stage chronic kidney disease (CKD), preceded by changes in cardiac morphology in CKD stage 3. However, it is unknown whether subclinical cardiopulmonary dysfunction occurs in CKD stage 3 independently of heart failure. METHODS: Prospective observational cross-sectional study of exercise capacity assessed by cardiopulmonary exercise testing in 993 preoperative patients. Primary outcome was peak oxygen consumption (VO2peak). Anaerobic threshold (AT), oxygen pulse and exercise-evoked measures of autonomic function were analysed, controlling for CKD stage 3, age, gender, diabetes mellitus and hypertension. RESULTS: CKD stage 3 was present in 93/993 (9.97%) patients. Diabetes mellitus (RR 2.49 (95% CI 1.59 to 3.89); p<0.001), and hypertension (RR 3.20 (95% CI 2.04 to 5.03); p<0.001)) were more common in CKD stage 3. Cardiac failure (RR 0.83 (95% CI 0.30 to 2.24); p=0.70) and ischaemic heart disease (RR 1.40 (95% CI 0.97 to 2.02); p=0.09) were not more common in CKD stage 3. Patients with CKD stage 3 had lower predicted VO2peak (mean difference: 6% (95% CI 1% to 11%); p=0.02), lower peak heart rate (mean difference:9 bpm (95% CI 3 to 14); p=0.03)), lower AT (mean difference: 1.1 mL/min/kg (95% CI 0.4 to 1.7); p<0.001) and impaired heart rate recovery (mean difference: 4 bpm (95% CI 1 to 7); p<0.001)). CONCLUSIONS: Subclinical cardiopulmonary dysfunction in CKD stage 3 is common. This study suggests that maladaptive cardiovascular/autonomic dysfunction may be established in CKD stage 3, preceding pathophysiology reported in end-stage CKD

Satisfiability Modulo Transcendental Functions via Incremental Linearization

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted in the abstract space, which is described in terms of the combined theory of linear arithmetic on the rationals with uninterpreted functions, and are incrementally axiomatized by means of upper- and lower-bounding piecewise-linear functions. Suitable numerical techniques are used to ensure that the abstractions of the transcendental functions are sound even in presence of irrationals. Our experimental evaluation on benchmarks from verification and mathematics demonstrates the potential of our approach, showing that it compares favorably with delta-satisfiability /interval propagation and methods based on theorem proving

Sympathetic autonomic dysfunction and impaired cardiovascular performance in higher risk surgical patients: implications for perioperative sympatholysis

OBJECTIVE: Recent perioperative trials have highlighted the urgent need for a better understanding of why sympatholytic drugs intended to reduce myocardial injury are paradoxically associated with harm (stroke, myocardial infarction). We hypothesised that following a standardised autonomic challenge, a subset of patients may demonstrate excessive sympathetic activation which is associated with exercise-induced ischaemia and impaired cardiac output. METHODS: Heart rate rise during unloaded pedalling (zero workload) prior to the onset of cardiopulmonary exercise testing (CPET) was measured in 2 observation cohorts of elective surgical patients. The primary outcome was exercise-evoked, ECG-defined ischaemia (>1 mm depression; lead II) associated with an exaggerated increase in heart rate (EHRR ≥12 bpm based on prognostic data for all-cause cardiac death in preceding epidemiological studies). Secondary outcomes included cardiopulmonary performance (oxygen pulse (surrogate for left ventricular stroke volume), peak oxygen consumption (VO2peak), anaerobic threshold (AT)) and perioperative heart rate. RESULTS: EHRR was present in 40.4-42.7% in both centres (n=232, n=586 patients). Patients with EHRR had higher heart rates perioperatively (p<0.05). Significant ST segment depression during CPET was more common in EHRR patients (relative risk 1.7 (95% CI 1.3 to 2.1); p<0.001). EHRR was associated with 11% (95%CI 7% to 15%) lower predicted oxygen pulse (p<0.0001), consistent with impaired left ventricular function. CONCLUSIONS: EHRR is common and associated with ECG-defined ischaemia and impaired cardiac performance. Perioperative sympatholysis may further detrimentally affect cardiac output in patients with this phenotype

Hadronic production of bottom-squark pairs with electroweak contributions

We present the complete computation of the tree-level and the next-to-leading order electroweak contributions to bottom-squark pair production at the LHC. The computation is performed within the minimal supersymmetric extension of the Standard Model. We discuss the numerical impact of these contributions in several supersymmetric scenarios.Comment: 33 pages, v2: preprint numbers correcte

General analysis of signals with two leptons and missing energy at the Large Hadron Collider

A signal of two leptons and missing energy is challenging to analyze at the Large Hadron Collider (LHC) since it offers only few kinematical handles. This signature generally arises from pair production of heavy charged particles which each decay into a lepton and a weakly interacting stable particle. Here this class of processes is analyzed with minimal model assumptions by considering all possible combinations of spin 0, 1/2 or 1, and of weak iso-singlets, -doublets or -triplets for the new particles. Adding to existing work on mass and spin measurements, two new variables for spin determination and an asymmetry for the determination of the couplings of the new particles are introduced. It is shown that these observables allow one to independently determine the spin and the couplings of the new particles, except for a few cases that turn out to be indistinguishable at the LHC. These findings are corroborated by results of an alternative analysis strategy based on an automated likelihood test.Comment: 18 pages, 3 figures, LaTe

Supersymmetric top and bottom squark production at hadron colliders

The scalar partners of top and bottom quarks are expected to be the lightest squarks in supersymmetric theories, with potentially large cross sections at hadron colliders. We present predictions for the production of top and bottom squarks at the Tevatron and the LHC, including next-to-leading order corrections in supersymmetric QCD and the resummation of soft gluon emission at next-to-leading-logarithmic accuracy. We discuss the impact of the higher-order corrections on total cross sections and transverse-momentum distributions, and provide an estimate of the theoretical uncertainty due to scale variation and the parton distribution functions.Comment: 29 pages, 6 figure

Elective Open Suprarenal Aneurysm Repair in England from 2000 to 2010 an Observational Study of Hospital Episode Statistics

Background: Open surgery is widely used as a benchmark for the results of fenestrated endovascular repair of complex abdominal aortic aneurysms (AAA). However, the existing evidence stems from single-centre experiences, and may not be reproducible in wider practice. National outcomes provide valuable information regarding the safety of suprarenal aneurysm repair. Methods: Demographic and clinical data were extracted from English Hospital Episodes Statistics for patients undergoing elective suprarenal aneurysm repair from 1 April 2000 to 31 March 2010. Thirty-day mortality and five-year survival were analysed by logistic regression and Cox proportional hazards modeling. Results: 793 patients underwent surgery with 14% overall 30-day mortality, which did not improve over the study period. Independent predictors of 30-day mortality included age, renal disease and previous myocardial infarction. 5-year survival was independently reduced by age, renal disease, liver disease, chronic pulmonary disease, and known metastatic solid tumour. There was significant regional variation in both 30-day mortality and 5-year survival after risk-adjustment. Regional differences in outcome were eliminated in a sensitivity analysis for perioperative outcome, conducted by restricting analysis to survivors of the first 30 days after surgery. Conclusions: Elective suprarenal aneurysm repair was associated with considerable mortality and significant regional variation across England. These data provide a benchmark to assess the efficacy of complex endovascular repair of supra-renal aneurysms, though cautious interpretation is required due to the lack of information regarding aneurysm morphology. More detailed study is required, ideally through the mandatory submission of data to a national registry of suprarenal aneurysm repair

SUSY parameter determination at the LHC using cross sections and kinematic edges

We study the determination of supersymmetric parameters at the LHC from a global fit including cross sections and edges of kinematic distributions. For illustration, we focus on a minimal supergravity scenario and discuss how well it can be constrained at the LHC operating at 7 and 14 TeV collision energy, respectively. We find that the inclusion of cross sections greatly improves the accuracy of the SUSY parameter determination, and allows to reliably extract model parameters even in the initial phase of LHC data taking with 7 TeV collision energy and 1/fb integrated luminosity. Moreover, cross section information may be essential to study more general scenarios, such as those with non-universal gaugino masses, and distinguish them from minimal, universal, models.Comment: 22 pages, 8 figure