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 $t$-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

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

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 sNN=2.76\sqrt{s_{\rm NN}}=2.76 TeV

The elliptic, $v_2$, triangular, $v_3$, and quadrangular, $v_4$, azimuthal anisotropic flow coefficients are measured for unidentified charged particles, pions and (anti-)protons in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ 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 $|\eta|<0.8$ at different collision centralities and as a function of transverse momentum, $p_{\rm T}$, out to $p_{\rm T}=20$ GeV/$c$. The observed non-zero elliptic and triangular flow depends only weakly on transverse momentum for $p_{\rm T}>8$ GeV/$c$. The small $p_{\rm T}$ 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 $p_{\rm T}=8$ GeV/$c$. The magnitude of the (anti-)proton elliptic and triangular flow is larger than that of pions out to at least $p_{\rm T}=8$ GeV/$c$ indicating that the particle type dependence persists out to high $p_{\rm T}$.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 sNN=2.76\sqrt{s_{\rm{NN}}} = 2.76 TeV

The inclusive transverse momentum ($p_{\rm T}$) distributions of primary charged particles are measured in the pseudo-rapidity range $|\eta|<0.8$ as a function of event centrality in Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}=2.76$ TeV with ALICE at the LHC. The data are presented in the $p_{\rm T}$ range $0.15<p_{\rm T}<50$ GeV/$c$ for nine centrality intervals from 70-80% to 0-5%. The Pb-Pb spectra are presented in terms of the nuclear modification factor $R_{\rm{AA}}$ using a pp reference spectrum measured at the same collision energy. We observe that the suppression of high-$p_{\rm T}$ particles strongly depends on event centrality. In central collisions (0-5%) the yield is most suppressed with $R_{\rm{AA}}\approx0.13$ at $p_{\rm T}=6$-7 GeV/$c$. Above $p_{\rm T}=7$ GeV/$c$, there is a significant rise in the nuclear modification factor, which reaches $R_{\rm{AA}} \approx0.4$ for $p_{\rm T}>30$ GeV/$c$. In peripheral collisions (70-80%), the suppression is weaker with $R_{\rm{AA}} \approx 0.7$ almost independently of $p_{\rm T}$. 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