FORTEST: Formal methods and testing

Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or otherwise of formal methods in various contexts for improving software testing. A number of different possibilities for the use of formal methods are explored and questions raised. The contributors are all members of the UK FORTEST Network on formal methods and testing. Although the authors generally believe that formal methods are useful in aiding the testing process, this paper is intended to provoke discussion. Dissenters are encouraged to put their views to the panel or individually to the authors

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

The time of the Roma in times of crisis: Where has European neoliberal capitalism failed?

This paper argues that the economic and financial crisis that has ensnared Europe from the late 2000s has been instrumental in reshaping employment and social relations in a detrimental way for the majority of the European people. It argues that the crisis has exacerbated the socio-economic position of most Roma people, immigrants as well as of other vulnerable groups. This development is approached here as an outcome of the widening structural inequalities that underpin the crisis within an increasingly neoliberalised Europe. Through recent policy developments and public discourses from a number of European countries I show how rising inequalities nurture racialised social tensions. My account draws on classic and contemporary theoretical propositions that have been propounded about the nature of capitalism, its contemporary re-articulation as well as its ramification for the future of Europe

Institutional Mergers in Ireland

The importance of knowledge as a driver of social and economic growth and prosperity, and the increasingly competitive “global race for knowledge and talent” (Hazelkorn, Higher Educ Manage Policy 21(1):55–76, 2009) have combined to transform the higher education landscape, forcing national governments and higher education institutions (HEIs) to pursue new ways of addressing the challenges of a multi-polar world order. Rising demand for higher education (HE), as part of the broader shift from elite to mass to universal participation, has led to the emergence of new models of provision. At the same time, many governments face restrictions on public resources due to high levels of public and private debt; accordingly, system-level and institutional restructuring has been contemplated as a way to enhance quality, performance and efficiency

PageRank without hyperlinks: Reranking with PubMed related article networks for biomedical text retrieval

Graph analysis algorithms such as PageRank and HITS have been successful in Web environments because they are able to extract important inter-document relationships from manually-created hyperlinks. We consider the application of these algorithms to related document networks comprised of automatically-generated content-similarity links. Specifically, this work tackles the problem of document retrieval in the biomedical domain, in the context of the PubMed search engine. A series of reranking experiments demonstrate that incorporating evidence extracted from link structure yields significant improvements in terms of standard ranked retrieval metrics. These results extend the applicability of link analysis algorithms to different environments

Molecular characterisation of protist parasites in human-habituated mountain gorillas (Gorilla beringei beringei), humans and livestock, from Bwindi impenetrable National Park, Uganda

Over 60 % of human emerging infectious diseases are zoonotic, and there is growing evidence of the zooanthroponotic transmission of diseases from humans to livestock and wildlife species, with major implications for public health, economics, and conservation. Zooanthroponoses are of relevance to critically endangered species; amongst these is the mountain gorilla (Gorilla beringei beringei) of Uganda. Here, we assess the occurrence of Cryptosporidium, Cyclospora, Giardia, and Entamoeba infecting mountain gorillas in the Bwindi Impenetrable National Park (BINP), Uganda, using molecular methods. We also assess the occurrence of these parasites in humans and livestock species living in overlapping/adjacent geographical regions

Serum testosterone levels of HbSS (sickle cell disease) male subjects in Lagos, Nigeria

<p>Abstract</p> <p>Background</p> <p>Infertility is a major problem in sickle cell disease patients, especially in males. In addition to low serum testosterone, other abnormalities involving the accessory sex organs, such as the seminal vesicles and the prostate gland, as well as marked decrease in ejaculate volume may be observed in male HbSS patients. Hence, the need to study the role of sex hormones as a cause of infertility in male HbSS patients.</p> <p>Methods</p> <p>An unmatched case-control study was performed using seventy-five consenting subjects from Lagos University Teaching Hospital. These included 47 patients with haemoglobin phenotype SS from the Sickle cell clinic and 28 volunteered medical students and members of staff with haemoglobin phenotype AA. Demographic data were obtained using a self-administered questionnaire. A total of 5 mls of blood was collected from each subject between 9.00 am & 11.am, and assayed for serum testosterone concentration.</p> <p>Results</p> <p>The concentrations of serum testosterone in HbSS patients ranged from 0.2 to 4.3 ng/ml with a mean of 1.28 ± 0.72 ng/ml whilst the values in HbAA controls ranged from 1.2 to 6.9 ng/ml with a mean of 2.63 ± 1.04 ng/ml. Seven (25.0%) of the 28 controls had serum testosterone concentration lower than the quoted reference (normal) range whereas 44 (93.6%) of the 47 HbSS subjects had serum testosterone concentration lower than the reference range.</p> <p>Conclusion</p> <p>Overall, subjects with HbSS have significantly lower mean serum testosterone than HbAA controls.</p

The Interaction of Hypotaurine and Other Sulfinates with Reactive Oxygen and Nitrogen Species:A Survey of Reaction Mechanisms

Considerable strides have been made in understanding the oxidative mechanisms involved in the final steps of the cysteine pathway leading to taurine. The oxidation of sulfinates, hypotaurine and cysteine sulfinic acid, to the respective sulfonates, taurine and cysteic acid, has never been associated with any specific enzyme. Conversely, there is strong evidence that in vivo formation of taurine and cysteic acid is the result of sulfinate interaction with a variety of biologically relevant oxidants. In the last decade, many experiments have been performed to understand whether peroxynitrite, nitrogen dioxide and carbonate radical anion could be included in the biologically relevant reactive species capable of oxidizing sulfinates. Thanks to this work, it has been possible to highlight two possible reaction mechanisms (direct and indirect reaction) of sulfinates with reactive oxygen and nitrogen species.The sulfinates oxidation, mediated by peroxynitrite, is an example of both reaction mechanisms: through a two-electron-direct-reaction with peroxynitrite or through a one-electron-indirect-transfer reaction. In the indirect mechanism, the peroxynitrite homolysis releases hydroxyl and nitrogen dioxide radical and in addition the degradation of short-lived adduct formed by peroxynitrite and CO2 can generate carbonate radical anion. The reaction of hypotaurine and cysteine sulfinic acid with peroxynitrite-derived radicals is accompanied by extensive oxygen uptake with the generation of transient intermediates, which can begin a reaction by an oxygen-dependent mechanism with the sulfonates, taurine, and cysteic acid as final products. Due to pulse radiolysis studies, it has been shown that transient sulfonyl radicals (RSO2(•)) have been produced during the oxidation of both sulfinates by one-electron transfer reaction.The purpose is to analyze all the aspects of the reactive mechanism in the sulfinic group oxidation of hypotaurine and cysteine sulfinic acid through the results obtained from our laboratory in recent years

Molecular design and control of fullerene-based bi-thermoelectric materials

Molecular junctions are a versatile test bed for investigating nanoscale thermoelectricity and contribute to the design of new cost-effective environmentally friendly organic thermoelectric materials. It was suggested that transport resonances associated with discrete molecular levels could play a key role in thermoelectric performance, but no direct experimental evidence has been reported. Here we study single-molecule junctions of the endohedral fullerene Sc3N@C8 connected to gold electrodes using a scanning tunnelling microscope. We find that the magnitude and sign of the thermopower depend strongly on the orientation of the molecule and on applied pressure. Our calculations show that Sc3N inside the fullerene cage creates a sharp resonance near the Fermi level, whose energetic location, and hence the thermopower, can be tuned by applying pressure. These results reveal that Sc3N@C80 is a bi-thermoelectric material, exhibiting both positive and negative thermopower, and provide an unambiguous demonstration of the importance of transport resonances in molecular junctions