Normalizations with exponentially small remainders for nonautonomous analytic periodic vector fields

In this paper we deal with analytic nonautonomous vector fields with a periodic time-dependancy, that we study near an equilibrium point. In a first part, we assume that the linearized system is split in two invariant subspaces E0 and E1. Under light diophantine conditions on the eigenvalues of the linear part, we prove that there is a polynomial change of coordinates in E1 allowing to eliminate up to a finite polynomial order all terms depending only on the coordinate u0 of E0 in the E1 component of the vector field. We moreover show that, optimizing the choice of the degree of the polynomial change of coordinates, we get an exponentially small remainder. In the second part, we prove a normal form theorem with exponentially small remainder. Similar theorems have been proved before in the autonomous case : this paper generalizes those results to the nonautonomous periodic case

Static Analysis of Aspect Interaction and Composition in Component Models

International audienceComponent based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns that cannot be modularized by regular components. Nowadays, several approaches and frameworks are dedicated to integrate aspects into component models. However, when several aspects are woven, interferences may appear which results on undesirable behaviors. The contribution of this paper is twofold. First, we show how aspectualized component models can be formally modeled in Uppaal model checker in order to detect potential interferences among aspects. Second, we provide an extendible catalog of composition operators used for aspect composition. We illustrate our general approach with an airport Internet service example

From Research to Operational Biomonitoring of Freshwaters: A Suggested Conceptual Framework and Practical Solutions

International audienceThe contradictory demands of managers (quick relevant operational responses) and ecologists (need time for in-depth research) involved in freshwater biomonitoring are still relevant today. To contribute to solving this dilemma, we are proposing a novel biomonitoring approach, which among many others, could be used in this field and further developed in the future. Biomonitoring actions are integrated in conceptual schemes, in which hydrology, chemistry, hydrogeology and geomorphology bear as much importance as biology. Among biomonitoring tools, a harmonization system allows end-users to use a set of qualitative indicators (various biotic indices) and integrate the information given by individual biotic indices. Functional traits and calculation of an ecological potential in porous aquatic habitats (surficial coarse sediments and the hyporheic system) are regarded as a basis for assessing ecological functioning of streams and rivers. This last methodology takes into account the dynamics of water exchanges between surface water and groundwater. Objectives of ecological quality, ecological potentials and resilience capacity that need to be preserved or rehabilitated in aquatic habitats are established. In lakes, a similar approach was followed and a general typology of lake functioning was proposed, including that for urban lakes. All those biomonitoring tools are transferred to end-users and subject to further research. The final purpose is to promote practical high-tech tools which are continually and interactively connected with ongoing research

Model-based testing of global properties on large-scale distributed systems

Context Large-scale distributed systems are becoming commonplace with the large popularity of peer-to-peer and cloud computing. The increasing importance of these systems contrasts with the lack of integrated solutions to build trustworthy software. A key concern of any large-scale distributed system is the validation of global properties, which cannot be evaluated on a single node. Thus, it is necessary to gather data from distributed nodes and to aggregate these data into a global view. This turns out to be very challenging because of the system's dynamism that imposes very frequent changes in local values that affect global properties. This implies that the global view has to be frequently updated to ensure an accurate validation of global properties. Objective In this paper, we present a model-based approach to define a dynamic oracle for checking global properties. Our objective is to abstract relevant aspects of such systems into models. These models are updated at runtime, by monitoring the corresponding distributed system. Method We conduce real-scale experimental validation to evaluate the ability of our approach to check global properties. In this validation, we apply our approach to test two open-source implementations of distributed hash tables. The experiments are deployed on two clusters of 32 nodes. Results The experiments reveal an important defect on one implementation and show clear performance differences between the two implementations. The defect would not be detected without a global view of the system. Conclusion Testing global properties on distributed software consists of gathering data from different nodes and building a global view of the system, where properties are validated. This process requires a distributed test architecture and tools for representing and validating global properties. Model-based techniques are an expressive mean for building oracles that validate global properties on distributed systems. © 2014 Elsevier B.V. All rights reserved

Separatrix splitting at a Hamiltonian 02iω0^2 i\omega bifurcation

We discuss the splitting of a separatrix in a generic unfolding of a degenerate equilibrium in a Hamiltonian system with two degrees of freedom. We assume that the unperturbed fixed point has two purely imaginary eigenvalues and a double zero one. It is well known that an one-parametric unfolding of the corresponding Hamiltonian can be described by an integrable normal form. The normal form has a normally elliptic invariant manifold of dimension two. On this manifold, the truncated normal form has a separatrix loop. This loop shrinks to a point when the unfolding parameter vanishes. Unlike the normal form, in the original system the stable and unstable trajectories of the equilibrium do not coincide in general. The splitting of this loop is exponentially small compared to the small parameter. This phenomenon implies non-existence of single-round homoclinic orbits and divergence of series in the normal form theory. We derive an asymptotic expression for the separatrix splitting. We also discuss relations with behaviour of analytic continuation of the system in a complex neighbourhood of the equilibrium

