Concerted reductive coupling of an alkyl chloride at Pt(IV)

Oxidation of a doubly cyclometallated platinum(II) complex results in two isomeric platinum(IV) complexes. Whereas the trans isomer is robust, being manipulable in air at room temperature, the cis isomer decomposes at −20 °C and above. Reductive coupling of an alkyl chloride at the cis isomer gives a new species which can be reoxidised. The independence of this coupling on additional halide rules out the reverse of an SN2 reaction, leaving a concerted process as the only sensible reaction pathway

Typestate verification: Abstraction techniques and complexity results

AbstractWe consider the problem of typestate verification for shallow programs; i.e., programs where pointers from program variables to heap-allocated objects are allowed, but where heap-allocated objects may not themselves contain pointers. We prove a number of results relating the complexity of verification to the nature of the finite state machine used to specify the property. Some properties are shown to be intractable, but others which appear to be quite similar admit polynomial-time verification algorithms. Our results serve to provide insight into the inherent complexity of important classes of verification problems. In addition, the program abstractions used for the polynomial-time verification algorithms may be of independent interest

Isomorphism of graph classes related to the circular-ones property

We give a linear-time algorithm that checks for isomorphism between two 0-1 matrices that obey the circular-ones property. This algorithm leads to linear-time isomorphism algorithms for related graph classes, including Helly circular-arc graphs, \Gamma-circular-arc graphs, proper circular-arc graphs and convex-round graphs.Comment: 25 pages, 9 figure

Dyspepsia Symptoms and Helicobacter pylori Infection, Nakuru, Kenya

The prevalence of Helicobacter pylori infection was studied in 138 patients with dyspepsia in a hospital in Nakuru, Kenya, and in 138 asymptomatic sex- and age-matched controls from the same population. Anti–H. pylori immunoglobulin (Ig) G was more prevalent in dyspeptic than asymptomatic persons (71% vs. 51%), particularly those <30 years old (71% vs. 38%). H. pylori seropositivity was associated with dyspepsia after adjusting for age, sex, and residence (urban or rural). Among adults, the association between H. pylori infection and dyspepsia remained after adjusting for the above factors and for educational attainment, family size, and manual occupation. H. pylori infection in asymptomatic residents of Nakuru, Kenya, was more prevalent in older persons, with a rate of 68%, than in those 31–40 years of age. However, young persons with dyspepsia had an unexpectedly high prevalence of H. pylori infection. H. pylori test-and-treat strategy should be considered in Kenyan patients with dyspepsia, particularly in persons <30 years of age

Interprocedural shape analysis for effectively cutpoint-free programs

Abstract. We present a framework for local interprocedural shape analysis that computes procedure summaries as transformers of procedure-local heaps (the parts of the heap that the procedure may reach). A main challenge in procedurelocal shape analysis is the handling of cutpoints, objects that separate the input heap of an invoked procedure from the rest of the heap, which-from the viewpoint of that invocation-is non-accessible and immutable. In this paper, we limit our attention to effectively cutpoint-free programsprograms in which the only objects that separate the callee&apos;s heap from the rest of the heap, when considering live reference fields, are the ones pointed to by the actual parameters of the invocation. This limitation (and certain variations of it, which we also describe) simplifies the local-reasoning about procedure calls because the analysis needs not track cutpoints. Furthermore, our analysis (conservatively) verifies that a program is effectively cutpoint-free

Wearable biosensors have the potential to monitor physiological changes associated with opioid overdose among people who use drugs: A proof-of-concept study in a real-world setting

INTRODUCTION: Wearable biosensors have the potential to monitor physiological change associated with opioid overdose among people who use drugs. METHODS: We enrolled 16 individuals who reported ≥ 4 daily opioid use events within the previous 30 day. Each was assigned a wearable biosensor that measured respiratory rate (RR) and actigraphy every 15 s for 5 days and also completed a daily interview assessing drug use. We describe the volume of RR data collected, how it varied by participant characteristics and drug use over time using repeated measures one-way ANOVA, episodes of acute respiratory depression (≤5 breaths/minute), and self-reported overdose experiences. RESULTS: We captured 1626.4 h of RR data, an average of 21.7 daily hours/participant over follow-up. Individuals with longer injection careers and those engaging in polydrug use captured significantly fewer total hours of respiratory data over follow-up compared to those with shorter injections careers (94.7 vs. 119.9 h, p = 0.04) and injecting fentanyl exclusively (98.7 vs. 119.5 h, p = 0.008), respectively. There were 385 drug use events reported over follow-up. There were no episodes of acute respiratory depression which corresponded with participant reports of overdose experiences. DISCUSSION: Our preliminary findings suggest that using a wearable biosensor to monitor physiological changes associated with opioid use was feasible. However, more sensitive biosensors that facilitate triangulation of multiple physiological data points and larger studies of longer duration are needed

Vancomycin exposure and acute kidney injury outcome: A Snapshot From the CAMERA2 Study

Among patients with methicillin-resistant Staphylococcus aureus (MRSA) bacteremia from a prospective randomized clinical trial, acute kidney injury (AKI) rates increased with increasing vancomycin exposure, even within the therapeutic range. AKI was independently more common for the (flu)cloxacillin group. Day 2 vancomycin AUC ≥470 mg·h/L was significantly associated with AKI, independent of (flu)cloxacillin receipt