Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method

Biomarkers differentiate drug-induced liver injury from other liver injury: PONDER study

Background and Aim: Drug-induced liver injury (DILI) is a known complication of volatile anesthetic (VA) agents, and, despite being rare, DILI can be serious. One mechanism of VA-DILI occurs via interleukin 4 (IL-4)driven upregulation of cytochrome P450-2E1, leading to the formation of drug metabolites (haptens) that trigger IL-4-driven antigen-specific T cells and autoantibodies. Our group has developed biomarkers for liver injury and have examined this in patients before and after VA exposure. The aim of this prospective study was to determine the early markers of VA-DILI. Methods: We prospectively followed patients having a VA general anesthetic (sevoflurane and/or desflurane) and compared them with those who received regional or total intravenous anesthesia. Exclusion criteria were known liver disease or any episode of significant hypotension. Baseline data on patient demographics and comorbidities were collected, and blood was analyzed for liver biochemistry, macrophage activation markers (CD206, CD163), and IgG1 and IgG4 antibodies to JHDN5 (the CYP2E1 epitope) and trifluoroacetyl (TFA), the VA drug hapten. Follow-up blood samples were taken 48 h postoperatively and compared with baseline results. DILI was defined as an alanine aminotransferase (ALT) level greater than two times the upper limit of normal (ULN) and post-review agreement by an expert panel, taking into account the pattern of liver function test result derangement and intraoperative events. Results: Of 229 patients recruited, 16 developed an ALT level > 2 × ULN. Twelve were considered likely to have VA-DILI, including four with an ALT rise >3 × ULN. There was a trend to associate VA-DILI with obesity (RR, 2.98; P = 0.063); however, the association with dyslipidemia (RR, 1.47; P = 0.72), male sex (RR, 1.18; P = 0.76), history of atopy (RR, 1.16; P = 0.79), and heavy ethanol consumption (RR, 1.09; P = 0.89) was not statistically significant. Prior VA exposure was not a risk factor (RR, 0.89; P = 0.83). There was a rise in CD206 and decline in CD163 from baseline in all patients. However, in the patients with VA-DILI, the levels were significantly different from all other groups. TFA IgG1 and IgG4 antibodies were elevated in the VA-DILI group when compared with controls. Conclusion: Recognizing that our results may be skewed by our cohort, this work suggests the known immunological pathway mediated by IL-4 in response to an injury: rise in CD206 to stimulate an inflammatory response, and decrease in CD163 to modulate the response. The increase in TFA IgG1 and IgG4 antibodies in the VA-DILI group is consistent with metabolism and the heightened immune response in those who develop DILI. At this early juncture, JHDN5 IgG4 autoantibodies were not detected. Ongoing work is looking at other DILI, and how these markers can be used in DILI

Distinct signaling routes mediate intercellular and intracellular rhizobial infection in Lotus japonicus

Rhizobial infection of legume roots during the development of nitrogen-fixing root nodules can occur intracellularly, through plantderived infection threads traversing cells, or intercellularly, via bacterial entry between epidermal plant cells. Although it is estimated that around 25% of all legume genera are intercellularly infected, the pathways and mechanisms supporting this process have remained virtually unexplored due to a lack of genetically amenable legumes that exhibit this form of infection. In this study, we report that the model legume Lotus japonicus is infected intercellularly by the IRBG74 strain, recently proposed to belong to the Agrobacterium clade of the Rhizobiaceae.We demonstrate that the resources available for L. japonicus enable insight into the genetic requirements and fine-Tuning of the pathway governing intercellular infection in this species. Inoculation of L. japonicus mutants shows that Ethylene-responsive factor required for nodulation 1 (Ern1) and Leu-rich Repeat Receptor-Like Kinase (RinRK1) are dispensable for intercellular infection in contrast to intracellular infection. Other symbiotic genes, including nod factor receptor 5 (NFR5), symbiosis receptor-like kinase (SymRK), Ca2+/calmodulin dependent kinase (CCaMK), exopolysaccharide receptor 3 (Epr3), Cyclops, nodule inception (Nin), nodulation signaling pathway 1 (Nsp1), nodulation signaling pathway 2 (Nsp2), cystathionine-b-synthase (Cbs), and Vapyrin are equally important for both entry modes. Comparative RNAseq analysis of roots inoculated with IRBG74 revealed a distinctive transcriptome response compared with intracellular colonization. In particular, several cytokinin-related genes were differentially regulated. Corroborating this observation, cyp735A and ipt4 cytokinin biosynthesis mutants were significantly affected in their nodulation with IRBG74, whereas lhk1 cytokinin receptor mutants formed no nodules. These results indicate a differential requirement for cytokinin signaling during intercellular rhizobial entry and highlight distinct modalities of inter-and intracellular infection mechanisms in L. japonicus.</p

