2,806 research outputs found

    Sandpile model on an optimized scale-free network on Euclidean space

    Full text link
    Deterministic sandpile models are studied on a cost optimized Barab\'asi-Albert (BA) scale-free network whose nodes are the sites of a square lattice. For the optimized BA network, the sandpile model has the same critical behaviour as the BTW sandpile, whereas for the un-optimized BA network the critical behaviour is mean-field like.Comment: Five pages, four figure

    Proof by analogy in mural

    Get PDF
    One of the most important advantages of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification. Conducting proofs by hand, however,can be time consuming to the extent that designers have to judge whether a proof of a particular obligation is worth conducting. Even if hand proofs are worth conducting, how do we know that they are correct? One approach to overcoming this problem is to use an automatic theorem proving system to develop and check our proofs. However, in order to enable present day theorem provers to check proofs, one has to conduct them in much more detail than hand proofs. Carrying out more detailed proofs is of course more time consuming. This paper describes the use of proof by analogy in an attempt to reduce the time spent on proofs. We develop and implement a proof follower based on analogy and present two examples to illustrate its characteristics. One example illustrates the successful use of the proof follower. The other example illustrates that the follower's failure can provide a hint that enables the user to complete a proof

    Self-Structuring of Granular Media under Internal Avalanches

    Full text link
    We study the phenomenon of internal avalanching within the context of recently proposed ``Tetris'' lattice models for granular media. We define a recycling dynamics under which the system reaches a steady state which is self-structured, i.e. it shows a complex interplay between textured internal structures and critical avalanche behavior. Furthermore we develop a general mean-field theory for this class of systems and discuss possible scenarios for the breakdown of universality.Comment: 4 pages RevTex, 3 eps figures, revised version to appear in Phys. Rev. Let

    Boundary conditions and defect lines in the Abelian sandpile model

    Full text link
    We add a defect line of dissipation, or crack, to the Abelian sandpile model. We find that the defect line renormalizes to separate the two-dimensional plane into two half planes with open boundary conditions. We also show that varying the amount of dissipation at a boundary of the Abelian sandpile model does not affect the universality class of the boundary condition. We demonstrate that a universal coefficient associated with height probabilities near the defect can be used to classify boundary conditions.Comment: 8 pages, 1 figure; suggestions from referees incorporated; to be published in Phys. Rev.

    Wisconsin Energy Corporation: Case Study Of Corporate Social Responsibility

    Get PDF
    Increasing by approximately 32% a year globally over the last five years, wind energy has proven to be a clean, abundant, and cost effective renewable source of energy. Wind energy is an important part of the strategy to replace fossil fuel electricity generation. Fossil fuels such as coal, oil, and natural gas currently generate over 70% of the power consumed in North America. The dramatic increase in the cost for fossil fuels and the growing pressure on the world's nations to reduce greenhouse gas emissions have combined to position wind power as the world’s fastest growing new source of electricity generation. This case study discusses a major producer of America’s wind energy, Wisconsin Energy Corporation (WEC), and their strategies and commitments to alternative energy and a more sustainable future. The company’s “triple bottom line” including economic, social, and environmental benefits will also be evaluated

    Mycobacterium tuberculosis Drives Expansion of Low-Density Neutrophils Equipped With Regulatory Activities

    Get PDF
    In human tuberculosis (TB) neutrophils represent the most commonly infected phagocyte but their role in protection and pathology is highly contradictory. Moreover, a subset of low-density neutrophils (LDNs) has been identified in TB, but their functions remain unclear. Here, we have analyzed total neutrophils and their low-density and normal-density (NDNs) subsets in patients with active TB disease, in terms of frequency, phenotype, functional features, and gene expression signature. Full-blood counts from Healthy Donors (H.D.), Latent TB infected, active TB, and cured TB patients were performed. Frequency, phenotype, burst activity, and suppressor T cell activity of the two different subsets were assessed by flow cytometry while NETosis and phagocytosis were evaluated by confocal microscopy. Expression analysis was performed by using the semi-quantitative RT-PCR array technology. Elevated numbers of total neutrophils and a high neutrophil/lymphocyte ratio distinguished patients with active TB from all the other groups. PBMCs of patients with active TB disease contained elevated percentages of LDNs compared with those of H.D., with an increased expression of CD66b, CD33, CD15, and CD16 compared to NDNs. Transcriptomic analysis of LDNs and NDNs purified from the peripheral blood of TB patients identified 12 genes differentially expressed: CCL5, CCR5, CD4, IL10, LYZ, and STAT4 were upregulated, while CXCL8, IFNAR1, NFKB1A, STAT1, TICAM1, and TNF were downregulated in LDNs, as compared to NDNs. Differently than NDNs, LDNs failed to phagocyte live Mycobacterium tuberculosis (M. tuberculosis) bacilli, to make oxidative burst and NETosis, but caused significant suppression of antigen-specific and polyclonal T cell proliferation which was partially mediated by IL-10. These insights add a little dowel of knowledge in understanding the pathogenesis of human TB

    Directed Fixed Energy Sandpile Model

    Full text link
    We numerically study the directed version of the fixed energy sandpile. On a closed square lattice, the dynamical evolution of a fixed density of sand grains is studied. The activity of the system shows a continuous phase transition around a critical density. While the deterministic version has the set of nontrivial exponents, the stochastic model is characterized by mean field like exponents.Comment: 5 pages, 6 figures, to be published in Phys. Rev.

    Path-integral representation for a stochastic sandpile

    Full text link
    We introduce an operator description for a stochastic sandpile model with a conserved particle density, and develop a path-integral representation for its evolution. The resulting (exact) expression for the effective action highlights certain interesting features of the model, for example, that it is nominally massless, and that the dynamics is via cooperative diffusion. Using the path-integral formalism, we construct a diagrammatic perturbation theory, yielding a series expansion for the activity density in powers of the time.Comment: 22 pages, 6 figure

    Power spectra of self-organized critical sandpiles

    Full text link
    We analyze the power spectra of avalanches in two classes of self-organized critical sandpile models, the Bak-Tang-Wiesenfeld model and the Manna model. We show that these decay with a 1/fα1/f^\alpha power law, where the exponent value α\alpha is significantly smaller than 2 and equals the scaling exponent relating the avalanche size to its duration. We discuss the basic ingredients behind this result, such as the scaling of the average avalanche shape.Comment: 7 pages, 3 figures, submitted to JSTA
    • …
    corecore