COMPUTABILITY THEORY: An Introduction for Students of Computer Science

The primary goal of this book is to introduce the basic concepts of effective computability and to prepare the reader for the study of formal language theory, recursive function theory, and the theory of computational complexity

An Extension of the Direct Method for Verifying Programs

A direct method based on a finite set of path formulas which describe the input-output relations of a given program can be used to verify programs containing no overlapping loops. One major difficulty in verifying programs with overlapping loops using the above method is that too many path formulas (possibly infinite) needed to be considered. In this paper, we circumvent the above difficulty by applying the concept of modularity. The idea is to divide a program with overlapping loops into several small modules so that each module contains no overlapping loop. This can always be achieved if the program is in structured form. Then the path formulas will be derived for each module. By combining the path formulas for the modules, one can further obtain the path formulas for the given program and then use them to verify the program

Simplified Models for LHC New Physics Searches

This document proposes a collection of simplified models relevant to the design of new-physics searches at the LHC and the characterization of their results. Both ATLAS and CMS have already presented some results in terms of simplified models, and we encourage them to continue and expand this effort, which supplements both signature-based results and benchmark model interpretations. A simplified model is defined by an effective Lagrangian describing the interactions of a small number of new particles. Simplified models can equally well be described by a small number of masses and cross-sections. These parameters are directly related to collider physics observables, making simplified models a particularly effective framework for evaluating searches and a useful starting point for characterizing positive signals of new physics. This document serves as an official summary of the results from the "Topologies for Early LHC Searches" workshop, held at SLAC in September of 2010, the purpose of which was to develop a set of representative models that can be used to cover all relevant phase space in experimental searches. Particular emphasis is placed on searches relevant for the first ~50-500 pb-1 of data and those motivated by supersymmetric models. This note largely summarizes material posted at http://lhcnewphysics.org/, which includes simplified model definitions, Monte Carlo material, and supporting contacts within the theory community. We also comment on future developments that may be useful as more data is gathered and analyzed by the experiments.Comment: 40 pages, 2 figures. This document is the official summary of results from "Topologies for Early LHC Searches" workshop (SLAC, September 2010). Supplementary material can be found at http://lhcnewphysics.or

Autophagy Impairment Induces Premature Senescence in Primary Human Fibroblasts

BACKGROUND:Recent studies have demonstrated that activation of autophagy increases the lifespan of organisms from yeast to flies. In contrast to the lifespan extension effect in lower organisms, it has been reported that overexpression of unc-51-like kinase 3 (ULK3), the mammalian homolog of autophagy-specific gene 1 (ATG1), induces premature senescence in human fibroblasts. Therefore, we assessed whether the activation of autophagy would genuinely induce premature senescence in human cells. METHODOLOGY/PRINCIPAL FINDINGS:Depletion of ATG7, ATG12, or lysosomal-associated membrane protein 2 (Lamp2) by transfecting siRNA or infecting cells with a virus containing gene-specific shRNA resulted in a senescence-like state in two strains of primary human fibroblasts. Prematurely senescent cells induced by autophagy impairment exhibited the senescent phenotypes, similar to the replicatively senescent cells, such as increased senescence associated β-galactosidase (SA-β-gal) activity, reactive oxygen species (ROS) generation, and accumulation of lipofuscin. In addition, expression levels of ribosomal protein S6 kinase1 (S6K1), p-S6K1, p-S6, and eukaryotic translation initiation factor 4E (eIF4E) binding protein 1 (4E-BP1) in the mammalian target of rapamycin (mTOR) pathway and beclin-1, ATG7, ATG12-ATG5 conjugate, and the sequestosome 1 (SQSTM1/p62) monomer in the autophagy pathway were decreased in both the replicatively and the autophagy impairment-induced prematurely senescent cells. Furthermore, it was found that ROS scavenging by N-acetylcysteine (NAC) and inhibition of p53 activation by pifithrin-α or knockdown of p53 using siRNA, respectively, delayed autophagy impairment-induced premature senescence and restored the expression levels of components in the mTOR and autophagy pathways. CONCLUSION:Taken together, we concluded that autophagy impairment induces premature senescence through a ROS- and p53-dependent manner in primary human fibroblasts

Views and Experiences of Sex, Sexuality and Relationships Following Spinal Cord Injury: A Systematic Review and Narrative Synthesis of the Qualitative Literature

Research examining the effects of spinal cord injury on sexuality has largely focused on physiological functioning and quantification of dysfunction following injury. This paper reports a systematic review of qualitative research that focused on the views and experiences of people with spinal cord injury on sex and relationships. The review addressed the following research question: What are the views and experiences of people with spinal cord injury of sex, sexuality and relationships following injury? Five databases were relevant and employed in the review: CINAHL (1989-2016 only), PsychInfo, PubMed, Scopus and Web of Science, for research published between 1 January 1980 and 30 November 2019. After removing duplicates, 257 records remained and were screened using a two-stage approach to inclusion and quality appraisal. Following screening, 27 met the criteria for inclusion and are reported in the paper. The review includes studies from fifteen countries across five continents. Two main approaches to data analysis summary and thematic synthesis were undertaken to analyze the qualitative data reported in the papers. The analysis revealed four main themes: sexual identity; significant and generalized others, sexual embodiment; and; sexual rehabilitation and education

Evolutionary History of Rabies in Ghana

