Computational Complexity of Synchronization under Regular Commutative Constraints

Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.Comment: Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference); 2nd version is update of the published version and 1st version; both contain a minor error, the assumption of maximality in the NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of incomparability of the vectors in main theorem; fixed in this version. See (new) discussion after main theore

Can type of school be used as an alternative indicator of socioeconomic status in dental caries studies? A cross-sectional study

<p>Abstract</p> <p>Background</p> <p>Despite the importance of collecting individual data of socioeconomic status (SES) in epidemiological oral health surveys with children, this procedure relies on the parents as respondents. Therefore, type of school (public or private schools) could be used as an alternative indicator of SES, instead of collecting data individually. The aim of this study was to evaluate the use of the variable type of school as an indicator of socioeconomic status as a substitute of individual data in an epidemiological survey about dental caries in Brazilian preschool children.</p> <p>Methods</p> <p>This study followed a cross-sectional design, with a random sample of 411 preschool children aged 1 to 5 years, representative of Catalão, Brazil. A calibrated examiner evaluated the prevalence of dental caries and parents or guardians provided information about several individual socioeconomic indicators by means of a semi-structured questionnaire. A multilevel approach was used to investigate the association among individual socioeconomic variables, as well as the type of school, and the outcome.</p> <p>Results</p> <p>When all significant variables in the univariate analysis were used in the multiple model, only mother's schooling and household income (individual socioeconomic variables) presented significant associations with presence of dental caries, and the type of school was not significantly associated. However, when the type of school was used alone, children of public school presented significantly higher prevalence of dental caries than those enrolled in private schools.</p> <p>Conclusions</p> <p>The type of school used as an alternative indicator for socioeconomic status is a feasible predictor for caries experience in epidemiological dental caries studies involving preschool children in Brazilian context.</p

Disparities and risks of sexually transmissible infections among men who have sex with men in China: a meta-analysis and data synthesis.

BACKGROUND: Sexually transmitted infections (STIs), including Hepatitis B and C virus, are emerging public health risks in China, especially among men who have sex with men (MSM). This study aims to assess the magnitude and risks of STIs among Chinese MSM. METHODS: Chinese and English peer-reviewed articles were searched in five electronic databases from January 2000 to February 2013. Pooled prevalence estimates for each STI infection were calculated using meta-analysis. Infection risks of STIs in MSM, HIV-positive MSM and male sex workers (MSW) were obtained. This review followed the PRISMA guidelines and was registered in PROSPERO. RESULTS: Eighty-eight articles (11 in English and 77 in Chinese) investigating 35,203 MSM in 28 provinces were included in this review. The prevalence levels of STIs among MSM were 6.3% (95% CI: 3.5-11.0%) for chlamydia, 1.5% (0.7-2.9%) for genital wart, 1.9% (1.3-2.7%) for gonorrhoea, 8.9% (7.8-10.2%) for hepatitis B (HBV), 1.2% (1.0-1.6%) for hepatitis C (HCV), 66.3% (57.4-74.1%) for human papillomavirus (HPV), 10.6% (6.2-17.6%) for herpes simplex virus (HSV-2) and 4.3% (3.2-5.8%) for Ureaplasma urealyticum. HIV-positive MSM have consistently higher odds of all these infections than the broader MSM population. As a subgroup of MSM, MSW were 2.5 (1.4-4.7), 5.7 (2.7-12.3), and 2.2 (1.4-3.7) times more likely to be infected with chlamydia, gonorrhoea and HCV than the broader MSM population, respectively. CONCLUSION: Prevalence levels of STIs among MSW were significantly higher than the broader MSM population. Co-infection of HIV and STIs were prevalent among Chinese MSM. Integration of HIV and STIs healthcare and surveillance systems is essential in providing effective HIV/STIs preventive measures and treatments. TRIAL REGISTRATION: PROSPERO NO: CRD42013003721

