Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Economic and other barriers to adopting recommendations to prevent childhood obesity: results of a focus group study with parents

Abstract Background Parents are integral to the implementation of obesity prevention and management recommendations for children. Exploration of barriers to and facilitators of parental decisions to adopt obesity prevention recommendations will inform future efforts to reduce childhood obesity. Methods We conducted 4 focus groups (2 English, 2 Spanish) among a total of 19 parents of overweight (BMI ≥ 85th percentile) children aged 5-17 years. The main discussion focused on 7 common obesity prevention recommendations: reducing television (TV) watching, removing TV from child's bedroom, increasing physically active games, participating in community or school-based athletics, walking to school, walking more in general, and eating less fast food. Parents were asked to discuss what factors would make each recommendation more difficult (barriers) or easier (facilitators) to follow. Participants were also asked about the relative importance of economic (time and dollar costs/savings) barriers and facilitators if these were not brought into the discussion unprompted. Results Parents identified many barriers but few facilitators to adopting obesity prevention recommendations for their children. Members of all groups identified economic barriers (time and dollar costs) among a variety of pertinent barriers, although the discussion of dollar costs often required prompting. Parents cited other barriers including child preference, difficulty with changing habits, lack of information, lack of transportation, difficulty with monitoring child behavior, need for assistance from family members, parity with other family members, and neighborhood walking safety. Facilitators identified included access to physical activity programs, availability of alternatives to fast food and TV which are acceptable to the child, enlisting outside support, dietary information, involving the child, setting limits, making behavior changes gradually, and parental change in shopping behaviors and own eating behaviors. Conclusions Parents identify numerous barriers to adopting obesity prevention recommendations, most notably child and family preferences and resistance to change, but also economic barriers. Intervention programs should consider the context of family priorities and how to overcome barriers and make use of relevant facilitators during program development.http://deepblue.lib.umich.edu/bitstream/2027.42/78270/1/1471-2431-9-81.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78270/2/1471-2431-9-81.pdfPeer Reviewe

Pulmonary Toxicity and Adjuvant Effect of Di-(2-exylhexyl) Phthalate in Ovalbumin-Immunized BALB/c Mice

BACKGROUND: Asthma is a complex pulmonary inflammatory disease, which is characterized by airway hyperresponsiveness, variable airflow obstruction and inflammation in the airways. The majority of asthma is allergic asthma, which is a disease caused by type I hypersensitivity mediated by IgE. Exposures to a number of environmental chemicals are suspected to lead to asthma, one such pollutant is di-(2-ethylheyl) phthalate (DEHP). DEHP is a manufactured chemical that is commonly added in plastic products to make them flexible. Epidemiological studies have revealed a positive association between DEHP exposure and asthma prevalence. METHODOLOGY/PRINCIPAL FINDINGS: The present study was aimed to determine the underlying role of DEHP exposure in airway reactivity, especially when combined with allergen exposure. The biomarkers include pulmonary histopathology, airway hyperresponsiveness (lung function), IgE, IL-4, IFN-γ and eosinophils. Healthy balb/c mice were randomly divided into eight exposure groups (n = 8 each): (1) saline control, (2) 30 µg/(kg•d) DEHP, (3) 300 µg/(kg•d) DEHP, (4) 3000 µg/(kg•d) DEHP, and (5) ovalbumin (OVA)-sensitized group, (6) OVA-combined with 30 µg/(kg•d) DEHP, (7) OVA-combined with 300 µg/(kg•d) DEHP, and (8) OVA-combined with 3000 µg/(kg•d) DEHP. Experimental tests were conducted after 52-day DEHP exposure and subsequently one week of challenge with aerosolized OVA. The principal findings include: (1) Strong postive associations exist between OVA-combined DEHP exposure and serum total IgE (T-IgE), as well as histological findings. These positive associations show a dose-dependent low dose sensitive effect of DEHP. (2) IL-4, eosinophil recruitment and lung function are also indicators for adjuvant effect of DEHP. CONCLUSIONS/SIGNIFICANCE: Our results suggest that except the significant changes of immunological and inflammatory biomarkers (T-IgE, IL-4, IFN-γ and eosinophils), the pulmonary histological (histopathological examination) and physiological (lung function) data also support that DEHP may promote and aggravate allergic asthma by adjuvant effect

