557 research outputs found
Multilevel Contracts for Trusted Components
This article contributes to the design and the verification of trusted
components and services. The contracts are declined at several levels to cover
then different facets, such as component consistency, compatibility or
correctness. The article introduces multilevel contracts and a
design+verification process for handling and analysing these contracts in
component models. The approach is implemented with the COSTO platform that
supports the Kmelia component model. A case study illustrates the overall
approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233
Effects of Paternal Preconception Vapor Alcohol Exposure Paradigms on Behavioral Responses in Offspring
We and others previously reported that paternal preconception chronic ethanol exposure leads to molecular, physiological, and behavioral changes in offspring including reduced ethanol consumption and preference relative to controls. The goal of the present study was to further explore the impact of paternal ethanol exposure on a wide variety of basal and drug-induced behavioral responses in first generation offspring. Adult male mice were exposed to chronic intermittent vapor ethanol or control conditions for 5â6 weeks before being mated with ethanol-naĂŻve females to produce ethanol (E)- and control (C)-sired offspring. E-sired male offspring showed stress hyporesponsivity in a stress-induced hyperthermia assay and E-sired female offspring had reduced binge-like ethanol consumption in a drinking in the dark assay compared to C-sired offspring. E-sired offspring also showed altered sensitivity to a sedative/hypnotic dose of the GABAergic drug midazolam, but not ketamine or ethanol, in a loss of the righting response assay. E-sired offspring did not differ from controls in marble burying, novel object location, novel object recognition, social interaction, bottle-brush, novelty suppressed feeding, prepulse inhibition, every-other-day ethanol drinking, or home cage activity assays. This study adds to a growing body of literature suggesting that like in utero alcohol exposure, paternal preconception alcohol exposure can also have effects that persist and impact behavior of offspring
Azimuthal Correlations in the Target Fragmentation Region of High Energy Nuclear Collisions
Results on the target mass dependence of proton and pion pseudorapidity
distributions and of their azimuthal correlations in the target rapidity range
are presented. The data have been taken with the
Plastic-Ball detector set-up for 4.9 GeV p + Au collisions at the Berkeley
BEVALAC and for 200 GeV/ p-, O-, and S-induced reactions on
different nuclei at the CERN-SPS. The yield of protons at backward rapidities
is found to be proportional to the target mass. Although protons show a typical
``back-to-back'' correlations, a ``side-by-side'' correlation is observed for
positive pions, which increases both with target mass and with impact parameter
of a collision. The data can consistently be described by assuming strong
rescattering phenomena including pion absorption effects in the entire excited
target nucleus.Comment: 7 pages, figures included, complete postscript available at
ftp://qgp.uni-muenster.de/pub/paper/azi-correlations.ps submitted to Phys.
Lett.
Enhanced cosmic-ray flux toward zeta Persei inferred from laboratory study of H3+ - e- recombination rate
The H3+ molecular ion plays a fundamental role in interstellar chemistry, as
it initiates a network of chemical reactions that produce many interstellar
molecules. In dense clouds, the H3+ abundance is understood using a simple
chemical model, from which observations of H3+ yield valuable estimates of
cloud path length, density, and temperature. On the other hand, observations of
diffuse clouds have suggested that H3+ is considerably more abundant than
expected from the chemical models. However, diffuse cloud models have been
hampered by the uncertain values of three key parameters: the rate of H3+
destruction by electrons, the electron fraction, and the cosmic-ray ionisation
rate. Here we report a direct experimental measurement of the H3+ destruction
rate under nearly interstellar conditions. We also report the observation of
H3+ in a diffuse cloud (towards zeta Persei) where the electron fraction is
already known. Taken together, these results allow us to derive the value of
the third uncertain model parameter: we find that the cosmic-ray ionisation
rate in this sightline is forty times faster than previously assumed. If such a
high cosmic-ray flux is indeed ubiquitous in diffuse clouds, the discrepancy
between chemical models and the previous observations of H3+ can be resolved.Comment: 6 pages, Nature, in pres
Xcd - Modular, Realizable Software Architectures
Connector-Centric Design (Xcd) is centred around a new formal architectural description language, focusing mainly on complex connectors. Inspired by Wright and BIP, Xcd aims to cleanly separate in a modular manner the high-level functional, interaction, and control system behaviours. This can aid in both increasing the understandability of architectural specifications and the reusability of components and connectors themselves. Through the independent specification of control behaviours, Xcd allows designers to experiment more easily with different design decisions early on, without having to modify the functional behaviour specifications (components) or the interaction ones(connectors).
At the same time Xcd attempts to ease the architectural specification by following (and extending) a Design-by-Contract approach, which is more familiar to software developers than process algebras like CSP or languages like BIP that are closer to synchronous/hardware specification languages. Xcd extends Design-by-Contract (i) by separating component contracts into functional and interaction sub-contracts, and (ii) by allowing service consumers to specify their own contractual clauses. Xcd connector specifications are completely decentralized, foregoing Wrightâs connector glue, to ensure their realizability by construction
Deuteron and antideuteron production in Au+Au collisions at sqrt(s_NN)=200 GeV
The production of deuterons and antideuterons in the transverse momentum
range 1.1 < p_T < 4.3 GeV/c at mid-rapidity in Au + Au collisions at
sqrt(s_NN)=200 GeV has been studied by the PHENIX experiment at RHIC. A
coalescence analysis comparing the deuteron and antideuteron spectra with those
of protons and antiprotons, has been performed. The coalescence probability is
equal for both deuterons and antideuterons and increases as a function of p_T,
which is consistent with an expanding collision zone. Comparing (anti)proton
yields p_bar/p = 0.73 +/- 0.01, with (anti)deuteron yields: d_bar/d = 0.47 +/-
0.03, we estimate that n_bar/n = 0.64 +/- 0.04.Comment: 326 authors, 6 pages text, 5 figures, 1 Table. Submitted to PRL.
Plain text data tables for the points plotted in figures for this and
previous PHENIX publications are (or will be) publicly available at
http://www.phenix.bnl.gov/papers.htm
Mid-Rapidity Direct-Photon Production in p+p Collisions at sqrt(s) = 200 GeV
A measurement of direct photons in p+p collisions at sqrt(s)=200 GeV is
presented. A photon excess above background from pi^0 --> gamma+gamma, eta -->
gamma+gamma, and other decays is observed in the transverse momentum range 5.5
< p_T < 7 GeV/c. The result is compared to a next-to-leading-order perturbative
QCD calculation. Within errors, good agreement is found between the QCD
calculation and the measured result.Comment: 330 authors, 7 pages text, RevTeX, 2 figures, 2 tables. Submitted to
Physical Review D. Plain text data tables for the points plotted in figures
for this and previous PHENIX publications are (or will be) publicly available
at http://www.phenix.bnl.gov/papers.htm
Suppressed pi^0 Production at Large Transverse Momentum in Central Au+Au Collisions at sqrt(s_NN) = 200 GeV
Transverse momentum spectra of neutral pions in the range 1 < p_T < 10 GeV/c
have been measured at mid-rapidity by the PHENIX experiment at RHIC in Au+Au
collisions at sqrt(s_NN) = 200 GeV. The pi^0 multiplicity in central reactions
is significantly below the yields measured at the same sqrt(s_NN) in peripheral
Au+Au and p+p reactions scaled by the number of nucleon-nucleon collisions. For
the most central bin, the suppression factor is ~2.5 at p_T = 2 GeV/c and
increases to ~4-5 at p_T ~= 4 GeV/c. At larger p_T, the suppression remains
constant within errors. The deficit is already apparent in semi-peripheral
reactions and increases smoothly with centrality.Comment: 326 authors, 6 pages text, RevTeX, 3 figures, 2 tables. Submitted to
PRL. Plain text data tables for the points plotted in figures for this and
previous PHENIX publications are (or will be) publicly available at
http://www.phenix.bnl.gov/papers.htm
Scaling properties of proton and anti-proton production in sqrt(s_NN) = 200 GeV Au + Au collisions
We report on the yield of protons and anti-protons, as a function of
centrality and transverse momentum, in Au+Au collisions at sqrt(s_NN) = 200 GeV
measured at mid-rapidity by the PHENIX experiment at RHIC. In central
collisions at intermediate transverse momenta (1.5 < p_T < 4.5 GeV/c) a
significant fraction of all produced particles are protons and anti-protons.
They show a centrality-scaling behavior different from that of pions. The
p-bar/pion and p/pion ratios are enhanced compared to peripheral Au+Au, p+p,
and electron+positron collisions. This enhancement is limited to p_T < 5 GeV/c
as deduced from the ratio of charged hadrons to pi^0 measured in the range 1.5
< p_T < 9 GeV/c.Comment: 325 authors, 6 pages text, 4 figures, RevTeX 4. Minor changes to text
and figures to meet PRL length restrictions; no changes to figures;
resubmitted to PRL. Plain text data tables for the points plotted in figures
for this and previous PHENIX publications are (or will be) publicly available
at http://www.phenix.bnl.gov/papers.htm
Net Charge Fluctuations in Au + Au Interactions at sqrt(s_NN) = 130 GeV
Data from Au + Au interactions at sqrt(s_NN) = 130 GeV, obtained with the
PHENIX detector at RHIC, are used to investigate local net charge fluctuations
among particles produced near mid-rapidity. According to recent suggestions,
such fluctuations may carry information from the Quark Gluon Plasma. This
analysis shows that the fluctuations are dominated by a stochastic distribution
of particles, but are also sensitive to other effects, like global charge
conservation and resonance decays.Comment: 6 pages, RevTeX 3, 3 figures, 307 authors, submitted to Phys. Rev.
Lett. on 21 March, 2002. Plain text data tables for the points plotted in
figures for this and previous PHENIX publications are (will be made) publicly
available at http://www.phenix.bnl.gov/phenix/WWW/run/phenix/papers.htm
- âŠ