Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Plasma hormonal profiles and dendritic spine density and morphology in the hippocampal CA1 stratum radiatum, evidenced by light microscopy, of virgin and postpartum female rats

Successful reproduction requires that changes in plasma follicle-stimulating hormone (FSH), luteinizing hormone (LH), prolactin (PRL), oxytocin (OT), estrogen (E-2) and progesterone (P-4) occur together with the display of maternal behaviors. Ovarian steroids and environmental stimuli can affect the dendritic spines in the rat hippocampus. Here, studying Wistar rats, it is described: (a) the sequential and concomitant changes in the hormonal profile of females at postpartum days (PP) 4, 8, 12, 16, 20 and 24, comparing to estrous cycle referential values; (b) the dendritic spine density in the stratum radiatum of CA1 (CA1-SR) Golgi-impregnated neurons in virgin females across the estrous cycle and in multiparous age-matched ones; and (c) the proportion of different types of spines in the CAI-SR of virgin and postpartum females, both in diestrus. Plasma levels of gonadotrophins and ovarian hormones remained low along PP while LH increased and PRL decreased near the end of the lactating period. The lowest dendritic spine density was found in virgin females in estrus when compared to diestrus and proestrus phases or to postpartum females in diestrus (p < 0.03). Other comparisons among groups were not statistically significant (p > 0.4). There were no differences in the proportions of the different spine types in nulliparous and postpartum females (p > 0.2). Results suggest that medium layer CA1-SR spines undergo rapid modifications in Wistar females across the estrous cycle (not quite comparable to Sprague-Dawley data or to hormonal substitutive therapy following ovariectomy), but persistent effects of motherhood on dendritic spine density and morphology were not found in this area. (c) 2008 Elsevier Ireland Ltd. All rights reserved.

Determination of Cyclophosphamide Enantiomers in Plasma by LC-MS/MS: Application to Pharmacokinetics in Breast Cancer and Lupus Nephritis Patients

This article describes the enantioseleclive analysis of cyclophosphamide (CPA) in human plasma using LC-MS/MS. CPA enantiomers were extracted from plasma using a mixture of ethyl acetate and chloroform (75:25, v/v). The enantiomers were separated on a Chiralcel(R) OD-R column, with the mobile phase consisting of a mixture of acetonitrile and water (75:25, v/v) plus 0.2% formic acid. The protonaled ions and their respective product ions were monitored using two functions, 261 > 141 for CPA enantiomers and 189 > 104 for the internal standard (antipyrine). Recovery rates were higher than 95% and the quantification limit was 2.5-ng/ml plasma for both enantiomers. The coefficients of variation and the relative errors obtained for the validation of intra- and interassay precision and accuracy were less than 10%. The method was applied for the investigation of the enantioselective pharmacokinetics of CPA in a lupus nephritis patient treated with 1 g CPA infused over 2 h and in a breast cancer patient treated with 0.9 g infused over 1 h. No stereoselectivity in the pharmacokinetic parameters was observed for either patient. Clearance values of 2.63 and 2.93 l/h and of 3.36 and 3.61 l/h for (-)-(S) and (+)-(R)-CPA were obtained for the breast cancer and lupus nephritis patient., respectively. Chirality 21:383-389, 2009. (C) 2008 Wiley-Liss, Inc.

Evaluation of the psychometric properties of the Social Phobia Inventory in university students

Objective: The aim of the study was to study the psychometric properties of the Social Phobia Inventory (SPIN) in its version for the context of Brazilian adults. Methods: A sample of Brazilian university students from the general population (n = 2314) and a sample of university students identified as cases (n = 88) and noncases (n = 90) of social phobia were assessed, using as a parameter the Structured Clinical Interview for the Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition. The different instruments were applied individually in the presence of a rater. Results: The SPIN showed adequate internal consistency (.63-.90) and concurrent validity with different instruments of auto- and hetero-evaluation of social phobia. Discriminative validity showed 0.84 to 0.86 sensitivity and 0.84 to 0.87 specificity for cutoff notes between 19 and 21. Factorial analysis showed the presence of a variable number of factors as a function of the different samples. Conclusions: The version of the SPIN studied is quite adequate for use in the context of Brazilian university students, favoring the screening of social phobia. However, further studies using more diverse samples are needed. (C) 2010 Elsevier Inc. All rights reserved.

Effects of beta-carboline harmine on behavioral and physiological parameters observed in the chronic mild stress model: Further evidence of antidepressant properties

