Distributive Laws for Monotone Specifications

Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications - that disallow negative premises - do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.Comment: In Proceedings EXPRESS/SOS 2017, arXiv:1709.0004

Achieving coordinated national immunity and cholera elimination in Haiti through vaccination: a modelling study

Summary: Background: Cholera was introduced into Haiti in 2010. Since then, more than 820 000 cases and nearly 10 000 deaths have been reported. Oral cholera vaccine (OCV) is safe and effective, but has not been seen as a primary tool for cholera elimination due to a limited period of protection and constrained supplies. Regionally, epidemic cholera is contained to the island of Hispaniola, and the lowest numbers of cases since the epidemic began were reported in 2019. Hence, Haiti may represent a unique opportunity to eliminate cholera with OCV. Methods: In this modelling study, we assessed the probability of elimination, time to elimination, and percentage of cases averted with OCV campaign scenarios in Haiti through simulations from four modelling teams. For a 10-year period from January 19, 2019, to Jan 13, 2029, we compared a no vaccination scenario with five OCV campaign scenarios that differed in geographical scope, coverage, and rollout duration. Teams used weekly department-level reports of suspected cholera cases from the Haiti Ministry of Public Health and Population to calibrate the models and used common vaccine-related assumptions, but other model features were determined independently. Findings: Among campaigns with the same vaccination coverage (70% fully vaccinated), the median probability of elimination after 5 years was 0–18% for no vaccination, 0–33% for 2-year campaigns focused in the two departments with the highest historical incidence, 0–72% for three-department campaigns, and 35–100% for nationwide campaigns. Two-department campaigns averted a median of 12–58% of infections, three-department campaigns averted 29–80% of infections, and national campaigns averted 58–95% of infections. Extending the national campaign to a 5-year rollout (compared to a 2-year rollout), reduced the probability of elimination to 0–95% and the proportion of cases averted to 37–86%. Interpretation: Models suggest that the probability of achieving zero transmission of Vibrio cholerae in Haiti with current methods of control is low, and that bolder action is needed to promote elimination of cholera from the region. Large-scale cholera vaccination campaigns in Haiti would offer the opportunity to synchronise nationwide immunity, providing near-term population protection while improvements to water and sanitation promote long-term cholera elimination. Funding: Bill & Melinda Gates Foundation, Global Good Fund, Institute for Disease Modeling, Swiss National Science Foundation, and US National Institutes of Health

Dynamic and influential interaction of cancer cells with normal epithelial cells in 3D culture

BACKGROUND: The cancer microenvironment has a strong impact on the growth and dynamics of cancer cells. Conventional 2D culture systems, however, do not reflect in vivo conditions, impeding detailed studies of cancer cell dynamics. This work aims to establish a method to reveal the interaction of cancer and normal epithelial cells using 3D time-lapse. METHODS: GFP-labelled breast cancer cells, MDA-MB-231, were co-cultured with mCherry-labelled non-cancerous epithelial cells, MDCK, in a gel matrix. In the 3D culture, the epithelial cells establish a spherical morphology (epithelial sphere) thus providing cancer cells with accessibility to the basal surface of epithelia, similar to the in vivo condition. Cell movement was monitored using time-lapse analyses. Ultrastructural, immunocytochemical and protein expression analyses were also performed following the time-lapse study. RESULTS: In contrast to the 2D culture system, whereby most MDA-MB-231 cells exhibit spindle-shaped morphology as single cells, in the 3D culture the MDA-MB-231 cells were found to be single cells or else formed aggregates, both of which were motile. The single MDA-MB-231 cells exhibited both round and spindle shapes, with dynamic changes from one shape to the other, visible within a matter of hours. When co-cultured with epithelial cells, the MDA-MB-231 cells displayed a strong attraction to the epithelial spheres, and proceeded to surround and engulf the epithelial cell mass. The surrounded epithelial cells were eventually destroyed, becoming debris, and were taken into the MDA-MB-231 cells. However, when there was a relatively large population of normal epithelial cells, the MDA-MB-231 cells did not engulf the epithelial spheres effectively, despite repeated contacts. MDA-MB-231 cells co-cultured with a large number of normal epithelial cells showed reduced expression of monocarboxylate transporter-1, suggesting a change in the cell metabolism. A decreased level of gelatin-digesting ability as well as reduced production of matrix metaroproteinase-2 was also observed. CONCLUSIONS: This culture method is a powerful technique to investigate cancer cell dynamics and cellular changes in response to the microenvironment. The method can be useful for various aspects such as; different combinations of cancer and non-cancer cell types, addressing the organ-specific affinity of cancer cells to host cells, and monitoring the cellular response to anti-cancer drugs. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12935-014-0108-6) contains supplementary material, which is available to authorized users

