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

Anaerobic Carbon Monoxide Dehydrogenase Diversity in the Homoacetogenic Hindgut Microbial Communities of Lower Termites and the Wood Roach

Anaerobic carbon monoxide dehydrogenase (CODH) is a key enzyme in the Wood-Ljungdahl (acetyl-CoA) pathway for acetogenesis performed by homoacetogenic bacteria. Acetate generated by gut bacteria via the acetyl-CoA pathway provides considerable nutrition to wood-feeding dictyopteran insects making CODH important to the obligate mutualism occurring between termites and their hindgut microbiota. To investigate CODH diversity in insect gut communities, we developed the first degenerate primers designed to amplify cooS genes, which encode the catalytic (β) subunit of anaerobic CODH enzyme complexes. These primers target over 68 million combinations of potential forward and reverse cooS primer-binding sequences. We used the primers to identify cooS genes in bacterial isolates from the hindgut of a phylogenetically lower termite and to sample cooS diversity present in a variety of insect hindgut microbial communities including those of three phylogenetically-lower termites, Zootermopsis nevadensis, Reticulitermes hesperus, and Incisitermes minor, a wood-feeding cockroach, Cryptocercus punctulatus, and an omnivorous cockroach, Periplaneta americana. In total, we sequenced and analyzed 151 different cooS genes. These genes encode proteins that group within one of three highly divergent CODH phylogenetic clades. Each insect gut community contained CODH variants from all three of these clades. The patterns of CODH diversity in these communities likely reflect differences in enzyme or physiological function, and suggest that a diversity of microbial species participate in homoacetogenesis in these communities

Iron, silicate, and light co-limitation of three Southern Ocean diatom species

The effect of combined iron, silicate, and light co-limitation was investigated in the three diatom species Actinocyclus sp. Ehrenberg, Chaetoceros dichaeta Ehrenberg, and Chaetoceros debilis Cleve, isolated from the Southern Ocean (SO). Growth of all species was co-limited by iron and silicate, reflected in a significant increase in the number of cell divisions compared to the control. Lowest relative Si uptake and drastic frustule malformation was found under iron and silicate co-limitation in C. dichaeta, while Si limitation in general caused cell elongation in both Chaetoceros species. Higher light intensities similar to SO surface conditions showed a negative impact on growth of C. dichaeta and Actinocyclus sp. and no effect on C. debilis. This is in contrast to the assumed light limitation of SO diatoms due to deep wind driven mixing. Our results suggest that growth and species composition of Southern Ocean diatoms is influenced by a sensitive interaction of the abiotic factors, iron, silicate, and light

Loop Quantum Gravity and the The Planck Regime of Cosmology

