Admit your weakness: Verifying correctness on TSO architectures

“The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-15317-9_22 ”.Linearizability has become the standard correctness criterion for fine-grained non-atomic concurrent algorithms, however, most approaches assume a sequentially consistent memory model, which is not always realised in practice. In this paper we study the correctness of concurrent algorithms on a weak memory model: the TSO (Total Store Order) memory model, which is commonly implemented by multicore architectures. Here, linearizability is often too strict, and hence, we prove a weaker criterion, quiescent consistency instead. Like linearizability, quiescent consistency is compositional making it an ideal correctness criterion in a component-based context. We demonstrate how to model a typical concurrent algorithm, seqlock, and prove it quiescent consistent using a simulation-based approach. Previous approaches to proving correctness on TSO architectures have been based on linearizabilty which makes it necessary to modify the algorithm’s high-level requirements. Our approach is the first, to our knowledge, for proving correctness without the need for such a modification

The interest of gait markers in the identification of subgroups among fibromyalgia patients

<p>Abstract</p> <p>Background</p> <p>Fibromyalgia (FM) is a heterogeneous syndrome and its classification into subgroups calls for broad-based discussion. FM subgrouping, which aims to adapt treatment according to different subgroups, relies in part, on psychological and cognitive dysfunctions. Since motor control of gait is closely related to cognitive function, we hypothesized that gait markers could be of interest in the identification of FM patients' subgroups. This controlled study aimed at characterizing gait disorders in FM, and subgrouping FM patients according to gait markers such as stride frequency (SF), stride regularity (SR), and cranio-caudal power (CCP) which measures kinesia.</p> <p>Methods</p> <p>A multicentre, observational open trial enrolled patients with primary FM (44.1 ± 8.1 y), and matched controls (44.1 ± 7.3 y). Outcome measurements and gait analyses were available for 52 pairs. A 3-step statistical analysis was carried out. A preliminary single blind analysis using k-means cluster was performed as an initial validation of gait markers. Then in order to quantify FM patients according to psychometric and gait variables an open descriptive analysis comparing patients and controls were made, and correlations between gait variables and main outcomes were calculated. Finally using cluster analysis, we described subgroups for each gait variable and looked for significant differences in self-reported assessments.</p> <p>Results</p> <p>SF was the most discriminating gait variable (73% of patients and controls). SF, SR, and CCP were different between patients and controls. There was a non-significant association between SF, FIQ and physical components from Short-Form 36 (p = 0.06). SR was correlated to FIQ (p = 0.01) and catastrophizing (p = 0.05) while CCP was correlated to pain (p = 0.01). The SF cluster identified 3 subgroups with a particular one characterized by normal SF, low pain, high activity and hyperkinesia. The SR cluster identified 2 distinct subgroups: the one with a reduced SR was distinguished by high FIQ, poor coping and altered affective status.</p> <p>Conclusion</p> <p>Gait analysis may provide additional information in the identification of subgroups among fibromyalgia patients. Gait analysis provided relevant information about physical and cognitive status, and pain behavior. Further studies are needed to better understand gait analysis implications in FM.</p

Rapid Detection of Carbapenem Resistance in Acinetobacter baumannii Using Matrix-Assisted Laser Desorption Ionization-Time of Flight Mass Spectrometry

Rapid detection of carbapenem-resistant Acinetobacter baumannii strains is critical and will benefit patient care by optimizing antibiotic therapies and preventing outbreaks. Herein we describe the development and successful application of a mass spectrometry profile generated by matrix-assisted laser desorption ionization-time of flight (MALDI-TOF) that utilized the imipenem antibiotic for the detection of carbapenem resistance in a large series of A. baumannii clinical isolates from France and Algeria. A total of 106 A. baumannii strains including 63 well-characterized carbapenemase-producing and 43 non-carbapenemase-producing strains, as well as 43 control strains (7 carbapenem-resistant and 36 carbapenem-sensitive strains) were studied. After an incubation of bacteria with imipenem for up to 4 h, the mixture was centrifuged and the supernatant analyzed by MALDI-TOF MS. The presence and absence of peaks representing imipenem and its natural metabolite was analyzed. The result was interpreted as positive for carbapenemase production if the specific peak for imipenem at 300.0 m/z disappeared during the incubation time and if the peak of the natural metabolite at 254.0 m/z increased as measured by the area under the curves leading to a ratio between the peak for imipenem and its metabolite being <0.5. This assay, which was applied to the large series of A. baumannii clinical isolates, showed a sensitivity of 100.0% and a specificity of 100.0%. Our study is the first to demonstrate that this quick and simple assay can be used as a routine tool as a point-of-care method for the identification of A. baumannii carbapenemase-producers in an effort to prevent outbreaks and the spread of uncontrollable superbugs

