Weak MSO+U with Path Quantifiers over Infinite Trees

This paper shows that over infinite trees, satisfiability is decidable for weak monadic second-order logic extended by the unbounding quantifier U and quantification over infinite paths. The proof is by reduction to emptiness for a certain automaton model, while emptiness for the automaton model is decided using profinite trees.Comment: version of an ICALP 2014 paper with appendice

The ArcA regulon and oxidative stress resistance in Haemophilus influenzae

Haemophilus influenzae transits between niches within the human host that are predicted to differ in oxygen levels. The ArcAB two-component signal transduction system controls gene expression in response to respiratory conditions of growth and has been implicated in bacterial pathogenesis, yet the mechanism is not understood. We undertook a genome-scale study to identify genes of the H. influenzae ArcA regulon. Deletion of arcA resulted in increased anaerobic expression of genes of the respiratory chain and of H. influenzae's partial tricarboxylic acid cycle, and decreased anaerobic expression levels of genes of polyamine metabolism, and iron sequestration. Deletion of arcA also conferred a susceptibility to transient exposure to hydrogen peroxide that was greater following anaerobic growth than after aerobic growth. Array data revealed that the dps gene, not previously assigned to the ArcA modulon in bacteria, exhibited decreased expression in the arcA mutant. Deletion of dps resulted in hydrogen peroxide sensitivity and complementation restored resistance, providing insight into the previously uncharacterized mechanism of arcA-mediated H2O2 resistance. The results indicate a role for H. influenzae arcA and dps in pre-emptive defence against transitions from growth in low oxygen environments to aerobic exposure to hydrogen peroxide, an antibacterial oxidant produced by phagocytes during infection

Using the ecology model to describe the impact of asthma on patterns of health care

BACKGROUND: Asthma changes both the volume and patterns of healthcare of affected people. Most studies of asthma health care utilization have been done in selected insured populations or in a single site such as the emergency department. Asthma is an ambulatory sensitive care condition making it important to understand the relationship between care in all sites across the health service spectrum. Asthma is also more common in people with fewer economic resources making it important to include people across all types of insurance and no insurance categories. The ecology of medical care model may provide a useful framework to describe the use of health services in people with asthma compared to those without asthma and identify subgroups with apparent gaps in care. METHODS: This is a case-control study using the 1999 U.S. Medical Expenditure Panel Survey. Cases are school-aged children (6 to 17 years) and young adults (18 to 44 years) with self-reported asthma. Controls are from the same age groups who have no self-reported asthma. Descriptive analyses and risk ratios are placed within the ecology of medical care model and used to describe and compare the healthcare contact of cases and controls across multiple settings. RESULTS: In 1999, the presence of asthma significantly increased the likelihood of an ambulatory care visit by 20 to 30% and more than doubled the likelihood of making one or more visits to the emergency department (ED). Yet, 18.8% of children and 14.5% of adults with asthma (over a million Americans) had no ambulatory care visits for asthma. About one in 20 to 35 people with asthma (5.2% of children and 3.6% of adults) were seen in the ED or hospital but had no prior or follow-up ambulatory care visits. These Americans were more likely to be uninsured, have no usual source of care and live in metropolitan areas. CONCLUSION: The ecology model confirmed that having asthma changes the likelihood and pattern of care for Americans. More importantly, the ecology model identified a subgroup with asthma who sought only emergent or hospital services

Characterizing definability in decidable fixpoint logics

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back-and-forth between relational logics and logics over trees

Characterizing definability in decidable fixpoint logics

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back-and-forth between relational logics and logics over trees

New Ventures piece on Josh Wojcik, co-owner of Upright Frameworks in Wilton, w

New Ventures piece on Josh Wojcik, co-owner of Upright Frameworks in Wilton, which creates energy-efficient new structures and offers energy audits and weatherizing retrofits for older buildings

Query answering with transitive and linear-ordered data

We consider entailment problems involving powerful constraint languages such as guarded existential rules, in which additional semantic restrictions are put on a set of distinguished relations. We consider restricting a relation to be transitive, restricting a relation to be the transitive closure of another relation, and restricting a relation to be a linear order. We give some natural generalizations of guardedness that allow inference to be decidable in each case, and isolate the complexity of the corresponding decision problems. Finally we show that slight changes in our conditions lead to undecidability