A Propositional CONEstrip Algorithm

We present a variant of the CONEstrip algorithm for checking whether the origin lies in a finitely generated convex cone that can be open, closed, or neither. This variant is designed to deal efficiently with problems where the rays defining the cone are specified as linear combinations of propositional sentences. The variant differs from the original algorithm in that we apply row generation techniques. The generator problem is WPMaxSAT, an optimization variant of SAT; both can be solved with specialized solvers or integer linear programming techniques. We additionally show how optimization problems over the cone can be solved by using our propositional CONEstrip algorithm as a preprocessor. The algorithm is designed to support consistency and inference computations within the theory of sets of desirable gambles. We also make a link to similar computations in probabilistic logic, conditional probability assessments, and imprecise probability theory

Colonialism, postcolonialism and the liberal welfare state

This article addresses the colonial and racial origins of the welfare state with a particular emphasis on the liberal welfare state of the USA and UK. Both are understood in terms of the centrality of the commodified status of labour power expressing a logic of market relations. In contrast, we argue that with a proper understanding of the relations of capitalism and colonialism, the sale of labour power as a commodity already represents a movement away from the commodified form of labour represented by enslavement. European colonialism is integral to the development of welfare states and their forms of inclusion and exclusion which remain racialised through into the twenty-first century

The R-Process Alliance: Discovery of a Low-α, r-process-enhanced Metal-poor Star in the Galactic Halo

A new moderately r-process-enhanced metal-poor star, RAVE J093730.5−062655, has been identified in the Milky Way halo as part of an ongoing survey by the R-Process Alliance. The temperature and surface gravity indicate that J0937−0626 is likely a horizontal branch star. At [Fe/H] = −1.86, J0937−0626 is found to have subsolar [X/Fe] ratios for nearly every light, α, and Fe-peak element. The low [α/Fe] ratios can be explained by an ~0.6 dex excess of Fe; J0937−0626 is therefore similar to the subclass of "iron-enhanced" metal-poor stars. A comparison with Milky Way field stars at [Fe/H] = −2.5 suggests that J0937−0626 was enriched in material from an event, possibly a Type Ia supernova, that created a significant amount of Cr, Mn, Fe, and Ni and smaller amounts of Ca, Sc, Ti, and Zn. The r-process enhancement of J0937−0626 is likely due to a separate event, which suggests that its birth environment was highly enriched in r-process elements. The kinematics of J0937−0626, based on Gaia DR2 data, indicate a retrograde orbit in the Milky Way halo; J0937−0626 was therefore likely accreted from a dwarf galaxy that had significant r-process enrichment

Walking parameters of older adults from a lower back inertial measurement unit, a 6-year longitudinal observational study

Gait changes during aging and differs between sexes. Inertial measurement units (IMUs) enable accurate quantitative evaluations of gait in ambulatory environments and in large populations. This study aims to provide IMU-based gait parameters' values derived from a large longitudinal cohort study in older adults. We measured gait parameters, such as velocity, step length, time, variability, and asymmetry, from straight, self-paced 20-m walks in older adults (four visits: 715/1102/1017/957 participants) every second year over 6 years using an IMU at the lower back. Moreover, we calculated the associations of gait parameters with sex and age. Women showed lower gait speed, step length, step time, stride time, swing time, and stance time, compared to men. Longitudinal analyses suggest that these parameters are at least partly deteriorating within the assessment period of 2 years, especially in men and at an older age. Variability and asymmetry parameters show a less clear sex- and age-associated pattern. Altogether, our large longitudinal dataset provides the first sex-specific information on which parameters are particularly promising for the detection of age-related gait changes that can be extracted from an IMU on the lower back. This information may be helpful for future observational and treatment studies investigating sex and age-related effects on gait, as well as for studies investigating age-related diseases

A measurement of the tau mass and the first CPT test with tau leptons

We measure the mass of the tau lepton to be 1775.1+-1.6(stat)+-1.0(syst.) MeV using tau pairs from Z0 decays. To test CPT invariance we compare the masses of the positively and negatively charged tau leptons. The relative mass difference is found to be smaller than 3.0 10^-3 at the 90% confidence level.Comment: 10 pages, 4 figures, Submitted to Phys. Letts.

Measurement of the B0 Lifetime and Oscillation Frequency using B0->D*+l-v decays

The lifetime and oscillation frequency of the B0 meson has been measured using B0->D*+l-v decays recorded on the Z0 peak with the OPAL detector at LEP. The D*+ -> D0pi+ decays were reconstructed using an inclusive technique and the production flavour of the B0 mesons was determined using a combination of tags from the rest of the event. The results t_B0 = 1.541 +- 0.028 +- 0.023 ps, Dm_d = 0.497 +- 0.024 +- 0.025 ps-1 were obtained, where in each case the first error is statistical and the second systematic.Comment: 17 pages, 4 figures, submitted to Phys. Lett.

First Measurement of Z/gamma* Production in Compton Scattering of Quasi-real Photons

We report the first observation of Z/gamma* production in Compton scattering of quasi-real photons. This is a subprocess of the reaction e+e- to e+e-Z/gamma*, where one of the final state electrons is undetected. Approximately 55 pb-1 of data collected in the year 1997 at an e+e- centre-of-mass energy of 183 GeV with the OPAL detector at LEP have been analysed. The Z/gamma* from Compton scattering has been detected in the hadronic decay channel. Within well defined kinematic bounds, we measure the product of cross-section and Z/gamma* branching ratio to hadrons to be (0.9+-0.3+-0.1) pb for events with a hadronic mass larger than 60 GeV, dominated by (e)eZ production. In the hadronic mass region between 5 GeV and 60 GeV, dominated by (e)egamma* production, this product is found to be (4.1+-1.6+-0.6) pb. Our results agree with the predictions of two Monte Carlo event generators, grc4f and PYTHIA.Comment: 18 pages, LaTeX, 5 eps figures included, submitted to Physics Letters

Proximity effect at superconducting Sn-Bi2Se3 interface

We have investigated the conductance spectra of Sn-Bi2Se3 interface junctions down to 250 mK and in different magnetic fields. A number of conductance anomalies were observed below the superconducting transition temperature of Sn, including a small gap different from that of Sn, and a zero-bias conductance peak growing up at lower temperatures. We discussed the possible origins of the smaller gap and the zero-bias conductance peak. These phenomena support that a proximity-effect-induced chiral superconducting phase is formed at the interface between the superconducting Sn and the strong spin-orbit coupling material Bi2Se3.Comment: 7 pages, 8 figure

Centrality Dependence of the High p_T Charged Hadron Suppression in Au+Au collisions at sqrt(s_NN) = 130 GeV

PHENIX has measured the centrality dependence of charged hadron p_T spectra from central Au+Au collisions at sqrt(s_NN)=130 GeV. The truncated mean p_T decreases with centrality for p_T > 2 GeV/c, indicating an apparent reduction of the contribution from hard scattering to high p_T hadron production. For central collisions the yield at high p_T is shown to be suppressed compared to binary nucleon-nucleon collision scaling of p+p data. This suppression is monotonically increasing with centrality, but most of the change occurs below 30% centrality, i.e. for collisions with less than about 140 participating nucleons. The observed p_T and centrality dependence is consistent with the particle production predicted by models including hard scattering and subsequent energy loss of the scattered partons in the dense matter created in the collisions.Comment: 7 pages text, LaTeX, 6 figures, 2 tables, 307 authors, resubmitted to Phys. Lett. B. Revised to address referee concerns. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are publicly available at http://www.phenix.bnl.gov/phenix/WWW/run/phenix/papers.htm