Completeness and Incompleteness of Synchronous Kleene Algebra

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a lack of interaction between the synchronous product operator and the Kleene star. We then propose an alternative set of axioms for SKA, based on Salomaa's axiomatisation of regular languages, and show that these provide a sound and complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Cerebral activations related to ballistic, stepwise interrupted and gradually modulated movements in parkinson patients

Patients with Parkinson's disease (PD) experience impaired initiation and inhibition of movements such as difficulty to start/stop walking. At single-joint level this is accompanied by reduced inhibition of antagonist muscle activity. While normal basal ganglia (BG) contributions to motor control include selecting appropriate muscles by inhibiting others, it is unclear how PD-related changes in BG function cause impaired movement initiation and inhibition at single-joint level. To further elucidate these changes we studied 4 right-hand movement tasks with fMRI, by dissociating activations related to abrupt movement initiation, inhibition and gradual movement modulation. Initiation and inhibition were inferred from ballistic and stepwise interrupted movement, respectively, while smooth wrist circumduction enabled the assessment of gradually modulated movement. Task-related activations were compared between PD patients (N = 12) and healthy subjects (N = 18). In healthy subjects, movement initiation was characterized by antero-ventral striatum, substantia nigra (SN) and premotor activations while inhibition was dominated by subthalamic nucleus (STN) and pallidal activations, in line with the known role of these areas in simple movement. Gradual movement mainly involved antero-dorsal putamen and pallidum. Compared to healthy subjects, patients showed reduced striatal/SN and increased pallidal activation for initiation, whereas for inhibition STN activation was reduced and striatal-thalamo-cortical activation increased. For gradual movement patients showed reduced pallidal and increased thalamo-cortical activation. We conclude that PD-related changes during movement initiation fit the (rather static) model of alterations in direct and indirect BG pathways. Reduced STN activation and regional cortical increased activation in PD during inhibition and gradual movement modulation are better explained by a dynamic model that also takes into account enhanced responsiveness to external stimuli in this disease and the effects of hyper-fluctuating cortical inputs to the striatum and STN in particular

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Post translational changes to α-synuclein control iron and dopamine trafficking : a concept for neuron vulnerability in Parkinson's disease

Parkinson's disease is a multifactorial neurodegenerative disorder, the aetiology of which remains elusive. The primary clinical feature of progressively impaired motor control is caused by a loss of midbrain substantia nigra dopamine neurons that have a high α-synuclein (α-syn) and iron content. α-Syn is a neuronal protein that is highly modified post-translationally and central to the Lewy body neuropathology of the disease. This review provides an overview of findings on the role post translational modifications to α-syn have in membrane binding and intracellular vesicle trafficking. Furthermore, we propose a concept in which acetylation and phosphorylation of α-syn modulate endocytic import of iron and vesicle transport of dopamine during normal physiology. Disregulated phosphorylation and oxidation of α-syn mediate iron and dopamine dependent oxidative stress through impaired cellular location and increase propensity for α-syn aggregation. The proposition highlights a connection between α-syn, iron and dopamine, three pathological components associated with disease progression in sporadic Parkinson's disease

Interventions to promote cost-effectiveness in adult Intensive care units: consensus statement and considerations for best practice from a multidisciplinary and multinational eDelphi study

Background There is limited evidence to guide interventions that promote cost-effectiveness in adult intensive care units (ICU). The aim of this consensus statement is to identify globally applicable interventions for best ICU practice and provide guidance for judicious use of resources. Methods A three-round modified online Delphi process, using a web-based platform, sought consensus from 61 multidisciplinary ICU experts (physicians, nurses, allied health, administrators) from 21 countries. Round 1 was qualitative to ascertain opinions on cost-effectiveness criteria based on four key domains of high-value healthcare (foundational elements; infrastructure fundamentals; care delivery priorities; reliability and feedback). Round 2 was qualitative and quantitative, while round 3 was quantitative to reiterate and establish criteria. Both rounds 2 and 3 utilized a five-point Likert scale for voting. Consensus was considered when > 70% of the experts voted for a proposed intervention. Thereafter, the steering committee endorsed interventions that were identified as ‘critical’ by more than 50% of steering committee members. These interventions and experts’ comments were summarized as final considerations for best practice. Results At the conclusion of round 3, consensus was obtained on 50 best practice considerations for cost-effectiveness in adult ICU. Finally, the steering committee endorsed 9 ‘critical’ best practice considerations. This included adoption of a multidisciplinary ICU model of care, focus on staff training and competency assessment, ongoing quality audits, thus ensuring high quality of critical care services whether within or outside the four walls of ICUs, implementation of a dynamic staff roster, multidisciplinary approach to implementing end-of-life care, early mobilization and promoting international consensus efforts on the Green ICU concept. Conclusions This Delphi study with international experts resulted in 9 consensus statements and best practice considerations promoting cost-effectiveness in adult ICUs. Stakeholders (government bodies, professional societies) must lead the efforts to identify locally applicable specifics while working within these best practice considerations with the available resources

Tuning fresh: radiation through rewiring of central metabolism in streamlined bacteria

Most free-living planktonic cells are streamlined and in spite of their limitations in functional flexibility, their vast populations have radiated into a wide range of aquatic habitats. Here we compared the metabolic potential of subgroups in the Alphaproteobacteria lineage SAR11 adapted to marine and freshwater habitats. Our results suggest that the successful leap from marine to freshwaters in SAR11 was accompanied by a loss of several carbon degradation pathways and a rewiring of the central metabolism. Examples for these are C1 and methylated compounds degradation pathways, the Entner–Doudouroff pathway, the glyoxylate shunt and anapleuretic carbon fixation being absent from the freshwater genomes. Evolutionary reconstructions further suggest that the metabolic modules making up these important freshwater metabolic traits were already present in the gene pool of ancestral marine SAR11 populations. The loss of the glyoxylate shunt had already occurred in the common ancestor of the freshwater subgroup and its closest marine relatives, suggesting that the adaptation to freshwater was a gradual process. Furthermore, our results indicate rapid evolution of TRAP transporters in the freshwater clade involved in the uptake of low molecular weight carboxylic acids. We propose that such gradual tuning of metabolic pathways and transporters toward locally available organic substrates is linked to the formation of subgroups within the SAR11 clade and that this process was critical for the freshwater clade to find and fix an adaptive phenotype.This work was supported by the Swedish Research Council (Grant Numbers 2012-4592 to AE and 2012-3892 to SB) and the Communiy Sequencing Programme of the US Department of Energy Joint Genome Institute. The work conducted by the US Department of Energy Joint Genome Institute, a DOE Office of Science User Facility, is supported under Contract No. DE-AC02-05CH11231

Search for new physics in the multijet and missing transverse momentum final state in proton-proton collisions at √s=8 Tev

Peer reviewe

Measurement of Higgs boson production and properties in the WW decay channel with leptonic final states

Peer reviewe