Single hadron response measurement and calorimeter jet energy scale uncertainty with the ATLAS detector at the LHC

The uncertainty on the calorimeter energy response to jets of particles is derived for the ATLAS experiment at the Large Hadron Collider (LHC). First, the calorimeter response to single isolated charged hadrons is measured and compared to the Monte Carlo simulation using proton-proton collisions at centre-of-mass energies of sqrt(s) = 900 GeV and 7 TeV collected during 2009 and 2010. Then, using the decay of K_s and Lambda particles, the calorimeter response to specific types of particles (positively and negatively charged pions, protons, and anti-protons) is measured and compared to the Monte Carlo predictions. Finally, the jet energy scale uncertainty is determined by propagating the response uncertainty for single charged and neutral particles to jets. The response uncertainty is 2-5% for central isolated hadrons and 1-3% for the final calorimeter jet energy scale.Comment: 24 pages plus author list (36 pages total), 23 figures, 1 table, submitted to European Physical Journal

Identification of potential prognostic biomarkers for node-negative breast tumours by proteomic analysis: a multicentric 2004 national PHRC study

We used a 2D-electrophoresis (2-DE) proteomic approach to identify novel biomarkers in node-negative breast cancers. This retrospective study focused on a population of patients with ductal pN0M0 tumours. A subset of patients who developed metastases and in whose tumours were found high levels of uPA and PAI-1 (metastatic relapse, MR: n=20) were compared to another subset in whom no metastatic relapse occurred and whose tumours were found to have low levels of uPA and PAI-1 (no relapse, NR: n=21). We used a 2-DE coupled with MS approach to screen cytosol fractions using two pH-gradient scales, a broad scale (3.0-11.0) and a narrower scale focussing in on a protein rich region (5.0-8.0). This study was conducted on 41 cytosol specimens analyzed in duplicate on two platforms. The differential analysis of more than 2,000 spots in 2-DE gels, obtained on the two platforms, allowed the identification of 13 proteins which were confirmed by western blotting. Two proteins, GPDA and FABP4 were down-regulated in the MR subset whereas all the others were up-regulated. An in silico analysis revealed that GMPS (GUAA), GAPDH (G3P), CFL1 (COF1) and FTL (FRIL), the most informative genes, displayed a proliferation profile (high expression in basal-like, HER2+ and luminal B molecular subtypes). Inversely, similar to FABP4, GPD1 [GPDA] displayed a high expression in luminal A subtype, a profile characteristic of tumour suppressor genes. Despite the small size of our cohort, the 2-DE analysis gave interesting results which were confirmed by the in silico analysis showing that some of the corresponding genes had a strong prognostic impact in breast cancer, mostly because of their link with proliferation: GMPS, GAPDH, FTL and GPD1. A validation phase on a larger cohort is now needed before these biomarkers could be considered for use in clinical practice

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Measurement of χ c1 and χ c2 production with s√ = 7 TeV pp collisions at ATLAS

The prompt and non-prompt production cross-sections for the χ c1 and χ c2 charmonium states are measured in pp collisions at s√ = 7 TeV with the ATLAS detector at the LHC using 4.5 fb−1 of integrated luminosity. The χ c states are reconstructed through the radiative decay χ c → J/ψγ (with J/ψ → μ + μ −) where photons are reconstructed from γ → e + e − conversions. The production rate of the χ c2 state relative to the χ c1 state is measured for prompt and non-prompt χ c as a function of J/ψ transverse momentum. The prompt χ c cross-sections are combined with existing measurements of prompt J/ψ production to derive the fraction of prompt J/ψ produced in feed-down from χ c decays. The fractions of χ c1 and χ c2 produced in b-hadron decays are also measured

Search for squarks and gluinos in events with isolated leptons, jets and missing transverse momentum at s√=8 TeV with the ATLAS detector

The results of a search for supersymmetry in final states containing at least one isolated lepton (electron or muon), jets and large missing transverse momentum with the ATLAS detector at the Large Hadron Collider are reported. The search is based on proton-proton collision data at a centre-of-mass energy s√=8 TeV collected in 2012, corresponding to an integrated luminosity of 20 fb−1. No significant excess above the Standard Model expectation is observed. Limits are set on supersymmetric particle masses for various supersymmetric models. Depending on the model, the search excludes gluino masses up to 1.32 TeV and squark masses up to 840 GeV. Limits are also set on the parameters of a minimal universal extra dimension model, excluding a compactification radius of 1/R c = 950 GeV for a cut-off scale times radius (ΛR c) of approximately 30