Software requirements as an application domain for natural language processing

Mapping functional requirements first to specifications and then to code is one of the most challenging tasks in software development. Since requirements are commonly written in natural language, they can be prone to ambiguity, incompleteness and inconsistency. Structured semantic representations allow requirements to be translated to formal models, which can be used to detect problems at an early stage of the development process through validation. Storing and querying such models can also facilitate software reuse. Several approaches constrain the input format of requirements to produce specifications, however they usually require considerable human effort in order to adopt domain-specific heuristics and/or controlled languages. We propose a mechanism that automates the mapping of requirements to formal representations using semantic role labeling. We describe the first publicly available dataset for this task, employ a hierarchical framework that allows requirements concepts to be annotated, and discuss how semantic role labeling can be adapted for parsing software requirements.     

Electrochemical conversion of switchgrass and poplar in molten carbonate direct carbon fuel cell

One way of sustaining fuel cell technology is using renewable and sustainable energy means provided by biomass. This article explores switchgrass and poplar in a molten carbonate electrolyte direct carbon fuel cell. It investigates their electrochemical conversions and provides results of power density, current density, open circuit voltage (OCV) and other parameters. The biomasses were pyrolysed at 800°C to produce carbon fuels. Biomass carbon fuels were mixed with molten carbonate and subjected to different operating conditions (600–800°C) in the fuel cell. The electrochemical performances of the poplar fuel were better than those experienced with switchgrass fuel. At 800°C the OCV of poplar fuel (1.08?V) has higher output than switchgrass (0.87?V). The peak power density recorded for poplar fuel was 23.91?mW/cm² while switchgrass fuel was lower at 21.60?mW/cm². Poplar fuel (81.53?mA/cm²) gave a maximum current density with switchgrass fuel lower at 74.00?mA/cm².     

A survey of Legionella pneumophila in water in 12 Canadian cities

A survey of 12 cities across Canada was conducted in order to determine the prevalence of Legionella species in potable water and cooling tower water within buildings. Legionellae were detected in 11.9% of the samples overall: 6.7% from potable water sources and 28.9% from cooling tower water. The maximum concentration of the organism was 45,000 l⁻¹ in one shower-water sample by culture methods. A significant difference in the isolation rate of Legionella pneumophila among cities was observed. The organism was isolated from waters at a temperature of 15–41°C and was most frequently isolated in the 20–29°C range. The concentration of free and total available chlorine in the water was not associated with legionellae recovery except that the organisms were never recovered when the free available chlorine residual exceeded 7.5 mg l⁻¹. Although L. pneumophila were in low concentrations or absent in most samples, the isolated organisms were usually serogroups 1 or 6, the same serogroups that are most often implicated in legionellosis cases in Canada.     

Positive mood and executive function: Evidence from Stroop and fluency tasks.

Contrasting predictions have been made about the effects of positive mood states on the performance of frontal lobe tests that tap executive functions such as inhibition, switching, and strategy use. It has been argued that positive mood is likely to improve some cognitive processes, particularly those dependent on the frontal cortex and anterior cingulate of the brain. However, there is some evidence that happy mood may impair executive functioning. The current experiments investigated the effects of positive mood on Stroop and fluency tests, which are frequently used to assess executive function. Positive mood impaired performance on a switching condition of the Stroop test, but improved performance on a creative uses test of fluency. The effect of positive mood on an executive task may therefore depend on whether a task is inherently motivating or is impaired by diffuse semantic activation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Solar cell efficiency tables (version 43)

Consolidated tables showing an extensive listing of the highest independently confirmed efficiencies for solar cells and modules are presented. Guidelines for inclusion of results into these tables are outlined, and new entries since July 2013 are reviewed. Copyright © 2013 John Wiley & Sons, Ltd.     

The validity of the Gammarus:Asellus ratio as an index of organic pollution: abiotic and biotic influences.

In freshwaters. Gammarus spp. are more sensitive to organic pollution than Asellus spp. and the relative abundance of the two taxa has been proposed as a pollution index. We tested the validity of this by examining the relationship between the Gammarus: Asellus (G : A) ratio and (1) a suite of physico-chemical variables. (2) established biotic (average score per taxon, ASPT) and richness (species richness (S) and Ephemeroptera, Plecoptera and Trichoptera families richness (EPT family richness)) indices generated from the macroinvertebrate community. In addition, we investigated a suspected biotic interaction, predation, between Gammarus and Asellus. Both univariate and multivariate analyses showed that the G: A ratio was sometimes responsive to changes in parameters linked to organic pollution, such as BOD5 and nitrate levels. However, the G : A ratio also appeared responsive to variables not directly linked to organic pollution, such as conductivity and distance from source. There were significant positive correlations among the G : A ratio and the ASPT, S and EPT, indicating that changes in the relative abundances of Gammarus and Asellus were reflected in changes in the pollution sensitivity and richness of the wider macroinvertebrate community. A laboratory experiment revealed significant predation of Asellus aquaticus juveniles by Gammarus duebeni celticus adults, but no reciprocal predation. We propose that the G: A ratio may be useful as a crude measure of organic pollution that could supplement more complex indices in a multimetric approach to pollution monitoring or be used for monitoring individual sites, where a simple technique is required for monitoring purposes over a period of time. Also, we urge recognition of the possible role of biotic interactions among taxa used in the generation of pollution indices.     