Women experience a better long-term immune recovery and a better survival on HAART in Lao People's Democratic Republic.

<p>Abstract</p> <p>Background</p> <p>In April 2003, Médecins Sans Frontières launched an HIV/AIDS programme to provide free HAART to HIV-infected patients in Laos. Although HIV prevalence is estimated as low in this country, it has been increasing in the last years. This work reports the first results of an observational cohort study and it aims to identify the principal determinants of the CD4 cells evolution and to assess mortality among patients on HAART.</p> <p>Methods</p> <p>We performed a retrospective database analysis on patients initiated on HAART between 2003 and 2009 (CD4<200cells/μL or WHO stage 4). We excluded from the analysis patients who were less than 16 years old and pregnant women. To explore the determinants of the CD4 reconstitution, a linear mixed model was adjusted. To identify typical trajectories of the CD4 cells, a latent trajectory analysis was carried out. Finally, a Cox proportional-hazards model was used to reveal predictors of mortality on HAART including appointment delay greater than 1 day.</p> <p>Results</p> <p>A total of 1365 patients entered the programme and 913 (66.9%) received an HAART with a median CD4 of 49 cells/μL [IQR 15–148]. High baseline CD4 cell count and female gender were associated with a higher CD4 level over time. In addition, this gender difference increased over time. Two typical latent CD4 trajectories were revealed showing that 31% of women against 22% of men followed a high CD4 trajectory. In the long-term, women were more likely to attend appointments without delay. Mortality reached 6.2% (95% CI 4.8-8.0%) at 4 months and 9.1% (95% CI 7.3-11.3%) at 1 year. Female gender (HR=0.17, 95% CI 0.07-0.44) and high CD4 trajectory (HR=0.19, 95% CI 0.08-0.47) were independently associated with a lower death rate.</p> <p>Conclusions</p> <p>Patients who initiated HAART were severely immunocompromised yielding to a high early mortality. In the long-term on HAART, women achieved a better CD4 cells reconstitution than men and were less likely to die. This study highlights important differences between men and women regarding response to HAART and medical care, and questions men’s compliance to treatment.</p

Burden of injury along the development spectrum : associations between the Socio-demographic Index and disability-adjusted life year estimates from the Global Burden of Disease Study 2017

Background The epidemiological transition of non-communicable diseases replacing infectious diseases as the main contributors to disease burden has been well documented in global health literature. Less focus, however, has been given to the relationship between sociodemographic changes and injury. The aim of this study was to examine the association between disability-adjusted life years (DALYs) from injury for 195 countries and territories at different levels along the development spectrum between 1990 and 2017 based on the Global Burden of Disease (GBD) 2017 estimates. Methods Injury mortality was estimated using the GBD mortality database, corrections for garbage coding and CODEm-the cause of death ensemble modelling tool. Morbidity estimation was based on surveys and inpatient and outpatient data sets for 30 cause-of-injury with 47 nature-of-injury categories each. The Socio-demographic Index (SDI) is a composite indicator that includes lagged income per capita, average educational attainment over age 15 years and total fertility rate. Results For many causes of injury, age-standardised DALY rates declined with increasing SDI, although road injury, interpersonal violence and self-harm did not follow this pattern. Particularly for self-harm opposing patterns were observed in regions with similar SDI levels. For road injuries, this effect was less pronounced. Conclusions The overall global pattern is that of declining injury burden with increasing SDI. However, not all injuries follow this pattern, which suggests multiple underlying mechanisms influencing injury DALYs. There is a need for a detailed understanding of these patterns to help to inform national and global efforts to address injury-related health outcomes across the development spectrum.Peer reviewe

Estimating global injuries morbidity and mortality : methods and data used in the Global Burden of Disease 2017 study

