Automating the Generation of Heterogeneous Aviation Safety Cases

A safety case is a structured argument, supported by a body of evidence, which provides a convincing and valid justification that a system is acceptably safe for a given application in a given operating environment. This report describes the development of a fragment of a preliminary safety case for the Swift Unmanned Aircraft System. The construction of the safety case fragment consists of two parts: a manually constructed system-level case, and an automatically constructed lower-level case, generated from formal proof of safety-relevant correctness properties. We provide a detailed discussion of the safety considerations for the target system, emphasizing the heterogeneity of sources of safety-relevant information, and use a hazard analysis to derive safety requirements, including formal requirements. We evaluate the safety case using three classes of metrics for measuring degrees of coverage, automation, and understandability. We then present our preliminary conclusions and make suggestions for future work

Hepatocyte expressed chemerin-156 does not protect from experimental non-alcoholic steatohepatitis.

Non-alcoholic steatohepatitis (NASH) is a rapidly growing liver disease. The chemoattractant chemerin is abundant in hepatocytes, and hepatocyte expressed prochemerin protected from NASH. Prochemerin is inactive and different active isoforms have been described. Here, the effect of hepatocyte expressed muChem-156, a highly active murine chemerin isoform, was studied in the methionine-choline deficient dietary model of NASH. Mice overexpressing muChem-156 had higher hepatic chemerin protein. Serum chemerin levels and the capability of serum to activate the chemerin receptors was unchanged showing that the liver did not release active chemerin. Notably, activation of the chemerin receptors by hepatic vein blood did not increase in parallel to total chemerin protein in patients with liver cirrhosis. In experimental NASH, muChem-156 had no effect on liver lipids. Accordingly, overexpression of active chemerin in hepatocytes or treatment of hepatocytes with recombinant chemerin did not affect cellular triglyceride and cholesterol levels. Importantly, overexpression of muChem-156 in the murine liver did not change the hepatic expression of inflammatory and profibrotic genes. The downstream targets of chemerin such as p38 kinase were neither activated in the liver of muChem-156 producing mice nor in HepG2, Huh7 and Hepa1-6 cells overexpressing this isoform. Recombinant chemerin had no effect on global gene expression of primary human hepatocytes and hepatic stellate cells within 24 h of incubation. Phosphorylation of p38 kinase was, however, increased upon short-time incubation of HepG2 cells with chemerin. These findings show that muChem-156 overexpression in hepatocytes does not protect from liver steatosis and inflammation

Albiglutide and cardiovascular outcomes in patients with type 2 diabetes and cardiovascular disease (Harmony Outcomes): a double-blind, randomised placebo-controlled trial

Background: Glucagon-like peptide 1 receptor agonists differ in chemical structure, duration of action, and in their effects on clinical outcomes. The cardiovascular effects of once-weekly albiglutide in type 2 diabetes are unknown. We aimed to determine the safety and efficacy of albiglutide in preventing cardiovascular death, myocardial infarction, or stroke. Methods: We did a double-blind, randomised, placebo-controlled trial in 610 sites across 28 countries. We randomly assigned patients aged 40 years and older with type 2 diabetes and cardiovascular disease (at a 1:1 ratio) to groups that either received a subcutaneous injection of albiglutide (30–50 mg, based on glycaemic response and tolerability) or of a matched volume of placebo once a week, in addition to their standard care. Investigators used an interactive voice or web response system to obtain treatment assignment, and patients and all study investigators were masked to their treatment allocation. We hypothesised that albiglutide would be non-inferior to placebo for the primary outcome of the first occurrence of cardiovascular death, myocardial infarction, or stroke, which was assessed in the intention-to-treat population. If non-inferiority was confirmed by an upper limit of the 95% CI for a hazard ratio of less than 1·30, closed testing for superiority was prespecified. This study is registered with ClinicalTrials.gov, number NCT02465515. Findings: Patients were screened between July 1, 2015, and Nov 24, 2016. 10 793 patients were screened and 9463 participants were enrolled and randomly assigned to groups: 4731 patients were assigned to receive albiglutide and 4732 patients to receive placebo. On Nov 8, 2017, it was determined that 611 primary endpoints and a median follow-up of at least 1·5 years had accrued, and participants returned for a final visit and discontinuation from study treatment; the last patient visit was on March 12, 2018. These 9463 patients, the intention-to-treat population, were evaluated for a median duration of 1·6 years and were assessed for the primary outcome. The primary composite outcome occurred in 338 (7%) of 4731 patients at an incidence rate of 4·6 events per 100 person-years in the albiglutide group and in 428 (9%) of 4732 patients at an incidence rate of 5·9 events per 100 person-years in the placebo group (hazard ratio 0·78, 95% CI 0·68–0·90), which indicated that albiglutide was superior to placebo (p<0·0001 for non-inferiority; p=0·0006 for superiority). The incidence of acute pancreatitis (ten patients in the albiglutide group and seven patients in the placebo group), pancreatic cancer (six patients in the albiglutide group and five patients in the placebo group), medullary thyroid carcinoma (zero patients in both groups), and other serious adverse events did not differ between the two groups. There were three (<1%) deaths in the placebo group that were assessed by investigators, who were masked to study drug assignment, to be treatment-related and two (<1%) deaths in the albiglutide group. Interpretation: In patients with type 2 diabetes and cardiovascular disease, albiglutide was superior to placebo with respect to major adverse cardiovascular events. Evidence-based glucagon-like peptide 1 receptor agonists should therefore be considered as part of a comprehensive strategy to reduce the risk of cardiovascular events in patients with type 2 diabetes. Funding: GlaxoSmithKline

