Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

Searching for Planets in the Hyades II: Some Implications of Stellar Magnetic Activity

The Hyades constitute a homogeneous sample of stars ideal for investigating the dependence of planet formation on the mass of the central star. Due to their youth, Hyades members are much more chromospherically active than stars traditionally surveyed for planets using high precision radial velocity (RV) techniques. Therefore, we have conducted a detailed investigation of whether magnetic activity of our Hyades target stars will interfere with our ability to make precise RV searches for substellar companions. We measure chromospheric activity (which we take as a proxy for magnetic activity) by computing the equivalent of the R'HK activity index from the Ca II K line. is not constant in the Hyades: we confirm that it decreases with increasing temperature in the F stars, and also find it decreases for stars cooler than mid-K. We examine correlations between simultaneously measured R'HK and RV using both a classical statistical test and a Bayesian odds ratio test. We find that there is a significant correlation between R'HK and the RV in only 5 of the 82 stars in this sample. Thus, simple Rprime HK-RV correlations will generally not be effective in correcting the measured RV values for the effects of magnetic activity in the Hyades. We argue that this implies long timescale activity variations (of order a few years; i.e., magnetic cycles or growth and decay of plage regions) will not significantly hinder our search for planets in the Hyades if the stars are closely monitored for chromospheric activity. The trends in the RV scatter (sigma'_v) with , vsini, and P_rot for our stars is generally consistent with those found in field stars in the Lick planet search data, with the notable exception of a shallower dependence of sigma'_v on for F stars.Comment: 15 pages, 7 figures, 3 tables; To appear in the July 2002 issue of The Astronomical Journa

Risk models for lower extremity injuries among short- and long distance runners: A prospective cohort study

© 2018 Background: Running injuries are very common. Risk factors for running injuries are not consistently described across studies and do not differentiate between runners of long- and short distances within one cohort. Objectives: The aim of this study is to determine risk factors for running injuries in recreational long- and short distance runners separately. Design: A prospective cohort study. Methods: Recreational runners from four different running events are invited to participate. They filled in a baseline questionnaire assessing possible risk factors about 4 weeks before the run and one a week after the run assessing running injuries. Using logistic regression we developed an overall risk model and separate risk models based on the running distance. Results: In total 3768 runners participated in this study. The overall risk model contained 4 risk factors: previous injuries (OR 3.7) and running distance during the event (OR 1.3) increased the risk of a running injury whereas older age (OR 0.99) and more training kilometers per week (OR 0.99) showed a decrease. Models between short- and long distance runners did not differ significantly. Previous injuries increased the risk of a running injury in all models, while more training kilometers per week decreased this risk. Conclusions: We found that risk factors for running injuries were not related to running distances. Previous injury is a generic risk factor for running injuries, as is weekly training distance. Prevention of running injuries is important and a higher weekly training volume seems to prevent injuries to a certain extent

Risk factors for patellofemoral pain: a systematic review and meta-analysis.

“This article has been accepted for publication in British Journal of Sports Medicine 2019 following peer review, and the Version of Record can be accessed online at http://dx.doi.org/10.1136/bjsports-2017-098890.”BACKGROUND: Patellofemoral pain (PFP) is a prevalent condition commencing at various points throughout life. We aimed to provide an evidence synthesis concerning predictive variables for PFP, to aid development of preventative interventions. METHODS: We searched Medline, Web of Science and SCOPUS until February 2017 for prospective studies investigating at least one potential risk factor for future PFP. Two independent reviewers appraised methodological quality using the Newcastle-Ottawa Scale. We conducted meta-analysis where appropriate, with standardised mean differences (SMD) and risk ratios calculated for continuous and nominal scaled data. RESULTS: This review included 18 studies involving 4818 participants, of whom 483 developed PFP (heterogeneous incidence 10%). Three distinct subgroups (military recruits, adolescents and recreational runners) were identified. Strong to moderate evidence indicated that age, height, weight, body mass index (BMI), body fat and Q angle were not risk factors for future PFP. Moderate evidence indicated that quadriceps weakness was a risk factor for future PFP in the military, especially when normalised by BMI (SMD -0.69, CI -1.02, -0.35). Moderate evidence indicated that hip weakness was not a risk factor for future PFP (multiple pooled SMDs, range -0.09 to -0.20), but in adolescents, moderate evidence indicated that increased hip abduction strength was a risk factor for future PFP (SMD 0.71, CI 0.39, 1.04). CONCLUSIONS: This review identified multiple variables that did not predict future PFP, but quadriceps weakness in military recruits and higher hip strength in adolescents were risk factors for PFP. Identifying modifiable risk factors is an urgent priority to improve prevention and treatment outcomes

