296 research outputs found

    Inclusive Development: Two Papers on Conceptualization, Application, and the ADB Perspective

    Get PDF
    This compendium brings together two companion papers on inclusive development. The first paper uses the global literature to formulate a conceptualisation of inclusive development and inclusive growth, and to put the conceptualisation through its paces by applying it to the specific case of donor assistance to rural infrastructure. The second paper conducts a detailed review and a synthesis of Asian Development Bank literature on inclusive growth and inclusive development, to see how one particular international organization has addressed, and attempted to resolve, the analytical and operational issues associated with inclusive development.International Development, International Relations/Trade,

    Characterizing small-scale migration behavior of sequestered CO2 in a realistic geological fabric

    Get PDF
    For typical reservoir conditions, buoyancy and capillary forces grow dominant over viscous forces within a few hundred meters of the injection wells as the pressure gradient due to injection decreases, resulting in qualitatively different plume migration regimes. The migration regime depends on two factors: the capillary pressure of the leading edge of the plume and the range of threshold entry pressures within the rock at the leading edge of the plume. A capillary channel regime arises when these two factors have the same magnitude. Flow patterns within this regime vary from finger-like structures with minimal rock contact to back-filling structures with compact volumes of saturation distributed between fingers. Reservoir heterogeneity is one of the principal factors influencing CO2 migration pathway in the capillary channel regime. Here we characterize buoyancy-driven migration in a natural 2D geologic domain (1 m Ă— 0.5 m peel from an alluvium) in which sedimentologic heterogeneity has been resolved at sub-millimeter (depositional) resolution. The relevant features of the heterogeneity are grain size distribution, which determines the mean and range of threshold pressures and correlation lengths of threshold pressures in horizontal and vertical directions. The relevant physics for this migration regime is invasion percolation, and simulations indicate that CO2 migrates through the peel in a few narrow pathways which cannot be captured by conventional coarse-grid simulations. The storage efficiency of the capillary channel regime would be low and consequently CO2 would also migrate greater distances than expected from models or simulations that neglect the capillary channel flow regime.Bureau of Economic Geolog

    Decomposing the proof of correctness of pipelined microprocessors

    Get PDF
    technical reportWe present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction function using completion functions, one per unfinished instruction, each of which specify the effect (on the observables) of completing the instruction. In addition to avoiding term-size and case explosion as could happen for deep and complex pipelines during flushing and helping localize errors, our method can also handle stages with iterative loops. The technique is illustrated on pipelined- as well as a superscalar pipelined implementations of a subset of the DLX architecture

    A Systematic Methodology for Verifying Superscalar Microprocessors

    Get PDF
    We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction function by using completion functions, one per unfinished instruction, each of which specifies the effect (on the observables) of completing the instruction. In addition to avoiding the term size and case explosion problem that limits the pure flushing approach, our method helps localize errors, and also handles stages with interactive loops. The technique is illustrated on pipelined and superscalar pipelined implementations of a subset of the DLX architecture. It has also been applied to a processor with out-of-order execution

    Meteoric effect of meropenem: an unrevealed case report on Jarisch Herxheimer reaction

    Get PDF
    Jarisch Herxheimer Reaction is an immune mediated, self- limited reaction that releases endotoxins from the spirochetes. It occurs due to an acute inflammatory response when lipoproteins, owing to their entry into the patient's bloodstream, cause an increase in inflammatory cytokines during the period of exacerbation, resulting in body aches, fevers, rashes, nausea and vomiting, and flushing, along with other symptoms. These symptoms usually begin within 2 hours after the administration of the antibiotics. We represent a 76-year-old male patient who has had a known case of recurrent urinary tract infections since 2017 and was recently diagnosed with urosepsis and syphilis after being administered an injection of Meropenem, wherein he developed a Jarisch Herxheimer Reaction. The causality assessment revealed a Naranjo score of 7, indicating a probable adverse drug reaction. This patient was treated with intravenous antihistamines and corticosteroids for its management. Benzathine penicillin was avoided owing to the previous suspected Jarisch Herxheimer Reaction. None of the studies reported that Meropenem could contribute to such a reaction. All healthcare professionals should maintain a high alert of suspicion and be aware of antibiotic induced Jarisch Herxheimer Reaction symptoms and their management to avoid life threatening conditions
    • …
    corecore