Male offspring born to mildly ZIKV-infected mice are at risk of developing neurocognitive disorders in adulthood

Congenital Zika virus (ZIKV) syndrome may cause fetal microcephaly in -1% of affected newborns. Here, we investigate whether the majority of clinically inapparent newborns might suffer from long-term health impairments not readily visible at birth. Infection of immunocompetent pregnant mice with high-dose ZIKV caused severe offspring phenotypes, such as fetal death, as expected. By contrast, low-dose (LD) maternal ZIKV infection resulted in reduced fetal birth weight but no other obvious phenotypes. Male offspring born to LD ZIKV-infected mothers had increased testosterone (TST) levels and were less likely to survive in utero infection compared to their female littermates. Males also presented an increased number of immature neurons in apical and basal hippocampal dendrites, while female offspring had immature neurons in basal dendrites only. Moreover, male offspring with high but not very high (storm) TST levels were more likely to suffer from learning and memory impairments compared to females. Future studies are required to understand the impact of TST on neuropathological and neurocognitive impairments in later life. In summary, increased sex-specific vigilance is required in countries with high ZIKV prevalence, where impaired neurodevelopment may be camouflaged by a healthy appearance at birth.Peer reviewe

Proving equality of streams automatically

Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. In this paper we focus on equality of streams, more precisely, for a given set of equations two stream terms are said to be equal if they are equal in every model satisfying the given equations. We investigate techniques for proving equality of streams suitable for automation. Apart from techniques that were already available in the tool CIRC from Lucanu and Rosu, we also exploit well-definedness of streams, typically proved by proving productivity. Moreover, our approach does not restrict to behavioral input format and does not require termination. We present a tool Streambox that can prove equality of a wide range of examples fully automatically

En genusvetenskaplig analys på hur kroppar representeras, hur subjekt/objekt görs samt hur feminism framträder i Maran

Den här uppsatsen syftar till att undersöka huruvida feministisk porr i serieformat yttrar sig i den seriepornografiska novellen Maran tecknad och skriven av Lina Neidestam, samt vad som händer när det pornografiska är i form av tecknad bild. Uppsatsen undersöker alltså vilka kroppar som (o)synliggörs i Maran, hur subjekt/objekt görs samt hur Maran är feministisk. Med teoretisk utgångspunkt i Butlers heterosexualla matris, intersektionalitetsbegrepp, makt, åskådarskap samt performativitet görs en bildanalys av utvalda uppslag i Maran. Detta görs genom att undersöka hur Neidestam berättar fram det som sker i Maran, hur detta tolkas och vad det har för betydelse för den tänkta mottagaren. Resultatet visar att utifrån min positionerg anser jag Maran vara feministisk och bidrar till ett nytt sätt att se och tänka kring pornografi. Att Neidestam genom serietecknandet frigör vissa föreställningar om kroppar, kvinnligt och manligt, sexuella situationer, sexuell njutning