69 research outputs found
A Fully Abstract Symbolic Semantics for Psi-Calculi
We present a symbolic transition system and bisimulation equivalence for
psi-calculi, and show that it is fully abstract with respect to bisimulation
congruence in the non-symbolic semantics.
A psi-calculus is an extension of the pi-calculus with nominal data types for
data structures and for logical assertions representing facts about data. These
can be transmitted between processes and their names can be statically scoped
using the standard pi-calculus mechanism to allow for scope migrations.
Psi-calculi can be more general than other proposed extensions of the
pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion
calculus, or the concurrent constraint pi-calculus.
Symbolic semantics are necessary for an efficient implementation of the
calculus in automated tools exploring state spaces, and the full abstraction
property means the semantics of a process does not change from the original
African Programme for Onchocerciasis Control 1995-2015: Updated Health Impact Estimates Based on New Disability Weights
The Global Burden of Disease Study 2010: Interpretation and Implications for the Neglected Tropical Diseases
What factors in rural and remote extended clinical placements may contribute to preparedness for practice, from the perspective of students and clinicians?
What factors in rural and remote extended clinical placements may contribute to preparedness for practice, from the perspective of students and clinicians? Michele Daly, David Perkins, Koshila Kumar, Chris Roberts and Malcolm Moore Background: Community based rural education opportunities have expanded in Australia, attracting more medical students to placements in rural and remote settings. Aim: To identify the factors in an integrated, community engaged rural placement that may contribute to preparedness for practice (P4P), from the perspective of students and clinicians Methods: Forty two semi-structured interviews with medical students, supervisors and clinicians analysed thematically. Results: Opportunities for clinical learning, personal and professional development and cultural awareness were reported by students and clinicians as key factors that contribute to preparedness for practice. Potential barriers in rural and remote settings included geographical and academic isolation, perceived educational risk and differing degrees of program engagement. Conclusions: A longitudinal clinical placement in a rural setting may enable development of enhanced competencies leading to P4P. A rural setting can help provide a unique experience through hands-on learning, enhanced personal and professional development opportunities and observation of the cultural and contextual impact on health
Onchocerciasis: The Pre-control Association between Prevalence of Palpable Nodules and Skin Microfilariae
*Background*: The prospect of eliminating onchocerciasis from Africa by mass treatment with ivermectin has been rejuvenated following recent successes in foci in Mali, Nigeria and Senegal. Elimination prospects depend strongly on local transmission conditions and therefore on pre-control infection levels. Pre-control infection levels in Africa have been mapped largely by means of nodule palpation of adult males, a relatively crude method for detecting infection. We investigated how informative pre-control nodule prevalence data are for estimating the pre-control prevalence of
The Global Burden of Disease Study 2010: Interpretation and Implications for the Neglected Tropical Diseases
This article analyzes the "Global Burden of Disease Study 2010" and examines the study's implications for neglected tropical diseases
Why onchocerciasis transmission persists after 15 annual ivermectin mass drug administrations in South-West Cameroon
Introduction Onchocerciasis is targeted for elimination mainly with annual community-directed treatment with ivermectin (CDTI). High infection levels have been reported in South-West Cameroon, despite ≥15 years of CDTI. The aim of this study was to assess factors associated with continued onchocerciasis transmission and skin disease.
Methods A large-scale cross-sectional study was conducted in 2017 in 20 communities in a loiasis-risk area in South-West Cameroon. A mixed-methods approach was used. Associations between infection levels, skin disease and adherence to CDTI were assessed using mixed regression modelling. Different community members’ perception and acceptability of the CDTI strategy was explored using semi-structured interviews.
Results Onchocerciasis prevalence was 44.4% among 9456 participants. 17.5% of adults were systematic non-adherers and 5.9% participated in ≥75% of CDTI rounds. Skin disease affected 1/10 participants, including children. Increasing self-reported adherence to CDTI was associated with lower infection levels in participants aged ≥15 years but not in children. Adherence to CDTI was positively influenced by perceived health benefits, and negatively influenced by fear of adverse events linked with economic loss. Concern of lethal adverse events was a common reason for systematic non-adherence.
Conclusion CDTI alone is unlikely to achieve elimination in those high transmission areas where low participation is commonly associated with the fear of adverse events, despite the current quasi absence of high-risk
levels of loiasis. Such persisting historical memories and fear of ivermectin might impact adherence to CDTI also in areas with historical presence but current absence of loiasis. Because such issues are unlikely
to be tackled by CDTI adaptive measures, alternative strategies are needed for onchocerciasis elimination where negative perception of ivermectin is an entrenched barrier to community participation in programmes
Dissecting the Shared Genetic Architecture of Suicide Attempt, Psychiatric Disorders, and Known Risk Factors
Background Suicide is a leading cause of death worldwide, and nonfatal suicide attempts, which occur far more frequently, are a major source of disability and social and economic burden. Both have substantial genetic etiology, which is partially shared and partially distinct from that of related psychiatric disorders. Methods We conducted a genome-wide association study (GWAS) of 29,782 suicide attempt (SA) cases and 519,961 controls in the International Suicide Genetics Consortium (ISGC). The GWAS of SA was conditioned on psychiatric disorders using GWAS summary statistics via multitrait-based conditional and joint analysis, to remove genetic effects on SA mediated by psychiatric disorders. We investigated the shared and divergent genetic architectures of SA, psychiatric disorders, and other known risk factors. Results Two loci reached genome-wide significance for SA: the major histocompatibility complex and an intergenic locus on chromosome 7, the latter of which remained associated with SA after conditioning on psychiatric disorders and replicated in an independent cohort from the Million Veteran Program. This locus has been implicated in risk-taking behavior, smoking, and insomnia. SA showed strong genetic correlation with psychiatric disorders, particularly major depression, and also with smoking, pain, risk-taking behavior, sleep disturbances, lower educational attainment, reproductive traits, lower socioeconomic status, and poorer general health. After conditioning on psychiatric disorders, the genetic correlations between SA and psychiatric disorders decreased, whereas those with nonpsychiatric traits remained largely unchanged. Conclusions Our results identify a risk locus that contributes more strongly to SA than other phenotypes and suggest a shared underlying biology between SA and known risk factors that is not mediated by psychiatric disorders.Peer reviewe
Global, regional, and national disability-adjusted life-years (DALYs) for 333 diseases and injuries and healthy life expectancy (HALE) for 195 countries and territories, 1990–2016: a systematic analysis for the Global Burden of Disease Study 2016
BACKGROUND: Measurement of changes in health across locations is useful to compare and contrast changing epidemiological patterns against health system performance and identify specific needs for resource allocation in research, policy development, and programme decision making. Using the Global Burden of Diseases, Injuries, and Risk Factors Study 2016, we drew from two widely used summary measures to monitor such changes in population health: disability-adjusted life-years (DALYs) and healthy life expectancy (HALE). We used these measures to track trends and benchmark progress compared with expected trends on the basis of the Socio-demographic Index (SDI).
METHODS: We used results from the Global Burden of Diseases, Injuries, and Risk Factors Study 2016 for all-cause mortality, cause-specific mortality, and non-fatal disease burden to derive HALE and DALYs by sex for 195 countries and territories from 1990 to 2016. We calculated DALYs by summing years of life lost and years of life lived with disability for each location, age group, sex, and year. We estimated HALE using age-specific death rates and years of life lived with disability per capita. We explored how DALYs and HALE differed from expected trends when compared with the SDI: the geometric mean of income per person, educational attainment in the population older than age 15 years, and total fertility rate.
FINDINGS: The highest globally observed HALE at birth for both women and men was in Singapore, at 75·2 years (95% uncertainty interval 71·9-78·6) for females and 72·0 years (68·8-75·1) for males. The lowest for females was in the Central African Republic (45·6 years [42·0-49·5]) and for males was in Lesotho (41·5 years [39·0-44·0]). From 1990 to 2016, global HALE increased by an average of 6·24 years (5·97-6·48) for both sexes combined. Global HALE increased by 6·04 years (5·74-6·27) for males and 6·49 years (6·08-6·77) for females, whereas HALE at age 65 years increased by 1·78 years (1·61-1·93) for males and 1·96 years (1·69-2·13) for females. Total global DALYs remained largely unchanged from 1990 to 2016 (-2·3% [-5·9 to 0·9]), with decreases in communicable, maternal, neonatal, and nutritional (CMNN) disease DALYs offset by increased DALYs due to non-communicable diseases (NCDs). The exemplars, calculated as the five lowest ratios of observed to expected age-standardised DALY rates in 2016, were Nicaragua, Costa Rica, the Maldives, Peru, and Israel. The leading three causes of DALYs globally were ischaemic heart disease, cerebrovascular disease, and lower respiratory infections, comprising 16·1% of all DALYs. Total DALYs and age-standardised DALY rates due to most CMNN causes decreased from 1990 to 2016. Conversely, the total DALY burden rose for most NCDs; however, age-standardised DALY rates due to NCDs declined globally.
INTERPRETATION: At a global level, DALYs and HALE continue to show improvements. At the same time, we observe that many populations are facing growing functional health loss. Rising SDI was associated with increases in cumulative years of life lived with disability and decreases in CMNN DALYs offset by increased NCD DALYs. Relative compression of morbidity highlights the importance of continued health interventions, which has changed in most locations in pace with the gross domestic product per person, education, and family planning. The analysis of DALYs and HALE and their relationship to SDI represents a robust framework with which to benchmark location-specific health performance. Country-specific drivers of disease burden, particularly for causes with higher-than-expected DALYs, should inform health policies, health system improvement initiatives, targeted prevention efforts, and development assistance for health, including financial and research investments for all countries, regardless of their level of sociodemographic development. The presence of countries that substantially outperform others suggests the need for increased scrutiny for proven examples of best practices, which can help to extend gains, whereas the presence of underperforming countries suggests the need for devotion of extra attention to health systems that need more robust support.
FUNDING: Bill & Melinda Gates Foundation
Global, regional, and national incidence, prevalence, and years lived with disability for 328 diseases and injuries for 195 countries, 1990–2016: a systematic analysis for the Global Burden of Disease Study 2016
As mortality rates decline, life expectancy increases, and populations age, non-fatal outcomes of diseases and injuries are becoming a larger component of the global burden of disease. The Global Burden of Diseases, Injuries, and Risk Factors Study 2016 (GBD 2016) provides a comprehensive assessment of prevalence, incidence, and years lived with disability (YLDs) for 328 causes in 195 countries and territories from 1990 to 2016
- …