The G67E mutation in hMLH1 is associated with an unusual presentation of Lynch syndrome

Germline mutations in the mismatch repair (MMR) genes are associated with Lynch syndrome, also known as hereditary non-polyposis colorectal cancer (HNPCC) syndrome. Here, we characterise a variant of hMLH1 that confers a loss-of-function MMR phenotype. The mutation changes the highly conserved Gly67 residue to a glutamate (G67E) and is reminiscent of the hMLH1-p.Gly67Arg mutation, which is present in several Lynch syndrome cohorts. hMLH1-Gly67Arg has previously been shown to confer loss-of-function (Shimodaira et al, 1998), and two functional assays suggest that the hMLH1-Gly67Glu protein fails to sustain normal MMR functions. In the first assay, hMLH1-Gly67Glu abolishes the protein's ability to interfere with MMR in yeast. In the second assay, mutation of the analogous residue in yMLH1 (yMLH1-Gly64Glu) causes a loss-of-function mutator phenotype similar to yMLH1-Gly64Arg. Despite these molecular similarities, an unusual spectrum of tumours is associated with hMLH1-Gly67Glu, which is not typical of those associated with Lynch syndrome and differs from those found in families carrying the hMLH1-Gly67Arg allele. This suggests that hMLH1 may have different functions in certain tissues and/or that additional factors may modify the influence of hMLH1 mutations in causing Lynch syndrome

PP2A/B55 and Fcp1 regulate Greatwall and Ensa desphorylation during mitotic exit

Entry into mitosis is triggered by activation of Cdk1 and inactivation of its counteracting phosphatase PP2A/B55. Greatwall kinase inactivates PP2A/B55 via its substrates Ensa and ARPP19. Both Greatwall and Ensa/ARPP19 are regulated by phosphorylation, but the dynamic regulation of Greatwall activity and the phosphatases that control Greatwall kinase and its substrates are poorly understood. To address these questions we applied a combination of mathematical modelling and experiments using phospho-specific antibodies to monitor Greatwall, Ensa/ARPP19 and Cdk substrate phosphorylation during mitotic entry and exit. We demonstrate that PP2A/B55 is required for Gwl dephosphorylation at the essential Cdk site Thr194. Ensa/ARPP19 dephosphorylation is mediated by the RNA Polymerase II carboxy terminal domain phosphatase Fcp1. Surprisingly, neither Fcp1 nor PP2A appear to essential to dephosphorylate the bulk of mitotic Cdk1 substrates following Cdk1 inhibition. Taken together our results suggest a hierarchy of phosphatases coordinating Greatwall, Ensa/ARPP19 and Cdk substrate dephosphorylation during mitotic exit

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Measurement of the cross-section of high transverse momentum vector bosons reconstructed as single jets and studies of jet substructure in pp collisions at √s = 7 TeV with the ATLAS detector

This paper presents a measurement of the cross-section for high transverse momentum W and Z bosons produced in pp collisions and decaying to all-hadronic final states. The data used in the analysis were recorded by the ATLAS detector at the CERN Large Hadron Collider at a centre-of-mass energy of √s = 7 TeV;{\rm Te}{\rm V}$and correspond to an integrated luminosity of$4.6\;{\rm f}{{{\rm b}}^{-1}}$. The measurement is performed by reconstructing the boosted W or Z bosons in single jets. The reconstructed jet mass is used to identify the W and Z bosons, and a jet substructure method based on energy cluster information in the jet centre-of-mass frame is used to suppress the large multi-jet background. The cross-section for events with a hadronically decaying W or Z boson, with transverse momentum${{p}_{{\rm T}}}\gt 320\;{\rm Ge}{\rm V}$and pseudorapidity$|\eta |\lt 1.9$, is measured to be${{\sigma }_{W+Z}}=8.5\pm 1.7$ pb and is compared to next-to-leading-order calculations. The selected events are further used to study jet grooming techniques

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV