State sampling dependence of the Hopfield network inference

The fully connected Hopfield network is inferred based on observed magnetizations and pairwise correlations. We present the system in the glassy phase with low temperature and high memory load. We find that the inference error is very sensitive to the form of state sampling. When a single state is sampled to compute magnetizations and correlations, the inference error is almost indistinguishable irrespective of the sampled state. However, the error can be greatly reduced if the data is collected with state transitions. Our result holds for different disorder samples and accounts for the previously observed large fluctuations of inference error at low temperatures.Comment: 4 pages, 1 figure, further discussions added and relevant references adde

Foot pain and foot health in an educated population of adults: results from the Glasgow Caledonian University Alumni Foot Health Survey

Abstract Background Foot pain is common amongst the general population and impacts negatively on physical function and quality of life. Associations between personal health characteristics, lifestyle/behaviour factors and foot pain have been studied; however, the role of wider determinants of health on foot pain have received relatively little attention. Objectives of this study are i) to describe foot pain and foot health characteristics in an educated population of adults; ii) to explore associations between moderate-to-severe foot pain and a variety of factors including gender, age, medical conditions/co-morbidity/multi-morbidity, key indicators of general health, foot pathologies, and social determinants of health; and iii) to evaluate associations between moderate-to-severe foot pain and foot function, foot health and health-related quality-of-life. Methods Between February and March 2018, Glasgow Caledonian University Alumni with a working email address were invited to participate in the cross-sectional electronic survey (anonymously) by email via the Glasgow Caledonian University Alumni Office. The survey was constructed using the REDCap secure web online survey application and sought information on presence/absence of moderate-to-severe foot pain, patient characteristics (age, body mass index, socioeconomic status, occupation class, comorbidities, and foot pathologies). Prevalence data were expressed as absolute frequencies and percentages. Multivariate logistic and linear regressions were undertaken to identify associations 1) between independent variables and moderate-to-severe foot pain, and 2) between moderate-to-severe foot pain and foot function, foot health and health-related quality of life. Results Of 50,228 invitations distributed, there were 7707 unique views and 593 valid completions (median age [inter-quartile range] 42 [31–52], 67.3% female) of the survey (7.7% response rate). The sample was comprised predominantly of white Scottish/British (89.4%) working age adults (95%), the majority of whom were overweight or obese (57.9%), and in either full-time or part-time employment (82.5%) as professionals (72.5%). Over two-thirds (68.5%) of the sample were classified in the highest 6 deciles (most affluent) of social deprivation. Moderate-to-severe foot pain affected 236/593 respondents (39.8%). High body mass index, presence of bunions, back pain, rheumatoid arthritis, hip pain and lower occupation class were included in the final multivariate model and all were significantly and independently associated with moderate-to-severe foot pain (p < 0.05), except for rheumatoid arthritis (p = 0.057). Moderate-to-severe foot pain was significantly and independently associated lower foot function, foot health and health-related quality of life scores following adjustment for age, gender and body mass index (p < 0.05). Conclusions Moderate-to-severe foot pain was highly prevalent in a university-educated population and was independently associated with female gender, high body mass index, bunions, back pain, hip pain and lower occupational class. Presence of moderate-to-severe foot pain was associated with worse scores for foot function, foot health and health-related quality-of-life. Education attainment does not appear to be protective against moderate-to-severe foot pain

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

The effects of meteorological factors on the occurrence of Ganoderma sp. spores in the air

Ganoderma sp. is an airborne fungal spore type known to trigger respiratory allergy symptoms in sensitive patients. Aiming to reduce the risk for allergic individuals, we analysed fungal spore circulation in Szczecin, Poland, and its dependence on meteorological conditions. Statistical models for the airborne spore concentrations of Ganoderma sp.—one of the most abundant fungal taxa in the area—were developed. Aerobiological sampling was conducted over 2004–2008 using a volumetric Lanzoni trap. Simultaneously, the following meteorological parameters were recorded: daily level of precipitation, maximum and average wind speed, relative humidity and maximum, minimum, average and dew point temperatures. These data were used as the explaining variables. Due to the non-linearity and non-normality of the data set, the applied modelling techniques were artificial neural networks (ANN) and mutlivariate regression trees (MRT). The obtained classification and MRT models predicted threshold conditions above which Ganoderma sp. appeared in the air. It turned out that dew point temperature was the main factor influencing the presence or absence of Ganoderma sp. spores. Further analysis of spore seasons revealed that the airborne fungal spore concentration depended only slightly on meteorological factors

Dynamical friction of bodies orbiting in a gaseous sphere

