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

Agronomic Management of Indigenous Mycorrhizas

Many of the advantages conferred to plants by arbuscular mycorrhiza (AM) are associated to the ability of AM plants to explore a greater volume of soil through the extraradical mycelium. Sieverding (1991) estimates that for each centimetre of colonized root there is an increase of 15 cm3 on the volume of soil explored, this value can increase to 200 cm3 depending on the circumstances. Due to the enhancement of the volume of soil explored and the ability of the extraradical mycelium to absorb and translocate nutrients to the plant, one of the most obvious and important advantages resulting from mycorrhization is the uptake of nutrients. Among of which the ones that have immobilized forms in soil, such as P, assume particular significance. Besides this, many other benefits are recognized for AM plants (Gupta et al, 2000): water stress alleviation (Augé, 2004; Cho et al, 2006), protection from root pathogens (Graham, 2001), tolerance to toxic heavy metals and phytoremediation (Audet and Charest, 2006; Göhre and Paszkowski, 2006), tolerance to adverse conditions such as very high or low temperature, high salinity (Sannazzaro et al, 2006), high or low pH (Yano and Takaki, 2005) or better performance during transplantation shock (Subhan et al, 1998). The extraradical hyphae also stabilize soil aggregates by both enmeshing soil particles (Miller e Jastrow, 1992) and producing a glycoprotein, golmalin, which may act as a glue-like substance to adhere soil particles together (Wright and Upadhyaya, 1998). Despite the ubiquous distribution of mycorrhizal fungi (Smith and Read, 2000) and only a relative specificity between host plants and fungal isolates (McGonigle and Fitter, 1990), the obligate nature of the symbiosis implies the establishment of a plant propagation system, either under greenhouse conditions or in vitro laboratory propagation. These techniques result in high inoculum production costs, which still remains a serious problem since they are not competitive with production costs of phosphorus fertilizer. Even if farmers understand the significance of sustainable agricultural systems, the reduction of phosphorus inputs by using AM fungal inocula alone cannot be justified except, perhaps, in the case of high value crops (Saioto and Marumoto, 2002). Nurseries, high income horticulture farmers and no-agricultural application such as rehabilitation of degraded or devegetated landscapes are examples of areas where the use of commercial inoculum is current. Another serious problem is quality of commercial available products concerning guarantee of phatogene free content, storage conditions, most effective application methods and what types to use. Besides the information provided by suppliers about its inoculum can be deceiving, as from the usually referred total counts, only a fraction may be effective for a particular plant or in specific soil conditions. Gianinazzi and Vosátka (2004) assume that progress should be made towards registration procedures that stimulate the development of the mycorrhizal industry. Some on-farm inoculum production and application methods have been studied, allowing farmers to produce locally adapted isolates and generate a taxonomically diverse inoculum (Mohandas et al, 2004; Douds et al, 2005). However the inocula produced this way are not readily processed for mechanical application to the fields, being an obstacle to the utilization in large scale agriculture, especially row crops, moreover it would represent an additional mechanical operation with the corresponding economic and soil compaction costs. It is well recognized that inoculation of AM fungi has a potential significance in not only sustainable crop production, but also environmental conservation. However, the status quo of inoculation is far from practical technology that can be widely used in the field. Together a further basic understanding of the biology and diversity of AM fungi is needed (Abbott at al, 1995; Saito and Marumoto, 2002). Advances in ecology during the past decade have led to a much more detailed understanding of the potential negative consequences of species introductions and the potential for negative ecological consequences of invasions by mycorrhizal fungi is poorly understood. Schwartz et al, (2006) recommend that a careful assessment documenting the need for inoculation, and the likelihood of success, should be conducted prior to inoculation because inoculations are not universally beneficial. Agricultural practices such as crop rotation, tillage, weed control and fertilizer apllication all produce changes in the chemical, physical and biological soil variables and affect the ecological niches available for occupancy by the soil biota, influencing in different ways the symbiosis performance and consequently the inoculum development, shaping changes and upset balance of native populations. The molecular biology tools developed in the latest years have been very important for our perception of these changes, ensuing awareness of management choice implications in AM development. In this context, for extensive farming systems and regarding environmental and economic costs, the identification of agronomic management practices that allow controlled manipulation of the fungal community and capitalization of AM mutualistic effect making use of local inoculum, seem to be a wise option for mycorrhiza promotion and development of sustainable crop production

Finite-size and correlation-induced effects in Mean-field Dynamics