The 42nd Symposium Chromatographic Methods of Investigating Organic Compounds : Book of abstracts

The 42nd Symposium Chromatographic Methods of Investigating Organic Compounds : Book of abstracts. June 4-7, 2019, Szczyrk, Polan

A computational-grid based system for continental drainage network extraction using SRTM digital elevation models

We describe a new effort for the computation of elevation derivatives using the Shuttle Radar Topography Mission (SRTM) results. Jet Propulsion Laboratory's (JPL) SRTM has produced a near global database of highly accurate elevation data. The scope of this database enables computing precise stream drainage maps and other derivatives on Continental scales. We describe a computing architecture for this computationally very complex task based on NASA's Information Power Grid (IPG), a distributed high performance computing network based on the GLOBUS infrastructure. The SRTM data characteristics and unique problems they present are discussed. A new algorithm for organizing the conventional extraction algorithms [1] into a cooperating parallel grid is presented as an essential component to adapt to the IPG computing structure. Preliminary results are presented for a Southern California test area, established for comparing SRTM and its results against those produced using the USGS National Elevation Data (NED) model

Chemerin Is Induced in Non-Alcoholic Fatty Liver Disease and Hepatitis B-Related Hepatocellular Carcinoma

Simple Summary Hepatocellular carcinoma (HCC) is a frequent liver cancer and high expression of bioactive chemerin in hepatocytes was protective in experimental HCC models. The main risk factors for HCC are non-alcoholic fatty liver disease (NAFLD), hepatitis B and C infections. The current analysis showed that chemerin protein was induced in HCC tissues of NAFLD and hepatitis B infected patients. This upregulation was modest in patients with unknown disease etiology and not detected in hepatitis C infected patients. Protein levels of the chemerin receptor CMKLR1 strongly declined in the tumors of NAFLD patients and patients with unclear disease etiology but not in patients with viral infections. Our results demonstrate that the expression of chemerin in HCC is related to disease etiology and this could also apply to the role of chemerin in human HCC. In contrast to the present findings, chemerin was shown to be low in the HCC tissues of Asian patients with mostly viral disease etiology and this indicates ancestry-specific regulation of chemerin in HCC. Chemerin is protective in experimental models of hepatocellular carcinoma (HCC). Noteworthy, chemerin mRNA and protein were reduced in HCC tissues of Asian patients with mostly hepatitis B disease etiology. The current study nevertheless showed that chemerin protein was induced in tumor tissues of European HCC patients with non-alcoholic fatty liver disease (NAFLD) and patients with unclear disease etiology. A similar regulation was observed in hepatitis B virus (HBV), but not in hepatitis C virus (HCV), related HCC. The apparent discrepancy between the regulation of chemerin in HBV-HCC obtained from our study and recent reports led us to use the chemerin antibodies applied in the previous assays. These antibodies could not equally detect different chemerin isoforms, which were overexpressed in HepG2 cells. Higher chemerin protein in HCC was nevertheless confirmed by the use of all antibodies. Chemerin protein was low in Huh7 and PLC/PRF/5 cells whereas HepG2 and Hep3B cells had chemerin protein similar as primary human hepatocytes. Besides, the anti-tumor effects of retinoids in hepatocyte cell lines did not enclose upregulation of chemerin, which was initially discovered as a tazarotene induced protein in the skin. Finally, protein levels of the chemerin receptor, chemokine-like receptor 1 (CMKLR1), declined in non-viral, and tended to be lower in HBV-HCC tissues suggesting reduced chemerin activity in the tumors. To sum up, our work showed an opposite regulation of chemerin and CMKLR1 in NAFLD and HBV associated HCC. In HCV-HCC neither chemerin nor its receptor were changed in the tumor tissues. Current findings do not support a critical role of total chemerin protein levels in HCC of non-viral and viral etiology. Accordingly, tumor-localized chemerin protein was not associated with tumor-node-metastasis classification

Annexin A6 protein is downregulated in human hepatocellular carcinoma

Annexin A6 (AnxA6) is a lipid-binding protein highly expressed in the liver, regulating cholesterol homeostasis and signaling pathways with a role in liver physiology. Here, we analyzed whether hepatic AnxA6 levels are affected by pathological conditions that are associated with liver dysfunction and liver injury. AnxA6 levels in the fatty liver of mice fed a high-fat diet, in ob/ob and db/db animals and in human fatty liver are comparable to controls. Similarly, AnxA6 levels appear unaffected in murine nonalcoholic steatohepatitis and human liver fibrosis. Accordingly, adiponectin, lysophosphatidylcholine, palmitate, and TGFbeta, all of which have a role in liver injury, do not affect AnxA6 expression in human hepatocytes. Likewise, adiponectin and IL8 do not alter AnxA6 levels in primary human hepatic stellate cells. However, in hepatic tumors of 18 patients, AnxA6 protein levels are substantially reduced compared to nontumorous tissues. AnxA6 mRNA is even increased in the tumors suggesting that posttranscriptional mechanisms are involved herein. Lipidomic analysis shows trends toward elevated cholesteryl ester and sphingomyelin in the tumor samples, yet the ratio of tumor to nontumorous AnxA6 does not correlate with these lipids. The current study shows that AnxA6 is specifically reduced in human hepatocellular carcinoma suggesting a role of this protein in hepatocarcinogenesis