760 research outputs found
Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol
The Pomeron and Gauge/String Duality
The traditional description of high-energy small-angle scattering in QCD has
two components -- a soft Pomeron Regge pole for the tensor glueball, and a hard
BFKL Pomeron in leading order at weak coupling. On the basis of gauge/string
duality, we present a coherent treatment of the Pomeron. In large-N QCD-like
theories, we use curved-space string-theory to describe simultaneously both the
BFKL regime and the classic Regge regime. The problem reduces to finding the
spectrum of a single j-plane Schrodinger operator. For ultraviolet-conformal
theories, the spectrum exhibits a set of Regge trajectories at positive t, and
a leading j-plane cut for negative t, the cross-over point being
model-dependent. For theories with logarithmically-running couplings, one
instead finds a discrete spectrum of poles at all t, where the Regge
trajectories at positive t continuously become a set of slowly-varying and
closely-spaced poles at negative t. Our results agree with expectations for the
BFKL Pomeron at negative t, and with the expected glueball spectrum at positive
t, but provide a framework in which they are unified. Effects beyond the single
Pomeron exchange are briefly discussed.Comment: 68 pages, uses JHEP3.cls, utphys.bst; references added, typos
corrected, and clarifying remarks adde
Variability in lutetium-177 SPECT quantification between different state-of-the-art SPECT/CT systems
Background: Quantitative SPECT imaging in targeted radionuclide therapy with lutetium-177 holds great potential for individualized treatment based on dose assessment. The establishment of dose-effect relations requires a standardized method for SPECT quantification. The purpose of this multi-center study is to evaluate quantitative accuracy and inter-system variations of different SPECT/CT systems with corresponding commercially available quantitative reconstruction algorithms. This is an important step towards a vendor-independent standard for quantitative lutetium-177 SPECT. Methods: Four state-of-the-art SPECT/CT systems were included: Discovery™ NM/CT 670Pro (GE Healthcare), Symbia Intevo™, and two Symbia™ T16 (Siemens Healthineers). Quantitative accuracy and inter-system variations were evaluated by repeatedly scanning a cylindrical phantom with 6 spherical inserts (0.5 – 113 ml). A sphere-to-background activity concentration ratio of 10:1 was used. Acquisition settings were standardized: medium energy collimator, body contour trajectory, photon energy window of 208 keV (± 10%), adjacent 20% lower scatter window, 2 × 64 projections, 128 × 128 matrix size, and 40 s projection time. Reconstructions were performed using GE Evolution with Q.Metrix™, Siemens xSPECT Quant™, Siemens Broad Quantification™ or Siemens Flash3D™ algorithms using vendor recommended settings. In addition, projection data were reconstructed using Hermes SUV SPECT™ with standardized reconstruction settings to obtain a vendor-neutral quantitative reconstruction for all systems. Volumes of interest (VOI) for the spheres were obtained by applying a 50% threshold of the sphere maximum voxel value corrected for background activity. For each sphere, the mean and maximum recovery coefficient (RCmean and RCmax) of three repeated measurements was calculated, defined as the imaged activity concentration divided by the actual activity concentration. Inter-system variations were defined as the range of RC over all systems. Re
Svestka's Research: Then and Now
Zdenek Svestka's research work influenced many fields of solar physics,
especially in the area of flare research. In this article I take five of the
areas that particularly interested him and assess them in a "then and now"
style. His insights in each case were quite sound, although of course in the
modern era we have learned things that he could not readily have envisioned.
His own views about his research life have been published recently in this
journal, to which he contributed so much, and his memoir contains much
additional scientific and personal information (Svestka, 2010).Comment: Invited review for "Solar and Stellar Flares," a conference in honour
of Prof. Zden\v{e}k \v{S}vestka, Prague, June 23-27, 2014. This is a
contribution to a Topical Issue in Solar Physics, based on the presentations
at this meeting (Editors Lyndsay Fletcher and Petr Heinzel
Genetic evaluation of partial growth trajectory of Santa Inês breed using random regression models
Modeling the Subsurface Structure of Sunspots
While sunspots are easily observed at the solar surface, determining their
subsurface structure is not trivial. There are two main hypotheses for the
subsurface structure of sunspots: the monolithic model and the cluster model.
Local helioseismology is the only means by which we can investigate
subphotospheric structure. However, as current linear inversion techniques do
not yet allow helioseismology to probe the internal structure with sufficient
confidence to distinguish between the monolith and cluster models, the
development of physically realistic sunspot models are a priority for
helioseismologists. This is because they are not only important indicators of
the variety of physical effects that may influence helioseismic inferences in
active regions, but they also enable detailed assessments of the validity of
helioseismic interpretations through numerical forward modeling. In this paper,
we provide a critical review of the existing sunspot models and an overview of
numerical methods employed to model wave propagation through model sunspots. We
then carry out an helioseismic analysis of the sunspot in Active Region 9787
and address the serious inconsistencies uncovered by
\citeauthor{gizonetal2009}~(\citeyear{gizonetal2009,gizonetal2009a}). We find
that this sunspot is most probably associated with a shallow, positive
wave-speed perturbation (unlike the traditional two-layer model) and that
travel-time measurements are consistent with a horizontal outflow in the
surrounding moat.Comment: 73 pages, 19 figures, accepted by Solar Physic
Origins of the Ambient Solar Wind: Implications for Space Weather
The Sun's outer atmosphere is heated to temperatures of millions of degrees,
and solar plasma flows out into interplanetary space at supersonic speeds. This
paper reviews our current understanding of these interrelated problems: coronal
heating and the acceleration of the ambient solar wind. We also discuss where
the community stands in its ability to forecast how variations in the solar
wind (i.e., fast and slow wind streams) impact the Earth. Although the last few
decades have seen significant progress in observations and modeling, we still
do not have a complete understanding of the relevant physical processes, nor do
we have a quantitatively precise census of which coronal structures contribute
to specific types of solar wind. Fast streams are known to be connected to the
central regions of large coronal holes. Slow streams, however, appear to come
from a wide range of sources, including streamers, pseudostreamers, coronal
loops, active regions, and coronal hole boundaries. Complicating our
understanding even more is the fact that processes such as turbulence,
stream-stream interactions, and Coulomb collisions can make it difficult to
unambiguously map a parcel measured at 1 AU back down to its coronal source. We
also review recent progress -- in theoretical modeling, observational data
analysis, and forecasting techniques that sit at the interface between data and
theory -- that gives us hope that the above problems are indeed solvable.Comment: Accepted for publication in Space Science Reviews. Special issue
connected with a 2016 ISSI workshop on "The Scientific Foundations of Space
Weather." 44 pages, 9 figure
Measurement of the p-pbar -> Wgamma + X cross section at sqrt(s) = 1.96 TeV and WWgamma anomalous coupling limits
The WWgamma triple gauge boson coupling parameters are studied using p-pbar
-> l nu gamma + X (l = e,mu) events at sqrt(s) = 1.96 TeV. The data were
collected with the DO detector from an integrated luminosity of 162 pb^{-1}
delivered by the Fermilab Tevatron Collider. The cross section times branching
fraction for p-pbar -> W(gamma) + X -> l nu gamma + X with E_T^{gamma} > 8 GeV
and Delta R_{l gamma} > 0.7 is 14.8 +/- 1.6 (stat) +/- 1.0 (syst) +/- 1.0 (lum)
pb. The one-dimensional 95% confidence level limits on anomalous couplings are
-0.88 < Delta kappa_{gamma} < 0.96 and -0.20 < lambda_{gamma} < 0.20.Comment: Submitted to Phys. Rev. D Rapid Communication
Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt{s} = 1.96 TeV using Kinematic Characteristics of Lepton + Jets Events
We present a measurement of the top quark pair ttbar production cross section
in ppbar collisions at a center-of-mass energy of 1.96 TeV using 230 pb**{-1}
of data collected by the DO detector at the Fermilab Tevatron Collider. We
select events with one charged lepton (electron or muon), large missing
transverse energy, and at least four jets, and extract the ttbar content of the
sample based on the kinematic characteristics of the events. For a top quark
mass of 175 GeV, we measure sigma(ttbar) = 6.7 {+1.4-1.3} (stat) {+1.6- 1.1}
(syst) +/-0.4 (lumi) pb, in good agreement with the standard model prediction.Comment: submitted to Phys.Rev.Let
Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt(s)=1.96 TeV using Lepton + Jets Events with Lifetime b-tagging
We present a measurement of the top quark pair () production cross
section () in collisions at TeV
using 230 pb of data collected by the D0 experiment at the Fermilab
Tevatron Collider. We select events with one charged lepton (electron or muon),
missing transverse energy, and jets in the final state. We employ
lifetime-based b-jet identification techniques to further enhance the
purity of the selected sample. For a top quark mass of 175 GeV, we
measure pb, in
agreement with the standard model expectation.Comment: 7 pages, 2 figures, 3 tables Submitted to Phys.Rev.Let
- …