899 research outputs found
A Declarative Framework for Security: Secure Concurrent Constraint Programming
International audienceDue to technological advances such as the Internet and mobile computing, Security has become a serious challenge involving several disciplines of Computer Science. In recent years, there has been a growing interest in the analysis of security protocols and one promising approach is the development of formalisms that model communicating processes, in particular Process Calculi. The results are so far encouraging although most remains to be done. In this paper we report our observations and preliminary work on CCP as a framework for security protocols
The Gluon Impact Factors
We calculate in the next-to-leading approximation the non-forward gluon
impact factors for arbitrary color state in the -channel. In the case of the
octet state we check the so-called "second bootstrap condition" for the gluon
Reggeization in QCD, using the integral representation for the impact factors.
The condition is fulfilled in the general case of an arbitrary space-time
dimension and massive quark flavors for both helicity conserving and
non-conserving parts.Comment: 32 pages, LaTeX, 1 EPS figure, uses epsf.sty and axodraw.st
Chapter 11 - Near-term climate change: Projections and predictability
This chapter assesses the scientific literature describing expectations for near-term climate (present through mid-century). Unless otherwise stated, "near-term" change and the projected changes below are for the period 2016-2035 relative to the reference period 1986-2005. Atmospheric composition (apart from CO2; see Chapter 12) and air quality projections through to 2100 are also assessed
Recommended from our members
Influence of Dynamic Ozone Dry Deposition on Ozone Pollution
Identifying the contributions of chemistry and transport to observed ozone pollution using regional-to-global models relies on accurate representation of ozone dry deposition. We use a recently developed configuration of the NOAA GFDL chemistry-climate model - in which the atmosphere and land are coupled through dry deposition-to investigate the influence of ozone dry deposition on ozone pollution over northern midlatitudes. In our model, deposition pathways are tied to dynamic terrestrial processes, such as photosynthesis and water cycling through the canopy and soil. Small increases in winter deposition due to more process-based representation of snow and deposition to surfaces reduce hemispheric-scale ozone throughout the lower troposphere by 5-12 ppb, improving agreement with observations relative to a simulation with the standard configuration for ozone dry deposition. Declining snow cover by the end of the 21st-century tempers the previously identified influence of rising methane on winter ozone. Dynamic dry deposition changes summer surface ozone by -4 to +7 ppb. While previous studies emphasize the importance of uptake by plant stomata, new diagnostic tracking of depositional pathways reveals a widespread impact of nonstomatal deposition on ozone pollution. Daily variability in both stomatal and nonstomatal deposition contribute to daily variability in ozone pollution. Twenty-first century changes in summer deposition result from a balance among changes in individual pathways, reflecting differing responses to both high carbon dioxide (through plant physiology versus biomass accumulation) and water availability. Our findings highlight a need for constraints on the processes driving ozone dry deposition to test representation in regional-to-global models.Peer reviewe
Recommended from our members
Estimating North American background ozone in U.S. surface air with two independent global models: Variability, uncertainties, and recommendations
Accurate estimates for North American background (NAB) ozone (O3) in surface air over the United States are needed for setting and implementing an attainable national O3 standard. These estimates rely on simulations with atmospheric chemistry-transport models that set North American anthropogenic emissions to zero, and to date have relied heavily on one global model. We examine NAB estimates for spring and summer 2006 with two independent global models (GEOS-Chem and GFDL AM3). We evaluate the base simulations, which include North American anthropogenic emissions, with mid-tropospheric O3 retrieved from space and ground-level O3 measurements. The models often bracket the observed values, implying value in developing a multi-model approach to estimate NAB O3. Consistent with earlier studies, the models robustly simulate the largest nation-wide NAB levels at high-altitude western U.S. sites (seasonal average maximum daily 8-h values of âź40â50 ppb in spring and âź25â40 ppb in summer) where it correlates with observed O3. At these sites, a 27-year GFDL AM3 simulation simulates observed O3 events above 60 ppb and indicates that year-to-year variations in NAB O3 influence their annual frequency (with NAB contributing 50â60 ppb or more during individual events). During summer over the eastern United States (EUS), when photochemical production from regional anthropogenic emissions peaks, NAB is largely uncorrelated with observed values and it is lower than at high-altitude sites (average values of âź20â30 ppb). Four processes contribute substantially to model differences in specific regions and seasons: lightning NOx, biogenic isoprene emissions and chemistry, wildfires, and stratosphere-to-troposphere transport. Differences in the representations of these processes within the GFDL AM3 and GEOS-Chem models contribute more to uncertainty in NAB estimates, particularly in spring when NAB is highest, than the choice of horizontal resolution within a single model (GEOS-Chem). We propose that future efforts seek to constrain these processes with targeted analysis of multi-model simulations evaluated with observations of O3 and related species from multiple platforms, and thereby reduce the error on NAB estimates needed for air quality planning.Engineering and Applied Science
Sub-femto-g free fall for space-based gravitational wave observatories: LISA pathfinder results
We report the first results of the LISA Pathfinder in-flight experiment. The results demonstrate that two free-falling reference test masses, such as those needed for a space-based gravitational wave observatory like LISA, can be put in free fall with a relative acceleration noise with a square root of the power spectral density of 5.2 Âą 0.1 fm sâ2/âHz or (0.54 Âą 0.01) Ă 10â15 g/âHz, with g the standard gravity, for frequencies between 0.7 and 20 mHz. This value is lower than the LISA Pathfinder requirement by more than a factor 5 and within a factor 1.25 of the requirement for the LISA mission, and is compatible with Brownian noise from viscous damping due to the residual gas surrounding the test masses. Above 60 mHz the acceleration noise is dominated by interferometer displacement readout noise at a level of (34.8 Âą 0.3) fm/âHz, about 2 orders of magnitude better than requirements. At f ⤠0.5 mHz we observe a low-frequency tail that stays below 12 fm sâ2/âHz down to 0.1 mHz. This performance would allow for a space-based gravitational wave
observatory with a sensitivity close to what was originally foreseen for LISA
Anisotropic flow of charged hadrons, pions and (anti-)protons measured at high transverse momentum in Pb-Pb collisions at TeV
The elliptic, , triangular, , and quadrangular, , azimuthal
anisotropic flow coefficients are measured for unidentified charged particles,
pions and (anti-)protons in Pb-Pb collisions at TeV
with the ALICE detector at the Large Hadron Collider. Results obtained with the
event plane and four-particle cumulant methods are reported for the
pseudo-rapidity range at different collision centralities and as a
function of transverse momentum, , out to GeV/.
The observed non-zero elliptic and triangular flow depends only weakly on
transverse momentum for GeV/. The small dependence
of the difference between elliptic flow results obtained from the event plane
and four-particle cumulant methods suggests a common origin of flow
fluctuations up to GeV/. The magnitude of the (anti-)proton
elliptic and triangular flow is larger than that of pions out to at least
GeV/ indicating that the particle type dependence persists out
to high .Comment: 16 pages, 5 captioned figures, authors from page 11, published
version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/186
Centrality dependence of charged particle production at large transverse momentum in Pb-Pb collisions at TeV
The inclusive transverse momentum () distributions of primary
charged particles are measured in the pseudo-rapidity range as a
function of event centrality in Pb-Pb collisions at
TeV with ALICE at the LHC. The data are presented in the range
GeV/ for nine centrality intervals from 70-80% to 0-5%.
The Pb-Pb spectra are presented in terms of the nuclear modification factor
using a pp reference spectrum measured at the same collision
energy. We observe that the suppression of high- particles strongly
depends on event centrality. In central collisions (0-5%) the yield is most
suppressed with at -7 GeV/. Above
GeV/, there is a significant rise in the nuclear modification
factor, which reaches for GeV/. In
peripheral collisions (70-80%), the suppression is weaker with almost independently of . The measured nuclear
modification factors are compared to other measurements and model calculations.Comment: 17 pages, 4 captioned figures, 2 tables, authors from page 12,
published version, figures at
http://aliceinfo.cern.ch/ArtSubmission/node/284
Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV
Results are presented from a search for a W' boson using a dataset
corresponding to 5.0 inverse femtobarns of integrated luminosity collected
during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV.
The W' boson is modeled as a heavy W boson, but different scenarios for the
couplings to fermions are considered, involving both left-handed and
right-handed chiral projections of the fermions, as well as an arbitrary
mixture of the two. The search is performed in the decay channel W' to t b,
leading to a final state signature with a single lepton (e, mu), missing
transverse energy, and jets, at least one of which is tagged as a b-jet. A W'
boson that couples to fermions with the same coupling constant as the W, but to
the right-handed rather than left-handed chiral projections, is excluded for
masses below 1.85 TeV at the 95% confidence level. For the first time using LHC
data, constraints on the W' gauge coupling for a set of left- and right-handed
coupling combinations have been placed. These results represent a significant
improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe
- âŚ