Parameterized Verification of Systems with Global Synchronization and Guards

Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards. Our model generalizes many existing models in the literature, including broadcast protocols and guarded protocols. We show that reachability properties are decidable for systems without guards, and give sufficient conditions under which they remain decidable in the presence of guards. Furthermore, we investigate cutoffs for reachability properties and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.Comment: Accepted at CAV 202

Fatigue, quality of life and physical fitness following an exercise intervention in multiple myeloma survivors (MASCOT): an exploratory randomised Phase 2 trial utilising a modified Zelen design

Background: Exercise may improve fatigue in multiple myeloma survivors, but trial evidence is limited, and exercise may be perceived as risky in this older patient group with osteolytic bone destruction. Methods: In this Phase 2 Zelen trial, multiple myeloma survivors who had completed treatment at least 6 weeks ago, or were on maintenance only, were enrolled in a cohort study and randomly assigned to usual care or a 6-month exercise programme of tailored aerobic and resistance training. Outcome assessors and usual care participants were masked. The primary outcome was the FACIT-F fatigue score with higher scores denoting less fatigue. Results: During 2014–2016, 131 participants were randomised 3:1 to intervention (n = 89) or usual care (n = 42) to allow for patients declining allocation to the exercise arm. There was no difference between groups in fatigue at 3 months (between-group mean difference: 1.6 [95% CI: −1.1–4.3]) or 6 months (0.3 [95% CI: −2.6–3.1]). Muscle strength improved at 3 months (8.4 kg [95% CI: 0.5–16.3]) and 6 months (10.8 kg [95% CI: 1.2–20.5]). Using per-protocol analysis, cardiovascular fitness improved at 3 months (+1.2 ml/kg/min [95% CI: 0.3–3.7]). In participants with clinical fatigue (n = 17), there was a trend towards less fatigue with exercise over 6 months (6.3 [95% CI: −0.6–13.3]). There were no serious adverse events. Conclusions: Exercise appeared safe and improved muscle strength and cardiovascular fitness, but benefits in fatigue appeared limited to participants with clinical fatigue at baseline. Future studies should focus on patients with clinical fatigue. Clinical trial registration: The study was registered with ISRCTN (38480455) and is completed

The Tri-Trophic Interactions Hypothesis: Interactive Effects of Host Plant Quality, Diet Breadth and Natural Enemies on Herbivores

Several influential hypotheses in plant-herbivore and herbivore-predator interactions consider the interactive effects of plant quality, herbivore diet breadth, and predation on herbivore performance. Yet individually and collectively, these hypotheses fail to address the simultaneous influence of all three factors. Here we review existing hypotheses, and propose the tri-trophic interactions (TTI) hypothesis to consolidate and integrate their predictions. The TTI hypothesis predicts that dietary specialist herbivores (as compared to generalists) should escape predators and be competitively dominant due to faster growth rates, and that such differences should be greater on low quality (as compared to high quality) host plants. To provide a preliminary test of these predictions, we conducted an empirical study comparing the effects of plant (Baccharis salicifolia) quality and predators between a specialist (Uroleucon macolai) and a generalist (Aphis gossypii) aphid herbivore. Consistent with predictions, these three factors interactively determine herbivore performance in ways not addressed by existing hypotheses. Compared to the specialist, the generalist was less fecund, competitively inferior, and more sensitive to low plant quality. Correspondingly, predator effects were contingent upon plant quality only for the generalist. Contrary to predictions, predator effects were weaker for the generalist and on low-quality plants, likely due to density-dependent benefits provided to the generalist by mutualist ants. Because the TTI hypothesis predicts the superior performance of specialists, mutualist ants may be critical to A. gossypii persistence under competition from U. macolai. In summary, the integrative nature of the TTI hypothesis offers novel insight into the determinants of plant-herbivore and herbivore-predator interactions and the coexistence of specialist and generalist herbivores

Partial tetraplegic syndrome as a complication of a mobilizing/manipulating procedure of the cervical spine in a man with Forestier's disease: a case report

<p>Abstract</p> <p>Introduction</p> <p>Even if performed by qualified physical therapists, spinal manipulation and mobilization can cause adverse events. This holds true particularly for the cervical spine. In light of the substantial risks, the benefits of cervical spine manipulation may be outweighed by the possibility of further injury.</p> <p>Case presentation</p> <p>We present the case of a 56-year-old Caucasian man with Forestier's disease who went to see a physiotherapist to relieve his aching neck while on a holiday trip. Following the procedure, he was transferred to a local hospital with a partial tetraplegic syndrome due to a cervical 6/7 luxation fracture. Reportedly, the physiotherapist took neither a detailed history, nor adequate diagnostic measures.</p> <p>Conclusions</p> <p>This case highlights the potentially dangerous complications associated with cervical spine mobilization/manipulation. If guidelines concerning cervical spine mobilization and manipulation practices had been followed, this adverse event could have been avoided.</p