Background: While there is a long history of measuring death and disability from injuries, modern research methods must account for the wide spectrum of disability that can occur in an injury, and must provide estimates with sufficient demographic, geographical and temporal detail to be useful for policy makers. The Global Burden of Disease (GBD) 2017 study used methods to provide highly detailed estimates of global injury burden that meet these criteria. Methods: In this study, we report and discuss the methods used in GBD 2017 for injury morbidity and mortality burden estimation. In summary, these methods included estimating cause-specific mortality for every cause of injury, and then estimating incidence for every cause of injury. Non-fatal disability for each cause is then calculated based on the probabilities of suffering from different types of bodily injury experienced. Results: GBD 2017 produced morbidity and mortality estimates for 38 causes of injury. Estimates were produced in terms of incidence, prevalence, years lived with disability, cause-specific mortality, years of life lost and disability-adjusted life-years for a 28-year period for 22 age groups, 195 countries and both sexes. Conclusions: GBD 2017 demonstrated a complex and sophisticated series of analytical steps using the largest known database of morbidity and mortality data on injuries. GBD 2017 results should be used to help inform injury prevention policy making and resource allocation. We also identify important avenues for improving injury burden estimation in the future

Global injury morbidity and mortality from 1990 to 2017 : results from the Global Burden of Disease Study 2017

Correction:Background Past research in population health trends has shown that injuries form a substantial burden of population health loss. Regular updates to injury burden assessments are critical. We report Global Burden of Disease (GBD) 2017 Study estimates on morbidity and mortality for all injuries. Methods We reviewed results for injuries from the GBD 2017 study. GBD 2017 measured injury-specific mortality and years of life lost (YLLs) using the Cause of Death Ensemble model. To measure non-fatal injuries, GBD 2017 modelled injury-specific incidence and converted this to prevalence and years lived with disability (YLDs). YLLs and YLDs were summed to calculate disability-adjusted life years (DALYs). Findings In 1990, there were 4 260 493 (4 085 700 to 4 396 138) injury deaths, which increased to 4 484 722 (4 332 010 to 4 585 554) deaths in 2017, while age-standardised mortality decreased from 1079 (1073 to 1086) to 738 (730 to 745) per 100 000. In 1990, there were 354 064 302 (95% uncertainty interval: 338 174 876 to 371 610 802) new cases of injury globally, which increased to 520 710 288 (493 430 247 to 547 988 635) new cases in 2017. During this time, age-standardised incidence decreased non-significantly from 6824 (6534 to 7147) to 6763 (6412 to 7118) per 100 000. Between 1990 and 2017, age-standardised DALYs decreased from 4947 (4655 to 5233) per 100 000 to 3267 (3058 to 3505). Interpretation Injuries are an important cause of health loss globally, though mortality has declined between 1990 and 2017. Future research in injury burden should focus on prevention in high-burden populations, improving data collection and ensuring access to medical care.Peer reviewe

Estimating global injuries morbidity and mortality : methods and data used in the Global Burden of Disease 2017 study

Background While there is a long history of measuring death and disability from injuries, modern research methods must account for the wide spectrum of disability that can occur in an injury, and must provide estimates with sufficient demographic, geographical and temporal detail to be useful for policy makers. The Global Burden of Disease (GBD) 2017 study used methods to provide highly detailed estimates of global injury burden that meet these criteria. Methods In this study, we report and discuss the methods used in GBD 2017 for injury morbidity and mortality burden estimation. In summary, these methods included estimating cause-specific mortality for every cause of injury, and then estimating incidence for every cause of injury. Non-fatal disability for each cause is then calculated based on the probabilities of suffering from different types of bodily injury experienced. Results GBD 2017 produced morbidity and mortality estimates for 38 causes of injury. Estimates were produced in terms of incidence, prevalence, years lived with disability, cause-specific mortality, years of life lost and disability-adjusted life-years for a 28-year period for 22 age groups, 195 countries and both sexes. Conclusions GBD 2017 demonstrated a complex and sophisticated series of analytical steps using the largest known database of morbidity and mortality data on injuries. GBD 2017 results should be used to help inform injury prevention policy making and resource allocation. We also identify important avenues for improving injury burden estimation in the future.Peer reviewe