330 research outputs found

    Projected effects of disruptions to human immunodeficiency virus (HIV) prevention services during the coronavirus disease 2019 pandemic among Black/African American men who have sex with men in an Ending the HIV Epidemic priority jurisdiction

    Get PDF
    BACKGROUND: Disruptions in access to in-person human immunodeficiency virus (HIV) preventive care during the coronavirus disease 2019 (COVID-19) pandemic may have a negative impact on our progress towards the Ending the HIV Epidemic goals in the United States. METHODS: We used an agent-based model to simulate HIV transmission among Black/African American men who have sex with men in Mississippi over 5 years to estimate how different reductions in access affected the number of undiagnosed HIV cases, new pre-exposure prophylaxis (PrEP) starts, and HIV incidence. RESULTS: We found that each additional 25% decrease in HIV testing and PrEP initiation was associated with decrease of 20% in the number of cases diagnosed and 23% in the number of new PrEP starts, leading to a 15% increase in HIV incidence from 2020 to 2022. CONCLUSIONS: Unmet need for HIV testing and PrEP prescriptions during the COVID-19 pandemic may temporarily increase HIV incidence in the years immediately after the disruption period

    Local reasoning about the presence of bugs: Incorrectness Separation Logic

    Get PDF
    There has been a large body of work on local reasoning for proving the absence of bugs, but none for proving their presence. We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1) separation logic and 2) incorrectness logic. We explore the theory of this new incorrectness separation logic (ISL), and use it to derive a begin-anywhere, intra-procedural symbolic execution analysis that has no false positives by construction. In so doing, we take a step towards transferring modular, scalable techniques from the world of program verification to bug catching

    Demographic and circumstantial accounts of burn mortality in Cape Town, South Africa, 2001-2004: An observational register based study

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Burns are a persisting public health problem in low- and middle-income countries; however, epidemiologic data for these settings is scarce. South Africa is no exception although there is an emerging knowledge base, especially for paediatric burns. The current study describes the epidemiology of burn mortality across the lifespan in Cape Town (2.9 million inhabitants in 2001), one of the six South African metropolitan centres.</p> <p>Methods</p> <p>The distribution of burn mortality across socio-demographic groups and also their circumstances of occurrence were investigated using four year (2001 to 2004) surveillance data from the National Injury Mortality Surveillance System (n = 1024 cases).</p> <p>Results</p> <p>Burn mortality occurred at a rate of 7.9 per 100 000 person-years (95% CI: 7.3-8.3). Males sustained fatal rates 2.2 times more than that for females (p < 0.001), with rates significantly higher in the 25 to 38 and 39 to 50 age groups than at other ages (p < 0.001). The greatest difference between male and female deaths was observed in the 25 to 38 year age group, when almost three male deaths occurred for every female one. The vast majority of fatal burns were registered as accidental and occurred in the home, either over the cold and wet months or during recreational periods over weekends and across the year. Alcohol intoxication was reported for the majority of those adults whose alcohol blood levels were tested (i.e. 52.6% of cases aged 16+ years).</p> <p>Conclusion</p> <p>Besides paediatric burns, the high prevalence and circumstances of occurrence of burns among middle age men are a source of concern. There are reasons to believe that this over-representation is a reflection of detrimental living conditions, life-style and poor socio-economic status. It is recommended that there be greater prioritisation of prevention activities that involve the control or management of kerosene heat sources, the provision of alternatives to flammable housing materials, and the implementation of strategies to reduce harmful drinking practices.</p

    Regulation of Epithelial Cell Morphology and Functions Approaching To More In Vivo-Like by Modifying Polyethylene Glycol on Polysulfone Membranes

    Get PDF
    Cytocompatibility is critically important in design of biomaterials for application in tissue engineering. However, the currently well-accepted “cytocompatible" biomaterials are those which promote cells to sustain good attachment/spreading. The cells on such materials usually lack the self-assembled cell morphology and high cell functions as in vivo. In our view, biomaterials that can promote the ability of cells to self-assemble and demonstrate cell-specific functions would be cytocompatible. This paper examined the interaction of polyethylene glycol (PEG) modified polysulfone (PSf) membranes with four epithelial cell types (primary liver cells, a liver tumor cell line, and two renal tubular cell lines). Our results show that PSf membranes modified with proper PEG promoted the aggregation of both liver and renal cells, but the liver cells more easily formed aggregates than the renal tubular cells. The culture on PEG-modified PSf membranes also enhanced cell-specific functions. In particular, the cells cultured on F127 membranes with the proper PEG content mimicked the in vivo ultrastructure of liver cells or renal tubules cells and displayed the highest cell functions. Gene expression data for adhesion proteins suggest that the PEG modification impaired cell-membrane interactions and increased cell-cell interactions, thus facilitating cell self-assembly. In conclusion, PEG-modified membrane could be a cytocompatible material which regulates the morphology and functions of epithelial cells in mimicking cell performance in vivo

    Economic impact of screening for X-linked Adrenoleukodystrophy within a newborn blood spot screening programme.

    Get PDF
    BACKGROUND: A decision tree model was built to estimate the economic impact of introducing screening for X-linked adrenoleukodystrophy (X-ALD) into an existing tandem mass spectrometry based newborn screening programme. The model was based upon the UK National Health Service (NHS) Newborn Blood Spot Screening Programme and a public service perspective was used with a lifetime horizon. The model structure and parameterisation were based upon literature reviews and expert clinical judgment. Outcomes included health, social care and education costs and quality adjusted life years (QALYs). The model assessed screening of boys only and evaluated the impact of improved outcomes from hematopoietic stem cell transplantation in patients with cerebral childhood X-ALD (CCALD). Threshold analyses were used to examine the potential impact of utility decrements for non-CCALD patients identified by screening. RESULTS: It is estimated that screening 780,000 newborns annually will identify 18 (95%CI 12, 27) boys with X-ALD, of whom 10 (95% CI 6, 15) will develop CCALD. It is estimated that screening may detect 7 (95% CI 3, 12) children with other peroxisomal disorders who may also have arisen symptomatically. If results for girls are returned an additional 17 (95% CI 12, 25) cases of X-ALD will be identified. The programme is estimated to cost an additional £402,000 (95% CI £399-407,000) with savings in lifetime health, social care and education costs leading to an overall discounted cost saving of £3.04 (95% CI £5.69, £1.19) million per year. Patients with CCALD are estimated to gain 8.5 discounted QALYs each giving an overall programme benefit of 82 (95% CI 43, 139) QALYs. CONCLUSION: Including screening of boys for X-ALD into an existing tandem mass spectrometry based newborn screening programme is projected to reduce lifetime costs and improve outcomes for those with CCALD. The potential disbenefit to those identified with non-CCALD conditions would need to be substantial in order to outweigh the benefit to those with CCALD. Further evidence is required on the potential QALY impact of early diagnosis both for non-CCALD X-ALD and other peroxisomal disorders. The favourable economic results are driven by estimated reductions in the social care and education costs
    • …
    corecore