472 research outputs found
Ilinva: Using Abduction to Generate Loop Invariants
International audienceWe describe a system to prove properties of programs. The key feature of this approach is a method to automatically synthesize in-ductive invariants of the loops contained in the program. The method is generic, i.e., it applies to a large set of programming languages and application domains; and lazy, in the sense that it only generates invariants that allow one to derive the required properties. It relies on an existing system called GPiD for abductive reasoning modulo theories [14], and on the platform for program verification Why3 [16]. Experiments show evidence of the practical relevance of our approach
Joint-action coordination in transferring objects
Here we report a study of joint-action coordination in transferring objects. Fourteen dyads were asked to repeatedly reposition a cylinder in a shared workspace without using dialogue. Variations in task constraints concerned the size of the two target regions in which the cylinder had to be (re)positioned and the size and weight of the transferred cylinder. Movements of the wrist, index finger and thumb of both actors were recorded by means of a 3D motion-tracking system. Data analyses focused on the interpersonal transfer of lifting-height and movement-speed variations. Whereas the analyses of variance did not reveal any interpersonal transfer effects targeted data comparisons demonstrated that the actor who fetched the cylinder from where the other actor had put it was systematically less surprised by cylinder-weight changes than the actor who was first confronted with such changes. In addition, a moderate, accuracy-constraint independent adaptation to each otherâs movement speed was found. The current findings suggest that motor resonance plays only a moderate role in collaborative motor control and confirm the independency between sensorimotor and cognitive processing of action-related information
Quasi-Normal Modes of Stars and Black Holes
Perturbations of stars and black holes have been one of the main topics of
relativistic astrophysics for the last few decades. They are of particular
importance today, because of their relevance to gravitational wave astronomy.
In this review we present the theory of quasi-normal modes of compact objects
from both the mathematical and astrophysical points of view. The discussion
includes perturbations of black holes (Schwarzschild, Reissner-Nordstr\"om,
Kerr and Kerr-Newman) and relativistic stars (non-rotating and
slowly-rotating). The properties of the various families of quasi-normal modes
are described, and numerical techniques for calculating quasi-normal modes
reviewed. The successes, as well as the limits, of perturbation theory are
presented, and its role in the emerging era of numerical relativity and
supercomputers is discussed.Comment: 74 pages, 7 figures, Review article for "Living Reviews in
Relativity
Stochastic Gravity: Theory and Applications
Whereas semiclassical gravity is based on the semiclassical Einstein equation
with sources given by the expectation value of the stress-energy tensor of
quantum fields, stochastic semiclassical gravity is based on the
Einstein-Langevin equation, which has in addition sources due to the noise
kernel.In the first part, we describe the fundamentals of this new theory via
two approaches: the axiomatic and the functional. In the second part, we
describe three applications of stochastic gravity theory. First, we consider
metric perturbations in a Minkowski spacetime: we compute the two-point
correlation functions for the linearized Einstein tensor and for the metric
perturbations. Second, we discuss structure formation from the stochastic
gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in
the gravitational background of a quasi-static black hole.Comment: 75 pages, no figures, submitted to Living Reviews in Relativit
f(R) theories
Over the past decade, f(R) theories have been extensively studied as one of
the simplest modifications to General Relativity. In this article we review
various applications of f(R) theories to cosmology and gravity - such as
inflation, dark energy, local gravity constraints, cosmological perturbations,
and spherically symmetric solutions in weak and strong gravitational
backgrounds. We present a number of ways to distinguish those theories from
General Relativity observationally and experimentally. We also discuss the
extension to other modified gravity theories such as Brans-Dicke theory and
Gauss-Bonnet gravity, and address models that can satisfy both cosmological and
local gravity constraints.Comment: 156 pages, 14 figures, Invited review article in Living Reviews in
Relativity, Published version, Comments are welcom
Stochastic Gravity: Theory and Applications
Whereas semiclassical gravity is based on the semiclassical Einstein equation
with sources given by the expectation value of the stress-energy tensor of
quantum fields, stochastic semiclassical gravity is based on the
Einstein-Langevin equation, which has in addition sources due to the noise
kernel. In the first part, we describe the fundamentals of this new theory via
two approaches: the axiomatic and the functional. In the second part, we
describe three applications of stochastic gravity theory. First, we consider
metric perturbations in a Minkowski spacetime, compute the two-point
correlation functions of these perturbations and prove that Minkowski spacetime
is a stable solution of semiclassical gravity. Second, we discuss structure
formation from the stochastic gravity viewpoint. Third, we discuss the
backreaction of Hawking radiation in the gravitational background of a black
hole and describe the metric fluctuations near the event horizon of an
evaporating black holeComment: 100 pages, no figures; an update of the 2003 review in Living Reviews
in Relativity gr-qc/0307032 ; it includes new sections on the Validity of
Semiclassical Gravity, the Stability of Minkowski Spacetime, and the Metric
Fluctuations of an Evaporating Black Hol
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
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
Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV
The performance of muon reconstruction, identification, and triggering in CMS
has been studied using 40 inverse picobarns of data collected in pp collisions
at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection
criteria covering a wide range of physics analysis needs have been examined.
For all considered selections, the efficiency to reconstruct and identify a
muon with a transverse momentum pT larger than a few GeV is above 95% over the
whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4,
while the probability to misidentify a hadron as a muon is well below 1%. The
efficiency to trigger on single muons with pT above a few GeV is higher than
90% over the full eta range, and typically substantially better. The overall
momentum scale is measured to a precision of 0.2% with muons from Z decays. The
transverse momentum resolution varies from 1% to 6% depending on pseudorapidity
for muons with pT below 100 GeV and, using cosmic rays, it is shown to be
better than 10% in the central region up to pT = 1 TeV. Observed distributions
of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO
- âŚ