Modelling, validating, and ranking of secure service compositions

This is the author accepted manuscript. The final version is available from the publisher via the DOI in this recordIn the world of large-scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service-oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are developed independently and operated by different parties. At the same time, SaaS applications are used more and more widely by enterprises as well as public services for providing critical services, including those processing security or privacy of relevant data. Therefore, providing secure and reliable service compositions is increasingly needed to ensure the success of SaaS solutions. Building such service compositions securely is still an unsolved problem. In this paper, we present a framework for modelling, validating, and ranking secure service compositions that integrate both automated services as well as services that interact with humans. As a unique feature, our approach for ranking services integrates validated properties (eg, based on the result of formally analysing the source code of a service implementation) as well as contractual properties that are part of the service level agreement and, thus, not necessarily ensured on a technical level

Salvage Fractionated Stereotactic Re-irradiation (FSRT) for Patients with Recurrent High Grade Gliomas Progressed after Bevacizumab Treatment

Purpose/Objectives: Bevacizumab failure is a major clinical problem in the manage- ment of high grade gliomas (HGG), with a median overall survival of less than 4 months (m). This study evaluated the efficacy of fractionated stereotactic re-irradiation (FSRT) for patients with HGG after progression on Bevacizumab. Materials/Methods: Retrospective review was conducted of patients treated with FSRT after progression on bevacizumab. A total of 36 patients were identified. FSRT was most commonly delivered in 3.5 Gy fractions to a total dose of 35 Gy. Survival from initial diagnosis, as well as from recurrence and re-irradiation, were utilized as study endpoints. Univariate and multivariate analysis was performed. Results: Among the 36 patients, 31 patients had recurrent glioblastoma, and 5 patients had recurrent anaplastic astrocytoma. The median time from initial bevacizumab treatment to FSRT was 8.5 m (range 2.3 – 32.0 m). The median plan target volume for FSRT was 27.5 cc (range 1.95 – 165 cc). With a median follow up of 20.4 m, the overall survival of the patients since initial diagnosis was also 24.9 m. The median overall survival after initiation of bevacizumab was 13.4 months. The median overall survival from FSRT was 4.8 m. FSRT treatment was well tolerated with no Grade \u3e3 toxicity. Conclusions: Favorable outcomes were observed in patients with recurrent HGG who received salvage FSRT after bevacizumab failure. The treatment was well tolerated. Prospective study is warranted to further evaluate the efficacy of salvage FSRT for selected patients with recurrent HGG amenable to FSRT, who had failed bevacizumab treatment

Effect of Void Network on CMB Anisotropy

We study the effect of a void network on the CMB anisotropy in the Einstein-de Sitter background using Thompson &Vishniac's model. We consider comprehensively the Sacks-Wolfe effect, the Rees-Sciama effect and the gravitational lensing effect. Our analysis includes the model of primordial voids existing at recombination, which is realized in some inflationary models associated with a first-order phase transition. If there exist primordial voids whose comoving radius is larger than $\sim10h^{-1}$Mpc at recombination, not only the Sachs-Wolfe effect but also the Rees-Sciama effect is appreciable even for multipoles l\lsim1000 of the anisotropy spectrum. The gravitational lensing effect, on the other hand, slightly smoothes the primary anisotropy; quantitatively, our results for the void model are similar to the previous results for a CDM model. All the effects, together, would give some constraints on the configuration or origin of voids with high-resolution data of the CMB anisotropy.Comment: 23 pages, latex, 12 eps figures, some calculations and discussions are added, to appear in ApJ 510 (1999

Macrophage Inhibitory Cytokine 1 (MIC-1/GDF15) Decreases Food Intake, Body Weight and Improves Glucose Tolerance in Mice on Normal & Obesogenic Diets

Food intake and body weight are controlled by a variety of central and peripheral factors, but the exact mechanisms behind these processes are still not fully understood. Here we show that that macrophage inhibitory cytokine-1 (MIC-1/GDF15), known to have anorexigenic effects particularly in cancer, provides protection against the development of obesity. Both under a normal chow diet and an obesogenic diet, the transgenic overexpression of MIC-1/GDF15 in mice leads to decreased body weight and fat mass. This lean phenotype was associated with decreased spontaneous but not fasting-induced food intake, on a background of unaltered energy expenditure and reduced physical activity. Importantly, the overexpression of MIC-1/GDF15 improved glucose tolerance, both under normal and high fat-fed conditions. Altogether, this work shows that the molecule MIC-1/GDF15 might be beneficial for the treatment of obesity as well as perturbations in glucose homeostasis

Critical Role of Arcuate Y4 Receptors and the Melanocortin System in Pancreatic Polypeptide-Induced Reduction in Food Intake in Mice

