Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Figuring Abjection: The Slave Mother in the Early Creole Novel

While twentieth century Caribbean literature in French (particularly post-Césaire) has generated a large body of criticism, writing from the nineteenth century has been largely neglected. This article begins by contextualising the Creole novel of the early nineteenth century in cultural and historical terms, before proceeding to an analysis of two novels published in 1835 by Martinican authors: Outre-mer by Louis de Maynard, and Les Créoles by Jules Levilloux. In the few studies that exist, these texts have been read in opposition to each other in terms of their portrayal of the (male) mulatto; Levilloux has generally been considered the more progressive writer in this regard. However they are in fact in striking harmony in their depiction of the black mother, a figure (in both senses, as her physiognomy is central in her portrayal) who has until now been overlooked. For both writers, the elderly black mother is an abject and wretched creature. She has necessarily to be shown to be repulsive, filthy and morally hideous in old age in order to counteract the fascination she provokes, and to embody a phantasised repellent to the desires of the white male.

‘Textes fossiles’: The Metatextual Geology of Verne's Voyage au centre de la Terre

Despite the compelling parallels between George Sand’s Laura; ou, le voyage dans le cristal and Jules Verne’s Voyage au centre de la Terre (both 1864), Sand’s place within the intertextual fabric of Verne’s novel has been occluded. By shifing the terms of the debate away from the vexed issues of borrowing, influence, or inspiration, and focusing on Verne’s sustained engagement with Sand’s work as a specifically geological fiction, this article sheds new light on the imbrication of the scientific and the fictional in Voyage au centre de la Terre, whereby geological and palaeontological references not only guarantee the text’s verisimilitude and underwrite its didactic objectives, but also fulfil an important metatextual function.

Robustness in scale-free networks: Comparing directed and undirected networks

In this paper, scale-free networks and their functional robustness with respect to structural perturbations of the network are studied. Two types of perturbations are distinguished: random perturbations and attacks. The robustness of directed and undirected scale-free networks is studied numerically for two different measures and the obtained results are compared. For random perturbations, the results indicate that the strength of the perturbation plays a crucial role. In general, directed scale-free networks are more robust than undirected scale-free networks.

Algorithmic computation of knot polynomials of secondary structure elements of proteins

The classification of protein structures is an important and still outstanding problem. The purpose of this paper is threefold. First, we utilize a relation between the Tutte and homfly polynomial to show that the Alexander-Conway polynomial can be algorithmically computed for a given planar graph. Second, as special cases of planar graphs, we use polymer graphs of protein structures. More precisely, we use three building blocks of the three-dimensional protein structure-alpha-helix, antiparallel beta-sheet, and parallel beta-sheet-and calculate, for their corresponding polymer graphs, the Tutte polynomials analytically by providing recurrence equations for all three secondary structure elements. Third, we present numerical results comparing the results from our analytical calculations with the numerical results of our algorithm-not only to test consistency, but also to demonstrate that all assigned polynomials are unique labels of the secondary structure elements. This paves the way for an automatic classification of protein structures.

Advances in the Genetics of Familial Renal Cancer

We discuss recent advances in the diagnosis and management of renal cell cancer (RCC) given the enhanced molecular genetics knowledge in this area. A number of hereditary renal cancer syndromes have been described, including von Hippel-Lindau disease, Birt-Hogg-Dube syndrome, hereditary leiomyomatosis/RCC syndrome, and hereditary papillary renal cancer. Early molecular diagnosis now facilitates the management and prevention of RCC in families. Recommendations for screening in families are discussed. The Oncologist 2010;15:532-538

Genetic Aspects of Familial Thyroid Cancer

Familial thyroid cancer is rare, accounting for

Derivation of clinically compliant MSCs from CD105+, CD24-differentiated human ESCs

Adult tissue-derived mesenchymal stem cells ( MSCs) have demonstrated therapeutic efficacy in treating diseases or repairing damaged tissues through mechanisms thought to be mediated by either cell replacement or secretion of paracrine factors. Characterized, self- renewing human ESCs could potentially be an invariable source of consistently uniform MSCs for therapeutic applications. Here we describe a clinically relevant and reproducible manner of generating identical batches of hESC- derived MSC ( hESC- MSC) cultures that circumvents exposure to virus, mouse cells, or serum. Trypsinization and propagation of HuES9 or H1 hESCs in feeder- and serum-free selection media generated three polyclonal, karyotypically stable, and phenotypically MSC-like cultures that do not express pluripotency- associated markers but displayed MSC- like surface antigens and gene expression profile. They differentiate into adipocytes, osteocytes, and chondrocytes in vitro. Gene expression and fluorescence- activated cell sorter analysis identified CD105 and CD24 as highly expressed antigens on hESC- MSCs and hESCs, respectively. CD105+, CD24- monoclonal isolates have a typical MSC gene expression profiles and were identical to each other with a highly correlated gene expression profile ( r(2) >.90). We have developed a protocol to reproducibly generate clinically compliant and identical hESC- MSC cultures.

Prognostic and Predictive Biomarkers in Resected Colon Cancer: Current Status and Future Perspectives for Integrating Genomics into Biomarker Discovery

The number of agents that are potentially effective in the adjuvant treatment of locally advanced resectable colon cancer is increasing. Consequently, it is important to ascertain which subgroups of patients will benefit from a specific treatment. Despite more than two decades of research into the molecular genetics of colon cancer, there is a lack of prognostic and predictive molecular biomarkers with proven utility in this setting. A secondary objective of the Pan European Trials in Adjuvant Colon Cancer-3 trial, which compared irinotecan in combination with 5-fluorouracil and leucovorin in the postoperative treatment of stage III and stage II colon cancer patients, was to undertake a translational research study to assess a panel of putative prognostic and predictive markers in a large colon cancer patient cohort. The Cancer and Leukemia Group B 89803 trial, in a similar design, also investigated the use of prognostic and predictive biomarkers in this setting. In this article, the authors, who are coinvestigators from these trials and performed similar investigations of biomarker discovery in the adjuvant treatment of colon cancer, review the current status of biomarker research in this field, drawing on their experiences and considering future strategies for biomarker discovery in the postgenomic era. The Oncologist 2010; 15: 390-404

Comparing the implementation of two-dimensional numerical quadrature on GPU, FPGA and ClearSpeed systems to study electron scattering by atoms

The use of accelerators, with compute architectures different and distinct from the CPU, has become a new research frontier in high-performance computing over the past ?ve years. This paper is a case study on how the instruction-level parallelism offered by three accelerator technologies, FPGA, GPU and ClearSpeed, can be exploited in atomic physics. The algorithm studied is the evaluation of two electron integrals, using direct numerical quadrature, a task that arises in the study of intermediate energy electron scattering by hydrogen atoms. The results of our ‘productivity’ study show that while each accelerator is viable, there are considerable differences in the implementation strategies that must be followed on each.

Dartmouth Symposium on the Future of Computer Music Software: A Panel Discussion

Transcript of a Panel Discussion at the Dartmouth Symposium, chaired by Eric Lyon.

Nonlinear time series prediction based on a power-law noise model

In this paper we investigate the influence of a power-law noise model, also called noise, on the performance of a feed-forward neural network used to predict time series. We introduce an optimization procedure that optimizes the parameters the neural networks by maximizing the likelihood function based on the power-law model. We show that our optimization procedure minimizes the mean squared leading to an optimal prediction. Further, we present numerical results applying method to time series from the logistic map and the annual number of sunspots demonstrate that a power-law noise model gives better results than a Gaussian model.