The role of Comprehension in Requirements and Implications for Use Case Descriptions

Within requirements engineering it is generally accepted that in writing specifications (or indeed any requirements phase document), one attempts to produce an artefact which will be simple to comprehend for the user. That is, whether the document is intended for customers to validate requirements, or engineers to understand what the design must deliver, comprehension is an important goal for the author. Indeed, advice on producing ‘readable’ or ‘understandable’ documents is often included in courses on requirements engineering. However, few researchers, particularly within the software engineering domain, have attempted either to define or to understand the nature of comprehension and it’s implications for guidance on the production of quality requirements. Therefore, this paper examines thoroughly the nature of textual comprehension, drawing heavily from research in discourse process, and suggests some implications for requirements (and other) software documentation. In essence, we find that the guidance on writing requirements, often prevalent within software engineering, may be based upon assumptions which are an oversimplification of the nature of comprehension. Hence, the paper examines guidelines which have been proposed, in this case for use case descriptions, and the extent to which they agree with discourse process theory; before suggesting refinements to the guidelines which attempt to utilise lessons learned from our richer understanding of the underlying discourse process theory. For example, we suggest subtly different sets of writing guidelines for the different tasks of requirements, specification and design

The Complete Star Formation History of the Universe

The determination of the star-formation history of the Universe is a key goal of modern cosmology, as it is crucial to our understanding of how structure in the Universe forms and evolves. A picture has built up over recent years, piece-by-piece, by observing young stars in distant galaxies at different times in the past. These studies indicated that the stellar birthrate peaked some 8 billion years ago, and then declined by a factor of around ten to its present value. Here we report on a new study which obtains the complete star formation history by analysing the fossil record of the stellar populations of 96545 nearby galaxies. Broadly, our results support those derived from high-redshift galaxies elsewhere in the Universe. We find, however, that the peak of star formation was more recent - around 5 billion years ago. Our study also shows that the bigger the stellar mass of the galaxy, the earlier the stars were formed. This striking result indicates a very different formation history for high- and low-mass formation.Comment: Accepted by Nature. Press embargo until publishe

Cortical swallowing processing in early subacute stroke

<p>Abstract</p> <p>Background</p> <p>Dysphagia is a major complication in hemispheric as well as brainstem stroke patients causing aspiration pneumonia and increased mortality. Little is known about the recovery from dysphagia after stroke. The aim of the present study was to determine the different patterns of cortical swallowing processing in patients with hemispheric and brainstem stroke with and without dysphagia in the early subacute phase.</p> <p>Methods</p> <p>We measured brain activity by mean of whole-head MEG in 37 patients with different stroke localisation 8.2 +/- 4.8 days after stroke to study changes in cortical activation during self-paced swallowing. An age matched group of healthy subjects served as controls. Data were analyzed by means of synthetic aperture magnetometry and group analyses were performed using a permutation test.</p> <p>Results</p> <p>Our results demonstrate strong bilateral reduction of cortical swallowing activation in dysphagic patients with hemispheric stroke. In hemispheric stroke without dysphagia, bilateral activation was found. In the small group of patients with brainstem stroke we observed a reduction of cortical activation and a right hemispheric lateralization.</p> <p>Conclusion</p> <p>Bulbar central pattern generators coordinate the pharyngeal swallowing phase. The observed right hemispheric lateralization in brainstem stroke can therefore be interpreted as acute cortical compensation of subcortically caused dysphagia. The reduction of activation in brainstem stroke patients and dysphagic patients with cortical stroke could be explained in terms of diaschisis.</p

Identification of Kinases Regulating Prostate Cancer Cell Growth Using an RNAi Phenotypic Screen