The dynamical friction experienced by a body moving in a gaseous medium is different from the friction in the case of a collisionless stellar system. Here we consider the orbital evolution of a gravitational perturber inside a gaseous sphere using three-dimensional simulations, ignoring however self-gravity. The results are analysed in terms of a `local' formula with the associated Coulomb logarithm taken as a free parameter. For forced circular orbits, the asymptotic value of the component of the drag force in the direction of the velocity is a slowly varying function of the Mach number in the range 1.0-1.6. The dynamical friction timescale for free decay orbits is typically only half as long as in the case of a collisionless background, which is in agreement with E.C. Ostriker's recent analytic result. The orbital decay rate is rather insensitive to the past history of the perturber. It is shown that, similar to the case of stellar systems, orbits are not subject to any significant circularization. However, the dynamical friction timescales are found to increase with increasing orbital eccentricity for the Plummer model, whilst no strong dependence on the initial eccentricity is found for the isothermal sphere.Comment: 13 pages, 13 figures, MNRAS accepte

Measurements of fiducial and differential cross sections for Higgs boson production in the diphoton decay channel at s√=8 TeV with ATLAS

Measurements of fiducial and differential cross sections are presented for Higgs boson production in proton-proton collisions at a centre-of-mass energy of s√=8 TeV. The analysis is performed in the H → γγ decay channel using 20.3 fb−1 of data recorded by the ATLAS experiment at the CERN Large Hadron Collider. The signal is extracted using a fit to the diphoton invariant mass spectrum assuming that the width of the resonance is much smaller than the experimental resolution. The signal yields are corrected for the effects of detector inefficiency and resolution. The pp → H → γγ fiducial cross section is measured to be 43.2 ±9.4(stat.) − 2.9 + 3.2 (syst.) ±1.2(lumi)fb for a Higgs boson of mass 125.4GeV decaying to two isolated photons that have transverse momentum greater than 35% and 25% of the diphoton invariant mass and each with absolute pseudorapidity less than 2.37. Four additional fiducial cross sections and two cross-section limits are presented in phase space regions that test the theoretical modelling of different Higgs boson production mechanisms, or are sensitive to physics beyond the Standard Model. Differential cross sections are also presented, as a function of variables related to the diphoton kinematics and the jet activity produced in the Higgs boson events. The observed spectra are statistically limited but broadly in line with the theoretical expectations

Search for squarks and gluinos in events with isolated leptons, jets and missing transverse momentum at s√=8 TeV with the ATLAS detector

The results of a search for supersymmetry in final states containing at least one isolated lepton (electron or muon), jets and large missing transverse momentum with the ATLAS detector at the Large Hadron Collider are reported. The search is based on proton-proton collision data at a centre-of-mass energy s√=8 TeV collected in 2012, corresponding to an integrated luminosity of 20 fb−1. No significant excess above the Standard Model expectation is observed. Limits are set on supersymmetric particle masses for various supersymmetric models. Depending on the model, the search excludes gluino masses up to 1.32 TeV and squark masses up to 840 GeV. Limits are also set on the parameters of a minimal universal extra dimension model, excluding a compactification radius of 1/R c = 950 GeV for a cut-off scale times radius (ΛR c) of approximately 30

Measurement of χ c1 and χ c2 production with s√ = 7 TeV pp collisions at ATLAS

The prompt and non-prompt production cross-sections for the χ c1 and χ c2 charmonium states are measured in pp collisions at s√ = 7 TeV with the ATLAS detector at the LHC using 4.5 fb−1 of integrated luminosity. The χ c states are reconstructed through the radiative decay χ c → J/ψγ (with J/ψ → μ + μ −) where photons are reconstructed from γ → e + e − conversions. The production rate of the χ c2 state relative to the χ c1 state is measured for prompt and non-prompt χ c as a function of J/ψ transverse momentum. The prompt χ c cross-sections are combined with existing measurements of prompt J/ψ production to derive the fraction of prompt J/ψ produced in feed-down from χ c decays. The fractions of χ c1 and χ c2 produced in b-hadron decays are also measured

Measurement of the production of a W boson in association with a charm quark in pp collisions at √s = 7 TeV with the ATLAS detector

The production of a W boson in association with a single charm quark is studied using 4.6 fb−1 of pp collision data at s√ = 7 TeV collected with the ATLAS detector at the Large Hadron Collider. In events in which a W boson decays to an electron or muon, the charm quark is tagged either by its semileptonic decay to a muon or by the presence of a charmed meson. The integrated and differential cross sections as a function of the pseudorapidity of the lepton from the W-boson decay are measured. Results are compared to the predictions of next-to-leading-order QCD calculations obtained from various parton distribution function parameterisations. The ratio of the strange-to-down sea-quark distributions is determined to be 0.96+0.26−0.30 at Q 2 = 1.9 GeV2, which supports the hypothesis of an SU(3)-symmetric composition of the light-quark sea. Additionally, the cross-section ratio σ(W + +c¯¯)/σ(W − + c) is compared to the predictions obtained using parton distribution function parameterisations with different assumptions about the s−s¯¯¯ quark asymmetry

Evidence for the Higgs-boson Yukawa coupling to tau leptons with the ATLAS detector

Results of a search for H → τ τ decays are presented, based on the full set of proton-proton collision data recorded by the ATLAS experiment at the LHC during 2011 and 2012. The data correspond to integrated luminosities of 4.5 fb−1 and 20.3 fb−1 at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV respectively. All combinations of leptonic (τ → `νν¯ with ` = e, µ) and hadronic (τ → hadrons ν) tau decays are considered. An excess of events over the expected background from other Standard Model processes is found with an observed (expected) significance of 4.5 (3.4) standard deviations. This excess provides evidence for the direct coupling of the recently discovered Higgs boson to fermions. The measured signal strength, normalised to the Standard Model expectation, of µ = 1.43 +0.43 −0.37 is consistent with the predicted Yukawa coupling strength in the Standard Model