Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Inductive program synthesis, from input/output examples, can provide an opportunity to automatically create programs from scratch without presupposing the algorithmic form of the solution. For induction of general programs with loops (as opposed to loop-free programs, or synthesis for domain-specific languages), the state of the art is at the level of introductory programming assignments. Most problems that require algorithmic subtlety, such as fast sorting, have remained out of reach without the benefit of significant problem-specific background knowledge. A key challenge is to identify cues that are available to guide search towards correct looping programs. We present MAKESPEARE, a simple delayed-acceptance hillclimbing method that synthesizes low-level looping programs from input/output examples. During search, delayed acceptance bypasses small gains to identify significantly-improved stepping stone programs that tend to generalize and enable further progress. The method performs well on a set of established benchmarks, and succeeds on the previously unsolved "Collatz Numbers" program synthesis problem. Additional benchmarks include the problem of rapidly sorting integer arrays, in which we observe the emergence of comb sort (a Shell sort variant that is empirically fast). MAKESPEARE has also synthesized a record-setting program on one of the puzzles from the TIS-100 assembly language programming game.Comment: AAAI 201

Unweighted Stochastic Local Search can be Effective for Random CSP Benchmarks

We present ULSA, a novel stochastic local search algorithm for random binary constraint satisfaction problems (CSP). ULSA is many times faster than the prior state of the art on a widely-studied suite of random CSP benchmarks. Unlike the best previous methods for these benchmarks, ULSA is a simple unweighted method that does not require dynamic adaptation of weights or penalties. ULSA obtains new record best solutions satisfying 99 of 100 variables in the challenging frb100-40 benchmark instance

Efficacy of a novel online integrated treatment for problem gambling and tobacco smoking: Results of a randomized controlled trial

Background and aimsProblem gambling and tobacco use are highly comorbid among adults. However, there are few treatment frameworks that target both gambling and tobacco use simultaneously (i.e., an integrated approach), while also being accessible and evidence-based. The aim of this two-arm open label RCT was to examine the efficacy of an integrated online treatment for problem gambling and tobacco use.MethodsA sample of 209 participants (M$_{age}$ = 37.66, SD = 13.81; 62.2% female) from North America were randomized into one of two treatment conditions (integrated [n = 91] or gambling only [n = 118]) that lasted for eight weeks and consisted of seven online modules. Participants completed assessments at baseline, after treatment completion, and at 24-week follow-up.ResultsWhile a priori planned generalized linear mixed models showed no condition differences on primary (gambling days, money spent, time spent) and secondary outcomes, both conditions did appear to significantly reduce problem gambling and smoking behaviours over time. Post hoc analyses showed that reductions in smoking and gambling craving were correlated with reductions in days spent gambling, as well as with gambling disorder symptoms. Relatively high (versus low) nicotine replacement therapy use was associated with greater reductions in gambling behaviours in the integrated treatment condition.Discussion and conclusionsWhile our open label RCT does not support a clear benefit of integrated treatment, findings suggest that changes in smoking and gambling were correlated over time, regardless of treatment condition, suggesting that more research on mechanisms of smoking outcomes in the context of gambling treatment may be relevant

De novo mutations in SMCHD1 cause Bosma arhinia microphthalmia syndrome and abrogate nasal development

Bosma arhinia microphthalmia syndrome (BAMS) is an extremely rare and striking condition characterized by complete absence of the nose with or without ocular defects. We report here that missense mutations in the epigenetic regulator SMCHD1 mapping to the extended ATPase domain of the encoded protein cause BAMS in all 14 cases studied. All mutations were de novo where parental DNA was available. Biochemical tests and in vivo assays in Xenopus laevis embryos suggest that these mutations may behave as gain-of-function alleles. This finding is in contrast to the loss-of-function mutations in SMCHD1 that have been associated with facioscapulohumeral muscular dystrophy (FSHD) type 2. Our results establish SMCHD1 as a key player in nasal development and provide biochemical insight into its enzymatic function that may be exploited for development of therapeutics for FSHD

Topical Polyethylene Glycol as a Novel Chemopreventive Agent for Oral Cancer via Targeting of Epidermal Growth Factor Response

