(1,0) superconformal theories in six dimensions and Killing spinor equations

We solve the Killing spinor equations of 6-dimensional (1,0) superconformal theories in all cases. In particular, we derive the conditions on the fields imposed by the Killing spinor equations and demonstrate that these depend on the isotropy group of the Killing spinors. We focus on the models proposed by Samtleben et al in \cite{ssw} and find that there are solutions preserving 1,2, 4 and 8 supersymmetries. We also explore the solutions which preserve 4 supersymmetries and find that many models admit string and 3-brane solitons as expected from the M-brane intersection rules. The string solitons are smooth regulated by the moduli of instanton configurations.Comment: 26 page

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

DNA replication stress restricts ribosomal DNA copy number

Ribosomal RNAs (rRNAs) in budding yeast are encoded by ~100–200 repeats of a 9.1kb sequence arranged in tandem on chromosome XII, the ribosomal DNA (rDNA) locus. Copy number of rDNA repeat units in eukaryotic cells is maintained far in excess of the requirement for ribosome biogenesis. Despite the importance of the repeats for both ribosomal and non-ribosomal functions, it is currently not known how “normal” copy number is determined or maintained. To identify essential genes involved in the maintenance of rDNA copy number, we developed a droplet digital PCR based assay to measure rDNA copy number in yeast and used it to screen a yeast conditional temperature-sensitive mutant collection of essential genes. Our screen revealed that low rDNA copy number is associated with compromised DNA replication. Further, subculturing yeast under two separate conditions of DNA replication stress selected for a contraction of the rDNA array independent of the replication fork blocking protein, Fob1. Interestingly, cells with a contracted array grew better than their counterparts with normal copy number under conditions of DNA replication stress. Our data indicate that DNA replication stresses select for a smaller rDNA array. We speculate that this liberates scarce replication factors for use by the rest of the genome, which in turn helps cells complete DNA replication and continue to propagate. Interestingly, tumors from mini chromosome maintenance 2 (MCM2)-deficient mice also show a loss of rDNA repeats. Our data suggest that a reduction in rDNA copy number may indicate a history of DNA replication stress, and that rDNA array size could serve as a diagnostic marker for replication stress. Taken together, these data begin to suggest the selective pressures that combine to yield a “normal” rDNA copy number

Validation of key behaviourally based mental health diagnoses in administrative data: suicide attempt, alcohol abuse, illicit drug abuse and tobacco use

<p>Abstract</p> <p>Background</p> <p>Observational research frequently uses administrative codes for mental health or substance use diagnoses and for important behaviours such as suicide attempts. We sought to validate codes (<it>International Classification of Diseases, 9^thedition, clinical modification </it>diagnostic and E-codes) entered in Veterans Health Administration administrative data for patients with depression versus a gold standard of electronic medical record text ("chart notation").</p> <p>Methods</p> <p>Three random samples of patients were selected, each stratified by geographic region, gender, and year of cohort entry, from a VHA depression treatment cohort from April 1, 1999 to September 30, 2004. The first sample was selected from patients who died by suicide, the second from patients who remained alive on the date of death of suicide cases, and the third from patients with a new start of a commonly used antidepressant medication. Four variables were assessed using administrative codes in the year prior to the index date: suicide attempt, alcohol abuse/dependence, drug abuse/dependence and tobacco use.</p> <p>Results</p> <p>Specificity was high (≥ 90%) for all four administrative codes, regardless of the sample. Sensitivity was ≤75% and was particularly low for suicide attempt (≤ 17%). Positive predictive values for alcohol dependence/abuse and tobacco use were high, but barely better than flipping a coin for illicit drug abuse/dependence. Sensitivity differed across the three samples, but was highest in the suicide death sample.</p> <p>Conclusions</p> <p>Administrative data-based diagnoses among VHA records have high specificity, but low sensitivity. The accuracy level varies by different diagnosis and by different patient subgroup.</p

A 2017 Horizon Scan of Emerging Issues for Global Conservation and Biological Diversity

