Formal verification of CNL health recommendations

This research is partially supported by EPSRC grant EP/M014290/1.Clinical texts, such as therapy algorithms, are often described in natural language and may include hidden inconsistencies, gaps and potential deadlocks. In this paper, we propose an approach to identify such problems with formal verification. From each sentence in the therapy algorithm we automatically generate a parse tree and derive case frames. From the case frames we construct a state-based representation (in our case a timed automaton) and use a model checker (here UPPAAL) to verify the model. Throughout the paper we use an example of the algorithm for blood glucose lowering therapy in adults with type 2 diabetes to illustrate our approach.Postprin

The Toll→NFκB Signaling Pathway Mediates the Neuropathological Effects of the Human Alzheimer's Aβ42 Polypeptide in Drosophila

Alzheimer's (AD) is a progressive neurodegenerative disease that afflicts a significant fraction of older individuals. Although a proteolytic product of the Amyloid precursor protein, the Αβ42 polypeptide, has been directly implicated in the disease, the genes and biological pathways that are deployed during the process of Αβ42 induced neurodegeneration are not well understood and remain controversial. To identify genes and pathways that mediated Αβ42 induced neurodegeneration we took advantage of a Drosophila model for AD disease in which ectopically expressed human Αβ42 polypeptide induces cell death and tissue degeneration in the compound eye. One of the genes identified in our genetic screen is Toll (Tl). It encodes the receptor for the highly conserved Tl→NFkB innate immunity/inflammatory pathway and is a fly homolog of the mammalian Interleukin-1 (Ilk-1) receptor. We found that Tl loss-of-function mutations dominantly suppress the neuropathological effects of the Αβ42 polypeptide while gain-of-function mutations that increase receptor activity dominantly enhance them. Furthermore, we present evidence demonstrating that Tl and key downstream components of the innate immunity/inflammatory pathway play a central role in mediating the neuropathological activities of Αβ42. We show that the deleterious effects of Αβ42 can be suppressed by genetic manipulations of the Tl→NFkB pathway that downregulate signal transduction. Conversely, manipulations that upregulate signal transduction exacerbate the deleterious effects of Aβ42. Since postmortem studies have shown that the Ilk-1→NFkB innate immunity pathway is substantially upregulated in the brains of AD patients, the demonstration that the Tl→NFkB signaling actively promotes the process of Αβ42 induced cell death and tissue degeneration in flies points to possible therapeutic targets and strategies

The association of neighbourhood and individual social capital with consistent self-rated health: a longitudinal study in Brazilian pregnant and postpartum women.

BACKGROUND: Social conditions, social relationships and neighbourhood environment, the components of social capital, are important determinants of health. The objective of this study was to investigate the association of neighbourhood and individual social capital with consistent self-rated health in women between the first trimester of pregnancy and six months postpartum. METHODS: A multilevel cohort study in 34 neighbourhoods was performed on 685 Brazilian women recruited at antenatal units in two cities in the State of Rio de Janeiro, Brazil. Self-rated health (SRH) was assessed in the 1st trimester of pregnancy (baseline) and six months after childbirth (follow-up). The participants were divided into two groups: 1. Good SRH--good SRH at baseline and follow-up, and, 2. Poor SRH--poor SRH at baseline and follow-up. Exploratory variables collected at baseline included neighbourhood social capital (neighbourhood-level variable), individual social capital (social support and social networks), demographic and socioeconomic characteristics, health-related behaviours and self-reported diseases. A hierarchical binomial multilevel analysis was performed to test the association between neighbourhood and individual social capital and SRH, adjusted for covariates. RESULTS: The Good SRH group reported higher scores of social support and social networks than the Poor SRH group. Although low neighbourhood social capital was associated with poor SRH in crude analysis, the association was not significant when individual socio-demographic variables were included in the model. In the final model, women reporting poor SRH both at baseline and follow-up had lower levels of social support (positive social interaction) [OR 0.82 (95% CI: 0.73-0.90)] and a lower likelihood of friendship social networks [OR 0.61 (95% CI: 0.37-0.99)] than the Good SRH group. The characteristics that remained associated with poor SRH were low level of schooling, Black and Brown ethnicity, more children, urinary infection and water plumbing outside the house. CONCLUSIONS: Low individual social capital during pregnancy, considered here as social support and social network, was independently associated with poor SRH in women whereas neighbourhood social capital did not affect women's SRH during pregnancy and the months thereafter. From pregnancy and up to six months postpartum, the effect of individual social capital explained better the consistency of SRH over time than neighbourhood social capital