Results after surgical treatment of liver metastases in patients with high-grade gastroenteropancreatic neuroendocrine carcinomas

Background: Gastroenteropancreatic neuroendocrine carcinomas (GEP-NEC) are generally characterized by synchronous metastases, high aggressiveness and a dismal prognosis. Current international guidelines do not recommend surgical treatment of liver metastases, however the existing data are scarce. The aim of this study was to evaluate the results of curatively intended resection/radiofrequency ablation (RFA) of liver metastases in patients with metastatic GEP-NEC. Methods: 32 patients with a diagnosis of high-grade gastroenteropancreatic neuroendocrine neoplasm (Ki-67 > 20%) and with intended curative resection/RFA of liver metastases, were identified among 840 patients from two Nordic GEP-NEC registries. Tumor morphology (well vs poor differentiation) was reassessed. Overall survival (OS) and progression-free survival (PFS) was assessed by Kaplan Meier analyses for the entire cohort and for subgroups. Results: Median OS after resection/RFA of liver metastases was 35.9 months (95% -CI: 20.6-51.3) with a five-year OS of 43%. The median PFS was 8.4 months (95% -CI: 3.9-13). Four patients (13%) were disease -free after 5 years. Two patients had well -differentiated morphology (NET G3) and 20 patients (63%) had Ki-67 >= 55%. A Ki-67 <55% and receiving adjuvant chemotherapy were statistically significant factors of improved OS after liver resection/RFA. Conclusion: This study shows a long median and long term survival after liver surgery/RFA for these selected metastatic GEP-NEC patients, particularly for the group with a Ki-67 in the relatively lower G3 range. Our findings indicate a possible role for surgical treatment of liver metastases in the management of this patient population. (C) 2017 Elsevier Ltd, BASO - The Association for Cancer Surgery, and the European Society of Surgical Oncology. All rights reserved.Peer reviewe

Ibrutinib, lenalidomide, and rituximab in relapsed or refractory mantle cell lymphoma (PHILEMON) : a multicentre, open-label, single-arm, phase 2 trial

Background Regimens based on ibrutinib alone and lenalidomide and rituximab in combination show high activity in patients with relapsed or refractory mantle cell lymphoma. We hypothesised that the combination of all three drugs would improve efficacy compared with previously published data on either regimen alone. Methods In this multicentre, open-label, single-arm, phase 2 trial, we enrolled patients aged 18 years or older with relapsed or refractory mantle cell lymphoma who had previously been treated with at least one rituximab-containing regimen, an Eastern Cooperative Oncology Group performance status score of 0-3, and at least one site of measurable disease, and who met criteria for several laboratory-assessed parameters. Treatment was divided into an induction phase of 12 cycles of 28 days with all three drugs and a maintenance phase with ibrutinib and rituximab only (cycle duration 56 days), given until disease progression or unacceptable toxicity. In the induction phase, patients received intravenous (375 mg/m(2)) or subcutaneous (1400 mg) rituximab once a week during cycle 1 and then once every 8 weeks. Oral ibrutinib (560 mg once a day) was given to patients every day in the cycle, whereas oral lenalidomide (15 mg once a day) was given on days 1-21. The primary endpoint was overall response assessed in the intention-totreat population according to Lugano criteria. Safety analysis included all patients who received the treatment, irrespective of eligibility or duration of treatment. The trial is ongoing, but is no longer accruing patients, and is registered with ClinicalTrials. gov, number NCT02460276. Findings Between April 30, 2015, and June 1, 2016, we enrolled 50 patients with relapsed or refractory mantle cell lymphoma at ten centres in Sweden, Finland, Norway, and Denmark. At a median follow-up of 17.8 months (IQR 14.7-20.9), 38 (76%, 95% CI 63-86) patients had an overall response, including 28 (56%, 42-69) patients who had a complete response and ten (20%, 11-33) who had a partial response. The most common grade 3-4 adverse events were neutropenia (in 19 [38%] of 50 patients), infections (in 11 [22%] patients), and cutaneous toxicity (in seven [14%] patients). There were three treatment-related deaths during the study, two due to sepsis and one due to embolic stroke. Interpretation Our results provide preliminary evidence that the triplet combination of ibrutinib, lenalidomide, and rituximab is an active regimen in patients with relapsed or refractory mantle cell lymphoma, and should be evaluated in a prospective randomised controlled trial.Peer reviewe