Head and neck squamous cell carcinoma (HNSCC) is a major cause of morbidity and mortality underscoring the need for safe and effective chemopreventive strategies. Targeting epidermal growth factor receptor (EGFR) is attractive in that it is an early critical event in HNSCC pathogenesis. However, current agents lack efficacy or have unacceptable toxicity. Several groups have demonstrated that the over-the-counter medication, polyethylene glycol (PEG) has remarkable chemopreventive efficacy against colon carcinogenesis. Importantly, we reported that this effect is mediated through EGFR internalization/degradation. In the current study, we investigated the chemopreventive efficacy of this agent against HNSCC, using both the well validated animal model 4-NQO (4-nitroquinoline 1-oxide) rat model and cell culture with the human HNSCC cell line SCC-25. We demonstrated that daily topical application of 10% PEG-8000 in the oral cavity (tongue and cavity wall) post 4NQO initiation resulted in a significant reduction in tumor burden (both, tumor size and tumors/tumor bearing rat) without any evidence of toxicity. Immunohistochemical studies depicted decreased proliferation (number of Ki67-positive cells) and reduced expression of EGFR and its downstream effectors cyclin D1 in the tongue mucosa of 4NQO-rats treated with PEG. We showed that EGFR was also markedly downregulated in SCC-25 cells by PEG-8000 with a concomitant induction of G1-S phase cell-cycle arrest, which was potentially mediated through upregulated p21cip1/waf1. In conclusion, we demonstrate, for the first time, that PEG has promising efficacy and safety as a chemopreventive efficacy against oral carcinogenesis

Measurement of the sum ofWW and WZ production with W+dijet events in pp collisions at √ s = 7 TeV

A measurement of the inclusive WW+WZ diboson production cross section in proton–proton collisions is reported, based on events containing a leptonically decaying √W boson and exactly two jets. The data sample, collected at s = 7 TeV with the CMS detector at the LHC, corresponds to an integrated luminosity of 5.0 fb−1. The measured value of the sum of the inclusive WW and WZ cross sections is σ(pp → WW + WZ) = 68.9 ± 8.7 (stat.) ± 9.7 (syst.) ± 1.5 (lum.) pb, consistent with the standard model prediction of 65.6±2.2 pb. This is the first measurement of WW+WZ production in pp collisions using this signature. No evidence for anomalous triple gauge couplings is found and upper limits are set on their magnitudes

Measurement of the X(3872) production cross section via decays to J/psi pi(+)pi(-) in pp collisions at √s=7 TeV

The article is the pre-print version of the final publishing paper that is available from the link below.The production of the X(3872) is studied in pp collisions at √s=7TeV, using decays to J/ψπ + π −, where the J/ψ decays to two muons. The data were recorded by the CMS experiment and correspond to an integrated luminosity of 4.8 fb−1. The measurements are performed in a kinematic range in which the X(3872) candidates have a transverse momentum 10 < pT < 50 GeV and rapidity |y| < 1.2. The ratio of the X(3872) and ψ(2S) cross sections times their branching fractions into J/ψ π+ π− is measured as a function of pT. In addition, the fraction of X(3872) originating from B decays is determined. From these measurements the prompt X(3872) differential cross section times branching fraction as a function of pT is extracted. The π+ π− mass spectrum of the J/ψπ+ π− system in the X(3872) decays is also investigated

Studies of jet mass in dijet and W/Z plus jet events

This is the pre-print version of the final published paper that is available from the link below.Invariant mass spectra for jets reconstructed using the anti-kT and Cambridge-Aachen algorithms are studied for different jet “grooming” techniques in data corresponding to an integrated luminosity of 5 fb-1, recorded with the CMS detector in proton-proton collisions at the LHC at a center-of-mass energy of 7TeV. Leading-order QCD predictions for inclusive dijet and W/Z+jet production combined with parton-shower Monte Carlo models are found to agree overall with the data, and the agreement improves with the implementation of jet grooming methods used to distinguish merged jets of large transverse momentum from softer QCD gluon radiation

Combination of the W boson polarization measurements in top quark decays using ATLAS and CMS data at root s=8 TeV

The combination of measurements of the W boson polarization in top quark decays performed by the ATLAS and CMS collaborations is presented. The measurements are based on proton-proton collision data produced at the LHC at a centre-of-mass energy of 8 TeV, and corresponding to an integrated luminosity of about 20 fb(-1)for each experiment. The measurements used events containing one lepton and having different jet multiplicities in the final state. The results are quoted as fractions of W bosons with longitudinal (F-0), left-handed (F-L), or right-handed (F-R) polarizations. The resulting combined measurements of the polarization fractions are F-0= 0.693 +/- 0.014 and F-L= 0.315 +/- 0.011. The fractionF(R)is calculated from the unitarity constraint to be F-R=-0.008 +/- 0.007. These results are in agreement with the standard model predictions at next-to-next-to-leading order in perturbative quantum chromodynamics and represent an improvement in precision of 25 (29)% for F-0(F-L) with respect to the most precise single measurement. A limit on anomalous right-handed vector (V-R), and left- and right-handed tensor (g(L), g(R)) tWb couplings is set while fixing all others to their standard model values. The allowed regions are [-0.11,0.16] for V-R, [-0.08,0.05] for g(L), and [-0.04,0.02] for g(R), at 95% confidence level. Limits on the corresponding Wilson coefficients are also derived.Peer reviewe