LNCS

Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with n states and m transitions, we show that each of the classical quantitative objectives can be computed in O((n+m)⋅t2) time, given a tree decomposition of the MC with width t. Our results also imply a bound of O(κ⋅(n+m)⋅t2) for each objective on MDPs, where κ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experiments show that on low-treewidth MCs and MDPs, our algorithms outperform existing well-established methods by one or more orders of magnitude

Distribution Patterns of E-Cadherin, Type VII Collagen and Fibronectin in Denture-Related Stomatitis: A Preliminary Study

The distribution of epithelial E-cadherin, basement membrane type VII collagen, and underlying connective tissues fibronectin were investigated immunohistochemically and compared in normal palatal mucosa and in denture-related stomatitis (DRS) derivatives using monoclonal antibodies.Biopsies of palatal mucosa were obtained from twelve patients enrolled in this study, 8 with type II DRS and 4 with healthy mucosa

Distribution of laminin and fibronectin isoforms in oral mucosa and oral squamous cell carcinoma

The expression of laminin and fibronectin isoforms varies with cellular maturation and differentiation and these differences may well influence cellular processes such as adhesion and motility. The basement membrane (BM) of fetal oral squamous epithelium contains the laminin chains, α2, α3, α5, β1, β2, β3, γ1 and γ2. The BM of adult normal oral squamous epithelium comprises the laminin chains, α3, α5, β1, β3, γ1 and γ2. A re-expression of the laminin α2 and β2 chains could be shown in adult hyperproliferative, dysplastic and carcinomatous lesions. In dysplasia and oral squamous cell carcinoma (OSCC), multifocal breaks of the BM are present as indicated by laminin chain antibodies. These breaks correlate to malignancy grade in their extent. Moreover, in the invasion front the α3 and γ2 chain of laminin-5 can immunohistochemically be found outside the BM within the cytoplasm of budding carcinoma cells and in the adjacent stroma. The correlation between the morphological pattern of invasive tumour clusters and a laminin-5 immunostaining in the adjacent stroma may suggest, first, that a laminin-5 deposition outside the BM is an immunohistochemical marker for invasion and second, that OSCC invasion is guided by the laminin-5 matrix. Expression of oncofetal fibronectins (IIICS de novo glycosylated fibronectin and ED-B fibronectin) could be demonstrated throughout the stromal compartment. However, the ED-B fibronectin synthesizing cells (RNA/RNA in situ hybridization) are confined to small stroma areas and to single stroma and inflammatory cells in the invasion front. A correlation of the number of ED-B fibronectin synthesizing cells to malignancy grade could not be seen. ED-B fibronectin mRNA-positive cells seem to be concentrated in areas of fibrous stroma recruitment with a linear alignment of stromal fibro-/myofibroblasts (desmoplasia). Double staining experiments (ED-B fibronectin in situ hybridization and α-smooth muscle actin immunohistochemistry) indicated that the stroma myofibroblasts are a preferential source of ED-B fibronectin. In conclusion, in OSCC, a fetal extracellular matrix conversion is demonstrable. Tumour cells (laminin α2 and β2 chain) and recruited stromal myofibroblasts (oncofetal ED-B fibronectin) contribute to the fetal extracellular matrix milieu. © 1999 Cancer Research Campaig

Cyclophilin C-associated protein (CyCAP) knock-out mice spontaneously develop colonic mucosal hyperplasia and exaggerated tumorigenesis after treatment with carcinogen azoxymethane1

<p>Abstract</p> <p>Background</p> <p>The discovery of a "serrated neoplasia pathway" has highlighted the role of hyperplastic lesions of the colon as the significant precursor of colorectal adenocarcinoma. In mice, hyperplasia of the colonic mucosa is a regular phenomenon after a challenge with colonic carcinogens indicating that mucosal hyperproliferation and thickening, even without cytological dysplasia, represents an early pre-malignant change. Cyclophilin C-associated protein (CyCAP) has been described to down-modulate endotoxin signaling in colorectal murine mucosa and is a murine orthologue of the tumor-associated antigen 90 K (TAA90K)/mac-2-binding protein.</p> <p>Methods</p> <p>Female Balb/c wild-type (WT) and CyCAP knock-out (KO) mice (6–8 weeks old) were administered 2 or 6 weekly subcutaneous injections of azoxymethane. The animals were evaluated post-injection at six weeks for aberrant crypt foci (ACF) study and at five months for colon tumor measurement. The thickness of the colon crypts was measured in microns and the number of colonocytes per crypt was also determined in well-oriented crypts. Morphometric analyses of the colon mucosa were also performed in untreated 6–8 weeks old KO and WT animals. Formalin-fixed/paraffin-embedded colon sections were also studied by immunohistochemistry to determine the Ki-67 proliferation fraction of the colon mucosa, β-catenin cellular localization, cyclin D1, c-myc, and lysozyme in Paneth cells.</p> <p>Results</p> <p>Cyclophilin C-associated protein (CyCAP)^-/-mice, spontaneously developed colonic mucosal hyperplasia early in life compared to wild-type mice (WT) (p < 0.0001, T-test) and crypts of colonic mucosa of the (CyCAP)^-/-mice show higher proliferation rate (p = 0.039, Mann-Whitney Test) and larger number of cyclin D1-positive cells (p < 0.0001, Mann-Whitney Test). Proliferation fraction and cyclin D1 expression showed positive linear association (p = 0.019, Linear-by-Linear Association). The hyperplasia was even more pronounced in CyCAP^-/-mice than in WT after challenge with azoxymethane (p = 0.005, T-test). The length of the crypts (r = 0.723, p = 0.018, Spearman Correlation) and the number of colonocytes per crypt (r = 0.863, p = 0.001, Spearman Correlation) in non-tumorous areas were positively associated with azoxymethane-induced number of tumors. CyCAP^-/-developed larger numbers of tumors than WT animals (p = 0.003, T-Test) as well as overall larger tumor mass (p = 0.016, T-Test). Membranous β-catenin was focally overexpressed in KO mice including proliferative zone of the crypts.</p> <p>Conclusion</p> <p>CyCAP^-/-represent the first described model of spontaneous colonic mucosal hyperplasia. We conclude that CyCAP-deficient mice spontaneously and after challenge with carcinogen develop significantly more colorectal mucosal hyperplasia, an early stage in murine colonic carcinogenesis.</p