Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Development of novel oral formulations prepared via hot melt extrusion for targeted delivery of photosensitizer to the colon

Colon-residing bacteria, such as vancomycin-resistant Enterococcus faecalis and Bacteroides fragilis, can cause a range of serious clinical infections. Photodynamic antimicrobial chemotherapy (PACT) may be a novel treatment option for these multidrug resistant organisms. The aim of this study was to formulate a Eudragit®-based drug delivery system, via hot melt extrusion (HME), for targeting colonic release of photosensitizer. The susceptibility of E. faecalis and B. fragilis to PACT mediated by methylene blue (MB), meso-tetra(N-methyl-4-pyridyl)porphine tetra-tosylate (TMP), or 5-aminolevulinic acid hexyl-ester (h-ALA) was determined, with tetrachlorodecaoxide (TCDO), an oxygen-releasing compound, added in some studies. Results show that, for MB, an average of 30% of the total drug load was released over a 6-h period. For TMP and h-ALA, these values were 50% and 16% respectively. No drug was released in the acidic media. Levels of E. faecalis and B. fragilis were reduced by up to 4.67 and 7.73 logs, respectively, on PACT exposure under anaerobic conditions, with increased kill associated with TCDO. With these formulations, photosensitizer release could potentially be targeted to the colon, and colon-residing pathogens killed by PACT. TCDO could be used in vivo to generate oxygen, which could significantly impact on the success of PACT in the clinic.

Methylene Blue-Loaded Dissolving Microneedles: Potential Use in Photodynamic Antimicrobial Chemotherapy of Infected Wounds

Photodynamic therapy involves delivery of a photosensitising drug that is activated by light of a specific wavelength, resulting in generation of highly reactive radicals. This activated species can cause destruction of targeted cells. Application of this process for treatment of microbial infections has been termed "photodynamic antimicrobial chemotherapy" (PACT). In the treatment of chronic wounds, the delivery of photosensitising agents is often impeded by the presence of a thick hyperkeratotic/necrotic tissue layer, reducing their therapeutic efficacy. Microneedles (MNs) are an emerging drug delivery technology that have been demonstrated to successfully penetrate the outer layers of the skin, whilst minimising damage to skin barrier function. Delivering photosensitising drugs using this platform has been demonstrated to have several advantages over conventional photodynamic therapy, such as, painless application, reduced erythema, enhanced cosmetic results and improved intradermal delivery. The aim of this study was to physically characterise dissolving MNs loaded with the photosensitising agent, methylene blue and assess their photodynamic antimicrobial activity. Dissolving MNs were fabricated from aqueous blends of Gantrez(®) AN-139 co-polymer containing varying loadings of methylene blue. A height reduction of 29.8% was observed for MNs prepared from blends containing 0.5% w/w methylene blue following application of a total force of 70.56 N/array. A previously validated insertion test was used to assess the effect of drug loading on MN insertion into a wound model. Staphylococcus aureus, Escherichia coli and Candida albicans biofilms were incubated with various methylene blue concentrations within the range delivered by MNs in vitro (0.1-2.5 mg/mL) and either irradiated at 635 nm using a Paterson Lamp or subjected to a dark period. Microbial susceptibility to PACT was determined by assessing the total viable count. Kill rates of >96%, were achieved for S. aureus and >99% for E. coli and C. albicans with the combination of PACT and methylene blue concentrations between 0.1 and 2.5 mg/mL. A reduction in the colony count was also observed when incorporating the photosensitiser without irradiation, this reduction was more notable in S. aureus and E. coli strains than in C. albicans.

Human Rights, Local Plights: The Implications of Rights Discourses in the Struggle over Arab-Palestinian Bedouin Land in Israel

A widely diffused, engaged approach understands human rights as an opportunity to enhance moral progress. Less visible has a critical realm of research that reveals the often ambiguous social life of human rights discourses. This article draws on a specific case study from the intricate issue of how activism for Arab-Palestinian Bedouin citizens in Southern Israel engages with the global human rights discourse. It follows the implications of mobilization, focusing on events related to a campaign against house demolitions in informal,unrecognised settlements. The case shows how human rights discourses tend to silence the agency of political subjects, victimizing and patronizing those who seek emancipation. The ethnographic insights emphasize the role of a range of carnivalesque and spontaneous acts ofresistance, which subvert the patronizing implications of the human rights language.

The Democratic Dynamics of Government Consultations. Speaking Freely and Listening Properly

There is a growing use of consultation and e-consultation procedures by governments. This chapter seeks to examine the role of consultation as part of a new technology of government. Consultation on policy development can reinvigorate democratic engage- ment but often it can silence views through a sort of participatory disempowerment; it can loosen the democratic anchorage of the public service within the state. The chapter develops a governmentality perspective interrogating what participation, democratic engagement and free speech mean in this context, and how ideas of publicness are constructed, managed and controlled. The focus is on the nature of consultation, its relationship to ideas of free speech and speaking freely, and its potential to empower subaltern counterpublics which can formulate oppositional interpretations and urge alternative conclusions. The aim is to develop an idea of the democratic adequacy of the consultation process and draw out a sense of how democratic engagement here can be structured – for good or ill.

Silence and the Image: Raymond Depardon's New York, N.Y.

What was given up in giving up the silence of film, in particular the silence of the city? Echoing Stanley Cavell, this essay contemplates Raymond Depardon’s experimental documentary New York, N.Y. (1985), a film that travels between sound and silence, quietly addressing questions concerning the nature of the photographic medium itself.