Rabies virus (RABV) is enzootic throughout Africa, with the domestic dog (Canis familiaris) being the principal vector. Dog rabies is estimated to cause 24,000 human deaths per year in Africa, however, this estimate is still considered to be conservative. Two sub-Saharan African RABV lineages have been detected in West Africa. Lineage 2 is present throughout West Africa, whereas Africa 1a dominates in northern and eastern Africa, but has been detected in Nigeria and Gabon, and Africa 1b was previously absent from West Africa. We confirmed the presence of RABV in a cohort of 76 brain samples obtained from rabid animals in Ghana collected over an eighteen-month period (2007–2009). Phylogenetic analysis of the sequences obtained confirmed all viruses to be RABV, belonging to lineages previously detected in sub-Saharan Africa. However, unlike earlier reported studies that suggested a single lineage (Africa 2) circulates in West Africa, we identified viruses belonging to the Africa 2 lineage and both Africa 1 (a and b) sub-lineages. Phylogeographic Bayesian Markov chain Monte Carlo analysis of a 405 bp fragment of the RABV nucleoprotein gene from the 76 new sequences derived from Ghanaian animals suggest that within the Africa 2 lineage three clades co-circulate with their origins in other West African countries. Africa 1a is probably a western extension of a clade circulating in central Africa and the Africa 1b virus a probable recent introduction from eastern Africa. We also developed and tested a novel reverse-transcription loop-mediated isothermal amplification (RT-LAMP) assay for the detection of RABV in African laboratories. This RT-LAMP was shown to detect both Africa 1 and 2 viruses, including its adaptation to a lateral flow device format for product visualization. These data suggest that RABV epidemiology is more complex than previously thought in West Africa and that there have been repeated introductions of RABV into Ghana. This analysis highlights the potential problems of individual developing nations implementing rabies control programmes in the absence of a regional programme

A Simple Genetic Architecture Underlies Morphological Variation in Dogs

The largest genetic study to date of morphology in domestic dogs identifies genes controlling nearly 100 morphological traits and identifies important trends in phenotypic variation within this species

Cytoplasmic CUG RNA Foci Are Insufficient to Elicit Key DM1 Features

The genetic basis of myotonic dystrophy type I (DM1) is the expansion of a CTG tract located in the 3′ untranslated region of DMPK. Expression of mutant RNAs encoding expanded CUG repeats plays a central role in the development of cardiac disease in DM1. Expanded CUG tracts form both nuclear and cytoplasmic aggregates, yet the relative significance of such aggregates in eliciting DM1 pathology is unclear. To test the pathophysiology of CUG repeat encoding RNAs, we developed and analyzed mice with cardiac-specific expression of a beta-galactosidase cassette in which a (CTG)400 repeat tract was positioned 3′ of the termination codon and 5′ of the bovine growth hormone polyadenylation signal. In these animals CUG aggregates form exclusively in the cytoplasm of cardiac cells. A key pathological consequence of expanded CUG repeat RNA expression in DM1 is aberrant RNA splicing. Abnormal splicing results from the functional inactivation of MBNL1, which is hypothesized to occur due to MBNL1 sequestration in CUG foci or from elevated levels of CUG-BP1. We therefore tested the ability of cytoplasmic CUG foci to elicit these changes. Aggregation of CUG RNAs within the cytoplasm results both in Mbnl1 sequestration and in approximately a two fold increase in both nuclear and cytoplasmic Cug-bp1 levels. Significantly, despite these changes RNA splice defects were not observed and functional analysis revealed only subtle cardiac dysfunction, characterized by conduction defects that primarily manifest under anesthesia. Using a human myoblast culture system we show that this transgene, when expressed at similar levels to a second transgene, which encodes expanded CTG tracts and facilitates both nuclear focus formation and aberrant splicing, does not elicit aberrant splicing. Thus the lack of toxicity of cytoplasmic CUG foci does not appear to be a consequence of low expression levels. Our results therefore demonstrate that the cellular location of CUG RNA aggregates is an important variable that influences toxicity and support the hypothesis that small molecules that increase the rate of transport of the mutant DMPK RNA from the nucleus into the cytoplasm may significantly improve DM1 pathology

Magnetic Fields toward Ophiuchus-B Derived from SCUBA-2 Polarization Measurements

We present the results of dust emission polarization measurements of Ophiuchus-B (Oph-B) carried out using the Submillimetre Common-User Bolometer Array 2 (SCUBA-2) camera with its associated polarimeter (POL-2) on the James Clerk Maxwell Telescope in Hawaii. This work is part of the B-fields in Star-forming Region Observations survey initiated to understand the role of magnetic fields in star formation for nearby star-forming molecular clouds. We present a first look at the geometry and strength of magnetic fields in Oph-B. The field geometry is traced over ~0.2 pc, with clear detection of both of the sub-clumps of Oph-B. The field pattern appears significantly disordered in sub-clump Oph-B1. The field geometry in Oph-B2 is more ordered, with a tendency to be along the major axis of the clump, parallel to the filamentary structure within which it lies. The degree of polarization decreases systematically toward the dense core material in the two sub-clumps. The field lines in the lower density material along the periphery are smoothly joined to the large-scale magnetic fields probed by NIR polarization observations. We estimated a magnetic field strength of 630 ± 410 μG in the Oph-B2 sub-clump using a Davis–Chandrasekhar–Fermi analysis. With this magnetic field strength, we find a mass-to-flux ratio λ = 1.6 ± 1.1, which suggests that the Oph-B2 clump is slightly magnetically supercritical