Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Failure or relapse predictors for the STREAM Stage 1 short regimen for RR-TB

BACKGROUND: STREAM (Standardised Treatment Regimens of Anti-tuberculosis drugs for Multidrug-Resistant Tuberculosis) Stage 1 demonstrated non-inferior efficacy of a short regimen for rifampicin-resistant TB (RR-TB) compared to a long regimen as recommended by the WHO. The present paper analyses factors associated with a definite or probable failure or relapse (FoR) event in participants receiving the Short regimen.METHODS: This analysis is restricted to 253 participants allocated to the Short regimen and is based on the protocol-defined modified intention to treat (mITT) population. Multivariable Cox regression models were built using backwards elimination with an exit probability of P = 0.157, equivalent to the Akaike Information Criterion, to identify factors independently associated with a definite or probable FoR event.RESULTS: Four baseline factors were identified as being significantly associated with the risk of definite or probable FoR (male sex, a heavily positive baseline smear grade, HIV co-infection and the presence of costophrenic obliteration). There was evidence of association of culture positivity at Week 8 and FoR in a second model and Week 16 smear positivity, presence of diabetes and of smoking in a third model.CONCLUSION: The factors associated with FoR outcomes identified in this analysis should be considered when determining the optimal shortened treatment regimen

The biogeography of South African terrestrial plant invasions

Thousands of plant species have been introduced, intentionally and accidentally, to South Africa from many parts of the world. Alien plants are now conspicuous features of many South African landscapes and hundreds of species have naturalised (i.e. reproduce regularly without human intervention), many of which are also invasive (i.e. have spread over long distances). There is no comprehensive inventory of alien, naturalised, and invasive plants for South Africa, but 327 plant taxa, most of which are invasive, are listed in national legislation. We collated records of 759 plant taxa in 126 families and 418 genera that have naturalised in natural and semi-natural ecosystems. Over half of these naturalised taxa are trees or shrubs, just under a tenth are in the families Fabaceae (73 taxa) and Asteraceae (64); genera with the most species are Eucalyptus,Acacia, and Opuntia. The southern African Plant Invaders Atlas (SAPIA) provides the best data for assessing the extent of invasions at the national scale. SAPIA data show that naturalised plants occur in 83% of quarter-degree grid cells in the country. While SAPIA data highlight general distribution patterns (high alien plant species richness in areas with high native plant species richness and around the main human settlements), an accurate, repeatable method for estimating the area invaded by plants is lacking. Introductions and dissemination of alien plants over more than three centuries, and invasions over at least 120 years (and especially in the last 50 years) have shaped the distribution of alien plants in South Africa. Distribution patterns of naturalised and invasive plants define four ecologically-meaningful clusters or “alien plant species assemblage zones”, each with signature alien plant taxa for which trait-environment interactions can be postulated as strong determinants of success. Some widespread invasive taxa occur in high frequencies across multiple zones; these taxa occur mainly in riparian zones and other azonal habitats,or depend on human-mediated disturbance, which weakens or overcomes the factors that determine specificity to any biogeographical region

Prevalence, incidence, and associated risk factors of tuberculosis in children with HIV living in the UK and Ireland (CHIPS): a cohort study

BACKGROUND: Tuberculosis is the most common serious co-infection in people living with HIV worldwide, but little is known about its incidence in HIV-infected children living in high-resource settings with low tuberculosis prevalence. We aimed to assess the incidence and prevalence of tuberculosis in children with HIV living in the UK and Ireland to understand rates, risk factors, and outcomes of the disease in this group. METHODS: We did an analysis of children enrolled in CHIPS, an observational multicentre cohort of children receiving HIV care in the UK and Ireland. We assessed characteristics and prevalence of tuberculosis at baseline, measured incidence of disease through the follow-up period using the CHIPS database, and calculated associated risk factors in these children with multivariable logistic and Cox regression models. FINDINGS: Between Jan 1, 1996, to Sept 18, 2014, data for 1848 children with 14 761 years of follow-up were reported to CHIPS. 57 (3%) children were diagnosed with tuberculosis: 29 children had tuberculosis at presentation (prevalent tuberculosis) and 29 had the disease diagnosed during follow-up (incident tuberculosis), including one child with recurrent tuberculosis events. Median age at diagnosis was 9 years (IQR 5-12). 25 (43%) children had pulmonary tuberculosis, 24 (41%) had extrapulmonary tuberculosis with or without pulmonary involvement, and the remainder (n=9; 16%) had unspecified-site tuberculosis. The overall incidence rate for the follow-up period was 196 cases per 100 000 person-years (95% CI 137-283). In our multivariable model, tuberculosis at presentation was associated with more severe WHO immunological stage at baseline (odds ratio 0·25, 95% CI 0·08-0·74; p=0·0331; for none vs severe) and being born abroad (odds ratio 0·28, 0·10-0·73; p=0·0036; for UK and Ireland vs abroad). Incident tuberculosis was associated with time-updated more severe WHO immunological stage (hazard ratio 0·15, 95% CI 0·06-0·41; p=0·0056; for none vs severe) and older age at baseline (1·11, 0·47-2·63; p=0·0027; for age >10 years vs 5-9 years). INTERPRETATION: Tuberculosis rates in HIV-infected children in the UK and Ireland were higher than those reported in the general paediatric population. Further study is warranted of tuberculosis screening and preventive treatment for children at high-risk of this disease to avoid morbidity and mortality in this population. FUNDING: NHS England, PENTA Foundation

