290 research outputs found
Interpretations of Presburger Arithmetic in Itself
Presburger arithmetic PrA is the true theory of natural numbers with
addition. We study interpretations of PrA in itself. We prove that all
one-dimensional self-interpretations are definably isomorphic to the identity
self-interpretation. In order to prove the results we show that all linear
orders that are interpretable in (N,+) are scattered orders with the finite
Hausdorff rank and that the ranks are bounded in terms of the dimension of the
respective interpretations. From our result about self-interpretations of PrA
it follows that PrA isn't one-dimensionally interpretable in any of its finite
subtheories. We note that the latter was conjectured by A. Visser.Comment: Published in proceedings of LFCS 201
First Dinosaur Tracks from the Arabian Peninsula
Background: The evolutionary history of Mesozoic terrestrial vertebrates from the Arabian Peninsula is virtually unknown. Despite vast exposures of rocky outcrops, only a handful of fossils have yet been described from the region. Here we report a multi-taxon dinosaur track assemblage near Madar village, 47 km north of Sana’a, Republic of Yemen. This represents the first dinosaur tracksite from the Arabian Peninsula, and the only multi-taxon dinosaur ichnosite in the Middle East. Methodology/Findings: Measurements were taken directly from trackway impressions, following standard ichnological conventions. The presence of bipedal trackmakers is evidenced by a long series of pes imprints preserving smoothly rounded posterior margins, no evidence of a hallux, bluntly rounded digit tips and digital divarication angles characteristic of ornithopod dinosaurs. Nearby, eleven parallel quadrupedal trackways document a sauropod herd that included large and small individuals traveling together. Based on the morphology of manus impressions along with a narrow-gauged stance, the quadrupedal trackways were made by non-titanosauriform neosauropods. Additional isolated tracks and trackways of sauropod and ornithopod dinosaurs are preserved nearby. Conclusions/Significance: Taken together, these discoveries present the most evocative window to date into the evolutionary history of dinosaurs of the Arabian Peninsula. Given the limited Mesozoic terrestrial record from the region, this discovery is of both temporal and geographic significance, and massive exposures of similarly-aged outcrops nearby offe
Angular and Current-Target Correlations in Deep Inelastic Scattering at HERA
Correlations between charged particles in deep inelastic ep scattering have
been studied in the Breit frame with the ZEUS detector at HERA using an
integrated luminosity of 6.4 pb-1. Short-range correlations are analysed in
terms of the angular separation between current-region particles within a cone
centred around the virtual photon axis. Long-range correlations between the
current and target regions have also been measured. The data support
predictions for the scaling behaviour of the angular correlations at high Q2
and for anti-correlations between the current and target regions over a large
range in Q2 and in the Bjorken scaling variable x. Analytic QCD calculations
and Monte Carlo models correctly describe the trends of the data at high Q2,
but show quantitative discrepancies. The data show differences between the
correlations in deep inelastic scattering and e+e- annihilation.Comment: 26 pages including 10 figures (submitted to Eur. J. Phys. C
Plastisol Foaming Process. Decomposition of the Foaming Agent, Polymer Behavior in the Corresponding Temperature Range and Resulting Foam Properties
The decomposition of azodicarbonamide, used as foaming agent in PVC - plasticizer (1/1) plastisols was studied by DSC. Nineteen different plasticizers, all belonging to the ester family, two being polymeric (polyadipates), were compared. The temperature of maximum decomposition rate (in anisothermal regime at 5 K min-1 scanning rate), ranges between 434 and 452 K. The heat of decomposition ranges between 8.7 and 12.5 J g -1. Some trends of variation of these parameters appear significant and are discussed in terms of solvent (matrix) and viscosity effects on the decomposition reactions. The shear modulus at 1 Hz frequency was determined at the temperature of maximum rate of foaming agent decomposition, and differs significantly from a sample to another. The foam density was determined at ambient temperature and the volume fraction of bubbles was used as criterion to judge the efficiency of the foaming process. The results reveal the existence of an optimal shear modulus of the order of 2 kPa that corresponds roughly to plasticizer molar masses of the order of 450 ± 50 g mol-1. Heavier plasticizers, especially polymeric ones are too difficult to deform. Lighter plasticizers such as diethyl phthalate (DEP) deform too easily and presumably facilitate bubble collapse
The role of the user within the medical device design and development process: medical device manufacturers' perspectives
Copyright @ 2011 Money et al.Background: Academic literature and international standards bodies suggest that user involvement, via the incorporation of human factors engineering methods within the medical device design and development (MDDD) process, offer many benefits that enable the development of safer and more usable medical devices that are better suited to users' needs. However, little research has been carried out to explore medical device manufacturers' beliefs and attitudes towards user involvement within this process, or indeed what value they believe can be added by doing so.Methods: In-depth interviews with representatives from 11 medical device manufacturers are carried out. We ask them to specify who they believe the intended users of the device to be, who they consult to inform the MDDD process, what role they believe the user plays within this process, and what value (if any) they believe users add. Thematic analysis is used to analyse the fully transcribed interview data, to gain insight into medical device manufacturers' beliefs and attitudes towards user involvement within the MDDD process.Results: A number of high-level themes emerged, relating who the user is perceived to be, the methods used, the perceived value and barriers to user involvement, and the nature of user contributions. The findings reveal that despite standards agencies and academic literature offering strong support for the employment formal methods, manufacturers are still hesitant due to a range of factors including: perceived barriers to obtaining ethical approval; the speed at which such activity may be carried out; the belief that there is no need given the 'all-knowing' nature of senior health care staff and clinical champions; a belief that effective results are achievable by consulting a minimal number of champions. Furthermore, less senior health care practitioners and patients were rarely seen as being able to provide valuable input into the process.Conclusions: Medical device manufacturers often do not see the benefit of employing formal human factors engineering methods within the MDDD process. Research is required to better understand the day-to-day requirements of manufacturers within this sector. The development of new or adapted methods may be required if user involvement is to be fully realised.This study was in part funded by grant number Ref: GR/S29874/01 from the Engineering and Physical Sciences Research Council. This article is made available through the Brunel University Open Access Publishing Fund
Measurement of the Forward-Backward Asymmetry in the B -> K(*) mu+ mu- Decay and First Observation of the Bs -> phi mu+ mu- Decay
We reconstruct the rare decays , , and in a data sample
corresponding to collected in collisions at
by the CDF II detector at the Fermilab Tevatron
Collider. Using and decays we report the branching ratios. In addition, we report
the measurement of the differential branching ratio and the muon
forward-backward asymmetry in the and decay modes, and the
longitudinal polarization in the decay mode with respect to the squared
dimuon mass. These are consistent with the theoretical prediction from the
standard model, and most recent determinations from other experiments and of
comparable accuracy. We also report the first observation of the {\mathcal{B}}(B^0_s \to
\phi\mu^+\mu^-) = [1.44 \pm 0.33 \pm 0.46] \times 10^{-6}27 \pm 6B^0_s$ decay observed.Comment: 7 pages, 2 figures, 3 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
Search for a New Heavy Gauge Boson Wprime with Electron + missing ET Event Signature in ppbar collisions at sqrt(s)=1.96 TeV
We present a search for a new heavy charged vector boson decaying
to an electron-neutrino pair in collisions at a center-of-mass
energy of 1.96\unit{TeV}. The data were collected with the CDF II detector
and correspond to an integrated luminosity of 5.3\unit{fb}^{-1}. No
significant excess above the standard model expectation is observed and we set
upper limits on . Assuming standard
model couplings to fermions and the neutrino from the boson decay to
be light, we exclude a boson with mass less than
1.12\unit{TeV/}c^2 at the 95\unit{%} confidence level.Comment: 7 pages, 2 figures Submitted to PR
Measurements of the properties of Lambda_c(2595), Lambda_c(2625), Sigma_c(2455), and Sigma_c(2520) baryons
We report measurements of the resonance properties of Lambda_c(2595)+ and
Lambda_c(2625)+ baryons in their decays to Lambda_c+ pi+ pi- as well as
Sigma_c(2455)++,0 and Sigma_c(2520)++,0 baryons in their decays to Lambda_c+
pi+/- final states. These measurements are performed using data corresponding
to 5.2/fb of integrated luminosity from ppbar collisions at sqrt(s) = 1.96 TeV,
collected with the CDF II detector at the Fermilab Tevatron. Exploiting the
largest available charmed baryon sample, we measure masses and decay widths
with uncertainties comparable to the world averages for Sigma_c states, and
significantly smaller uncertainties than the world averages for excited
Lambda_c+ states.Comment: added one reference and one table, changed order of figures, 17
pages, 15 figure
New Insights into Fluoroquinolone Resistance in Mycobacterium tuberculosis: Functional Genetic Analysis of gyrA and gyrB Mutations
Fluoroquinolone antibiotics are among the most potent second-line drugs used for treatment of multidrug-resistant tuberculosis (MDR TB), and resistance to this class of antibiotics is one criterion for defining extensively drug resistant tuberculosis (XDR TB). Fluoroquinolone resistance in Mycobacterium tuberculosis has been associated with modification of the quinolone resistance determining region (QRDR) of gyrA. Recent studies suggest that amino acid substitutions in gyrB may also play a crucial role in resistance, but functional genetic studies of these mutations in M. tuberculosis are lacking. In this study, we examined twenty six mutations in gyrase genes gyrA (seven) and gyrB (nineteen) to determine the clinical relevance and role of these mutations in fluoroquinolone resistance. Transductants or clinical isolates harboring T80A, T80A+A90G, A90G, G247S and A384V gyrA mutations were susceptible to all fluoroquinolones tested. The A74S mutation conferred low-level resistance to moxifloxacin but susceptibility to ciprofloxacin, levofloxacin and ofloxacin, and the A74S+D94G double mutation conferred cross resistance to all the fluoroquinolones tested. Functional genetic analysis and structural modeling of gyrB suggest that M330I, V340L, R485C, D500A, D533A, A543T, A543V and T546M mutations are not sufficient to confer resistance as determined by agar proportion. Only three mutations, N538D, E540V and R485C+T539N, conferred resistance to all four fluoroquinolones in at least one genetic background. The D500H and D500N mutations conferred resistance only to levofloxacin and ofloxacin while N538K and E540D consistently conferred resistance to moxifloxacin only. Transductants and clinical isolates harboring T539N, T539P or N538T+T546M mutations exhibited low-level resistance to moxifloxacin only but not consistently. These findings indicate that certain mutations in gyrB confer fluoroquinolone resistance, but the level and pattern of resistance varies among the different mutations. The results from this study provide support for the inclusion of the QRDR of gyrB in molecular assays used to detect fluoroquinolone resistance in M. tuberculosis
- …