As prostate cancer progresses to castration-resistant disease, there is an increase in signal transduction activity. Most castration-resistant prostate tumors continue to express the androgen receptor (AR) as well as androgen-responsive genes, despite the near absence of circulating androgen in these patients. The AR is regulated not only by its cognate steroid hormone, but also by interactions with a constellation of co-regulatory and signaling molecules. Thus, the elevated signaling activity that occurs during progression to castration resistance can affect prostate cancer cell growth either through the AR or independent of the AR. In order to identify signaling pathways that regulate prostate cancer cell growth, we screened a panel of shRNAs targeting 673 human kinases against LNCaP prostate cancer cells grown in the presence and absence of hormone. The screen identified multiple shRNA clones against known and novel gene targets that regulate prostate cancer cell growth. Based on the magnitude of effect on growth, we selected six kinases for further study: MAP3K11, DGKD, ICK, CIT, GALK2, and PSKH1. Knockdown of these kinases decreased cell growth in both androgen-dependent and castration-resistant prostate cancer cells. However, these kinases had different effects on basal or androgen-induced transcriptional activity of AR target genes. MAP3K11 knockdown most consistently altered transcription of AR target genes, suggesting that MAP3K11 affected its growth inhibitory effect by modulating the AR transcriptional program. Consistent with MAP3K11 acting on the AR, knockdown of MAP3K11 inhibited AR Ser 650 phosphorylation, further supporting stress kinase regulation of AR phosphorylation. This study demonstrates the applicability of lentiviral-based shRNA for conducting phenotypic screens and identifies MAP3K11, DGKD, ICK, CIT, GALK2, and PSKH1 as regulators of prostate cancer cell growth. The thorough evaluation of these kinase targets will pave the way for developing more effective treatments for castration-resistant prostate cancer

An Experimental Exploration of the QCD Phase Diagram: The Search for the Critical Point and the Onset of De-confinement

The QCD phase diagram lies at the heart of what the RHIC Physics Program is all about. While RHIC has been operating very successfully at or close to its maximum energy for almost a decade, it has become clear that this collider can also be operated at lower energies down to 5 GeV without extensive upgrades. An exploration of the full region of beam energies available at the RHIC facility is imperative. The STAR detector, due to its large uniform acceptance and excellent particle identification capabilities, is uniquely positioned to carry out this program in depth and detail. The first exploratory beam energy scan (BES) run at RHIC took place in 2010 (Run 10), since several STAR upgrades, most importantly a full barrel Time of Flight detector, are now completed which add new capabilities important for the interesting physics at BES energies. In this document we discuss current proposed measurements, with estimations of the accuracy of the measurements given an assumed event count at each beam energy.Comment: 59 pages, 78 figure

What drives sound symbolism? Different acoustic cues underlie sound-size and sound-shape mappings

Sound symbolism refers to the non-arbitrary mappings that exist between phonetic properties of speech sounds and their meaning. Despite there being an extensive literature on the topic, the acoustic features and psychological mechanisms that give rise to sound symbolism are not, as yet, altogether clear. The present study was designed to investigate whether different sets of acoustic cues predict size and shape symbolism, respectively. In two experiments, participants judged whether a given consonant-vowel speech sound was large or small, round or angular, using a size or shape scale. Visual size judgments were predicted by vowel formant F1 in combination with F2, and by vowel duration. Visual shape judgments were, however, predicted by formants F2 and F3. Size and shape symbolism were thus not induced by a common mechanism, but rather were distinctly affected by acoustic properties of speech sounds. These findings portray sound symbolism as a process that is not based merely on broad categorical contrasts, such as round/unround and front/back vowels. Rather, individuals seem to base their sound-symbolic judgments on specific sets of acoustic cues, extracted from speech sounds, which vary across judgment dimensions

Systematic Identification of Combinatorial Drivers and Targets in Cancer Cell Lines

There is an urgent need to elicit and validate highly efficacious targets for combinatorial intervention from large scale ongoing molecular characterization efforts of tumors. We established an in silico bioinformatic platform in concert with a high throughput screening platform evaluating 37 novel targeted agents in 669 extensively characterized cancer cell lines reflecting the genomic and tissue-type diversity of human cancers, to systematically identify combinatorial biomarkers of response and co-actionable targets in cancer. Genomic biomarkers discovered in a 141 cell line training set were validated in an independent 359 cell line test set. We identified co-occurring and mutually exclusive genomic events that represent potential drivers and combinatorial targets in cancer. We demonstrate multiple cooperating genomic events that predict sensitivity to drug intervention independent of tumor lineage. The coupling of scalable in silico and biologic high throughput cancer cell line platforms for the identification of co-events in cancer delivers rational combinatorial targets for synthetic lethal approaches with a high potential to pre-empt the emergence of resistance

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