Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Serotypes and Antimicrobial Resistance in Salmonella Isolates from Swine, NARMS-EB 1997-2000

The National Antimicrobial Resistance Monitoring System (NARMS) was developed in 1996 as a collaborative effort between the FDA, USDA, and CDC to monitor antimicrobial resistance development in enteric organisms in humans and animals. Salmonella was selected as the sentinel organism

Rosiglitazone as an option for patients with acromegaly: a case series

<p>Abstract</p> <p>Introduction</p> <p>In the patient with acromegaly, pituitary surgery is the therapeutic standard. Despite undergoing surgery, a significant number of patients with acromegaly continue to have uncontrolled growth hormone secretion. These patients require other treatments such as external irradiation and/or drug therapy.</p> <p>Case presentation</p> <p>We present the clinical and laboratory responses to six months of treatment with rosiglitazone in four cases. In all four cases, the patients had persistent growth hormone overproduction despite previous surgical treatment and other conventional therapy. Case 1 is a 57-year-old Caucasian woman, case 2 is a 51-year-old Hispanic man, case 3 is a 32-year-old Hispanic woman, and case 4 is a 36-year-old Hispanic man. In three of these patients, basal and nadir growth hormone and insulin-like growth factor 1 levels were significantly decreased (<it>P </it>< 0.05 and <it>P </it>< 0.01, respectively).</p> <p>Conclusion</p> <p>Rosiglitazone could be a treatment option in select patients with acromegaly.</p

Renovación urbana de los espacios comunitarios Polanquito - La Mezquitera

ITESO, A.C

The effect of Spirulina sauce, as a functional food, on cardiometabolic risk factors, oxidative stress biomarkers, glycemic profile, and liver enzymes in nonalcoholic fatty liver disease patients:A randomized double-blinded clinical trial

OBJECTIVE: This study sought to investigate the effect of Spirulina on cardiometabolic risk factors, oxidative stress biomarkers, glycemic profile, and liver enzymes in nonalcoholic fatty liver disease (NAFLD) patients. METHODS: This randomized, double‐blind clinical trial was performed on 46 NAFLD patients. Subjects were allocated to consume either Spirulina sauce or placebo, each 20 g/day for 8 weeks. Fatty liver grade, liver enzymes, anthropometric parameters, blood pressure, and serum lipids, glucose, insulin, malondialdehyde, and antioxidant capacity were assessed pre‐ and postintervention. RESULTS: Fatty liver grade was significantly different between the two groups. A significant change for ALT (alanine aminotransferase) and AST (aspartate aminotransferase) was seen between the two groups (p = .03 and .02, respectively), while ALP (alkaline phosphatase) serum levels were not significantly different within or between groups. Pertaining to glycemic profile, all variables, except HOMA‐IR, were not significantly different within or between groups. Finally, statistically significant changes were seen in both MDA (malondialdehyde) and TAC (total antioxidant capacity) among the groups (p = .04 and <.001, respectively). CONCLUSIONS: Spirulina may improve fatty liver grade by modifying liver enzymes, oxidative stress, and some lipid profiles; however, there was effect of Spirulina on anthropometric characteristics and blood pressure