Conversion and verification procedure for goal-based control programs

Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is developed and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems

Identification of Domains and Amino Acids Essential to the Collagen Galactosyltransferase Activity of GLT25D1

Collagen is modified by hydroxylation and glycosylation of hydroxylysine residues. This glycosylation is initiated by the β1,O galactosyltransferases GLT25D1 and GLT25D2. The structurally similar protein cerebral endothelial cell adhesion molecule CEECAM1 was previously reported to be inactive when assayed for collagen glycosyltransferase activity. To address the cause of the absent galactosyltransferase activity, we have generated several chimeric constructs between the active human GLT25D1 and inactive human CEECAM1 proteins. The assay of these chimeric constructs pointed to a short central region and a large C-terminal region of CEECAM1 leading to the loss of collagen galactosyltransferase activity. Examination of the three DXD motifs of the active GLT25D1 by site-directed mutagenesis confirmed the importance of the first (amino acids 166–168) and second motif (amino acids 461–463) for enzymatic activity, whereas the third one was dispensable. Since the second DXD motif is incomplete in CEECAM1, we have restored the motif by introducing the substitution S461D. This change did not restore the activity of the C-terminal region, thereby showing that additional amino acids were required in this C-terminal region to confer enzymatic activity. Finally, we have introduced the substitution Q471R-V472M-N473Q-P474V in the CEECAM1-C-terminal construct, which is found in most animal GLT25D1 and GLT25D2 isoforms but not in CEECAM1. This substitution was shown to partially restore collagen galactosyltransferase activity, underlining its importance for catalytic activity in the C-terminal domain. Because multiple mutations in different regions of CEECAM1 contribute to the lack of galactosyltransferase activity, we deduced that CEECAM1 is functionally different from the related GLT25D1 protein

Transport of Anthocyanins and other Flavonoids by the Arabidopsis ATP-Binding Cassette Transporter AtABCC2

Flavonoids have important developmental, physiological, and ecological roles in plants and are primarily stored in the large central vacuole. Here we show that both an ATP-binding cassette (ABC) transporter(s) and an H+-antiporter(s) are involved in the uptake of cyanidin 3-O-glucoside (C3G) by Arabidopsis vacuolar membrane-enriched vesicles. We also demonstrate that vesicles isolated from yeast expressing the ABC protein AtABCC2 are capable of MgATP-dependent uptake of C3G and other anthocyanins. The uptake of C3G by AtABCC2 depended on the co-transport of glutathione (GSH). C3G was not altered during transport and a GSH conjugate was not formed. Vesicles from yeast expressing AtABCC2 also transported flavone and flavonol glucosides. We performed ligand docking studies to a homology model of AtABCC2 and probed the putative binding sites of C3G and GSH through site-directed mutagenesis and functional studies. These studies identified residues important for substrate recognition and transport activity in AtABCC2, and suggest that C3G and GSH bind closely, mutually enhancing each other’s binding. In conclusion, we suggest that AtABCC2 along with possibly other ABCC proteins are involved in the vacuolar transport of anthocyanins and other flavonoids in the vegetative tissue of Arabidopsis

Allergic rhinitis: evidence for impact on asthma

BACKGROUND: This paper reviews the current evidence indicating that comorbid allergic rhinitis may have clinically relevant effects on asthma. DISCUSSION: Allergic rhinitis is very common in patients with asthma, with a reported prevalence of up to 100% in those with allergic asthma. While the temporal relation of allergic rhinitis and asthma diagnoses can be variable, the diagnosis of allergic rhinitis often precedes that of asthma. Rhinitis is an independent risk factor for the subsequent development of asthma in both atopic and nonatopic individuals. Controlled studies have provided conflicting results regarding the benefits for asthma symptoms of treating comorbid allergic rhinitis with intranasal corticosteroids. Effects of other treatments for comorbid allergic rhinitis, including antihistamines, allergen immunotherapy, systemic anti-IgE therapy, and antileukotriene agents, have been examined in a limited number of studies; anti-IgE therapy and antileukotriene agents such as the leukotriene receptor antagonists have benefits for treating both allergic rhinitis and asthma. Results of observational studies indicate that treating comorbid allergic rhinitis results in a lowered risk of asthma-related hospitalizations and emergency visits. Results of several retrospective database studies in the United States and in Europe indicate that, for patients with asthma, the presence of comorbid allergic rhinitis is associated with higher total annual medical costs, greater prescribing frequency of asthma-related medications, as well as increased likelihood of asthma-related hospital admissions and emergency visits. There is therefore evidence suggesting that comorbid allergic rhinitis is a marker for more difficult to control asthma and worsened asthma outcomes. CONCLUSION: These findings highlight the potential for improving asthma outcomes by following a combined therapeutic approach to comorbid allergic rhinitis and asthma rather than targeting each condition separately

Heterologous Overexpression and Mutagenesis of the Human Bile Salt Export Pump (ABCB11) Using DREAM (Directed REcombination-Assisted Mutagenesis)