Drinking pattern of wine and effects on human health: why should we drink moderately and with meals?

Epidemiological studies examining the effects of alcoholic beverages on human health may be unclear if they do not take into account drinking pattern parameters such as beverage type, regular moderateversusbinge drinking and drinking with meals

Detailed Long-Term Follow-Up of Patients Who Relapsed After the Nordic Mantle Cell Lymphoma Trials : MCL2 and MCL3

Mantle cell lymphoma (MCL) is an incurable disease with a highly variable clinical course. The prognosis after relapse is generally poor, and no standard of care exists. We investigated the postrelapse outcomes of 149 patients who were initially treated in the Nordic Lymphoma Group trials, MCL2 or MCL3, both representing intensive cytarabine-containing frontline regimens including autologous stem cell transplant. Patients with progression of disease before 24 months (POD24, n = 51, 34%) displayed a median overall survival of 6.6 months compared with 46 months for patients with later POD (n = 98, 66%; P < 0.001). MCL international prognostic index, cell proliferation marker, blastoid morphology, and TP53 mutations showed independent prognostic value irrespective of POD24, and in a combined, exploratory risk score, patients with 0, 1, 2-3, or 4-5 high-risk markers, respectively, displayed a 5-year overall survival of 62%, 39%, 31%, and 0%. By a comparison of median progression-free survival of the different salvage therapies in the relapse setting, bendamustine-rituximab was superior to all other combination chemotherapy regimens; however, it was also associated with longer responses to last line of therapy. Collectively, we confirm the prognostic impact of POD24 and highlight the relevance of other biomarkers, and we emphasize the importance of novel therapies for patients with high-risk features at first POD.Peer reviewe

Red wine consumption increases antioxidant status and decreases oxidative stress in the circulation of both young and old humans

Background: Red wine contains a naturally rich source of antioxidants, which may protect the body from oxidative stress, a determinant of age-related disease. The current study set out to determine the in vivo effects of moderate red wine consumption on antioxidant status and oxidative stress in the circulation.Methods: 20 young (18&ndash;30 yrs) and 20 older (&ge; 50 yrs) volunteers were recruited. Each age group was randomly divided into treatment subjects who consumed 400 mL/day of red wine for two weeks, or control subjects who abstained from alcohol for two weeks, after which they crossed over into the other group. Blood samples were collected before and after red wine consumption and were used for analysis of whole blood glutathione (GSH), plasma malondialdehyde (MDA) and serum total antioxidant status.Results: Results from this study show consumption of red wine induced significant increases in plasma total antioxidant status (P &lt; 0.03), and significant decreases in plasma MDA (P &lt; 0.001) and GSH (P &lt; 0.004) in young and old subjects. The results show that the consumption of 400 mL/day of red wine for two weeks, significantly increases antioxidant status and decreases oxidative stress in the circulation.Conclusion: It may be implied from this data that red wine provides general oxidative protection and to lipid systems in circulation via the increase in antioxidant status.<br /