The very early universe provides the best arena we currently have to test quantum gravity theories. The success of the inflationary paradigm in accounting for the observed inhomogeneities in the cosmic microwave background already illustrates this point to a certain extent because the paradigm is based on quantum field theory on the curved cosmological space-times. However, this analysis excludes the Planck era because the background space-time satisfies Einstein's equations all the way back to the big bang singularity. Using techniques from loop quantum gravity, the paradigm has now been extended to a self-consistent theory from the Planck regime to the onset of inflation, covering some 11 orders of magnitude in curvature. In addition, for a narrow window of initial conditions, there are departures from the standard paradigm, with novel effects, such as a modification of the consistency relation involving the scalar and tensor power spectra and a new source for non-Gaussianities. Thus, the genesis of the large scale structure of the universe can be traced back to quantum gravity fluctuations \emph{in the Planck regime}. This report provides a bird's eye view of these developments for the general relativity community.Comment: 23 pages, 4 figures. Plenary talk at the Conference: Relativity and Gravitation: 100 Years after Einstein in Prague. To appear in the Proceedings to be published by Edition Open Access. Summarizes results that appeared in journal articles [2-13

The non-Abelian gauge theory of matrix big bangs

We study at the classical and quantum mechanical level the time-dependent Yang-Mills theory that one obtains via the generalisation of discrete light-cone quantisation to singular homogeneous plane waves. The non-Abelian nature of this theory is known to be important for physics near the singularity, at least as far as the number of degrees of freedom is concerned. We will show that the quartic interaction is always subleading as one approaches the singularity and that close enough to t=0 the evolution is driven by the diverging tachyonic mass term. The evolution towards asymptotically flat space-time also reveals some surprising features.Comment: 29 pages, 8 eps figures, v2: minor changes, references added: v3 small typographical changes

Determining the date of diagnosis – is it a simple matter? The impact of different approaches to dating diagnosis on estimates of delayed care for ovarian cancer in UK primary care

Background Studies of cancer incidence and early management will increasingly draw on routine electronic patient records. However, data may be incomplete or inaccurate. We developed a generalisable strategy for investigating presenting symptoms and delays in diagnosis using ovarian cancer as an example. Methods The General Practice Research Database was used to investigate the time between first report of symptom and diagnosis of 344 women diagnosed with ovarian cancer between 01/06/2002 and 31/05/2008. Effects of possible inaccuracies in dating of diagnosis on the frequencies and timing of the most commonly reported symptoms were investigated using four increasingly inclusive definitions of first diagnosis/suspicion: 1. "Definite diagnosis" 2. "Ambiguous diagnosis" 3. "First treatment or complication suggesting pre-existing diagnosis", 4 "First relevant test or referral". Results The most commonly coded symptoms before a definite diagnosis of ovarian cancer, were abdominal pain (41%), urogenital problems(25%), abdominal distension (24%), constipation/change in bowel habits (23%) with 70% of cases reporting at least one of these. The median time between first reporting each of these symptoms and diagnosis was 13, 21, 9.5 and 8.5 weeks respectively. 19% had a code for definitions 2 or 3 prior to definite diagnosis and 73% a code for 4. However, the proportion with symptoms and the delays were similar for all four definitions except 4, where the median delay was 8, 8, 3, 10 and 0 weeks respectively. Conclusion Symptoms recorded in the General Practice Research Database are similar to those reported in the literature, although their frequency is lower than in studies based on self-report. Generalisable strategies for exploring the impact of recording practice on date of diagnosis in electronic patient records are recommended, and studies which date diagnoses in GP records need to present sensitivity analyses based on investigation, referral and diagnosis data. Free text information may be essential in obtaining accurate estimates of incidence, and for accurate dating of diagnoses

Roy-Steiner equations for pion-nucleon scattering

Starting from hyperbolic dispersion relations, we derive a closed system of Roy-Steiner equations for pion-nucleon scattering that respects analyticity, unitarity, and crossing symmetry. We work out analytically all kernel functions and unitarity relations required for the lowest partial waves. In order to suppress the dependence on the high-energy regime we also consider once- and twice-subtracted versions of the equations, where we identify the subtraction constants with subthreshold parameters. Assuming Mandelstam analyticity we determine the maximal range of validity of these equations. As a first step towards the solution of the full system we cast the equations for the $\pi\pi\to\bar NN$ partial waves into the form of a Muskhelishvili-Omn\`es problem with finite matching point, which we solve numerically in the single-channel approximation. We investigate in detail the role of individual contributions to our solutions and discuss some consequences for the spectral functions of the nucleon electromagnetic form factors.Comment: 106 pages, 18 figures; version published in JHE

Epiparasitic plants specialized on arbuscular mycorrhizal fungi

Over 400 non-photosynthetic species from 10 families of vascular plants obtain their carbon from fungi and are thus defined as myco-heterotrophs. Many of these plants are epiparasitic on green plants from which they obtain carbon by 'cheating' shared mycorrhizal fungi. Epiparasitic plants examined to date depend on ectomycorrhizal fungi for carbon transfer and exhibit exceptional specificity for these fungi, but for most myco-heterotrophs neither the identity of the fungi nor the sources of their carbon are known. Because many myco-heterotrophs grow in forests dominated by plants associated with arbuscular mycorrhizal fungi (AMF; phylum Glomeromycota), we proposed that epiparasitism would occur also between plants linked by AMF. On a global scale AMF form the most widespread mycorrhizae, thus the ability of plants to cheat this symbiosis would be highly significant. We analysed mycorrhizae from three populations of Arachnitis uniflora (Corsiaceae, Monocotyledonae), five Voyria species and one Voyriella species (Gentianaceae, Dicotyledonae), and neighbouring green plants. Here we show that non-photosynthetic plants associate with AMF and can display the characteristic specificity of epiparasites. This suggests that AMF mediate significant inter-plant carbon transfer in nature

Haemoglobin mass and running time trial performance after recombinant human erythropoietin administration in trained men

<p>Recombinant human erythropoietin (rHuEpo) increases haemoglobin mass (Hbmass) and maximal oxygen uptake (v˙ O2 max).</p> <p>Purpose: This study defined the time course of changes in Hbmass, v˙ O2 max as well as running time trial performance following 4 weeks of rHuEpo administration to determine whether the laboratory observations would translate into actual improvements in running performance in the field.</p> <p>Methods: 19 trained men received rHuEpo injections of 50 IUNkg21 body mass every two days for 4 weeks. Hbmass was determined weekly using the optimized carbon monoxide rebreathing method until 4 weeks after administration. v˙ O2 max and 3,000 m time trial performance were measured pre, post administration and at the end of the study.</p> <p>Results: Relative to baseline, running performance significantly improved by ,6% after administration (10:3061:07 min:sec vs. 11:0861:15 min:sec, p,0.001) and remained significantly enhanced by ,3% 4 weeks after administration (10:4661:13 min:sec, p,0.001), while v˙ O2 max was also significantly increased post administration (60.765.8 mLNmin21Nkg21 vs. 56.066.2 mLNmin21Nkg21, p,0.001) and remained significantly increased 4 weeks after rHuEpo (58.065.6 mLNmin21Nkg21, p = 0.021). Hbmass was significantly increased at the end of administration compared to baseline (15.261.5 gNkg21 vs. 12.761.2 gNkg21, p,0.001). The rate of decrease in Hbmass toward baseline values post rHuEpo was similar to that of the increase during administration (20.53 gNkg21Nwk21, 95% confidence interval (CI) (20.68, 20.38) vs. 0.54 gNkg21Nwk21, CI (0.46, 0.63)) but Hbmass was still significantly elevated 4 weeks after administration compared to baseline (13.761.1 gNkg21, p<0.001).</p> <p>Conclusion: Running performance was improved following 4 weeks of rHuEpo and remained elevated 4 weeks after administration compared to baseline. These field performance effects coincided with rHuEpo-induced elevated v˙ O2 max and Hbmass.</p&gt

On staying grounded and avoiding Quixotic dead ends

The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area. Although much agreement exists among contributors, much disagreement exists as well, especially about the roles of grounding and abstraction in conceptual processing. I first review theoretical approaches raised in these articles that I believe are Quixotic dead ends, namely, approaches that are principled and inspired but likely to fail. In the process, I review various theories of amodal symbols, their distortions of grounded theories, and fallacies in the evidence used to support them. Incorporating further contributions across articles, I then sketch a theoretical approach that I believe is likely to be successful, which includes grounding, abstraction, flexibility, explaining classic conceptual phenomena, and making contact with real-world situations. This account further proposes that (1) a key element of grounding is neural reuse, (2) abstraction takes the forms of multimodal compression, distilled abstraction, and distributed linguistic representation (but not amodal symbols), and (3) flexible context-dependent representations are a hallmark of conceptual processing