Velocity-dependent annihilation radiation from dark matter subhalos in cosmological simulations

We use the suite of Milky Way-like galaxies in the Auriga simulations to determine the contribution to annihilation radiation from dark matter subhalos in three velocity-dependent dark matter annihilation models: Sommerfeld, p-wave, and d-wave models. We compare these to the corresponding distribution in the velocity-independent s-wave annihilation model. For both the hydrodynamical and dark-matter-only simulations, only in the case of the Sommerfeld-enhanced annihilation does the total annihilation flux from subhalos exceed the total annihilation flux from the smooth halo component within the virial radius of the halo. Progressing from Sommerfeld to the s, p, and d-wave models, the contribution from the smooth component of the halo becomes more dominant, implying that for the p-wave and d-wave models the smooth component is by far the dominant contribution to the radiation. Comparing to the Galactic center excess observed by Fermi-LAT, for all simulated halos the emission is dominated by the smooth halo contribution. However, it is possible that for Sommerfeld models, extrapolation down to mass scales below the current resolution limit of the simulation would imply a non-negligible contribution to the gamma-ray emission from the Galactic Center region

Unified classical logic completeness: a coinductive pearl

Codatatypes are absent from many programming languages and proof assistants. We make a case for their importance by revisiting a classic result: the completeness theorem for first-order logic established through a Gentzen system. The core of the proof establishes an abstract property of possibly infinite derivation trees, independently of the concrete syntax or inference rules. This separation of concerns simplifies the presentation. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems as well as various flavors of first order logic. The corresponding Isabelle/HOL formalization demonstrates the recently introduced support for codatatypes and the Haskell code generator

Cabotegravir for HIV Prevention in Cisgender Men and Transgender Women

Background: Safe and effective long-acting injectable agents for preexposure prophylaxis (PrEP) for human immunodeficiency virus (HIV) infection are needed to increase the options for preventing HIV infection. Methods: We conducted a randomized, double-blind, double-dummy, noninferiority trial to compare long-acting injectable cabotegravir (CAB-LA, an integrase strand-transfer inhibitor [INSTI]) at a dose of 600 mg, given intramuscularly every 8 weeks, with daily oral tenofovir disoproxil fumarate-emtricitabine (TDF-FTC) for the prevention of HIV infection in at-risk cisgender men who have sex with men (MSM) and in at-risk transgender women who have sex with men. Participants were randomly assigned (1:1) to receive one of the two regimens and were followed for 153 weeks. HIV testing and safety evaluations were performed. The primary end point was incident HIV infection. Results: The intention-to-treat population included 4566 participants who underwent randomization; 570 (12.5%) identified as transgender women, and the median age was 26 years (interquartile range, 22 to 32). The trial was stopped early for efficacy on review of the results of the first preplanned interim end-point analysis. Among 1698 participants from the United States, 845 (49.8%) identified as Black. Incident HIV infection occurred in 52 participants: 13 in the cabotegravir group (incidence, 0.41 per 100 person-years) and 39 in the TDF-FTC group (incidence, 1.22 per 100 person-years) (hazard ratio, 0.34; 95% confidence interval, 0.18 to 0.62). The effect was consistent across prespecified subgroups. Injection-site reactions were reported in 81.4% of the participants in the cabotegravir group and in 31.3% of those in the TDF-FTC group. In the participants in whom HIV infection was diagnosed after exposure to CAB-LA, INSTI resistance and delays in the detection of HIV infection were noted. No safety concerns were identified. Conclusions: CAB-LA was superior to daily oral TDF-FTC in preventing HIV infection among MSM and transgender women. Strategies are needed to prevent INSTI resistance in cases of CAB-LA PrEP failure

Fungal planet description sheets : 371–399

