Equations over free inverse monoids with idempotent variables

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baader and Narendran: Unification of concept terms in description logics, 2001. We also show that the problem becomes DEXPTIME hard , as soon as the quotient group of the free inverse monoid has rank at least two. Decidability for systems of typed equations over a free inverse monoid with one irreducible variable and at least one unbalanced equation is proved with the same complexity for the upper bound. Our results improve known complexity bounds by Deis, Meakin, and Senizergues: Equations in free inverse monoids, 2007. Our results also apply to larger families of equations where no decidability has been previously known.Comment: 28 pages. The conference version of this paper appeared in the proceedings of 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188 (2015

Measurement of CP-violation asymmetries in D0 to Ks pi+ pi-

We report a measurement of time-integrated CP-violation asymmetries in the resonant substructure of the three-body decay D0 to Ks pi+ pi- using CDF II data corresponding to 6.0 invfb of integrated luminosity from Tevatron ppbar collisions at sqrt(s) = 1.96 TeV. The charm mesons used in this analysis come from D*+(2010) to D0 pi+ and D*-(2010) to D0bar pi-, where the production flavor of the charm meson is determined by the charge of the accompanying pion. We apply a Dalitz-amplitude analysis for the description of the dynamic decay structure and use two complementary approaches, namely a full Dalitz-plot fit employing the isobar model for the contributing resonances and a model-independent bin-by-bin comparison of the D0 and D0bar Dalitz plots. We find no CP-violation effects and measure an asymmetry of ACP = (-0.05 +- 0.57 (stat) +- 0.54 (syst))% for the overall integrated CP-violation asymmetry, consistent with the standard model prediction.Comment: 15 page

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

Observation of the Baryonic Flavor-Changing Neutral Current Decay Lambda_b -> Lambda mu+ mu-

We report the first observation of the baryonic flavor-changing neutral current decay Lambda_b -> Lambda mu+ mu- with 24 signal events and a statistical significance of 5.8 Gaussian standard deviations. This measurement uses ppbar collisions data sample corresponding to 6.8fb-1 at sqrt{s}=1.96TeV collected by the CDF II detector at the Tevatron collider. The total and differential branching ratios for Lambda_b -> Lambda mu+ mu- are measured. We find B(Lambda_b -> Lambda mu+ mu-) = [1.73+-0.42(stat)+-0.55(syst)] x 10^{-6}. We also report the first measurement of the differential branching ratio of B_s -> phi mu+ mu- using 49 signal events. In addition, we report branching ratios for B+ -> K+ mu+ mu-, B0 -> K0 mu+ mu-, and B -> K*(892) mu+ mu- decays.Comment: 8 pages, 2 figures, 4 tables. Submitted to Phys. Rev. Let

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

Pathways for scale and discipline reconciliation: current socio-ecological modelling methodologies to explore and reconstitute human prehistoric dynamics

International audienceThis communication elaborates a plea for the necessity of a specific modelling methodology which does not sacrifice two modelling principles: explanation Micro and correlation Macro. Three goals are assigned to modelling strategies: describe, understand and predict. One tendency in historical and spatial modelling is to develop models at a micro level in order to describe and by that way, understand the connection between local ecological contexts, acquired through local ecological data, and local social practices, acquired through archaeology. However, such a method faces difficulties for expanding its validity: It is validated by its adequacy with local data, but the prediction step is unreachable and quite nothing can be said for places out where. On the other hand, building models at a far larger scale, for instance at the continent and even the world level, enhances the connection between ecology and its temporal variability. Such connections are based on well-founded theories but lower the " small causes, big effects " emergence corresponding to agent-based approaches and the related inherent variability of socio-ecological dynamics that one can notice at a lower scale. We then propose a plea for combining both elements for building large-scale modelling tools, which aims are to describe and provide predictions on long-term past evolutions, that include the test of explaining socio-anthropological hypotheses, i.e. the emergence and the spread of local social innovations

Exclusion of an Exotic Top Quark with-4/3 Electric Charge Using Soft Lepton Tagging

We present a measurement of the electric charge of the top quark using p (p) over bar collisions corresponding to an integrated luminosity of 2: 7 fb(-1) at the CDF II detector. We reconstruct t (t) over bar events in the lepton + jets final state. We use soft lepton taggers to determine the flavor of the b jets, which we use to reconstruct the top quark's electric charge and exclude an exotic top quark with -4/3 charge at 95% confidence level. This is the strongest exclusion of the exotic charge scenario and the first to use soft leptons for this purpose

Combined Tevatron upper limit on gg->H->W+W- and constraints on the Higgs boson mass in fourth-generation fermion models

Report number: FERMILAB-PUB-10-125-EWe combine results from searches by the CDF and D0 collaborations for a standard model Higgs boson (H) in the process gg->H->W+W- in p=pbar collisions at the Fermilab Tevatron Collider at sqrt{s}=1.96 TeV. With 4.8 fb-1 of integrated luminosity analyzed at CDF and 5.4 fb-1 at D0, the 95% Confidence Level upper limit on \sigma(gg->H) x B(H->W+W-) is 1.75 pb at m_H=120 GeV, 0.38 pb at m_H=165 GeV, and 0.83 pb at m_H=200 GeV. Assuming the presence of a fourth sequential generation of fermions with large masses, we exclude at the 95% Confidence Level a standard-model-like Higgs boson with a mass between 131 and 204 GeV.We combine results from searches by the CDF and D0 collaborations for a standard model Higgs boson (H) in the process gg→H→W+W- in pp̅ collisions at the Fermilab Tevatron Collider at √s=1.96  TeV. With 4.8  fb-1 of integrated luminosity analyzed at CDF and 5.4  fb-1 at D0, the 95% confidence level upper limit on σ(gg→H)×B(H→W+W-) is 1.75 pb at mH=120  GeV, 0.38 pb at mH=165  GeV, and 0.83 pb at mH=200  GeV. Assuming the presence of a fourth sequential generation of fermions with large masses, we exclude at the 95% confidence level a standard-model-like Higgs boson with a mass between 131 and 204 GeV.Peer reviewe

Effects of intensive blood pressure treatment on orthostatic hypotension a systematic review and individual participant-based meta-analysis

Background: Although intensive blood pressure (BP)-lowering treatment reduces risk for cardiovascular disease, there are concerns that it might cause orthostatic hypotension (OH). Purpose: To examine the effects of intensive BP-lowering treatment on OH in hypertensive adults. Data Sources: MEDLINE, EMBASE, and Cochrane CENTRAL from inception through 7 October 2019, without language restrictions. Study Selection: Randomized trials of BP pharmacologic treatment (more intensive BP goal or active agent) that involved more than 500 adults with hypertension or elevated BP and that were 6 months or longer in duration. Trial comparisons were groups assigned to either less intensive BP goals or placebo, and the outcome was measured OH, defined as a decrease of 20mmHg or more in systolic BP or 10 mm Hg or more in diastolic BP after changing position from seated to standing. Data Extraction: 2 investigators independently abstracted articles and rated risk of bias. Data Synthesis: 5 trials examined BP treatment goals, and 4 examined active agents versus placebo. Trials examining BP treatment goals included 18 466 participants with 127 882 follow-up visits. Trials were open-label, with minimal heterogeneity of effects across trials. Intensive BP treatment lowered risk for OH (odds ratio, 0.93 [95% CI, 0.86 to 0.99]). Effects did not differ by prerandomization OH (P for interaction = 0.80). In sensitivity analyses that included 4 additional placebo-controlled trials, overall and subgroup findings were unchanged. Limitations: Assessments of OH were done while participants were seated (not supine) and did not include the first minute after standing. Data on falls and syncope were not available. Conclusion: Intensive BP-lowering treatment decreases risk for OH. Orthostatic hypotension, before or in the setting of more intensive BP treatment, should not be viewed as a reason to avoid or de-escalate treatment for hypertension

Inequitable access to substance abuse treatment services in Cape Town, South Africa

BACKGROUND:Despite high levels of substance use disorders in Cape Town, substance abuse treatment utilization is low among people from disadvantaged communities in Cape Town, South Africa. To improve substance abuse treatment utilization, it is important to identify any potential barriers to treatment initiation so that interventions to reduce these barriers can be implemented. To date, substance abuse research has not examined the factors associated with substance abuse treatment utilization within developing countries. Using the Behavioural Model of Health Services Utilization as an analytic framework, this study aimed to redress this gap by examining whether access to substance abuse treatment is equitable and the profile of variables associated with treatment utilization for people from poor communities in Cape Town, South Africa. METHODS: This study used a case-control design to compare 434 individuals with substance use disorders from disadvantaged communities who had accessed treatment with 555 controls who had not accessed treatment on a range of predisposing, treatment need and enabling/restricting variables thought to be associated with treatment utilization. A hierarchical logistic regression was conducted to assess the unique contribution that the need for treatment, predisposing and enabling/restricting variable blocks made on substance abuse treatment utilization. RESULTS: Findings revealed that non-need enabling/restricting variables accounted for almost equal proportions of the variance in service utilization as the need for treatment variables. These enabling/restricting variables also attenuated the influence of the treatment need and predisposing variables domains on chances of treatment utilization. Several enabling/restricting variables emerged as powerful partial predictors of utilization including competing financial priorities, geographic access barriers and awareness of treatment services. Perceived severity of drug use, a need for treatment variable) was also a partial predictor of utilization. CONCLUSIONS: Findings point to inequitable access to substance abuse treatment services among people from poor South African communities, with non-need factors being significant determinants of treatment utilization. In these communities, treatment utilization can be enhanced by (i) expanding the existing repertoire of services to include low threshold services that target individuals with less severe problems; (ii) providing food and transport vouchers as part of contingency management efforts, thereby reducing some of the financial and geographic access barriers; (iii) introducing community-based mobile outpatient treatment services that are geographically accessible; and (iv) employing community-based outreach workers that focus on improving awareness of where, when and how to access existing treatment services