1,213 research outputs found

    Etude pédologique du Bassigny dans les cantons de Langres et Neuilly-l'Evêque

    Get PDF

    Development of ex vivo organ culture models to mimic human corneal scarring

    Get PDF
    PURPOSE: To develop ex vivo organ culture models of human corneal scarring suitable for pharmacological testing and the study of the molecular mechanisms leading to corneal haze after laser surgery or wounding. METHODS: Corneas from human donors were cultured ex vivo for 30 days, either at the air-liquid interface (AL) or immersed (IM) in the culture medium. Histological features and immunofluorescence for fibronectin, tenascin C, thrombospondin-1, and α-smooth muscle actin were graded from 0 to 3 for control corneas and for corneas wounded with an excimer laser. The effects of adding 10 ng/ml transforming growth factor-β1 (TGF-β1) to the culture medium and of prior complete removal of the epithelium and limbus, thus preventing reepithelialization, were also analyzed on wounded corneas. Collagen III expression was detected with real-time PCR. RESULTS: Wounding alone was sufficient to induce keratocyte activation and stromal disorganization, but it was only in the presence of added TGF-β1 that intense staining for fibronectin and tenascin C was found in the AL and IM models (as well as thrombospondin-1 in the AL model) and that α-smooth muscle actin became detectable. The scar-like appearance of the corneas was exacerbated when TGF-β1 was added and reepithelialization was prevented, resulting in the majority of corneas becoming opaque and marked upregulation of collagen III. CONCLUSIONS: THE MAIN FEATURES OF CORNEAL SCARRING WERE REPRODUCED IN THESE TWO COMPLEMENTARY MODELS: the AL model preserved differentiation of the epithelium and permits the topical application of active molecules, while the IM model ensures better perfusion by soluble compounds

    ESPON Project 2.3.1., Application and effects of the ESDP in Member States. First Interim Report

    Get PDF
    This First Interim Report includes the initial results of the project “Application and Effects of the ESDP in the Member States” within the ESPON Programme 2000-2006. The focus of the study is the application of the European Spatial Development Perspective (ESDP), which was adopted at the Potsdam European Council meeting in May 1999

    On the equivalence of game and denotational semantics for the probabilistic mu-calculus

    Full text link
    The probabilistic (or quantitative) modal mu-calculus is a fixed-point logic de- signed for expressing properties of probabilistic labeled transition systems (PLTS). Two semantics have been studied for this logic, both assigning to every process state a value in the interval [0,1] representing the probability that the property expressed by the formula holds at the state. One semantics is denotational and the other is a game semantics, specified in terms of two-player stochastic games. The two semantics have been proved to coincide on all finite PLTS's, but the equivalence of the two semantics on arbitrary models has been open in literature. In this paper we prove that the equivalence indeed holds for arbitrary infinite models, and thus our result strengthens the fruitful connection between denotational and game semantics. Our proof adapts the unraveling or unfolding method, a general proof technique for proving result of parity games by induction on their complexity
    corecore