Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

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

Representation of cognitive reappraisal goals in frontal gamma oscillations

Recently, numerous efforts have been made to understand the neural mechanisms underlying cognitive regulation of emotion, such as cognitive reappraisal. Many studies have reported that cognitive control of emotion induces increases in neural activity of the control system, including the prefrontal cortex and the dorsal anterior cingulate cortex, and increases or decreases (depending upon the regulation goal) in neural activity of the appraisal system, including the amygdala and the insula. It has been hypothesized that information about regulation goals needs to be processed through interactions between the control and appraisal systems in order to support cognitive reappraisal. However, how this information is represented in the dynamics of cortical activity remains largely unknown. To address this, we investigated temporal changes in gamma band activity (35-55 Hz) in human electroencephalograms during a cognitive reappraisal task that was comprised of three reappraisal goals: To decease, maintain, or increase emotional responses modulated by affect-laden pictures. We examined how the characteristics of gamma oscillations, such as spectral power and large-scale phase synchronization, represented cognitive reappraisal goals. We found that left frontal gamma power decreased, was sustained, or increased when the participants suppressed, maintained, or amplified their emotions, respectively. This change in left frontal gamma power appeared during an interval of 1926 to 2453 ms after stimulus onset. We also found that the number of phase-synchronized pairs of gamma oscillations over the entire brain increased when participants regulated their emotions compared to when they maintained their emotions. These results suggest that left frontal gamma power may reflect cortical representation of emotional states modulated by cognitive reappraisal goals and gamma phase synchronization across whole brain regions may reflect emotional regulatory efforts to achieve these goals. Our study may provide the basis for an electroencephalogram-based neurofeedback system for the cognitive regulation of emotion.open0

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

THE CONCISE GUIDE TO PHARMACOLOGY 2017/18: Overview

The Concise Guide to PHARMACOLOGY 2017/18 is the third in this series of biennial publications. This version provides concise overviews of the key properties of nearly 1800 human drug targets with an emphasis on selective pharmacology (where available), plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. Although the Concise Guide represents approximately 400 pages, the material presented is substantially reduced compared to information and links presented on the website. It provides a permanent, citable, point-in-time record that will survive database updates. The full contents of this section can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13882/full. In addition to this overview, in which are identified ‘Other protein targets’ which fall outside of the subsequent categorisation, there are eight areas of focus: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The landscape format of the Concise Guide is designed to facilitate comparison of related targets from material contemporary to mid-2017, and supersedes data presented in the 2015/16 and 2013/14 Concise Guides and previous Guides to Receptors and Channels. It is produced in close conjunction with the Nomenclature Committee of the Union of Basic and Clinical Pharmacology (NC-IUPHAR), therefore, providing official IUPHAR classification and nomenclature for human drug targets, where appropriate

The Concise Guide to PHARMACOLOGY 2015/16:Ligand-gated ion channels

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13349/full. Ligand-gated ion channels are one of the eight major pharmacological targets into which the Guide is divided, with the others being: ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Nuclear hormone receptors

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13352/full. Nuclear hormone receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, catalytic receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Enzymes

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13354/full. G protein-coupled receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Transporters

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13355/full. G protein-coupled receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Catalytic receptors

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13353/full. G protein-coupled receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors &amp; Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates.</p