The brain's activity is characterized by the interaction of a very large number of neurons that are strongly affected by noise. However, signals often arise at macroscopic scales integrating the effect of many neurons into a reliable pattern of activity. In order to study such large neuronal assemblies, one is often led to derive mean-field limits summarizing the effect of the interaction of a large number of neurons into an effective signal. Classical mean-field approaches consider the evolution of a deterministic variable, the mean activity, thus neglecting the stochastic nature of neural behavior. In this article, we build upon two recent approaches that include correlations and higher order moments in mean-field equations, and study how these stochastic effects influence the solutions of the mean-field equations, both in the limit of an infinite number of neurons and for large yet finite networks. We introduce a new model, the infinite model, which arises from both equations by a rescaling of the variables and, which is invertible for finite-size networks, and hence, provides equivalent equations to those previously derived models. The study of this model allows us to understand qualitative behavior of such large-scale networks. We show that, though the solutions of the deterministic mean-field equation constitute uncorrelated solutions of the new mean-field equations, the stability properties of limit cycles are modified by the presence of correlations, and additional non-trivial behaviors including periodic orbits appear when there were none in the mean field. The origin of all these behaviors is then explored in finite-size networks where interesting mesoscopic scale effects appear. This study leads us to show that the infinite-size system appears as a singular limit of the network equations, and for any finite network, the system will differ from the infinite system

Physics, Astrophysics and Cosmology with Gravitational Waves

Gravitational wave detectors are already operating at interesting sensitivity levels, and they have an upgrade path that should result in secure detections by 2014. We review the physics of gravitational waves, how they interact with detectors (bars and interferometers), and how these detectors operate. We study the most likely sources of gravitational waves and review the data analysis methods that are used to extract their signals from detector noise. Then we consider the consequences of gravitational wave detections and observations for physics, astrophysics, and cosmology.Comment: 137 pages, 16 figures, Published version <http://www.livingreviews.org/lrr-2009-2

Search For Heavy Pointlike Dirac Monopoles

We have searched for central production of a pair of photons with high transverse energies in $p\bar p$ collisions at $\sqrt{s} = 1.8$ TeV using $70 pb^{-1}$ of data collected with the D\O detector at the Fermilab Tevatron in 1994--1996. If they exist, virtual heavy pointlike Dirac monopoles could rescatter pairs of nearly real photons into this final state via a box diagram. We observe no excess of events above background, and set lower 95% C.L. limits of $610, 870, or 1580 GeV/c^2$ on the mass of a spin 0, 1/2, or 1 Dirac monopole.Comment: 12 pages, 4 figure

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

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

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

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

Antidepressant activity of anti-cytokine treatment: a systematic review and meta-analysis of clinical trials of chronic inflammatory conditions.

Inflammatory cytokines are commonly elevated in acute depression and are associated with resistance to monoaminergic treatment. To examine the potential role of cytokines in the pathogenesis and treatment of depression, we carried out a systematic review and meta-analysis of antidepressant activity of anti-cytokine treatment using clinical trials of chronic inflammatory conditions where depressive symptoms were measured as a secondary outcome. Systematic search of the PubMed, EMBASE, PsycINFO and Cochrane databases, search of reference lists and conference abstracts, followed by study selection process yielded 20 clinical trials. Random effect meta-analysis of seven randomised controlled trials (RCTs) involving 2370 participants showed a significant antidepressant effect of anti-cytokine treatment compared with placebo (standardised mean difference (SMD)=0.40, 95% confidence interval (CI), 0.22-0.59). Anti-tumour necrosis factor drugs were most commonly studied (five RCTs); SMD=0.33 (95% CI; 0.06-0.60). Separate meta-analyses of two RCTs of adjunctive treatment with anti-cytokine therapy and eight non-randomised and/or non-placebo studies yielded similar small-to-medium effect estimates favouring anti-cytokine therapy; SMD=0.19 (95% CI, 0.00-0.37) and 0.51 (95% CI, 0.34-0.67), respectively. Adalimumab, etanercept, infliximab and tocilizumab all showed statistically significant improvements in depressive symptoms. Meta-regression exploring predictors of response found that the antidepressant effect was associated with baseline symptom severity (P=0.018) but not with improvement in primary physical illness, sex, age or study duration. The findings indicate a potentially causal role for cytokines in depression and that cytokine modulators may be novel drugs for depression in chronically inflamed subjects. The field now requires RCTs of cytokine modulators using depression as the primary outcome in subjects with high inflammation who are free of other physical illnesses.GMK is supported by a Clinical Lecturer Starter Grant from the Academy of Medical Sciences, UK (grant no. 80354) and a Gosling Fellowship from the Royal College of Psychiatrists, UK (2015). GMK also received funding support from the Wellcome Trust 094790/Z/10/Z). PBJ acknowledges grant sup port from the Wellcome Trust (095844/Z/11/Z & 088869/Z/09/Z) and NIHR (RP-PG-0606-1335, Cambridge Biomedical Research Centre and CLAHRC East of England). RD has received grants from the National Institute of Neurological Diseases and Stroke of the National Institutes of Health (grants R01 NS073939; R01 NS074999).This is the final version of the article. It first appeared from Nature Publishing Group via http://dx.doi.org/10.1038/mp.2016.16