Constraining the Nature of Dark Energy using the SKA

We investigate the potential of the Square Kilometer Array Telescope (SKA) to constrain the sound speed of dark energy. The Integrated Sachs Wolfe (ISW) effect results in a significant power spectrum signal when CMB temperature anisotropies are cross-correlated with galaxies detectable with the SKA in HI. We consider using this measurement, the autocorrelation of HI galaxies and the CMB temperature power spectrum to derive constraints on the sound speed. We study the contributions to the cross-correlation signal made by galaxies at different redshifts and use redshift tomography to improve the signal-to-noise. We use a chi-square analysis to estimate the significance of detecting a sound speed different from that expected in quintessence models, finding that there is potential to distinguish very low sound speeds from the quintessence value.Comment: 8 pages, 8 figures; updated references for publication MNRA

Global patient outcomes after elective surgery: prospective cohort study in 27 low-, middle- and high-income countries.

BACKGROUND: As global initiatives increase patient access to surgical treatments, there remains a need to understand the adverse effects of surgery and define appropriate levels of perioperative care. METHODS: We designed a prospective international 7-day cohort study of outcomes following elective adult inpatient surgery in 27 countries. The primary outcome was in-hospital complications. Secondary outcomes were death following a complication (failure to rescue) and death in hospital. Process measures were admission to critical care immediately after surgery or to treat a complication and duration of hospital stay. A single definition of critical care was used for all countries. RESULTS: A total of 474 hospitals in 19 high-, 7 middle- and 1 low-income country were included in the primary analysis. Data included 44 814 patients with a median hospital stay of 4 (range 2-7) days. A total of 7508 patients (16.8%) developed one or more postoperative complication and 207 died (0.5%). The overall mortality among patients who developed complications was 2.8%. Mortality following complications ranged from 2.4% for pulmonary embolism to 43.9% for cardiac arrest. A total of 4360 (9.7%) patients were admitted to a critical care unit as routine immediately after surgery, of whom 2198 (50.4%) developed a complication, with 105 (2.4%) deaths. A total of 1233 patients (16.4%) were admitted to a critical care unit to treat complications, with 119 (9.7%) deaths. Despite lower baseline risk, outcomes were similar in low- and middle-income compared with high-income countries. CONCLUSIONS: Poor patient outcomes are common after inpatient surgery. Global initiatives to increase access to surgical treatments should also address the need for safe perioperative care. STUDY REGISTRATION: ISRCTN5181700

An international cohort study of autosomal dominant tubulointerstitial kidney disease due to REN mutations identifies distinct clinical subtypes

There have been few clinical or scientific reports of autosomal dominant tubulointerstitial kidney disease due to REN mutations (ADTKD-REN), limiting characterization. To further study this, we formed an international cohort characterizing 111 individuals from 30 families with both clinical and laboratory findings. Sixty-nine individuals had a REN mutation in the signal peptide region (signal group), 27 in the prosegment (prosegment group), and 15 in the mature renin peptide (mature group). Signal group patients were most severely affected, presenting at a mean age of 19.7 years, with the prosegment group presenting at 22.4 years, and the mature group at 37 years. Anemia was present in childhood in 91% in the signal group, 69% prosegment, and none of the mature group. REN signal peptide mutations reduced hydrophobicity of the signal peptide, which is necessary for recognition and translocation across the endoplasmic reticulum, leading to aberrant delivery of preprorenin into the cytoplasm. REN mutations in the prosegment led to deposition of prorenin and renin in the endoplasmic reticulum Golgi intermediate compartment and decreased prorenin secretion. Mutations in mature renin led to deposition of the mutant prorenin in the endoplasmic reticulum, similar to patients with ADTKD-UMOD, with a rate of progression to end stage kidney disease (63.6 years) that was significantly slower vs. the signal (53.1 years) and prosegment groups (50.8 years) (significant hazard ratio 0.367). Thus, clinical and laboratory studies revealed subtypes of ADTKD-REN that are pathophysiologically, diagnostically, and clinically distinct

How simple are \u27simple renal cysts\u27?

The increasing use of medical imaging as an investigative tool is leading to the incidental and frequent finding of renal cysts in the general population. The presence of a solitary or multiple renal cysts has been generally considered benign in the absence of a family history of renal cystic disease or evidence of chronic kidney disease. Nonetheless, a number of recent studies have questioned this consensus by reported associations with the development of hypertension or malignant change. For these reasons, some clinicians consider the presence of renal cysts to be a contraindication to kidney donation. The situation is complicated by the different usage of the term \u27simple\u27 by some radiologists (to indicate non-complex lesions) or nephrologists (to indicate age-related non-hereditary lesions). We propose that the term \u27simple\u27 be replaced with the morphological description, Stage I renal cyst (Bosniak Classification). The presence of a Stage I renal cyst should not preclude kidney donation. However, occult renal disease should be excluded and appropriate donor assessment performed

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

Type-based model checking algorithms for higher-order recursion schemes have recently emerged as a promising approach to the verification of functional programs.We introduce pattern-matching recursion schemes (PMRS) as an accurate model of computation for functional programs that manipulate algebraic data-types. PMRS are a natural extension of higher-order recursion schemes that incorporate pattern-matching in the defining rules. This paper is concerned with the following (undecidable) verification problem: given a correctness property φ, a functional program P (qua PMRS) and a regular input set I, does every term that is reachable from I under rewriting by P satisfy φ? To solve the PMRS verification problem, we present a sound semi-algorithm which is based on model-checking and counterexample guided abstraction finement. Given a no-instance of the verification problem, the method is guaranteed to terminate. From an order-n PMRS and an input set generated by a regular tree grammar, our method constructs an order-n weak PMRS which over-approximates only the first-order pattern-matching behaviour, whilst remaining completely faithful to the higher-order control flow. Using a variation of Kobayashi's type-based approach, we show that the (trivial automaton) model-checking problem for weak PMRS is decidable. When a violation of the property is detected in the abstraction which does not correspond to a violation in the model, the abstraction is automatically refined by 'unfolding' the pattern-matching rules in the program to give successively more and more accurate weak PMRS models. Copyright © 2011 ACM