Synthesis,structure, and characterization of the thorium zirconolite CaZr1-xThxTi2O7 system

A series of zirconolite ceramics with composition CaZr_1-xTh_xTi₂O₇ (Δx = 0.10) were reactively sintered at 1350°C for 20 h, in air (0 ≤ x ≤ 0.60) and 5% H₂/N₂ (0 ≤ x ≤ 0.40). A sample with composition corresponding to x = 0.20 was also produced by hot isostatic pressing (HIP) at 1300°C and 100 MPa for 4 hours. Th⁴⁺ immobilization was most readily achieved under oxidizing conditions, with Th⁴⁺ preferentially incorporated within a pyrochlore-structured phase in the range 0.10 ≤ x ≤ 0.50, yet formation of the zirconolite-4M polytype was not observed. We report the novel synthesis of single-phase pyrochlore with nominal composition CaZr_0.40Th_0.60Ti₂O₇ when targeting x = 0.60. Th⁴⁺ incorporation under reducing conditions produced a secondary Th-bearing perovskite, comprising 24.2 ± 0.6 wt% of the phase assemblage when targeting x = 0.40, alongside 8.8 ± 0.3 wt% undigested ThO₂. Under reducing conditions, powder XRD data were consistent with zirconolite adopting the 3T polytype structure. The sample produced by HIP presented a nonequilibrium phase assemblage, yielding a major phase of zirconolite-2M alongside accessory Th⁴⁺-bearing phases ThTi₂O₆, ThO₂, and perovskite. These data highlight the efficacy of Th⁴⁺ as a Pu⁴⁺ surrogate, with implications for the formation of Zr-stabilized Th-pyrochlore phases as matrices for waste with elevated Th⁴⁺ content.     

The xenoestrogen bisphenol A induces growth, differentiation, and c-fos gene expression in the female reproductive tract

The xenoestrogen bisphenol A (BPA) has been shown to mimic estrogen both in vivo and in vitro. BPA stimulates PRL secretion and the expression of a PRL regulating factor from the posterior pituitary in the estrogen-sensitive Fischer 344 rat (F344), but not in Sprague-Dawley (SD) rats. The goal of the present studies was to examine the in vivo actions of BPA on the reproductive tract. The specific objectives were 1) to characterize the short term effects of BPA on cell proliferation and c-fos expression in the uterus and vagina, and 2) to compare the effects of prolonged exposure to low doses of BPA on the reproductive tract of F344 and SD rats. Treatment with single high doses of BPA induced cell proliferation in the uterus and vagina of ovariectomized F344 rats, as determined by bromodeoxyuridine immunostaining. This proliferation was dose dependent (from 37.5-150 mg/kg) and followed a time course similar to that of estradiol (E2). Quantitative RT-PCR revealed that both BPA and E2 increased c-fos messenger RNA levels in the uterus 14- to 16-fold within 2 h, which returned to basal levels after 6 h. In the vagina, BPA-induced c-fos expression remained elevated for up to 6 h, compared with the transient increase caused by E2. Treatment of F344 rats for 3 days with continuous release capsules that supplied a much lower dose of BPA (approximately 0.3 mg/kg x day) resulted in hypertrophy, hyperplasia, and mucus secretion in the uterus and hyperplasia and cornification of the vaginal epithelium. The reproductive tract of SD rats did not respond to this treatment paradigm with BPA. These studies demonstrate that 1) the molecular and morphological alterations induced by BPA in the uterus and vagina are nearly identical to those induced by estradiol; 2) the vagina appears to be especially sensitive to the estrogenic actions of BPA; 3) the reproductive tract of the inbred F344 rat appears more sensitive to BPA than that of the outbred SD rat; and 4) continuous exposure to microgram levels of BPA is sufficient for exerting estrogenic actions.     

Nominalization,predication and type containment

In an attempt to accommodate natural language phenomena involving nominalization and self-application, various researchers in formal semantics have proposed abandoning the hierarchical type system which Montague inherited from Russell, in favour of more flexible type regimes. We briefly review the main extant proposals, and then develop a new approach, based semantically on Aczel's notion of Frege structure, which implements a version ofsubsumption polymorphism. Nominalization is achieved by virtue of the fact that the types of predicative and propositional complements are contained in the type of individuals. Russell's paradox is avoided by placing a type-constraint on lambda-abstraction, rather than by restricting comprehension.Kamareddine is grateful to the Department of Mathematics and Computing Science, Technical University of Eindhoven, for their financial support and hospitality during the academic year 1991–92.Klein's work has been carried out as part of the research programmes of the dyana project (BR 3175 and BR 6852), funded by CEC esprit Basic Research Division, and of the Human Communication Research Centre, supported by the UK Economic and Social Research Council.