Probing extra spacetime dimensions at the Tevatron

Theories with extra spacetime dimensions aiming at resolving the hierarchy problem have recently been developed. These scenarios have provided exciting new grounds for experimental probes. A review of the searches conducted at the Tevatron in this framework during its first running phase and the prospects for its second running phase are reviewed.Comment: Proceedings of the SUSY 2002 conference, Hamburg, Germany. 8 pages corrected reference and a typ

Topology of event distribution as a generalized definition of phase transitions in finite systems

We propose a definition of phase transitions in finite systems based on topology anomalies of the event distribution in the space of observations. This generalizes all the definitions based on the curvature anomalies of thermodynamical potentials and provides a natural definition of order parameters. The proposed definition is directly operational from the experimental point of view. It allows to study phase transitions in Gibbs equilibria as well as in other ensembles such as the Tsallis ensemble.Comment: 4 pages, 3 figure

Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations

Avoiding access conflicts is a major challenge in the design of multi-threaded programs. In the context of real-time systems, the absence of conflicts can be guaranteed by ensuring that no two potentially conflicting accesses are ever scheduled concurrently.In this paper, we analyze programs that carry time annotations specifying the time for executing each statement. We propose a technique for verifying that a multi-threaded program with time annotations is free of access conflicts. In particular, we generate constraints that reflect the possible schedules for executing the program and the required properties. We then invoke an SMT solver in order to verify that no execution gives rise to concurrent conflicting accesses. Otherwise, we obtain a trace that exhibits the access conflict.Comment: http://journal.ub.tu-berlin.de/eceasst/article/view/97

Oestrogen, an evolutionary conserved regulator of T cell differentiation and immune tolerance in jawed vertebrates?

In teleosts, as in mammals, the immune system is tightly regulated by sexual steroid hormones, such as oestrogens. We investigated the effects of 17β-oestradiol on the expression of several genes related to T cell development and resulting T cell subpopulations in sea bass, Dicentrarchus labrax, for a primary lymphoid organ, the thymus, and two secondary lymphoid organs, the head-kidney and the spleen. In parallel, the oxidative burst capacity was assessed in leucocytes of the secondary lymphoid organs. Apoptosis- and proliferation-related genes, indicative of B and T cell clonal selection and lymphoid progenitor activity, were not affected by elevated oestrogen-levels. Sex-related oestrogen-responsiveness in T cell and antigen-presenting cell markers was observed, the expression of which was differentially induced by oestrogen-exposure in the three lymphoid organs. Remarkably, in the spleen, oestrogen increased regulatory T cell-related gene expression was associated with a decrease in oxidative burst capacity. To the best of our knowledge, this study indicates for the first time that physiological levels of oestrogen are likely to promote immune tolerance by modulating thymic function (i.e., T cell development and output) and peripheral T cells in teleosts, similar to previously reported oestrogenic effects in mammals.CCMAR/Multi/04326/2013; ANRfinanced project ETaT(ANR-15-CE32-0014); FR CNRS 3730 SCALE scholarshipinfo:eu-repo/semantics/publishedVersio

Practical applications of probabilistic model checking to communication protocols

Probabilistic model checking is a formal verification technique for the analysis of systems that exhibit stochastic behaviour. It has been successfully employed in an extremely wide array of application domains including, for example, communication and multimedia protocols, security and power management. In this chapter we focus on the applicability of these techniques to the analysis of communication protocols. An analysis of the performance of such systems must successfully incorporate several crucial aspects, including concurrency between multiple components, real-time constraints and randomisation. Probabilistic model checking, in particular using probabilistic timed automata, is well suited to such an analysis. We provide an overview of this area, with emphasis on an industrially relevant case study: the IEEE 802.3 (CSMA/CD) protocol. We also discuss two contrasting approaches to the implementation of probabilistic model checking, namely those based on numerical computation and those based on discrete-event simulation. Using results from the two tools PRISM and APMC, we summarise the advantages, disadvantages and trade-offs associated with these techniques

Water ice deuteration: a tracer of the chemical history of protostars

Context. Millimetric observations have measured high degrees of molecular deuteration in several species seen around low-mass protostars. The Herschel Space Telescope, launched in 2009, is now providing new measures of the deuterium fractionation of water, the main constituent of interstellar ices. Aims. We aim at theoretically studying the formation and the deuteration of water, which is believed to be formed on interstellar grain surfaces in molecular clouds. Methods. We used our gas-grain astrochemical model GRAINOBLE, which considers the multilayer formation of interstellar ices. We varied several input parameters to study their impact on water deuteration. We included the treatment of ortho- and para-states of key species, including H2, which affects the deuterium fractionation of all molecules. The model also includes relevant laboratory and theoretical works on the water formation and deuteration on grain surfaces. In particular, we computed the transmission probabilities of surface reactions using the Eckart model, and we considered ice photodissociation following molecular dynamics simulations. Results. The use of a multilayer approach allowed us to study the influence of various parameters on the abundance and the deuteration of water. Deuteration of water is found to be very sensitive to the ortho-to-para ratio of H2 and to the total density, but it also depends on the gas/grain temperatures and the visual extinction of the cloud. Since the deuteration is very sensitive to the physical conditions, the comparison with sub-millimetric observation towards the low-mass protostar IRAS 16293 allows us to suggest that water ice is formed together with CO2 in molecular clouds with limited density, whilst formaldehyde and methanol are mainly formed in a later phase, where the condensation becomes denser and colder.Comment: Accepted for publication to A&A. 24 pages, 10 figure

