Learn More
An increasing number of outbreaks of gastroenteritis recently caused by Escherichia coli O157:H7 have been linked to the consumption of leafy green vegetables. Although it is known that E. coli survives and grows in the phyllosphere of lettuce plants, the molecular mechanisms by which this bacterium associates with plants are largely unknown. The goal of(More)
Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that mutate memory. These logics are "abstract" because they are independent of any particular concrete memory model. Their assertion languages, called propositional abstract separation logics, extend the logic of (Boolean) Bunched Implications (BBI) in various(More)
Lettuce and spinach are increasingly implicated in foodborne illness outbreaks due to contamination by Escherichia coli O157:H7. While this bacterium has been shown to colonize and survive on lettuce leaf surfaces, little is known about its interaction with the roots of growing lettuce plants. In these studies, a microarray analyses, mutant construction and(More)
Tumor-associated macrophages and high levels of cyclooxygenase-2 (COX-2) are associated with poor prognosis in breast cancer patients, but their potential interdependence has not been evaluated. The objective of this study was to determine whether macrophages regulate COX-2 expression in breast cancer cells. For this purpose, THP-1 cells were cocultured(More)
Lettuce is the fresh leafy vegetable most frequently involved in foodborne disease outbreaks. Human bacterial pathogens may be experimentally internalized into lettuce plants, but the occurrence of natural microflora inside lettuce leaves has not been elucidated. To characterize the endophytic microorganism residing in commercial lettuce leaves, two(More)
Companies have to adhere to compliance requirements. The compliance analysis of business operations is typically a joint effort of business experts and compliance experts. Those experts need to create a common understanding of business processes to effectively conduct compliance management. In this paper, we present a technique that aims at supporting this(More)
This paper considers Reynolds’s separation logic with all logical connectives but without arbitrary predicates. This logic is not recursively enumerable but is very useful in practice. We give a sound labelled sequent calculus for this logic. Using numerous examples, we illustrate the subtle deficiencies of several existing proof calculi for separation(More)
The title compounds are a class of structurally simple analogues of quaternary benzo[c]phenanthridine alkaloids (QBAs). In order to develop novel QBA-like antifungal drugs, in this study, 24 of the title compounds with various substituents on the N-phenyl ring were evaluated for bioactivity against seven phytopathogenic fungi using the mycelial growth rate(More)