A Model Checker for Operator Precedence Languages

The problem of extending model checking from finite state machines to procedural programs has fostered much research toward the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL. Recently, Precedence Oriented Temporal Logic (POTL) has been introduced to specify and prove properties of programs coded trough an Operator Precedence Language (OPL). POTL is complete w.r.t. the FO restriction of the MSO logic previously defined as a logic fully equivalent to OPL. POTL increases NWTL's expressive power in a perfectly parallel way as OPLs are more powerful that nested words.In this article, we produce a model checker, named POMC, for OPL programs to prove properties expressed in POTL. To the best of our knowledge, POMC is the first implemented and openly available model checker for proving tree-structured properties of recursive procedural programs. We also report on the experimental evaluation we performed on POMC on a nontrivial benchmark

Flatness of minima in random inflationary landscapes

We study the likelihood for relative minima of random polynomial potentials to support the slow-roll conditions for inflation. Consistent with renormalizability and boundedness, the coefficients that appear in the potential are chosen to be order one with respect to the energy scale at which inflation transpires. Investigation of the single field case illustrates a window in which the potentials satisfy the slow-roll conditions. When there are two scalar fields, we find that the probability depends mildly on the choice of distribution for the coefficients. A uniform distribution yields a 0.05% probability of finding a suitable minimum in the random potential, whereas a maximum entropy distribution yields a 0.1% probability

AtPME17 is a functional arabidopsis thaliana pectin methylesterase regulated by its PRO region that triggers PME activity in the resistance to botrytis cinerea

Pectin is synthesized in a highly methylesterified form in the Golgi cisternae and partially de-methylesterified in muro by pectin methylesterases (PMEs). Arabidopsis thaliana produces a local and strong induction of PME activity during the infection of the necrotrophic fungus Botrytis cinerea. AtPME17 is a putative A. thaliana PME highly induced in response to B. cinerea. Here, a fine tuning of AtPME17 expression by different defence hormones was identified. Our genetic evidence demonstrates that AtPME17 strongly contributes to the pathogen-induced PME activity and resistance against B. cinerea by triggering jasmonic acid–ethylene-dependent PDF1.2 expression. AtPME17 belongs to group 2 isoforms of PMEs characterized by a PME domain preceded by an N-terminal PRO region. However, the biochemical evidence for AtPME17 as a functional PME is still lacking and the role played by its PRO region is not known. Using the Pichia pastoris expression system, we demonstrate that AtPME17 is a functional PME with activity favoured by an increase in pH. AtPME17 performs a blockwise pattern of pectin de-methylesterification that favours the formation of egg-box structures between homogalacturonans. Recombinant AtPME17 expression in Escherichia coli reveals that the PRO region acts as an intramolecular inhibitor of AtPME17 activity

The cotton wall-associated kinase GhWAK7A mediates responses to fungal wilt pathogens by complexing with the chitin sensory receptors

Plant receptor-like kinases (RLKs) are important players in response to pathogen infections. Verticillium and Fusarium wilts, caused by Verticillium dahliae (Vd) and Fusarium oxysporum f. sp vasinfectum (Fov), respectively, are among the most devastating diseases in cotton (Gossypium spp). To understand the cotton response to these soil-borne fungal pathogens, we performed a genome-wide in silico characterization and functional screen of diverse RLKs for their involvement in cotton wilt diseases. We identified Gossypium hirsutum GhWAK7A, a wall-associated kinase, that positively regulates cotton response to both Vd and Fov infections. Chitin, the major constituent of the fungal cell wall, is perceived by lysin-motif-containing RLKs (LYKs/CERK1), leading to the activation of plant defense against fungal pathogens. A conserved chitin sensing and signaling system is present in cotton, including chitin-induced GhLYK5-GhCERK1 dimerization and phosphorylation, and contributes to cotton defense against Vd and Fov. Importantly, GhWAK7A directly interacts with both GhLYK5 and GhCERK1 and promotes chitin-induced GhLYK5-GhCERK1 dimerization. GhWAK7A phosphorylates GhLYK5, which itself does not have kinase activity, but requires phosphorylation for its function. Consequently, GhWAK7A plays a crucial role in chitin-induced responses. Thus, our data reveal GhWAK7A as an important component in cotton response to fungal wilt pathogens by complexing with the chitin receptors