Homologous recombination in Saccharomyces cerevisiae is a well-studied process. Here, we describe a yeast-recombination-based approach to construct and mutate plasmids containing the cDNA of the human bile salt export pump (BSEP) that has been shown to be unstable in E. coli. Using this approach, we constructed the necessary plasmids for a heterologous overexpression of BSEP in the yeast Pichia pastoris. We then applied a new site-directed mutagenesis method, DREAM (Directed REcombination-Assisted Mutagenesis) that completely bypasses E. coli by using S. cerevisiae as the plasmid host with high mutagenesis efficiency. Finally, we show how to apply this strategy to unstable non-yeast plasmids by rapidly turning an existing mammalian BSEP expression construct into a S. cerevisiae-compatible plasmid and analyzing the impact of a BSEP mutation in several mammalian cell lines

Mortality in Western Australian seniors with chronic respiratory diseases: a cohort study

<p>Abstract</p> <p>Background</p> <p>Relatively few studies have examined survival by pharmacotherapy level and the effects of patient characteristics on mortality by pharmacotherapy level in older chronic respiratory disease (CRD) patients. This study aimed to investigate these issues in older (≥ 65) CRD patients in Western Australia.</p> <p>Methods</p> <p>We identified 108,312 patients ≥ 65 years with CRD during 1992-2006 using linked medical, pharmaceutical, hospital and mortality databases held by the Commonwealth and State governments. Pharmacotherapy classification levels were designed by a clinical consensus panel. Cox regression was used to investigate the study aim.</p> <p>Results</p> <p>Patients using only short acting bronchodilators experienced similar, but slightly worse survival than patients in the highest pharmacotherapy level group using high dose inhaled corticosteroids (ICS) ± long acting bronchodilators (LABs) ± oral steroids. Patients using low to medium dose ICS ± LABs experienced relatively better survival. Also, male gender was associated with all-cause mortality in all patients (HR = 1.72, 95% CI 1.65-1.80) and especially in those in the highest pharmacotherapy level group (HR = 1.97, 95%CI = 1.84-2.10). The P-value of interaction between gender and pharmacotherapy level for the effect on all-cause death was significant (0.0003).</p> <p>Conclusions</p> <p>Older patients with CRD not using ICS experienced the worst survival in this study and may benefit from an escalation in therapeutic regime. Males had a higher risk of death than females, which was more pronounced in the highest pharmacotherapy level group. Hence, primary health care should more actively direct disease management to mild-to-moderate disease patients.</p

Effectiveness of an HIV Prevention Program for Women Visiting Their Incarcerated Partners: The HOME Project

Having an incarcerated partner presents a unique HIV risk for women, particularly low-income women of color. We developed a population-specific risk reduction intervention for women visiting men in prison that was peer educator-based and included individual and community-level intervention components. Women who were assessed prior to the intervention period had a positive association between the number of unprotected penetrative intercourse (UPI) episodes prior to their partners’ incarceration and the number of UPI episodes following partners’ release from prison. However, this association was negated among women assessed during the intervention. Intervention participants also were more likely to be tested for HIV, to have partners who got tested, and to talk with their partners about significantly more HIV-related topics. Conducting intervention and evaluation activities with women visiting incarcerated men is feasible and is a useful model for reaching more at-risk women

Trapping \u3ci\u3ePhyllophaga \u3c/i\u3espp. (Coleoptera: Scarabaeidae: Melolonthinae) in the United States and Canada using sex attractants.

The sex pheromone of the scarab beetle, Phyllophaga anxia, is a blend of the methyl esters of two amino acids, L-valine and L-isoleucine. A field trapping study was conducted, deploying different blends of the two compounds at 59 locations in the United States and Canada. More than 57,000 males of 61 Phyllophaga species (Coleoptera: Scarabaeidae: Melolonthinae) were captured and identified. Three major findings included: (1) widespread use of the two compounds [of the 147 Phyllophaga (sensu stricto) species found in the United States and Canada, males of nearly 40% were captured]; (2) in most species intraspecific male response to the pheromone blends was stable between years and over geography; and (3) an unusual pheromone polymorphism was described from P. anxia. Populations at some locations were captured with L-valine methyl ester alone, whereas populations at other locations were captured with L-isoleucine methyl ester alone. At additional locations, the L-valine methyl ester-responding populations and the L-isoleucine methyl ester-responding populations were both present, producing a bimodal capture curve. In southeastern Massachusetts and in Rhode Island, in the United States, P. anxia males were captured with blends of L-valine methyl ester and L-isoleucine methyl ester

A review of equity issues in quantitative studies on health inequalities: the case of asthma in adults

<p>Abstract</p> <p>Background</p> <p>The term 'inequities' refers to avoidable differences rooted in injustice. This review examined whether or not, and how, quantitative studies identifying inequalities in risk factors and health service utilization for asthma explicitly addressed underlying inequities. Asthma was chosen because recent decades have seen strong increases in asthma prevalence in many international settings, and inequalities in risk factors and related outcomes.</p> <p>Methods</p> <p>A review was conducted of studies that identified social inequalities in asthma-related outcomes or health service use in adult populations. Data were extracted on use of equity terms (objective evidence), and discussion of equity issues without using the exact terms (subjective evidence).</p> <p>Results</p> <p>Of the 219 unique articles retrieved, 21 were eligible for inclusion. None used the terms equity/inequity. While all but one article traced at least partial pathways to inequity, only 52% proposed any intervention and 55% of these interventions focused exclusively on the more proximal, clinical level.</p> <p>Conclusions</p> <p>Without more in-depth and systematic examination of inequities underlying asthma prevalence, quantitative studies may fail to provide the evidence required to inform equity-oriented interventions to address underlying circumstances restricting opportunities for health.</p