A quoi servent les expertises «RPS» » auprès des CHSCT ? 1: Document de travail LEST

Le droit des CHSCT de faire appel à un expert dans le domaine de l’analyse des conditions de travail s’est développé récemment, passant de 500 à 1500 par an de 2008 à 2014, pour environ 25 000 CHSC, mais ses usages et ses effets sont méconnus. On s'appuie sur trois cas d’études, tirés pour une part d’une enquête réalisée à la demande d’un grand cabinet agréé et d’un retour sur expérience sur l’une des nombreuses missions d’expertise assumées par l’un des coauteurs de l' article. Les terrains d’enquête sont contrastés du point de vue de la configuration des rapports de force entre directions et syndicats et de la manière dont les acteurs s’emparent du rapport remis par les consultants. Dans la première, la réappropriation de l’expertise est des plus limitée et ne permet pas de dénouer une situation de blocage entre RP et direction : cette dernière ignore les préconisations du rapport, que les représentants du personnel réinvestissent eux-mêmes très peu. Dans la seconde, l’expertise conduit les directions à reprendre en compte une partie des préconisations. En dépit des limites des actions entreprises par la direction, on observe que la réalisation de l’expertise contribue à une dynamisation de l’action syndicale sur les questions du travail. La mise en perspective des différentes missions d’expertise étudiées aide à repérer la diversité des usages syndicaux et managériaux qui en sont faits, ainsi que la pluralité des facteurs qui en contraignent les effets sur les modes d’organisation du travail

Perturbative QCD and Tau Decay

Sufficiently inclusive observables in the decay of the tau lepton can be calculated using the methods of perturbative QCD. These include the asymmetry parameter $A_\tau$ that determines that angular distribution of the total hadron momentum in the decay of a polarized tau. It should be possible to measure $A_\tau$ accurately using existing data from LEP. Reliable estimates of theoretical errors are essential in order to determine whether a given observable is sufficiently inclusive to be calculated using perturbative methods. The theoretical uncertainties due to higher orders in $\alpha_s$ can be estimated using recent calculations to all orders in the large-$(33-2N_f)$ limit. These estimates indicate that tau decay data can be used to determine $\alpha_s(M_Z)$ to a precision of 2% or better.Comment: 9 pages, LaTeX with espcrc2.sty, invited talk presented at the TAU 96 Workshop, Estes Park, Colorado, in September 199

Prédiction des services écosystémiques dans les bois agricoles à partir d’images hyperspectrales

Les services écosystémiques sont devenus un enjeu social, écologique et économique majeur dans le monde. Les forêts des paysages agricoles offrent des services précieux bien qu'ils soient souvent sous-estimés et mal utilisés. Cependant, une cartographie précise de ces services à grande échelle reste difficile. Des données de télédétection permettent aujourd’hui d’envisager cette cartographie. Nous avons évalué la contribution des indices de végétation calculés à partir d'images hyperspectrales à haute résolution spatiale pour la prévision de services écosystémiques par rapport aux résultats fondées sur la couverture terrestre. 28 parcelles forestières ont été échantillonnées et des images hyperspectrales aéroportées ont été acquises pour la zone d'étude, à une résolution de 2 m. Habituellement, les indices de végétation dérivés de l'hyperspectral à l’échelle du paysage (buffer spatial autour de l’objet considéré) sont réduits en utilisant des statistiques descriptives (moyenne, écart-type, valeurs minimales et maximales). Cependant, cette approche peut perdre beaucoup d'informations, en particulier à l'échelle des paysages, où plusieurs objets avec différentes signatures spectrales sont présents. Nous proposons une description du paysage hyperspectral basée sur la répartition complète des indices de végétation à travers les paysages. Nous avons utilisé les modèles de mélange gaussien (GMM) pour modéliser la distribution des pixels dans chaque paysage et introduit une distance L2 entre ces mélanges. Cette distance est utilisée dans l’algorithme des plus proches voisins pour prédire les niveaux de services. La qualité des prédictions a été comparée entre trois représentations de paysage: occupation des sols, statistiques descriptives de données hyperspectrales et description de données hyperspectrales basées sur GMM