Fibronectin rescues estrogen receptor α from lysosomal degradation in breast cancer cells

Estrogen receptor α (ERα) is expressed in tissues as diverse as brains and mammary glands. In breast cancer, ERα is a key regulator of tumor progression. Therefore, understanding what activates ERα is critical for cancer treatment in particular and cell biology in general. Using biochemical approaches and superresolution microscopy, we show that estrogen drives membrane ERα into endosomes in breast cancer cells and that its fate is determined by the presence of fibronectin (FN) in the extracellular matrix; it is trafficked to lysosomes in the absence of FN and avoids the lysosomal compartment in its presence. In this context, FN prolongs ERα half-life and strengthens its transcriptional activity. We show that ERα is associated with β1-integrin at the membrane, and this integrin follows the same endocytosis and subcellular trafficking pathway triggered by estrogen. Moreover, ERα+ vesicles are present within human breast tissues, and colocalization with β1-integrin is detected primarily in tumors. Our work unravels a key, clinically relevant mechanism of microenvironmental regulation of ERα signaling.Fil: Sampayo, Rocío Guadalupe. Universidad Nacional de San Martin. Instituto de Nanosistemas; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Ángel H. Roffo"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Química Biológica de la Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Química Biológica de la Facultad de Ciencias Exactas y Naturales; ArgentinaFil: Toscani, Andrés Martin. Universidad Nacional de Luján; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Química Biológica de la Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Química Biológica de la Facultad de Ciencias Exactas y Naturales; ArgentinaFil: Rubashkin, Matthew G.. University of California; Estados UnidosFil: Thi, Kate. Lawrence Berkeley National Laboratory; Estados UnidosFil: Masullo, Luciano Andrés. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: Violi, Ianina Lucila. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Centro de Investigaciones en Bionanociencias "Elizabeth Jares Erijman"; ArgentinaFil: Lakins, Jonathon N.. University of California; Estados UnidosFil: Caceres, Alfredo Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigación Médica Mercedes y Martín Ferreyra. Universidad Nacional de Córdoba. Instituto de Investigación Médica Mercedes y Martín Ferreyra; ArgentinaFil: Hines, William C.. Lawrence Berkeley National Laboratory; Estados UnidosFil: Coluccio Leskow, Federico. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Química Biológica de la Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Química Biológica de la Facultad de Ciencias Exactas y Naturales; Argentina. Universidad Nacional de Luján; ArgentinaFil: Stefani, Fernando Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: Chialvo, Dante Renato. Universidad de Buenos Aires; Argentina. Universidad Nacional de San Martín. Escuela de Ciencia y Tecnología. Centro Internacional de Estudios Avanzados; ArgentinaFil: Bissell, Mina J.. Lawrence Berkeley National Laboratory; Estados UnidosFil: Weaver, Valerie M.. University of California; Estados UnidosFil: Simian, Marina. Universidad Nacional de San Martin. Instituto de Nanosistemas; Argentina. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Oncología "Ángel H. Roffo"; Argentin

The influence of stromal cells on the pigmentation of tissue-engineered dermo-epidermal skin grafts

It has been shown in vitro that melanocyte proliferation and function in palmoplantar skin is regulated by mesenchymal factors derived from fibroblasts. Here, we investigated in vivo the influence of mesenchymal-epithelial interactions in human tissue-engineered skin substitutes reconstructed from palmar- and non-palmoplantar-derived fibroblasts. Tissue-engineered dermo-epidermal analogs based on collagen type I hydrogels were populated with either human palmar or non-palmoplantar fibroblasts and seeded with human non-palmoplantar-derived melanocytes and keratinocytes. These skin substitutes were transplanted onto full-thickness skin wounds of immuno-incompetent rats. Four weeks after transplantation the development of skin color was measured and grafts were excised and analyzed with regard to epidermal characteristics, in particular melanocyte number and function. Skin substitutes containing palmar-derived fibroblasts in comparison to non-palmoplantar derived fibroblasts showed a) a significantly lighter pigmentation; b) a reduced amount of epidermal melanin granules; and c) a distinct melanosome expression. However, the number of melanocytes in the basal layer remained similar in both transplantation groups. These findings demonstrate that human palmar fibroblasts regulate the function of melanocytes in human pigmented dermo-epidermal skin substitutes after transplantation, whereas the number of melanocytes remains constant. This underscores the influence of site-specific stromal cells and their importance when constructing skin substitutes for clinical application