Novel species of fungi described in the present study include the following from Australia: Neoseptorioides eucalypti gen. & sp. nov. from Eucalyptus radiata leaves, Phytophthora gondwanensis from soil, Diaporthe tulliensis from rotted stem ends of Theobroma cacao fruit, Diaporthe vawdreyi from fruit rot of Psidium guajava, Magnaporthiopsis agrostidis from rotted roots of Agrostis stolonifera and Semifissispora natalis from Eucalyptus leaf litter. Furthermore, Neopestalotiopsis egyptiaca is described from Mangifera indica leaves (Egypt), Roussoella mexicana from Coffea arabica leaves (Mexico), Calonectria monticola from soil (Thailand), Hygrocybe jackmanii from littoral sand dunes (Canada), Lindgomyces madisonensis from submerged decorticated wood (USA), Neofabraea brasiliensis from Malus domestica (Brazil), Geastrum diosiae from litter (Argentina), Ganoderma wiiroense on angiosperms (Ghana), Arthrinium gutiae from the gut of a grasshopper (India), Pyrenochaeta telephoni from the screen of a mobile phone (India) and Xenoleptographium phialoconidium gen. & sp. nov. on exposed xylem tissues of Gmelina arborea (Indonesia). Several novelties are introduced from Spain, namely Psathyrella complutensis on loamy soil, Chlorophyllum lusitanicum on nitrified grasslands (incl. Chlorophyllum arizonicum comb. nov.), Aspergillus citocrescens from cave sediment and Lotinia verna gen. & sp. nov. from muddy soil. Novel foliicolous taxa from South Africa include Phyllosticta carissicola from Carissa macrocarpa, Pseudopyricularia hagahagae from Cyperaceae and Zeloasperisporium searsiae from Searsia chirindensis. Furthermore, Neophaeococcomyces is introduced as a novel genus, with two new combinations, N. aloes and N. catenatus. Several foliicolous novelties are recorded from La Réunion, France, namely Ochroconis pandanicola from Pandanus utilis, Neosulcatispora agaves gen. & sp. nov. from Agave vera-cruz, Pilidium eucalyptorum from Eucalyptus robusta, Strelitziana syzygii from Syzygium jambos (incl. Strelitzianaceae fam. nov.) and Pseudobeltrania ocoteae from Ocotea obtusata (Beltraniaceae emend.). Morphological and culture characteristics along with ITS DNA barcodes are provided for all taxa.http://www.ingentaconnect.com/content/nhn/pimjam2016Forestry and Agricultural Biotechnology Institute (FABI)Microbiology and Plant Patholog

Peroxisome Biogenesis Occurs in an Unsynchronized Manner in Close Association with the Endoplasmic Reticulum in Temperature-sensitive Yarrowia lipolytica Pex3p Mutants

Pex3p is a peroxisomal integral membrane protein required early in peroxisome biogenesis, and Pex3p-deficient cells lack identifiable peroxisomes. Two temperature-sensitive pex3 mutant strains of the yeast Yarrowia lipolytica were made to investigate the role of Pex3p in the early stages of peroxisome biogenesis. In glucose medium at 16°C, these mutants underwent de novo peroxisome biogenesis and exhibited early matrix protein sequestration into peroxisome-like structures found at the endoplasmic reticulum-rich periphery of cells or sometimes associated with nuclei. The de novo peroxisome biogenesis seemed unsynchronized, with peroxisomes occurring at different stages of development both within cells and between cells. Cells with peripheral nascent peroxisomes and cells with structures morphologically distinct from peroxisomes, such as semi/circular tubular structures that immunostained with antibodies to peroxisomal matrix proteins and to the endoplasmic reticulum-resident protein Kar2p, and that surrounded lipid droplets, were observed during up-regulation of peroxisome biogenesis in cells incubated in oleic acid medium at 16°C. These structures were not detected in wild-type or Pex3p-deficient cells. Their role in peroxisome biogenesis remains unclear. Targeting of peroxisomal matrix proteins to these structures suggests that Pex3p directly or indirectly sequesters components of the peroxisome biogenesis machinery. Such a role is consistent with Pex3p overexpression producing cells with fewer, larger, and clustered peroxisomes