Outcomes after viral load rebound on fi rst-line antiretroviraltreatment in children with HIV in the UK and Ireland:an observational cohort study.

BACKGROUND: About a third of children with HIV have virological failure within 2 years of beginning antiretroviral treatment (ART). We assessed the probability of switch to second-line ART or virological re-suppression without switch in children who had virological rebound on first-line ART in the UK and Ireland. METHODS: In this study, we used data reported to the Collaborative HIV Paediatric Study (CHIPS), a national multicentre observational cohort. We included children with virological rebound (confirmed viral load>400 copies per mL after suppression<400 copies per mL) on first-line ART. We did a competing-risk analysis to estimate the probability of switch to second-line treatment, confirmed resuppression (two consecutive viral load measurments<400 copies per mL) without switch, and continued viral load above 400 copies per mL without switch. We also assessed factors that predicted a faster time to switch. FINDINGS: Of the 900 children starting first-line ART who had a viral load below 400 copies per mL within a year of starting treatment, 170 (19%) had virological rebound by a median of 20·6 months (IQR 9·7–40·5). At rebound, median age was 10·6 years (5·6–13·4), median viral load was 3·6 log10 copies per mL (3·1–4·2), and median CD4% was 24% (17–32). 89 patients (52%) switched to second-line ART at a median of 4·9 months (1·7–13·4) after virological rebound, 53 (31%) resuppressed without switch (19 [61%] of 31 patients on a first-line regimen that included a protease inhibitor and 31 [24%] of 127 patients on a first-line regimen that included a non-nucleoside reverse transcriptase inhibitor; NNRTI), and 28 (16%) neither resuppressed nor switched. At 12 months after rebound, the estimated probability of switch was 38% (95% CI 30–45) and of resuppression was 27% (21–34). Faster time to switch was associated with a higher viral load (p<0·0001), later calendar year at virological rebound (p=0·02), and being on an NNRTI-based or triple nucleoside reverse transcriptase inhibitor-based versus protease-inhibitor-based first-line regimen (p=0·001). INTERPRETATION: A third of children with virological rebound resuppressed without switch. Clinicians should consider the possibility of resuppression with adherence support before switching treatment in children with HIV. FUNDING: NHS England (London Specialised Commissioning Group)

Cast aluminium single crystals cross the threshold from bulk to size-dependent stochastic plasticity

Metals are known to exhibit mechanical behaviour at the nanoscale different to bulk samples. This transition typically initiates at the micrometre scale, yet existing techniques to produce micrometre-sized samples often introduce artefacts that can influence deformation mechanisms. Here, we demonstrate the casting of micrometre-scale aluminium single-crystal wires by infiltration of a salt mould. Samples have millimetre lengths, smooth surfaces, a range of crystallographic orientations, and a diameter D as small as 6 μm. The wires deform in bursts, at a stress that increases with decreasing D. Bursts greater than 200 nm account for roughly 50% of wire deformation and have exponentially distributed intensities. Dislocation dynamics simulations show that single-arm sources that produce large displacement bursts halted by stochastic cross-slip and lock formation explain microcast wire behaviour. This microcasting technique may be extended to several other metals or alloys and offers the possibility of exploring mechanical behaviour spanning the micrometre scale

Height and timing of growth spurt during puberty in young people living with vertically acquired HIV in Europe and Thailand.

