6,518 research outputs found

    Hamming weights and Betti numbers of Stanley-Reisner rings associated to matroids

    Full text link
    To each linear code over a finite field we associate the matroid of its parity check matrix. We show to what extent one can determine the generalized Hamming weights of the code (or defined for a matroid in general) from various sets of Betti numbers of Stanley-Reisner rings of simplicial complexes associated to the matroid

    Monitoring Partially Synchronous Distributed Systems using SMT Solvers

    Full text link
    In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

    Neonatal umbilical cord blood transplantation halts skeletal disease progression in the murine model of MPS-I

    Get PDF
    Umbilical cord blood (UCB) is a promising source of stem cells to use in early haematopoietic stem cell transplantation (HSCT) approaches for several genetic diseases that can be diagnosed at birth. Mucopolysaccharidosis type I (MPS-I) is a progressive multi-system disorder caused by deficiency of lysosomal enzyme α-L-iduronidase, and patients treated with allogeneic HSCT at the onset have improved outcome, suggesting to administer such therapy as early as possible. Given that the best characterized MPS-I murine model is an immunocompetent mouse, we here developed a transplantation system based on murine UCB. With the final aim of testing the therapeutic efficacy of UCB in MPS-I mice transplanted at birth, we first defined the features of murine UCB cells and demonstrated that they are capable of multi-lineage haematopoietic repopulation of myeloablated adult mice similarly to bone marrow cells. We then assessed the effectiveness of murine UCB cells transplantation in busulfan-conditioned newborn MPS-I mice. Twenty weeks after treatment, iduronidase activity was increased in visceral organs of MPS-I animals, glycosaminoglycans storage was reduced, and skeletal phenotype was ameliorated. This study explores a potential therapy for MPS-I at a very early stage in life and represents a novel model to test UCB-based transplantation approaches for various diseases

    The inevitable youthfulness of known high-redshift radio galaxies

    Full text link
    Radio galaxies can be seen out to very high redshifts, where in principle they can serve as probes of the early evolution of the Universe. Here we show that for any model of radio-galaxy evolution in which the luminosity decreases with time after an initial rapid increase (that is, essentially all reasonable models), all observable high-redshift radio-galaxies must be seen when the lobes are less than 10^7 years old. This means that high-redshift radio galaxies can be used as a high-time-resolution probe of evolution in the early Universe. Moreover, this result helps to explain many observed trends of radio-galaxy properties with redshift [(i) the `alignment effect' of optical emission along radio-jet axes, (ii) the increased distortion in radio structure, (iii) the decrease in physical sizes, (iv) the increase in radio depolarisation, and (v) the increase in dust emission] without needing to invoke explanations based on cosmology or strong evolution of the surrounding intergalactic medium with cosmic time, thereby avoiding conflict with current theories of structure formation.Comment: To appear in Nature. 4 pages, 2 colour figures available on request. Also available at http://www-astro.physics.ox.ac.uk/~km
    • …
    corecore