BACKGROUND: Pancreatic polypeptide (PP) is a potent anti-obesity agent known to inhibit food intake in the absence of nausea, but the mechanism behind this process is unknown. METHODOLOGY/PRINCIPAL FINDINGS: Here we demonstrate that in response to i.p. injection of PP in wild type but not in Y4 receptor knockout mice, immunostaining for the neuronal activation marker c-Fos is induced specifically in neurons of the nucleus tractus solitarius and the area postrema in the brainstem, notably in cells also showing immunostaining for tyrosine hydroxylase. Importantly, strong c-Fos activation is also detected in the arcuate nucleus of the hypothalamus (ARC), particularly in neurons that co-express alpha melanocyte stimulating hormone (α-MSH), the anorexigenic product of the proopiomelanocortin (POMC) gene. Interestingly, other hypothalamic regions such as the paraventricular nucleus, the ventromedial nucleus and the lateral hypothalamic area also show c-Fos induction after PP injection. In addition to c-Fos activation, PP injection up-regulates POMC mRNA expression in the ARC as detected by in situ hybridization. These effects are a direct consequence of local Y4 signaling, since hypothalamus-specific conditional Y4 receptor knockout abolishes PP-induced ARC c-Fos activation and blocks the PP-induced increase in POMC mRNA expression. Additionally, the hypophagic effect of i.p. PP seen in wild type mice is completely absent in melanocortin 4 receptor knockout mice. CONCLUSIONS/SIGNIFICANCE: Taken together, these findings show that PP reduces food intake predominantly via stimulation of the anorexigenic α-MSH signaling pathway, and that this effect is mediated by direct action on local Y4 receptors within the ARC, highlighting a potential novel avenue for the treatment of obesity

Global marine redox changes drove the rise and fall of the Ediacara biota

This is the final version. Available on open access from Wiley via the DOI in this recordThe role of O2 in the evolution of early animals, as represented by some members of the Ediacara biota, has been heavily debated because current geochemical evidence paints a conflicting picture regarding global marine O2 levels during key intervals of the rise and fall of the Ediacara biota. Fossil evidence indicates that the diversification the Ediacara biota occurred during or shortly after the Ediacaran Shuram negative C-isotope Excursion (SE), which is often interpreted to reflect ocean oxygenation. However, there is conflicting evidence regarding ocean oxygen levels during the SE and the middle Ediacaran Period. To help resolve this debate, we examined U isotope variations (δ238U) in three carbonate sections from South China, Siberia, and USA that record the SE. The δ238U data from all three sections are in excellent agreement and reveal the largest positive shift in δ238U ever reported in the geologic record (from ~ −0.74‰ to ~ −0.26‰). Quantitative modeling of these data suggests that the global ocean switched from a largely anoxic state (26%–100% of the seafloor overlain by anoxic waters) to near-modern levels of ocean oxygenation during the SE. This episode of ocean oxygenation is broadly coincident with the rise of the Ediacara biota. Following this initial radiation, the Ediacara biota persisted until the terminal Ediacaran period, when recently published U isotope data indicate a return to more widespread ocean anoxia. Taken together, it appears that global marine redox changes drove the rise and fall of the Ediacara biota.NASADanish Agency for Science, Technology and InnovationNational Science Foundation (NSF)National Key Basic Research Program of ChinaNatural Environment Research Council (NERC)Natural Science Foundation of Chin

Intermittent Moderate Energy Restriction Improves Weight Loss Efficiency in Diet-Induced Obese Mice

BACKGROUND:Intermittent severe energy restriction is popular for weight management. To investigate whether intermittent moderate energy restriction may improve this approach by enhancing weight loss efficiency, we conducted a study in mice, where energy intake can be controlled. METHODS:Male C57/Bl6 mice that had been rendered obese by an ad libitum diet high in fat and sugar for 22 weeks were then fed one of two energy-restricted normal chow diets for a 12-week weight loss phase. The continuous diet (CD) provided 82% of the energy intake of age-matched ad libitum chow-fed controls. The intermittent diet (ID) provided cycles of 82% of control intake for 5-6 consecutive days, and ad libitum intake for 1-3 days. Weight loss efficiency during this phase was calculated as (total weight change) ÷ [(total energy intake of mice on CD or ID)-(total average energy intake of controls)]. Subsets of mice then underwent a 3-week weight regain phase involving ad libitum re-feeding. RESULTS:Mice on the ID showed transient hyperphagia relative to controls during each 1-3-day ad libitum feeding period, and overall ate significantly more than CD mice (91.1±1.0 versus 82.2±0.5% of control intake respectively, n = 10, P<0.05). There were no significant differences between CD and ID groups at the end of the weight loss or weight regain phases with respect to body weight, fat mass, circulating glucose or insulin concentrations, or the insulin resistance index. Weight loss efficiency was significantly greater with ID than with CD (0.042±0.007 versus 0.018±0.001 g/kJ, n = 10, P<0.01). Mice on the CD exhibited significantly greater hypothalamic mRNA expression of proopiomelanocortin (POMC) relative to ID and control mice, with no differences in neuropeptide Y or agouti-related peptide mRNA expression between energy-restricted groups. CONCLUSION:Intermittent moderate energy restriction may offer an advantage over continuous moderate energy restriction, because it induces significantly greater weight loss relative to energy deficit in mice