The chronic mild stress (CMS) model has been used as an animal model of depression which induces anhedonic behavior in rodents. The present study was aimed to evaluate the behavioral and physiological effects of administration of P-carboline harmine in rats exposed to CMS Procedure. To this aim, after 40 days of exposure to CMS procedure, rats were treated with harmine (15 mg/kg/day) for 7 days. In this study, sweet food consumption, adrenal gland weight, adrenocorticotrophin hormone (ACTH) levels, and hippocampal brain-derived-neurotrophic factor (BDNF) protein levels were assessed. Our findings demonstrated that chronic stressful situations induced anhedonia, hypertrophy of adrenal gland weight, increase ACTH circulating levels in rats and increase BDNF protein levels. Interestingly, treatment with harmine reversed anhedonia, the increase of adrenal gland weight, normalized ACTH circulating levels and BDNF protein levels. Finally, these findings further support the hypothesis that harmine could be a new pharmacological tool for the treatment of depression. (C) 2009 Elsevier Inc. All rights reserved.

Galectin-3 regulates peritoneal B1-cell differentiation into plasma cells

Extracellular galectin-3 participates in the control of B2 lymphocyte migration and adhesion and of their differentiation into plasma cells. Here, we analyzed the role of galectin-3 in B1-cell physiology and the balance between B1a and B1b lymphocytes in the peritoneal cavity. In galectin-3(-/-) mice, the total number of B1a lymphocytes was lower, while B1b lymphocyte number was higher as compared to wild-type mice. The differentiation of B1a cells into plasma cells was associated with their abnormal adhesion and location on the mesentery. The B220 and CD43, constitutively expressed by B1 lymphocytes, were respectively up- and downregulated in galectin-3(-/-) mice. Mononuclear cells were strongly adhered to the mesenteric membranes of both CD43(-/-) and galectin-3(-/-) mice, but in contrast to CD43(-/-) mice, the accumulation of B1 cells in peritoneal membranes in galectin-3(-/-) mice was accompanied by their functional differentiation into plasma cells. We have shown that in the absence of galectin-3, B1-cell differentiation into plasma cells is favored and the dynamic equilibrium of B1-cell populations in the peritoneum is maintained through a compensatory increase in B1b lymphocytes.

Increased plasma levels of brain derived neurotrophic factor (BDNF) after multiple sclerosis relapse

Brain derived neurotrophic factor (BDNF) has been related to neuroprotection in a series of central nervous system diseases, although its role in multiple sclerosis (MS) was only partially investigated. In this work, we aimed to evaluate the plasma levels of BDNF from 29 MS patients and 24 control subjects. MS patients had decreased levels of BDNF in comparison with healthy controls. BDNF levels increased significantly after MS relapse. Our results provide some evidence for the involvement of BDNF in the pathogenesis of MS and suggest a role for this neurotrophin during the recovery of acute demyelinating inflammatory lesion. (C) 2009 Elsevier Ireland Ltd. All rights reserved.

Stereoselective Analysis of Labetalol in Human Plasma by LC-MS/MS: Application to Pharmacokinetics

Labetalol is clinically available as a mixture of two racemates (four stereoisomers). The stereoisomer (R,R) has as main activity the beta(1)-antagonism and the stereoisomer (S,R) is highly selective for the alpha(1) adrenoceptor and is responsible for most of the alpha-blocker activity. In the present investigation, a method for the analysis of labetalol stereoisomers in human plasma was developed and applied to pharmacokinetic studies. Plasma samples (0.5 ml) were extracted with methyl tert-butyl ether at pH 9.5. The four labetalol stereoisomers were analyzed by LC-MS/MS on a Chirobiotic (R) V column using a mobile phase consisting of methanol, acetic acid, and diethylamine, with a recovery of more than 90% for all four. The quantitation limit was 0.5 ng/ml and linearity was observed at 250 ng/ml plasma for each stereoisomer. Studies of precision and accuracy presented coefficients of variation and percentage inaccuracy of less than 15%, indicating that the method is precise and accurate. The method was applied to the study of the kinetic disposition of labetalol over a period of 12 h after oral administration of a single 100 mg dose to a hypertensive pregnant woman. The clinical study revealed stereoselectivity in the pharmacokinetics of labetalol, with a lower plasma proportion for the active stereoisomers (R,R)-labetalol and (S,R)-labetalol. The stereoselectivity observed after oral administration is due to the hepatic metabolism and the first pass effect, with an AUC((R,R))/AUC((S,S)) ratio of 0.5. Chirality 21:738-744, 2009. (C) 2008 Wiley-Liss, Inc.

Sodium nitrite downregulates vascular NADPH oxidase and exerts antihypertensive effects in hypertension