OBJECTIVE: The aim of this study was to describe growth during puberty in young people with vertically acquired HIV. DESIGN: Pooled data from 12 paediatric HIV cohorts in Europe and Thailand. METHODS: One thousand and ninety-four children initiating a nonnucleoside reverse transcriptase inhibitor or boosted protease inhibitor based regimen aged 1-10 years were included. Super Imposition by Translation And Rotation (SITAR) models described growth from age 8 years using three parameters (average height, timing and shape of the growth spurt), dependent on age and height-for-age z-score (HAZ) (WHO references) at antiretroviral therapy (ART) initiation. Multivariate regression explored characteristics associated with these three parameters. RESULTS: At ART initiation, median age and HAZ was 6.4 [interquartile range (IQR): 2.8, 9.0] years and -1.2 (IQR: -2.3 to -0.2), respectively. Median follow-up was 9.1 (IQR: 6.9, 11.4) years. In girls, older age and lower HAZ at ART initiation were independently associated with a growth spurt which occurred 0.41 (95% confidence interval 0.20-0.62) years later in children starting ART age 6 to 10 years compared with 1 to 2 years and 1.50 (1.21-1.78) years later in those starting with HAZ less than -3 compared with HAZ at least -1. Later growth spurts in girls resulted in continued height growth into later adolescence. In boys starting ART with HAZ less than -1, growth spurts were later in children starting ART in the oldest age group, but for HAZ at least -1, there was no association with age. Girls and boys who initiated ART with HAZ at least -1 maintained a similar height to the WHO reference mean. CONCLUSION: Stunting at ART initiation was associated with later growth spurts in girls. Children with HAZ at least -1 at ART initiation grew in height at the level expected in HIV negative children of a comparable age

Mechanical analysis of infant carrying in hominoids

In all higher nonhuman primates, species survival depends upon safe carrying of infants clinging to body hair of adults. In this work, measurements of mechanical properties of ape hair (gibbon, orangutan, and gorilla) are presented, focusing on constraints for safe infant carrying. Results of hair tensile properties are shown to be species-dependent. Analysis of the mechanics of the mounting position, typical of heavier infant carrying among African apes, shows that both clinging and friction are necessary to carry heavy infants. As a consequence, a required relationship between infant weight, hair–hair friction coefficient, and body angle exists. The hair–hair friction coefficient is measured using natural ape skin samples, and dependence on load and humidity is analyzed. Numerical evaluation of the equilibrium constraint is in agreement with the knuckle-walking quadruped position of African apes. Bipedality is clearly incompatible with the usual clinging and mounting pattern of infant carrying, requiring a revision of models of hominization in relation to the divergence between apes and hominins. These results suggest that safe carrying of heavy infants justify the emergence of biped form of locomotion. Ways to test this possibility are foreseen here

The consequences of delaying insulin initiation in UK type 2 diabetes patients failing oral hyperglycaemic agents: a modelling study

<p>Abstract</p> <p>Background</p> <p>Recent data have shown that type 2 diabetes patients in the UK delay initiating insulin on average for over 11 years after first being prescribed an oral medication. Using a published computer simulation model of diabetes we used UK-specific data to estimate the clinical consequences of immediately initiating insulin versus delaying initiation for periods in line with published estimates.</p> <p>Methods</p> <p>In the base case scenario simulated patients, with characteristics based on published UK data, were modelled as either initiating insulin immediately or delaying for 8 years. Clinical outcomes in terms of both life expectancy and quality-adjusted life expectancy and also diabetes-related complications (cumulative incidence and time to onset) were projected over a 35 year time horizon. Treatment effects associated with insulin use were taken from published studies and sensitivity analyses were performed around time to initiation of insulin, insulin efficacies and hypoglycaemia utilities.</p> <p>Results</p> <p>For patients immediately initiating insulin there were increases in (undiscounted) life expectancy of 0.61 years and quality-adjusted life expectancy of 0.34 quality-adjusted life years versus delaying initiation for 8 years. There were also substantial reductions in cumulative incidence and time to onset of all diabetes-related complications with immediate versus delayed insulin initiation. Sensitivity analyses showed that a reduced delay in insulin initiation or change in insulin efficacy still demonstrated clinical benefits for immediate versus delayed initiation.</p> <p>Conclusion</p> <p>UK type 2 diabetes patients are at increased risk of a large number of diabetes-related complications due to an unnecessary delay in insulin initiation. Despite clear guidelines recommending tight glycaemic control this failure to begin insulin therapy promptly is likely to result in needlessly reduced life expectancy and compromised quality of life.</p