We present the results of our eighth annual horizon scan of emerging issues likely to affect global biological diversity, the environment, and conservation efforts in the future. The potential effects of these novel issues might not yet be fully recognized or understood by the global conservation community, and the issues can be regarded as both opportunities and risks. A diverse international team with collective expertise in horizon scanning, science communication, and conservation research, practice, and policy reviewed 100 potential issues and identified 15 that qualified as emerging, with potential substantial global effects. These issues include new developments in energy storage and fuel production, sand extraction, potential solutions to combat coral bleaching and invasive marine species, and blockchain technology.Cambridge Conservation Initiative, funded by the Natural Environment Research Council and the Royal Society for the Protection of Birds, Arcadia, Natural Environment Research Council (Grant ID: NE/N014472/1

Respiratory disease and the role of oral bacteria

The relationship between oral health and systemic conditions, including the association between poor oral hygiene, periodontal disease, and respiratory disease, has been increasingly debated over recent decades. A considerable number of hypotheses have sought to explain the possible role of oral bacteria in the pathogenesis of respiratory diseases, and some clinical and epidemiological studies have found results favoring such an association. This review discusses the effect of oral bacteria on respiratory disease, briefly introduces the putative biological mechanisms involved, and the main factors that could contribute to this relationship. It also describes the role of oral care for individuals who are vulnerable to respiratory infections

Measurement of the Forward-Backward Asymmetry in the B -> K(*) mu+ mu- Decay and First Observation of the Bs -> phi mu+ mu- Decay

We reconstruct the rare decays $B^+ \to K^+\mu^+\mu^-$, $B^0 \to K^{*}(892)^0\mu^+\mu^-$, and $B^0_s \to \phi(1020)\mu^+\mu^-$ in a data sample corresponding to $4.4 {\rm fb^{-1}}$ collected in $p\bar{p}$ collisions at $\sqrt{s}=1.96 {\rm TeV}$ by the CDF II detector at the Fermilab Tevatron Collider. Using $121 \pm 16$ $B^+ \to K^+\mu^+\mu^-$ and $101 \pm 12$ $B^0 \to K^{*0}\mu^+\mu^-$ decays we report the branching ratios. In addition, we report the measurement of the differential branching ratio and the muon forward-backward asymmetry in the $B^+$ and $B^0$ decay modes, and the $K^{*0}$ longitudinal polarization in the $B^0$ decay mode with respect to the squared dimuon mass. These are consistent with the theoretical prediction from the standard model, and most recent determinations from other experiments and of comparable accuracy. We also report the first observation of the $B^0_s \to \phi\mu^+\mu^- decay and measure its branching ratio${\mathcal{B}}(B^0_s \to \phi\mu^+\mu^-) = [1.44 \pm 0.33 \pm 0.46] \times 10^{-6}$using$27 \pm 6$signal events. This is currently the most rare$B^0_s$ decay observed.Comment: 7 pages, 2 figures, 3 tables. Submitted to Phys. Rev. Let

Measurements of the properties of Lambda_c(2595), Lambda_c(2625), Sigma_c(2455), and Sigma_c(2520) baryons

We report measurements of the resonance properties of Lambda_c(2595)+ and Lambda_c(2625)+ baryons in their decays to Lambda_c+ pi+ pi- as well as Sigma_c(2455)++,0 and Sigma_c(2520)++,0 baryons in their decays to Lambda_c+ pi+/- final states. These measurements are performed using data corresponding to 5.2/fb of integrated luminosity from ppbar collisions at sqrt(s) = 1.96 TeV, collected with the CDF II detector at the Fermilab Tevatron. Exploiting the largest available charmed baryon sample, we measure masses and decay widths with uncertainties comparable to the world averages for Sigma_c states, and significantly smaller uncertainties than the world averages for excited Lambda_c+ states.Comment: added one reference and one table, changed order of figures, 17 pages, 15 figure

Search for a New Heavy Gauge Boson Wprime with Electron + missing ET Event Signature in ppbar collisions at sqrt(s)=1.96 TeV

We present a search for a new heavy charged vector boson $W^\prime$ decaying to an electron-neutrino pair in $p\bar{p}$ collisions at a center-of-mass energy of 1.96\unit{TeV}. The data were collected with the CDF II detector and correspond to an integrated luminosity of 5.3\unit{fb}^{-1}. No significant excess above the standard model expectation is observed and we set upper limits on $\sigma\cdot{\cal B}(W^\prime\to e\nu)$. Assuming standard model couplings to fermions and the neutrino from the $W^\prime$ boson decay to be light, we exclude a $W^\prime$ boson with mass less than 1.12\unit{TeV/}c^2 at the 95\unit{%} confidence level.Comment: 7 pages, 2 figures Submitted to PR