Learn More
Hypermethylation of CpG islands in the promoter regions is an important mechanism to silence the expression of many important genes in cancer. The hypermethylation status is passed to the daughter cells through the methylation of the newly synthesized DNA strand by 5-cytosine DNA methyltransferase (DNMT). We report herein that (-)-epigallocatechin-3-gallate(More)
(À)-Epigallocatechin-3-gallate (EGCG), the principal polyphe-nol in green tea, has been shown to inhibit the growth of many cancer cell lines and to suppress the phosphorylation of epidermal growth factor receptor (EGFR). We observed similar effects of EGCG in esophageal squamous cell carcinoma KYSE 150 cells and epidermoid squamous cell carcinoma A431(More)
The present study was designed to investigate the effects of two main constituents of green tea, (-)-epigallocatechin-3-gallate (EGCG) and caffeine, on intestinal tumorigenesis in Apc(min/+) mice, a recognized mouse model for human intestinal cancer, and to elucidate possible mechanisms involved in the inhibitory action of the active constituent. We found(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)
The present study was designed to investigate the effects of two main constituents of green tea, (À)-epigallocatechin-3-gallate (EGCG) and caffeine, on intestinal tumorigenesis in Apc min/+ mice, a recognized mouse model for human intestinal cancer, and to elucidate possible mechanisms involved in the inhibitory action of the active constituent. We found(More)
We present a labelled sequent calculus for Boolean BI (BBI), a classical variant of the logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination. We show that all the structural rules in the calculus, i.e., those rules that manipulate labels and ternary relations, can be localised around applications of certain(More)
This paper considers Reynolds's separation logic with all logical connectives but without arbitrary predicates. This logic is not recur-sively 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)
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)