Session coalgebras: A coalgebraic view on session types and communication protocols

Compositional methods are central to the development and verification of software systems. They allow breaking down large systems into smaller components, while enabling reasoning about the behaviour of the composed system. For concurrent and communicating systems, compositional techniques based on behavioural type systems have received much attention. By abstracting communication protocols as types, these type systems can statically check that programs interact with channels according to a certain protocol, whether the intended messages are exchanged in a certain order. In this paper, we put on our coalgebraic spectacles to investigate session types, a widely studied class of behavioural type systems. We provide a syntax-free description of session-based concurrency as states of coalgebras. As a result, we rediscover type equivalence, duality, and subtyping rela

An overview of the MHONGOOSE survey: Observing nearby galaxies with MeerKAT

MHONGOOSE is a deep survey of the neutral hydrogen distribution in a representative sample of 30 nearby disk and dwarf galaxies with HI masses from 10^6 to ~10^{11} M_sun, and luminosities from M_R ~ -12 to M_R ~ -22. The sample is selected to uniformly cover the available range in log(M_HI). Our extremely deep observations, down to HI column density limits of well below 10^{18} cm^{-2} - or a few hundred times fainter than the typical HI disks in galaxies - will directly detect the effects of cold accretion from the intergalactic medium and the links with the cosmic web. These observations will be the first ever to probe the very low-column density neutral gas in galaxies at these high resolutions. Combination with data at other wavelengths, most of it already available, will enable accurate modelling of the properties and evolution of the mass components in these galaxies and link these with the effects of environment, dark matter distribution, and other fundamental properties such as halo mass and angular momentum. MHONGOOSE can already start addressing some of the SKA-1 science goals and will provide a comprehensive inventory of the processes driving the transformation and evolution of galaxies in the nearby universe at high resolution and over 5 orders of magnitude in column density. It will be a Nearby Galaxies Legacy Survey that will be unsurpassed until the advent of the SKA, and can serve as a highly visible, lasting statement of MeerKAT's capabilities

Maternal depression during pregnancy and cord blood DNA methylation: findings from the Avon Longitudinal Study of Parents and Children

Up to 13% of women may experience symptoms of depression during pregnancy or in the postpartum period. Depression during pregnancy has been associated with an increased risk of adverse neurodevelopmental outcomes in the child and epigenetic mechanisms could be one of the biological pathways to explain this association. In 844 mother–child pairs from the Avon Longitudinal Study of Parents and Children, we carried out an epigenome-wide association study (EWAS) to investigate associations between prospectively collected data on maternal depression ascertained by the Edinburgh Postnatal Depression Scale in pregnancy and DNA methylation in the cord blood of newborn offspring. In individual site analysis, we identified two CpG sites associated with maternal depression in the middle part of pregnancy. In our regional analysis, we identified 39 differentially methylated regions (DMRs). Seven DMRs were associated with depression at any time point during pregnancy, 7 associated with depression in mid-pregnancy, 23 were associated with depression in late pregnancy, and 2 DMRs were associated with depression throughout pregnancy. Several of these map to genes associated with psychiatric disease and brain development. We attempted replication in The Generation R Study and could not replicate our results. Although our findings in ALSPAC suggest that maternal depression could be associated with cord blood DNA methylation the results should be viewed as preliminary and hypothesis generating until further replicated in a larger sample

Dust in Supernovae and Supernova Remnants I : Formation Scenarios

Supernovae are considered as prime sources of dust in space. Observations of local supernovae over the past couple of decades have detected the presence of dust in supernova ejecta. The reddening of the high redshift quasars also indicate the presence of large masses of dust in early galaxies. Considering the top heavy IMF in the early galaxies, supernovae are assumed to be the major contributor to these large amounts of dust. However, the composition and morphology of dust grains formed in a supernova ejecta is yet to be understood with clarity. Moreover, the dust masses inferred from observations in mid-infrared and submillimeter wavelength regimes differ by two orders of magnitude or more. Therefore, the mechanism responsible for the synthesis of molecules and dust in such environments plays a crucial role in studying the evolution of cosmic dust in galaxies. This review summarises our current knowledge of dust formation in supernova ejecta and tries to quantify the role of supernovae as dust producers in a galaxy.Peer reviewe

US Cosmic Visions: New Ideas in Dark Matter 2017: Community Report

This white paper summarizes the workshop "U.S. Cosmic Visions: New Ideas in Dark Matter" held at University of Maryland on March 23-25, 2017