Burden of New and Recurrent Tuberculosis in a Major South African City Stratified by Age and HIV-Status

CITATION: Wood, R. et al. 2011. Burden of new and recurrent tuberculosis in a major South African city stratified by age and HIV-status. PLos ONE, 6(10): e25098, doi:10.1371/journal.pone.0025098.The original publication is available at http://journals.plos.org/plosoneAim To describe the burden of tuberculosis (TB) in Cape Town by calculating TB incidence rates stratified by age and HIV-status, assessing the contribution of retreatment disease and estimating the cumulative lifetime TB risk in HIV-negative individuals. Methods Details of TB cases were abstracted from the 2009 electronic TB register. Population denominators were estimated from census data and actuarial estimates of HIV prevalence, allowing calculation of age-specific and HIV-stratified TB notification rates. Results The 2009 mid-year population was 3,443,010 (3,241,508 HIV-negative and 201,502 HIV-positive individuals). There were 29,478 newly notified TB cases of which 56% were laboratory confirmed. HIV status was recorded for 87% of cases and of those with known HIV-status 49% were HIV-negative and 51% were positive. Discrete peaks in the incidence of non-HIV-associated TB occurred at three ages: 511/100,000 at 0–4 years of age, 553/100,000 at 20–24 years and 628/100,000 at 45–49 years with 1.5%, 19% and 45% being due to retreatment TB, respectively. Only 15.5% of recurrent cases had a history of TB treatment failure or default. The cumulative lifetime risks in the HIV-negative population of all new TB episodes and new smear-positive TB episodes were 24% and 12%, respectively; the lifetime risk of retreatment disease was 9%. The HIV-positive notification rate was 6,567/100,000 (HIV-associated TB rate ratio = 17). Although retreatment cases comprised 30% of the HIV-associated TB burden, 88% of these patients had no history of prior treatment failure or default. Conclusions The annual burden of TB in this city is huge. TB in the HIV-negative population contributed almost half of the overall disease burden and cumulative lifetime risks were similar to those reported in the pre-chemotherapy era. Retreatment TB contributed significantly to both HIV-associated and non-HIV-associated TB but infrequently followed prior inadequate treatment. This likely reflects ongoing TB transmission to both HIV-negative and positive individuals.http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0025098Publisher's versio

Indoor Social Networks in a South African Township: Potential Contribution of Location to Tuberculosis Transmission

CITATION: Wood, R. et al. 2012. Indoor social networks in a South African township : potential contribution of location to tuberculosis transmission. PLoS ONE, 7(6): e39246, doi:10.1371/journal.pone.0039246.The original publication is available at http://journals.plos.org/plosoneBackground We hypothesized that in South Africa, with a generalized tuberculosis (TB) epidemic, TB infection is predominantly acquired indoors and transmission potential is determined by the number and duration of social contacts made in locations that are conducive to TB transmission. We therefore quantified time spent and contacts met in indoor locations and public transport by residents of a South African township with a very high TB burden. Methods A diary-based community social mixing survey was performed in 2010. Randomly selected participants (n = 571) prospectively recorded numbers of contacts and time spent in specified locations over 24-hour periods. To better characterize age-related social networks, participants were stratified into ten 5-year age strata and locations were classified into 11 types. Results Five location types (own-household, other-households, transport, crèche/school, and work) contributed 97.2% of total indoor time and 80.4% of total indoor contacts. Median time spent indoors was 19.1 hours/day (IQR:14.3–22.7), which was consistent across age strata. Median daily contacts increased from 16 (IQR:9–40) in 0–4 year-olds to 40 (IQR:18–60) in 15–19 year-olds and declined to 18 (IQR:10–41) in ≥45 year-olds. Mean daily own-household contacts was 8.8 (95%CI:8.2–9.4), which decreased with increasing age. Mean crèche/school contacts increased from 6.2/day (95%CI:2.7–9.7) in 0–4 year-olds to 28.1/day (95%CI:8.1–48.1) in 15–19 year-olds. Mean transport contacts increased from 4.9/day (95%CI:1.6–8.2) in 0–4 year-olds to 25.5/day (95%CI:12.1–38.9) in 25–29 year-olds. Conclusions A limited number of location types contributed the majority of indoor social contacts in this community. Increasing numbers of social contacts occurred throughout childhood, adolescence, and young adulthood, predominantly in school and public transport. This rapid increase in non-home socialization parallels the increasing TB infection rates during childhood and young adulthood reported in this community. Further studies of the environmental conditions in schools and public transport, as potentially important locations for ongoing TB infection, are indicated.http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0039246Publisher's versio

