Multi-requirement Parametric Falsification

Falsification is a popular simulation-based testing method for Cyber- Physical Systems to find inputs that violate a formal requirement. However, detecting violations considering multiple probabilistic requirements simultaneously with a dense space of changing factors in the execution scenario is an open problem. We address this problem by proposing a novel approach that combines parametric model checking and many-objective optimization. Results of a preliminary empirical evaluation show the effectiveness of the approach compared to selected baseline methods

Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging

Research on uncertainty quantification and mitigation of software-intensive systems and (self-)adaptive systems, is increasingly gaining momentum, especially with the availability of statistical inference techniques (such as Bayesian reasoning) that make it possible to mitigate uncertain (quality) attributes of the system under scrutiny often encoded in the system model in terms of model parameters. However, to the best of our knowledge, the uncertainty about the choice of a specific system model did not receive the deserved attention.This paper focuses on self-adaptive systems and investigates how to mitigate the uncertainty related to the model selection process, that is, whenever one model is chosen over plausible alternative and competing models to represent the understanding of a system and make predictions about future observations. In particular, we propose to enhance the classical feedback loop of a self-adaptive system with the ability to tame the model uncertainty using Bayesian Model Averaging. This method improves the predictions made by the analyze component as well as the plan that adopts metaheuristic optimizing search to guide the adaptation decisions. Our empirical evaluation demonstrates the cost-effectiveness of our approach using an exemplar case study in the robotics domain

An Information System for Product Development Planning

Companies in every industry segment that design and manufacture products can benefit of a variety of information system solutions proposed by researchers and also available on the market. To reduce the possible negative impact of Product Data Management (PDM) systems into an organisation, we propose an incremental introduction based on a low-level Project Management (PM) and a Business Intelligence (BI) module respectively for planning and to monitor scheduling in new products development. A high-level PM package has also been considered. We have simulated and tested our solution within a two-wheel vehicle manufacturer and have evaluated possible extension to other medium-large traditional production companies by benchmarking

Sexual competence as an indicator of sexual health, results from SIALON II, a European multi-country bio-behavioral survey among men who have sex with men

n/

Hepatic steatosis in hepatitis C is a storage disease due to HCV interaction with microsomal triglyceride transfer protein (MTP)

Liver steatosis is a frequent histological feature in patients chronically infected with hepatitis C virus (HCV). The relationship between HCV and hepatic steatosis seems to be the result of both epigenetic and genetic factors. In vivo and in vitro studies have shown that HCV can alter intrahepatic lipid metabolism by affecting lipid synthesis, oxidative stress, lipid peroxidation, insulin resistance and the assembly and secretion of VLDL. Many studies suggest that HCV-related steatosis might be the result of a direct interaction between the virus and MTP. It has been demonstrated that MTP is critical for the secretion of HCV particles and that inhibition of its lipid transfer activity reduces HCV production. However, higher degrees of hepatic steatosis were found in chronic hepatitis C patients carrying the T allele of MTP -493G/T polymorphism that seems to be associated with increased MTP transcription. We propose here that liver steatosis in hepatitis C could be a storage disease induced by the effects of the virus and of its proteins on the intracellular lipid machinery and on MTP. Available data support the hypothesis that HCV may modulate MTP expression and activity through a number of mechanisms such as inhibition of its activity and transcriptional control. Initial up regulation could favour propagation of HCV while down regulation in chronic phase could cause impairment of triglyceride secretion and excessive lipid accumulation, with abnormal lipid droplets facilitating the "storage" of virus particles for persistent infection

Omentum flap as a spacer before carbon ion radiotherapy for gynecological recurrences. A technical note

Re-irradiation of pelvic recurrent gynecological cancer is a challenge due to the proximity of high-radiation-sensitive organs, such as the bowel and the urinary tract. Hadrontherapy for re-irradiation emerges as a safe and effective treatment with a mild rate of morbidity of surrounding normal tissue. To improve the dose to the tumor, a prophylactic displacement of organs at risk is needed, and a multidisciplinary approach is recommended. In this technical note, we report a surgical technique of omentum spacer placement for patients enrolled for carbon ion radiotherapy as re-irradiation for recurrent gynecological tumors. (C) 2022 Societe franc , aise de radiotherapie oncologique (SFRO). Published by Elsevier Masson SAS. All rights reserved

SKIN, INFLAMMATION AND SULFUROUS WATERS: WHAT IS KNOWN, WHAT IS BELIEVED

One could argue that balneotherapy and mud therapy would have not lasted 2,000 years or so If they were not effective. No doubt a long history cannot be taken per se as scientific proof of efficacy. Some empiricism is still present in the field: the concept of spa itself is quite confounding, whereas spring waters are used for leisure purposes but also for non-acute patient therapy and late phases of clinical recovery. These confounding elements ultimately feed the opinion of those who aprioristically reject any potential beneficial effect of balneotherapy: instead, it should at least generate questions that deserve scientific answers. Clinical practices sequentially integrating pharmacological therapy with those natural principles for which a sufficient scientific demonstration is available, would probably cut the costs of public health, generating widespread advantages for the community. Recently, it has become evident that mineral waters may have intrinsic pharmacological properties. Of the numerous salts dissolved in thermal waters that might show pharmacological properties, for certain hydrogen sulfide (H2S) contained in sulfurous waters is the one that has obtained greater scientific attention, to which should be added the extensive scientific effort recently dedicated to H2S as a cellular gasotransmitter, independently from its natural sources. Dermatology and cosmetics are among the most studied applications of sulfurous waters, around which, however, some empiricism still confounds opinions: we therefore considered that a state-of-the-art focus on this topic might be timely and useful for future studies