431 research outputs found

    Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations

    Full text link
    Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can be a valid state based model: (1) of some synchronous concurrent computation iff it is width-extensible, and (2) of some asynchronous concurrent computation iff it is width-extensible and interleaving-consistent. We also show a duality between the event based and state based models of concurrent computations, and give algorithms to convert models between the two domains. When applied to the problem of checkpointing, our theory leads to a better understanding of some existing results and algorithms in the field. It also leads to efficient detection algorithms for predicates whose evaluation requires knowledge of states from all the processes in the system

    Fast Detection of Stable and Count Predicates in Parallel Computations

    Get PDF

    SUCCESSFUL TREATMENT OF VENTILATOR ASSOCIATED PNEUMONIA CAUSED BY MULTIDRUG RESISTANT ACINETOBACTER BAUMANNII WITH A COMBINATION THERAPY OF CSE1034 AND COLISTIN: A CASE REPORT.

    Get PDF
     Objective: One of the major causes of ventilator-associated pneumonia (VAP) in hospital settings is Acinetobacter baumannii. The propensity of acquiring antimicrobial resistance rapidly through a multiple number of mechanisms makes the selection of an appropriate empirical antimicrobial agent exceedingly challenging for this pathogen.Methods: The present case report explores the option of treating VAP infection due to carbapenem-resistant pathogens with antibiotic adjuvant entities.Results: We present a case of VAP due to carbapenem-resistant A. baumannii that was successfully treated with CSE-1034 and colistin combination therapy.Conclusion: Early recognition and appropriate antibiotic therapy are essential to eliminate poor outcomes in multidrug-resistant (MDR) bacterial infections. The present case highlights the antibiotic adjuvant entity CSE-1034†as an empiric option for the treatment of VAP due to MDR A. baumannii in intensive care unit

    ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization

    Get PDF
    Monitor objects are used extensively for thread-safety and synchronization in shared memory parallel programs. They provide ease of use, and enable straightforward correctness analysis. However, they inhibit parallelism by enforcing serial executions of critical sections, and thus the performance of parallel programs with monitors scales poorly with number of processes. Their current design and implementation is also ill-suited for thread synchronization across multiple thread-safe objects. We present ActiveMonitor - a framework that allows multi-object synchronization without global locks, and improves parallelism by exploiting asynchronous execution of critical sections. We evaluate the performance of Java based implementation of ActiveMonitor on micro-benchmarks involving light and heavy critical sections, as well as on single-source-shortest-path problem in directed graphs. Our results show that on most of these problems, ActiveMonitor based programs outperform programs implemented using Java\u27s reentrant-lock and condition constructs

    Photo-activation of the hydrophobic probe iodonaphthylazide in cells alters membrane protein function leading to cell death

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Photo-activation of the hydrophobic membrane probe 1, 5 iodonaphthylazide (INA) by irradiation with UV light (310–380 nm) results in the covalent modification of transmembrane anchors of membrane proteins. This unique selectivity of INA towards the transmembrane anchor has been exploited to specifically label proteins inserted in membranes. Previously, we have demonstrated that photo-activation of INA in enveloped viruses resulted in the inhibition of viral membrane protein-induced membrane fusion and viral entry into cells. In this study we show that photo-activation of INA in various cell lines, including those over-expressing the multi-drug resistance transporters MRP1 or Pgp, leads to cell death. We analyzed mechanisms of cell killing by INA-UV treatment. The effects of INA-UV treatment on signaling via various cell surface receptors, on the activity of the multi-drug resistance transporter MRP1 and on membrane protein lateral mobility were also investigated.</p> <p>Results</p> <p>INA treatment of various cell lines followed by irradiation with UV light (310–380 nm) resulted in loss of cell viability in a dose dependent manner. The mechanism of cell death appeared to be apoptosis as indicated by phosphatidylserine exposure, mitochondrial depolarization and DNA fragmentation. Inhibition by pan-caspase inhibitors and cleavage of caspase specific substrates indicated that at low concentrations of INA apoptosis was caspase dependent. The INA-UV treatment showed similar cell killing efficacy in cells over-expressing MRP1 function as control cells. Efflux of an MRP1 substrate was blocked by INA-UV treatment of the MRP1-overexpressing cells. Although INA-UV treatment resulted in inhibition of calcium mobilization triggered by chemokine receptor signaling, Akt phosphorylation triggered by IGF1 receptor signaling was enhanced. Furthermore, fluorescence recovery after photobleaching experiments indicated that INA-UV treatment resulted in reduced lateral mobility of a seven transmembrane G protein-coupled receptor.</p> <p>Conclusion</p> <p>INA is a photo-activable agent that induces apoptosis in various cancer cell lines. It reacts with membrane proteins to alter the normal physiological function resulting in apoptosis. This activity of INA maybe exploited for use as an anti-cancer agent.</p

    Association of Serum Adenosine Deaminase Levels in Cytologically Suggested Cases of Tubercular Lymphadenitis: The Experience of a Tertiary Care Centre

    Get PDF
    Background: Tuberculosis (TB), a communicable disease, caused by Mycobacterium tuberculosis requires a simple, rapid test, which can be easily carried out in a laboratory. Unfortunately, despite a battery of investigations, no definite test is available till date. Adenosine deaminase (ADA), a biochemical marker has been proposed as a useful surrogate marker for TB as its levels can be measured in body fluids. Methods: A one-and-a-half-year prospective study of 154 cases presenting with lymphadenitis from January 2019 to June 2020 was undertaken. Using cytology, lymphadenitis subjects were divided into two groups: Tubercular (104 patients) as a case group and Reactive (50 patients) as a control group. All cases were followed by serum ADA assay by colorimetric method. Nonparametric tests were performed to compare the two groups. Results: The mean age of the participants was 28.99 ± 13.26 years with a F:M ratio of 1.81:1. Involvement of cervical lymph nodes was most frequent (89.42% cases). The mean S.ADA level for tubercular and reactive lymphadenitis was 41.71 ± 11.53 U/L and 21.16 ± 4.16 U/L, respectively (P-value &lt; 0.05). The cut-off value calculated was 32.6 U/L. The sensitivity, specificity, PPV, NPV, and accuracy were calculated as 79.81%, 100%, 100%, 70.42%, and 86.36%, respectively. Conclusion: A statistically significant increase was found in serum ADA levels in tubercular lymphadenitis cases compared to reactive lymphadenitis. Hence, it can be used as an adjunct to FNAC and is a fairly sensitive and specific test. Since it is difficult to always demonstrate AFB in FNAC smears, ADA can be helpful in establishing a definite diagnosis despite smear negativity. Keywords: adenosine deaminase, lymphadenitis, tuberculosi
    • …
    corecore