Rebuild, restore, reinnervate: do human tissue engineered dermo-epidermal skin analogs attract host nerve fibers for innervation?

PURPOSE: Tissue engineered skin substitutes are a promising tool to cover large skin defects, but little is known about reinnervation of transplants. In this experimental study, we analyzed the ingrowth of host peripheral nerve fibers into human tissue engineered dermo-epidermal skin substitutes in a rat model. Using varying cell types in the epidermal compartment, we wanted to assess the influence of epidermal cell types on reinnervation of the substitute. METHODS: We isolated keratinocytes, melanocytes, fibroblasts, and eccrine sweat gland cells from human skin biopsies. After expansion, epidermal cells were seeded on human dermal fibroblast-containing collagen type I hydrogels as follows: (1) keratinocytes only, (2) keratinocytes with melanocytes, (3) sweat gland cells. These substitutes were transplanted into full-thickness skin wounds on the back of immuno-incompetent rats and were analyzed after 3 and 8 weeks. Histological sections were examined with regard to myelinated and unmyelinated nerve fiber ingrowth using markers such as PGP9.5, NF-200, and NF-145. RESULTS: After 3 weeks, the skin substitutes of all three epidermal cell variants showed no neuronal ingrowth from the host into the transplant. After 8 weeks, we could detect an innervation of all three types of skin substitutes. However, the nerve fibers were restricted to the dermal compartment and we could not find any unmyelinated fibers in the epidermis. Furthermore, there was no distinct difference between the constructs resulting from the different cell types used to generate an epidermis. CONCLUSION: Our human tissue engineered dermo-epidermal skin substitutes demonstrate a host-derived innervation of the dermal compartment as early as 8 weeks after transplantation. Thus, our substitutes apparently have the capacity to attract nerve fibers from adjacent host tissues, which also grow into grafts and thereby potentially restore skin sensitivity

DNA Clasping by Mycobacterial HU: The C-Terminal Region of HupB Mediates Increased Specificity of DNA Binding

BACKGROUND: HU a small, basic, histone like protein is a major component of the bacterial nucleoid. E. coli has two subunits of HU coded by hupA and hupB genes whereas Mycobacterium tuberculosis (Mtb) has only one subunit of HU coded by ORF Rv2986c (hupB gene). One noticeable feature regarding Mtb HupB, based on sequence alignment of HU orthologs from different bacteria, was that HupB(Mtb) bears at its C-terminal end, a highly basic extension and this prompted an examination of its role in Mtb HupB function. METHODOLOGY/PRINCIPAL FINDINGS: With this objective two clones of Mtb HupB were generated; one expressing full length HupB protein (HupB(Mtb)) and another which expresses only the N terminal region (first 95 amino acid) of hupB (HupB(MtbN)). Gel retardation assays revealed that HupB(MtbN) is almost like E. coli HU (heat stable nucleoid protein) in terms of its DNA binding, with a binding constant (K(d)) for linear dsDNA greater than 1000 nM, a value comparable to that obtained for the HUalphaalpha and HUalphabeta forms. However CTR (C-terminal Region) of HupB(Mtb) imparts greater specificity in DNA binding. HupB(Mtb) protein binds more strongly to supercoiled plasmid DNA than to linear DNA, also this binding is very stable as it provides DNase I protection even up to 5 minutes. Similar results were obtained when the abilities of both proteins to mediate protection against DNA strand cleavage by hydroxyl radicals generated by the Fenton's reaction, were compared. It was also observed that both the proteins have DNA binding preference for A:T rich DNA which may occur at the regulatory regions of ORFs and the oriC region of Mtb. CONCLUSIONS/SIGNIFICANCE: These data thus point that HupB(Mtb) may participate in chromosome organization in-vivo, it may also play a passive, possibly an architectural role