Specification of the NF-κB transcriptional response by p65 phosphorylation and TNF-induced nuclear translocation of IKKε

Here we investigated the regulation of NF-κB activity by post-translational modifications upon reconstitution of NF-κB p65-deficient cells with the wild-type protein or phosphorylation-defect mutants. Analysis of NF-κB target gene expression showed that p65 phosphorylations alone or in combination function to direct transcription in a highly target gene-specific fashion, a finding discussed here as the NF-κB barcode hypothesis. High-resolution microscopy and surface rendering revealed serine 536 phosphorylated p65 predominantly in the cytosol, while serine 468 phosphorylated p65 mainly localized in nuclear speckles. TNF stimulation resulted in the translocation of the cytosolic p65 kinase IKKε to the nucleus and also to promyelocytic leukemia (PML) nuclear bodies. This inducible IKKε translocation was dependent on p65 phosphorylation and was prevented by the oncogenic PML-RARα fusion protein. Chromatin immunoprecipitation experiments revealed the inducible association of IKKε to the control regions of several NF-κB target genes. In the nucleus, the kinase contributes to the expression of a subset of NF-κB-regulated genes, thus revealing a novel role of IKKε for the control of nuclear NF-κB activity

TNFAIP3 (A20) is a tumor suppressor gene in Hodgkin lymphoma and primary mediastinal B cell lymphoma

Proliferation and survival of Hodgkin and Reed/Sternberg (HRS) cells, the malignant cells of classical Hodgkin lymphoma (cHL), are dependent on constitutive activation of nuclear factor κB (NF-κB). NF-κB activation through various stimuli is negatively regulated by the zinc finger protein A20. To determine whether A20 contributes to the pathogenesis of cHL, we sequenced TNFAIP3, encoding A20, in HL cell lines and laser-microdissected HRS cells from cHL biopsies. We detected somatic mutations in 16 out of 36 cHLs (44%), including missense mutations in 2 out of 16 Epstein-Barr virus–positive (EBV+) cHLs and a missense mutation, nonsense mutations, and frameshift-causing insertions or deletions in 14 out of 20 EBV− cHLs. In most mutated cases, both TNFAIP3 alleles were inactivated, including frequent chromosomal deletions of TNFAIP3. Reconstitution of wild-type TNFAIP3 in A20-deficient cHL cell lines revealed a significant decrease in transcripts of selected NF-κB target genes and caused cytotoxicity. Extending the mutation analysis to primary mediastinal B cell lymphoma (PMBL), another lymphoma with constitutive NF-κB activity, revealed destructive mutations in 5 out of 14 PMBLs (36%). This report identifies TNFAIP3 (A20), a key regulator of NF-κB activity, as a novel tumor suppressor gene in cHL and PMBL. The significantly higher frequency of TNFAIP3 mutations in EBV− than EBV+ cHL suggests complementing functions of TNFAIP3 inactivation and EBV infection in cHL pathogenesis

Handlebar hernia: a case report and literature review on traumatic abdominal wall hernia in children

A rare case of abdominal trauma, a handlebar hernia, is described, as well as a review of the pertinent literature. A 7-year-old boy presented to our emergency room after sustaining blunt force to the abdomen; he fell on the handlebar of his bicycle. Immediately after the accident, a bulge was noticeable at the point of impact. Handlebar hernia is a diagnosis that is easily missed, which can lead to strangulation and incarceration of the bowel. With this case report, we hope to augment the knowledge on traumatic abdominal wall hernia, hopefully leading to early diagnosis and treatment

Maternal Postpartum Distress and Childhood Overweight

OBJECTIVE: We investigated associations between maternal postpartum distress covering anxiety, depression and stress and childhood overweight. METHODS: We performed a prospective cohort study, including 21,121 mother-child-dyads from the Danish National Birth Cohort (DNBC). Maternal distress was measured 6 months postpartum by 9 items covering anxiety, depression and stress. Outcome was childhood overweight at 7-years-of age. Multiple logistic regression analyses were performed and information on maternal age, socioeconomic status, pre-pregnancy BMI, gestational weight gain, parity, smoking during pregnancy, paternal BMI, birth weight, gestational age at birth, sex, breastfeeding and finally infant weight at 5 and 12 month were included in the analyses. RESULTS: We found, that postpartum distress was not associated with childhood risk of overweight, OR 1.00, 95%CI [0.98-1.02]. Neither was anxiety, depression, or stress exposure, separately. There were no significant differences between the genders. Adjustment for potential confounders did not alter the results. CONCLUSION: Maternal postpartum distress is apparently not an independent risk factor for childhood overweight at 7-years-of-age. However, we can confirm previous findings of perinatal determinants as high maternal pre-pregnancy BMI, and smoking during pregnancy being risk factors for childhood overweight