Efficacy and adverse effects of intravenous lignocaine therapy in fibromyalgia syndrome

BACKGROUND: To investigate the effects of intravenous lignocaine infusions (IV lignocaine) in fibromyalgia. METHODS: Prospective study of the adverse effects of IV lignocaine in 106 patients with fibromyalgia; retrospective questionnaire study of the efficacy of IV lignocaine in 50 patients with fibromyalgia. RESULTS: Prospective study: Two major (pulmonary oedema and supraventricular tachycardia) and 42 minor side-effects were reported. None had long-term sequelae. The commonest was hypotension (17 cases). Retrospective study: Pain and a range of psychosocial measures (on single 11-point scales) improved significantly after treatment. There was no effect of the treatment on work status. The average duration of pain relief after the 6-day course of treatment was 11.5 ± 6.5 weeks. CONCLUSIONS: Intravenous lignocaine appears to be both safe and of benefit in improving pain and quality of life for patients with fibromyalgia. This needs to be confirmed in prospective randomised controlled trials

Exploiting open source 3D printer architecture for laboratory robotics to automate high-throughput time-lapse imaging for analytical microbiology

Growth in open-source hardware designs combined with the low-cost of high performance optoelectronic and robotics components has supported a resurgence of in-house custom lab equipment development. We describe a low cost (below USD700), open-source, fully customizable high-throughput imaging system for analytical microbiology applications. The system comprises a Raspberry Pi camera mounted on an aluminium extrusion frame with 3D-printed joints controlled by an Arduino microcontroller running open-source Repetier Host Firmware. The camera position is controlled by simple G-code scripts supplied from a Raspberry Pi singleboard computer and allow customized time-lapse imaging of microdevices over a large imaging area. Open-source OctoPrint software allows remote access and control. This simple yet effective design allows high-throughput microbiology testing in multiple formats including formats for bacterial motility, colony growth, microtitre plates and microfluidic devices termed ‘lab-on-a-comb’ to screen the effects of different culture media components and antibiotics on bacterial growth. The open-source robot design allows customization of the size of the imaging area; the current design has an imaging area of ~420 × 300mm, which allows 29 ‘lab-on-a-comb’ devices to be imaged which is equivalent 3480 individual 1μl samples. The system can also be modified for fluorescence detection using LED and emission filters embedded on the PiCam for more sensitive detection of bacterial growth using fluorescent dyes

Overlap of cognitive concepts in chronic widespread pain: An exploratory study

<p>Abstract</p> <p>Background</p> <p>A wide variety of cognitive concepts have been shown to play an important role in chronic widespread pain (CWP). Although these concepts are generally considered to be distinct entities, some might in fact be highly overlapping. The objectives of this study were to (i) to establish inter-relationships between self-efficacy, cognitive coping styles, fear-avoidance cognitions and illness beliefs in patients with CWP and (ii) to explore the possibility of a reduction of these cognitions into a more limited number of domains.</p> <p>Methods</p> <p>Baseline measurement data of a prospective cohort study of 138 patients with CWP were used. Factor analysis was used to study the associations between 16 different cognitive concepts.</p> <p>Results</p> <p>Factor analysis resulted in three factors: 1) negative emotional cognitions, 2) active cognitive coping, and 3) control beliefs and expectations of chronicity.</p> <p>Conclusion</p> <p>Negative emotional cognitions, active cognitive coping, control beliefs and expectations of chronicity seem to constitute principal domains of cognitive processes in CWP. These findings contribute to the understanding of overlap and uniqueness of cognitive concepts in chronic widespread pain.</p

Utility of WHOQOL-BREF in measuring quality of life in Sickle Cell Disease

BACKGROUND: Sickle cell disease is the commonest genetic disorder in Jamaica and most likely exerts numerous effects on quality of life (QOL) of those afflicted with it. The WHOQOL-Bref, which is a commonly utilized generic measure of quality of life, has never previously been utilized in this population. We have sought to study its utility in this disease population. METHODS: 491 patients with sickle cell disease were administered the questionnaire including demographics, WHOQOL-Bref, Short Form-36 (SF-36), Flanagan's quality of life scale (QOLS) and measures of disease severity at their routine health maintenance visits to the sickle cell unit. Internal consistency reliabilities, construct validity and "known groups" validity of the WHOQOL-Bref, and its domains, were examined; and then compared to those of the other instruments. RESULTS: All three instruments had good internal consistency, ranging from 0.70 to 0.93 for the WHOQOL-Bref (except the 'social relationships' domain), 0.86-0.93 for the SF-36 and 0.88 for the QOLS. None of the instruments showed any marked floor or ceiling effects except the SF-36 'physical health' and 'role limitations' domains. The WHOQOL-Bref scale also had moderate concurrent validity and showed strong "known groups" validity. CONCLUSION: This study has shown good psychometric properties of the WHOQOL-Bref instrument in determining QOL of those with sickle cell disease. Its utility in this regard is comparable to that of the SF-36 and QOLS.Originally published at http://www.biomedcentral.com/content/pdf/1477-7525-7-75.pd