Driving Restrictions Advised by Midwestern Cardiologists Implanting Cardioverter Defibrillators: Present Practices, Criteria Utilized, and Compatibility with Existing State Laws

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73175/1/j.1540-8159.1992.tb03115.x.pd

Local biases drive, but do not determine, the perception of illusory trajectories

When a dot moves horizontally across a set of tilted lines of alternating orientations, the dot appears to be moving up and down along its trajectory. This perceptual phenomenon, known as the slalom illusion, reveals a mismatch between the veridical motion signals and the subjective percept of the motion trajectory, which has not been comprehensively explained. In the present study, we investigated the empirical boundaries of the slalom illusion using psychophysical methods. The phenomenon was found to occur both under conditions of smooth pursuit eye movements and constant fixation, and to be consistently amplified by intermittently occluding the dot trajectory. When the motion direction of the dot was not constant, however, the stimulus display did not elicit the expected illusory percept. These findings confirm that a local bias towards perpendicularity at the intersection points between the dot trajectory and the tilted lines cause the illusion, but also highlight that higher-level cortical processes are involved in interpreting and amplifying the biased local motion signals into a global illusion of trajectory perception

Local biases drive, but do not determine, the perception of illusory trajectories

When a dot moves horizontally across a set of tilted lines of alternating orientations, the dot appears to be moving up and down along its trajectory. This perceptual phenomenon, known as the slalom illusion, reveals a mismatch between the veridical motion signals and the subjective percept of the motion trajectory, which has not been comprehensively explained. In the present study, we investigated the empirical boundaries of the slalom illusion using psychophysical methods. The phenomenon was found to occur both under conditions of smooth pursuit eye movements and constant fixation, and to be consistently amplified by intermittently occluding the dot trajectory. When the motion direction of the dot was not constant, however, the stimulus display did not elicit the expected illusory percept. These findings confirm that a local bias towards perpendicularity at the intersection points between the dot trajectory and the tilted lines cause the illusion, but also highlight that higher-level cortical processes are involved in interpreting and amplifying the biased local motion signals into a global illusion of trajectory perception

A Small RNA Controls Expression of the Chitinase ChiA in Listeria monocytogenes

In recent years, more than 60 small RNAs (sRNAs) have been identified in the gram-positive human pathogen Listeria monocytogenes, but their putative roles and mechanisms of action remain largely unknown. The sRNA LhrA was recently shown to be a post-transcriptional regulator of a single gene, lmo0850, which encodes a small protein of unknown function. LhrA controls the translation and degradation of the lmo0850 mRNA by an antisense mechanism, and it depends on the RNA chaperone Hfq for efficient binding to its target. In the present study, we sought to gain more insight into the functional role of LhrA in L. monocytogenes. To this end, we determined the effects of LhrA on global-wide gene expression. We observed that nearly 300 genes in L. monocytogenes are either positively or negatively affected by LhrA. Among these genes, we identified lmo0302 and chiA as direct targets of LhrA, thus establishing LhrA as a multiple target regulator. Lmo0302 encodes a hypothetical protein with no known function, whereas chiA encodes one of two chitinases present in L. monocytogenes. We show here that LhrA acts as a post-transcriptional regulator of lmo0302 and chiA by interfering with ribosome recruitment, and we provide evidence that both LhrA and Hfq act to down-regulate the expression of lmo0302 and chiA. Furthermore, in vitro binding experiments show that Hfq stimulates the base pairing of LhrA to chiA mRNA. Finally, we demonstrate that LhrA has a negative effect on the chitinolytic activity of L. monocytogenes. In marked contrast to this, we found that Hfq has a stimulating effect on the chitinolytic activity, suggesting that Hfq plays multiple roles in the complex regulatory pathways controlling the chitinases of L. monocytogenes