351 research outputs found
Formal change impact analyses for emulated control software
Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly
Anomalous Self-Energy Effects of the B_1g Phonon in Y_{1-x}(Pr,Ca)_xBa_2Cu_3O_7 Films
In Raman spectra of cuprate superconductors the gap shows up both directly,
via a redistribution of the electronic background, the so-called "2Delta
peaks", and indirectly, e.g. via the renormalization of phononic excitations.
We use a model that allows us to study the redistribution and the related
phonon self-energy effects simultaneously. We apply this model to the B_1g
phonon of Y_{1-x}(Pr,Ca)_xBa_2Cu_3O_7 films, where Pr or Ca substitution
enables us to investigate under- and overdoped samples. While various
self-energy effects can be explained by the strength and energy of the 2\Delta
peaks, anomalies remain. We discuss possible origins of these anomalies.Comment: 6 pages including 4 figure
Cutoff for the Ising model on the lattice
Introduced in 1963, Glauber dynamics is one of the most practiced and
extensively studied methods for sampling the Ising model on lattices. It is
well known that at high temperatures, the time it takes this chain to mix in
on a system of size is . Whether in this regime there is
cutoff, i.e. a sharp transition in the -convergence to equilibrium, is a
fundamental open problem: If so, as conjectured by Peres, it would imply that
mixing occurs abruptly at for some fixed , thus providing
a rigorous stopping rule for this MCMC sampler. However, obtaining the precise
asymptotics of the mixing and proving cutoff can be extremely challenging even
for fairly simple Markov chains. Already for the one-dimensional Ising model,
showing cutoff is a longstanding open problem.
We settle the above by establishing cutoff and its location at the high
temperature regime of the Ising model on the lattice with periodic boundary
conditions. Our results hold for any dimension and at any temperature where
there is strong spatial mixing: For this carries all the way to the
critical temperature. Specifically, for fixed , the continuous-time
Glauber dynamics for the Ising model on with periodic boundary
conditions has cutoff at , where is
the spectral gap of the dynamics on the infinite-volume lattice. To our
knowledge, this is the first time where cutoff is shown for a Markov chain
where even understanding its stationary distribution is limited.
The proof hinges on a new technique for translating to mixing
which enables the application of log-Sobolev inequalities. The technique is
general and carries to other monotone and anti-monotone spin-systems.Comment: 34 pages, 3 figure
Curved Tails in Polymerization-Based Bacterial Motility
The curved actin ``comet-tail'' of the bacterium Listeria monocytogenes is a
visually striking signature of actin polymerization-based motility. Similar
actin tails are associated with Shigella flexneri, spotted-fever Rickettsiae,
the Vaccinia virus, and vesicles and microspheres in related in vitro systems.
We show that the torque required to produce the curvature in the tail can arise
from randomly placed actin filaments pushing the bacterium or particle. We find
that the curvature magnitude determines the number of actively pushing
filaments, independent of viscosity and of the molecular details of force
generation. The variation of the curvature with time can be used to infer the
dynamics of actin filaments at the bacterial surface.Comment: 8 pages, 2 figures, Latex2
D* Production in Deep Inelastic Scattering at HERA
This paper presents measurements of D^{*\pm} production in deep inelastic
scattering from collisions between 27.5 GeV positrons and 820 GeV protons. The
data have been taken with the ZEUS detector at HERA. The decay channel
(+ c.c.) has been used in the study. The
cross section for inclusive D^{*\pm} production with
and is 5.3 \pms 1.0 \pms 0.8 nb in the kinematic region
{ GeV and }. Differential cross
sections as functions of p_T(D^{*\pm}), and are
compared with next-to-leading order QCD calculations based on the photon-gluon
fusion production mechanism. After an extrapolation of the cross section to the
full kinematic region in p_T(D^{*\pm}) and (D^{*\pm}), the charm
contribution to the proton structure function is
determined for Bjorken between 2 10 and 5 10.Comment: 17 pages including 4 figure
Observation of Scaling Violations in Scaled Momentum Distributions at HERA
Charged particle production has been measured in deep inelastic scattering
(DIS) events over a large range of and using the ZEUS detector. The
evolution of the scaled momentum, , with in the range 10 to 1280
, has been investigated in the current fragmentation region of the Breit
frame. The results show clear evidence, in a single experiment, for scaling
violations in scaled momenta as a function of .Comment: 21 pages including 4 figures, to be published in Physics Letters B.
Two references adde
Observation of Events with an Energetic Forward Neutron in Deep Inelastic Scattering at HERA
In deep inelastic neutral current scattering of positrons and protons at the center of mass energy of 300 GeV, we observe, with the ZEUS detector, events with a high energy neutron produced at very small scattering angles with respect to the proton direction. The events constitute a fixed fraction of the deep inelastic, neutral current event sample independent of Bjorken x and Q2 in the range 3 · 10-4 \u3c xBJ \u3c 6 · 10-3 and 10 \u3c Q2 \u3c 100 GeV2
Search for gravitational waves from Scorpius X-1 in the second Advanced LIGO observing run with an improved hidden Markov model
We present results from a semicoherent search for continuous gravitational waves from the low-mass x-ray binary Scorpius X-1, using a hidden Markov model (HMM) to track spin wandering. This search improves on previous HMM-based searches of LIGO data by using an improved frequency domain matched filter, the J-statistic, and by analyzing data from Advanced LIGO's second observing run. In the frequency range searched, from 60 to 650 Hz, we find no evidence of gravitational radiation. At 194.6 Hz, the most sensitive search frequency, we report an upper limit on gravitational wave strain (at 95% confidence) of h095%=3.47×10-25 when marginalizing over source inclination angle. This is the most sensitive search for Scorpius X-1, to date, that is specifically designed to be robust in the presence of spin wandering. © 2019 American Physical Society
Combination of searches for Higgs boson pairs in pp collisions at \sqrts = 13 TeV with the ATLAS detector
This letter presents a combination of searches for Higgs boson pair production using up to 36.1 fb(-1) of proton-proton collision data at a centre-of-mass energy root s = 13 TeV recorded with the ATLAS detector at the LHC. The combination is performed using six analyses searching for Higgs boson pairs decaying into the b (b) over barb (b) over bar, b (b) over barW(+)W(-), b (b) over bar tau(+)tau(-), W+W-W+W-, b (b) over bar gamma gamma and W+W-gamma gamma final states. Results are presented for non-resonant and resonant Higgs boson pair production modes. No statistically significant excess in data above the Standard Model predictions is found. The combined observed (expected) limit at 95% confidence level on the non-resonant Higgs boson pair production cross-section is 6.9 (10) times the predicted Standard Model cross-section. Limits are also set on the ratio (kappa(lambda)) of the Higgs boson self-coupling to its Standard Model value. This ratio is constrained at 95% confidence level in observation (expectation) to -5.0 < kappa(lambda) < 12.0 (-5.8 < kappa(lambda) < 12.0). In addition, limits are set on the production of narrow scalar resonances and spin-2 Kaluza-Klein Randall-Sundrum gravitons. Exclusion regions are also provided in the parameter space of the habemus Minimal Supersymmetric Standard Model and the Electroweak Singlet Model. For complete list of authors see http://dx.doi.org/10.1016/j.physletb.2019.135103</p
- …