Mapping Brain Response to Pain in Fibromyalgia Patients Using Temporal Analysis of fMRI

Background: Nociceptive stimuli may evoke brain responses longer than the stimulus duration often partially detected by conventional neuroimaging. Fibromyalgia patients typically complain of severe pain from gentle stimuli. We aimed to characterize brain response to painful pressure in fibromyalgia patients by generating activation maps adjusted for the duration of brain responses. Methodology/Principal Findings: Twenty-seven women (mean age: 47.8 years) were assessed with fMRI. The sample included nine fibromyalgia patients and nine healthy subjects who received 4 kg/cm2 of pressure on the thumb. Nine additional control subjects received 6.8 kg/cm2 to match the patients for the severity of perceived pain. Independent Component Analysis characterized the temporal dynamics of the actual brain response to pressure. Statistical parametric maps were estimated using the obtained time courses. Brain response to pressure (18 seconds) consistently exceeded the stimulus application (9 seconds) in somatosensory regions in all groups. fMRI maps following such temporal dynamics showed a complete pain network response (sensory-motor cortices, operculo-insula, cingulate cortex, and basal ganglia) to 4 kg/cm2 of pressure in fibromyalgia patients. In healthy subjects, response to this low intensity pressure involved mainly somatosensory cortices. When matched for perceived pain (6.8 kg/cm2), control subjects showed also comprehensive activation of pain-related regions, but fibromyalgia patients showed significantly larger activation in the anterior insula-basal ganglia complex and the cingulate cortex. Conclusions/Significance: The results suggest that data-driven fMRI assessments may complement conventional neuroimaging for characterizing pain responses and that enhancement of brain activation in fibromyalgia patients may be particularly relevant in emotion-related regions

Pyruvate: immunonutritional effects on neutrophil intracellular amino or alpha-keto acid profiles and reactive oxygen species production

For the first time the immunonutritional role of pyruvate on neutrophils (PMN), free α-keto and amino acid profiles, important reactive oxygen species (ROS) produced [superoxide anion (O2−), hydrogen peroxide (H2O2)] as well as released myeloperoxidase (MPO) acitivity has been investigated. Exogenous pyruvate significantly increased PMN pyruvate, α-ketoglutarate, asparagine, glutamine, aspartate, glutamate, arginine, citrulline, alanine, glycine and serine in a dose as well as duration of exposure dependent manner. Moreover, increases in O2− formation, H2O2-generation and MPO acitivity in parallel with intracellular pyruvate changes have also been detected. Regarding the interesting findings presented here we believe, that pyruvate fulfils considerably the criteria for a potent immunonutritional molecule in the regulation of the PMN dynamic α-keto and amino acid pools. Moreover it also plays an important role in parallel modulation of the granulocyte-dependent innate immune regulation. Although further research is necessary to clarify pyruvate’s sole therapeutical role in critically ill patients’ immunonutrition, the first scientific successes seem to be very promising

Comparative molecular biological analysis of membrane transport genes in organisms

Comparative analyses of membrane transport genes revealed many differences in the features of transport homeostasis in eight diverse organisms, ranging from bacteria to animals and plants. In bacteria, membrane-transport systems depend mainly on single genes encoding proteins involved in an ATP-dependent pump and secondary transport proteins that use H+ as a co-transport molecule. Animals are especially divergent in their channel genes, and plants have larger numbers of P-type ATPase and secondary active transporters than do other organisms. The secondary transporter genes have diverged evolutionarily in both animals and plants for different co-transporter molecules. Animals use Na+ ions for the formation of concentration gradients across plasma membranes, dependent on secondary active transporters and on membrane voltages that in turn are dependent on ion transport regulation systems. Plants use H+ ions pooled in vacuoles and the apoplast to transport various substances; these proton gradients are also dependent on secondary active transporters. We also compared the numbers of membrane transporter genes in Arabidopsis and rice. Although many transporter genes are similar in these plants, Arabidopsis has a more diverse array of genes for multi-efflux transport and for response to stress signals, and rice has more secondary transporter genes for carbohydrate and nutrient transport