Dietary nitrite and nitrate are important sources of nitric oxide (NO). However, the use of nitrite as an antihypertensive drug may be limited by increased oxidative stress associated with hypertension. We evaluated the antihypertensive effects of sodium nitrite given in drinking water for 4 weeks in two-kidney one-clip (21(1 C) hypertensive rats and the effects induced by nitrite on NO bioavailability and oxidative stress. We found that, even under the increased oxidative stress conditions present in 2K1C hypertension, nitrite reduced systolic blood pressure in a dose-dependent manner. Whereas treatment with nitrite did not significantly change plasma nitrite concentrations in 2K1C rats, it increased plasma nitrate levels significantly. Surprisingly, nitrite treatment exerted antioxidant effects in both hypertensive and sham-normotensive control rats. A series of in vitro experiments was carried out to show that the antioxidant effects induced by nitrite do not involve direct antioxidant effects or xanthine oxidase activity inhibition. Conversely, nitrite decreased vascular NADPH oxidase activity. Taken together, our results show for the first time that nitrite has antihypertensive effects in 2K1C hypertensive rats, which may be due to its antioxidant properties resulting from vascular NADPH oxidase activity inhibition. (C) 2011 Elsevier Inc. All rights reserved.

Plasma obestatin concentrations are negatively correlated with body mass index, insulin resistance index, and plasma leptin concentrations in obesity and anorexia nervosa

Background: Obestatin is a recently identified ghrelin gene product that was reported to inhibit appetite and gastric motility in contrast to ghrelin. We investigated fasting obestatin and ghrelin levels in patients with obesity and anorexia nervosa. Methods: Fasting plasma obestatin, acyl-ghrelin, desacyl-ghrelin, leptin, glucose serum adiponectin, and insulin were measured in 10 obese subjects, 11 restricting-type anorexics, and 11 control subjects. Results: Obese group had significantly lower levels of obestatin (p < .01), while anorexic group had significantly higher levels (p < .01). Obestatin was negatively correlated with body mass index (BMI) (r = -.74), glucose (r = -.56), insulin (r = -.55), leptin (r = -.66), and also with the homeostasis model assessment of insulin resistance (HOMA-R) (r = -.49) and was positively correlated with acyl-ghrelin (r = .65) and desacyl-ghrelin (r = .60). No correlation was seen between obestatin and adiponectin, but the latter was negatively correlated with both acyl-ghrelin and desacyl-ghrelin. Desacyl-ghrelin to acyl-ghrelin ratio was significantly different between anorexic and control groups (p < .05), while no difference was seen between obese and control groups. Conclusions: Both obestatin and ghrelin are increased in anorexic and decreased in obesity. We suggest that obestatin is a nutritional marker reflecting body adiposity and insulin resistance.

Tunicamycin inhibition of N-glycosylation of alpha-glucosidase from Aspergillus niveus: partial influence on biochemical properties

Treatment of Aspergillus niveus with 30 mu g tunicamycin/ml did not interfere with alpha-glucosidase production, secretion, or its catalytic properties. Fully- and under-glycosylated forms of the enzyme had similar molecular masses, similar to 56 kDa. Moreover, the absence of N-glycans did not affect either pH optimum (6.0) or temperature optimum (65A degrees C). The K(m) and V(max) values of under- and fully-glycosylated forms of alpha-glucosidase were similar when assessed for hydrolysis of starch (similar to 0.6 mg/ml, similar to 350 mu mol glucose per min per ml), maltose (similar to 0.54 mu mol, similar to 330 mu mol glucose per min per ml) and p-nitrophenyl-alpha-d-glucopyranoside (similar to 0.54 mu mol, similar to 8.28 mu mol p-nitrophenol per min per ml). However, the under-glycosylated form was sensitive to high temperatures probably because, in addition to stabilizing the protein conformation, glycosylation may also prevent unfolded or partially folded proteins from aggregating. Binding assays clearly showed that the under-glycosylated protein did not bind to concanavalin A but has conserve its jacalin-binding property, suggesting that only O-glycans might be intact on the tunicamycin treated form of the enzyme.

In LipL32, the major leptospiral lipoprotein, the C terminus is the primary immunogenic domain and mediates interaction with collagen wand plasma fibronectin

LipL32 is the major leptospiral outer membrane lipoprotein expressed during infection and is the immunodominant antigen recognized during the humoral immune response to leptospirosis in humans. In this study, we investigated novel aspects of LipL32. In order to define the immunodominant domains(s) of the molecule, subfragments corresponding to the N-terminal, intermediate, and C-terminal portions of the UpL32 gene were cloned and the proteins were expressed and purified by metal affinity chromatography. Our immunoblot results indicate that the C-terminal and intermediate domains of LipL32 are recognized by sera of patients with laboratory-confirmed leptospirosis. An immunoglobulin M response was detected exclusively against the LipL32 C-terminal fragment in both the acute and convalescent phases of illness. We also evaluated the capacity of LipL32 to interact with extracellular matrix (ECM) components. Dose-dependent, specific binding of LipL32 to collagen type IV and plasma fibronectin was observed, and the binding capacity could be attributed to the C-terminal portion of this molecule. Both heparin and gelatin could inhibit LipL32 binding to fibronectin in a concentration-dependent manner, indicating that the 30-kDa heparin-binding and 45-kDa gelatin-binding domains of fibronectin are involved in this interaction. Taken together, our results provide evidence that the LipL32 C terminus is recognized early in the course of infection and is the domain responsible for mediating interaction with ECM proteins.