Refined Interfaces for Compositional Verification

The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krimm & Mounier, and Cheung & Kramer proposed two techniques to generate such interfaces automatically. In this report, we propose a refined interface generation technique that derives the interface of a process automatically from the examination of (a subset of) concurrent processes. This technique is applicable to formalisms where concurrent processes are composed either using synchronization vectors or process algebra parallel composition operators (including those of CCS, CSP, muCRL, LOTOS, and E-LOTOS). We implemented this approach in the EXP.OPEN 2.0 tool of the CADP toolbox. Several experiments indicate state space reductions by more than two orders of magnitude for the largest processes

ASKAP and MeerKAT surveys of the magellanic clouds

The Magellanic Clouds are a stepping stone from the overwhelming detail of the Milky Way in which we are immersed, to the global characteristics of galaxies both in the nearby and distant universe. They are interacting, gas-rich dwarf galaxies of sub-solar metallicity, not unlike the building blocks that assembled the large galaxies that dominate groups and clusters, and representative of the conditions at the height of cosmic star formation. The Square Kilometre Array (SKA) can make huge strides in understanding galactic metabolism and the ecological processes that govern star formation, by observations of the Magellanic Clouds and other, nearby Magellanic-type irregular galaxies. Two programmes with SKA Pathfinders attempt to pave the way: the approved Galactic ASKAP Spectral Line Survey (GASKAP) includes a deep survey in H I and OH of the Magellanic Clouds, whilst MagiKAT is proposed to perform more detailed studies of selected regions within the Magellanic Clouds - also including Faraday rotation measurements and observations at higher frequencies. These surveys also close the gap with the revolutionizing surveys at far-IR wavelengths with the Spitzer Space Telescope and Herschel Space Observatory

A century of trends in adult human height

Being taller is associated with enhanced longevity, and higher education and earnings. We reanalysed 1472 population-based studies, with measurement of height on more than 18.6 million participants to estimate mean height for people born between 1896 and 1996 in 200 countries. The largest gain in adult height over the past century has occurred in South Korean women and Iranian men, who became 20.2 cm (95% credible interval 17.5-22.7) and 16.5 cm (13.3-19.7) taller, respectively. In contrast, there was little change in adult height in some sub-Saharan African countries and in South Asia over the century of analysis. The tallest people over these 100 years are men born in the Netherlands in the last quarter of 20th century, whose average heights surpassed 182.5 cm, and the shortest were women born in Guatemala in 1896 (140.3 cm; 135.8-144.8). The height differential between the tallest and shortest populations was 19-20 cm a century ago, and has remained the same for women and increased for men a century later despite substantial changes in the ranking of countries

Rising rural body-mass index is the main driver of the global obesity epidemic in adults

Body-mass index (BMI) has increased steadily in most countries in parallel with a rise in the proportion of the population who live in cities 1,2 . This has led to a widely reported view that urbanization is one of the most important drivers of the global rise in obesity 3�6 . Here we use 2,009 population-based studies, with measurements of height and weight in more than 112 million adults, to report national, regional and global trends in mean BMI segregated by place of residence (a rural or urban area) from 1985 to 2017. We show that, contrary to the dominant paradigm, more than 55 of the global rise in mean BMI from 1985 to 2017�and more than 80 in some low- and middle-income regions�was due to increases in BMI in rural areas. This large contribution stems from the fact that, with the exception of women in sub-Saharan Africa, BMI is increasing at the same rate or faster in rural areas than in cities in low- and middle-income regions. These trends have in turn resulted in a closing�and in some countries reversal�of the gap in BMI between urban and rural areas in low- and middle-income countries, especially for women. In high-income and industrialized countries, we noted a persistently higher rural BMI, especially for women. There is an urgent need for an integrated approach to rural nutrition that enhances financial and physical access to healthy foods, to avoid replacing the rural undernutrition disadvantage in poor countries with a more general malnutrition disadvantage that entails excessive consumption of low-quality calories. © 2019, The Author(s)