In situ X-ray Diffraction Computed Tomography studies examining the thermal and chemical stabilities of working Ba0.5Sr0.5Co0.8Fe0.2O3-δ membranes during oxidative coupling of methane

In this study we present the results from two in situ X-ray diffraction computed tomography experiments of catalytic membrane reactors (CMRs) using Ba0.5Sr0.5Co0.8Fe0.2O3−δ (BSCF) hollow fibre membranes and Na-Mn-W/SiO2 catalyst during the oxidative coupling of methane (OCM) reaction. The negative impact of CO2, when added to the inlet gas stream, is seen to be mainly related to the C2+ yield, while no evidence of carbonate phase(s) formation is found during the OCM experiments. The main degradation mechanism of the CMR is suggested to be primarily associated with the solid-state evolution of the BSCF phase rather than the presence of CO2. Specifically, in situ XRD-CT and post-mortem SEM/EDX measurements revealed a collapse of the cubic BSCF phase, formation of secondary phases, which include needle-like structures and hexagonal Ba6Co4O12, and formation of a BaWO4 layer, the latter being a result of chemical interaction between the membrane and catalyst materials at high temperatures

High prevalence of self-reported undiagnosed HIV despite high coverage of HIV testing : a cross-sectional population based sero-survey in South Africa

CITATION: Kranzer, K. et al. 2011. High prevalence of self-reported undiagnosed HIV despite high coverage of HIV testing : a cross-sectional population based sero-survey in South Africa. PLoS ONE, 6(9): e25244, doi:10.1371/journal.pone.0025244.The original publication is available at http://journals.plos.org/plosoneObjectives To measure HIV prevalence and uptake of HIV counseling and testing (HCT) in a peri-urban South African community. To assess predictors for previous HIV testing and the association between the yield of previously undiagnosed HIV and time of last negative HIV test Methods A random sample of 10% of the adult population (≥15 years) were invited to attend a mobile HCT service. Study procedures included a questionnaire, HIV testing and CD4 counts. Predictors for previous testing were determined using a binominal model. Results 1,144 (88.0%) of 1,300 randomly selected individuals participated in the study. 71.0% (68.3–73.6) had previously had an HIV test and 37.5% (34.6–40.5) had tested in the past 12 months. Men, migrants and older (>35 years) and younger (<20 years) individuals were less likely to have had a previous HIV test. Overall HIV prevalence was 22.7 (20.3–25.3) with peak prevalence of 41.8% (35.8–47.8) in women aged 25.1–35 years and 37.5% (26.7–48.3) in men aged 25.1–45 years. Prevalence of previously undiagnosed HIV was 10.3% (8.5–12.1) overall and 4.5% (2.3–6.6), 8.0% (CI 3.9–12.0) and 20.0% (13.2–26.8) in individuals who had their most recent HIV test within 1, 1–2 and more than 2 years prior to the survey. Conclusion The high burden of undiagnosed HIV in individuals who had recently tested underscores the importance of frequent repeat testing at least annually. The high prevalence of previously undiagnosed HIV in individuals reporting a negative test in the 12 months preceding the survey indicates a very high incidence. Innovative prevention strategies are needed.http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0025244Publisher's versio