P2P Web service based system for supporting decision-making in cellular manufacturing scheduling

With the increase of the Internet and Virtual Enterprises (VEs), interfaces for web systems and automated services are becoming an emergent necessity. In this paper we propose a Peer-to-peer (P2P) web-based decision-support system for enabling access to different manufacturing scheduling methods, which can be remotely available and accessible from a distributed knowledge base. The XML-based modeling and communication is applied to manufacturing scheduling. Therefore, manufacturing scheduling problems and methods are modeled using XML. The proposed P2P web-based system works as web services, under the SOAP protocol. The system’s distributed knowledge base enables sharing information about scheduling problems and corresponding solving methods in a widened search space, through a scheduling community, integrating a VE. Running several methods enables different results for a given problem, consequently, contributing for a better decision-making. An important aspect is that this knowledge base can be easily and continuously updated by any contributor through the VE. Moreover, through this system once suitable available methods, for a given problem, are identified, it enables running one or more of them, for enabling a better manufacturing scheduling support, enhanced though incorporated fuzzy decision-making proceduresAichi Science and Technology Foundation(PTDC/EME-GIN/102143/2008)info:eu-repo/semantics/publishedVersio

Reusable Components of Semantic Specifications

Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language – even when the two languages have many constructs in common – and evolution of a language may require major reformulation of its semantics. Such drawbacks have discouraged language developers from using formal semantics to document their designs. In the PLanCompS project, we have developed a component-based approach to semantics. Here, we explain its modularity aspects, and present an illustrative case study: a component-based semantics for Caml Light. We have tested the correctness of the semantics by running programs on an interpreter generated from the semantics, comparing the output with that produced on the standard implementation of the language. Our approach provides good modularity, facilitates reuse, and should support co-evolution of languages and their formal semantics. It could be particularly useful in connection with domain-specific languages and language-driven software development

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Handling polymorphic algebraic effects

Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism that allows abstracting not only expressions but also effects and handlers. Although polymorphism makes it possible to reuse and reason about effect implementations more effectively, it has long been known that a naive combination of polymorphic effects and let-polymorphism breaks type safety. Although type safety can often be gained by restricting let-bound expressions---e.g., by adopting value restriction or weak polymorphism---we propose a complementary approach that restricts handlers instead of let-bound expressions. Our key observation is that, informally speaking, a handler is safe if resumptions from the handler do not interfere with each other. To formalize our idea, we define a call-by-value lambda calculus that supports let-polymorphism and polymorphic algebraic effects and handlers, design a type system that rejects interfering handlers, and prove type safety of our calculus.Comment: Added the errata for the ESOP'19 paper (page 28

American Thyroid Association Guide to Investigating Thyroid Hormone Economy and Action in Rodent and Cell Models

Background: An in-depth understanding of the fundamental principles that regulate thyroid hormone homeostasis is critical for the development of new diagnostic and treatment ap-proaches for patients with thyroid disease. Summary: Important clinical practices in use today for the treatment of patients with hypothy-roidism, hyperthyroidism, or thyroid cancer, are the result of laboratory discoveries made by scientists investigating the most basic aspects of thyroid structure and molecular biology. In this document, a panel of experts commissioned by the American Thyroid Association makes a se-ries of recommendations related to the study of thyroid hormone economy and action. These recommendations are intended to promote standardization of study design, which should in turn increase the comparability and reproducibility of experimental findings. Conclusions: It is expected that adherence to these recommendations by investigators in the field will facilitate progress towards a better understanding of the thyroid gland and thyroid hormone dependent processes

Search for R-parity-violating supersymmetry in events with four or more leptons in sqrt(s) =7 TeV pp collisions with the ATLAS detector

A search for new phenomena in final states with four or more leptons (electrons or muons) is presented. The analysis is based on 4.7 fb−1 of $\sqrt{s}=7\;\mathrm{TeV}$ proton-proton collisions delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in two signal regions: one that requires moderate values of missing transverse momentum and another that requires large effective mass. The results are interpreted in a simplified model of R-parity-violating supersymmetry in which a 95% CL exclusion region is set for charged wino masses up to 540 GeV. In an R-parity-violating MSUGRA/CMSSM model, values of m 1/2 up to 820 GeV are excluded for 10 < tan β < 40

Measurement of the cross-section of high transverse momentum vector bosons reconstructed as single jets and studies of jet substructure in pp collisions at √s = 7 TeV with the ATLAS detector

This paper presents a measurement of the cross-section for high transverse momentum W and Z bosons produced in pp collisions and decaying to all-hadronic final states. The data used in the analysis were recorded by the ATLAS detector at the CERN Large Hadron Collider at a centre-of-mass energy of √s = 7 TeV;{\rm Te}{\rm V}$and correspond to an integrated luminosity of$4.6\;{\rm f}{{{\rm b}}^{-1}}$. The measurement is performed by reconstructing the boosted W or Z bosons in single jets. The reconstructed jet mass is used to identify the W and Z bosons, and a jet substructure method based on energy cluster information in the jet centre-of-mass frame is used to suppress the large multi-jet background. The cross-section for events with a hadronically decaying W or Z boson, with transverse momentum${{p}_{{\rm T}}}\gt 320\;{\rm Ge}{\rm V}$and pseudorapidity$|\eta |\lt 1.9$, is measured to be${{\sigma }_{W+Z}}=8.5\pm 1.7$ pb and is compared to next-to-leading-order calculations. The selected events are further used to study jet grooming techniques

The Role of Health Behaviours Across the Life Course in the Socioeconomic Patterning of All-Cause Mortality: The West of Scotland Twenty-07 Prospective Cohort Study

Background: Socioeconomic differentials in mortality are increasing in many industrialised countries. Purpose: This study aims to examine the role of behaviours (smoking, alcohol, exercise, and diet) in explaining socioeconomic differentials in mortality and whether this varies over the life course, between cohorts and by gender. Methods: Analysis of two representative population cohorts of men and women, born in the 1950s and 1930s, were performed. Health behaviours were assessed on five occasions over 20 years. Results: Health behaviours explained a substantial part of the socioeconomic differentials in mortality. Cumulative behaviours and those that were more strongly associated with socioeconomic status had the greatest impact. For example, in the 1950s cohort, the age-sex adjusted hazard ratio comparing respondents with manual versus non-manual occupational status was 1.80 (1.25, 2.58); adjustment for cumulative smoking over 20 years attenuated the association by 49 %, diet by 43 %, drinking by 13 % and inactivity by only 1%. Conclusions: Health behaviours have an important role in explaining socioeconomic differentials in mortality. © 2013 The Author(s)