Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

When stereotype meets prejudice: Antiziganism in European Societies

Antiziganism is a widespread phenomenon in all European societies. Poor or rich, ‘postcommunist’ or ‘traditional’, North or South, with ‘lean’ or ‘thick’ welfare systems-all European societies demonstrate antiziganist prejudice.
All across Europe Romanis are among the poorest, most destitute, and most excluded communities. Widespread prejudice and stereotypical representations of Romani individuals limit their chances for participation in democratic decision making processes and their access to services. Unable to counteract majority stereotypes systematically, more often than not they remain on the fringes of society. This edited volume asks where these stereotypes and prejudices come from, why they are ubiquitous to all societies, and how pertinent their impact on antiziganist attitudes found in European societies really is.

Scientific standards for human intervention trials evaluating health benefits of foods, and their application to infants, children and adolescents

Associations between the consumption of particular foods and health outcomes may be indicated by observational studies. However, intervention trials that evaluate the health benefits of foods provide the strongest evidence to support dietary recommendations for health. Thus, it is important that these trials are carried out safely, and to high scientific standards. Accepted standards for the reporting of the health benefits of pharmaceutical and other medical interventions have been provided by the Consolidated Standards of Reporting Trials (CONSORT) statement. However, there are no generally accepted standards for trials to evaluate the health benefits of foods. Trials with foods differ from medical trials in issues related to safety, ethics, research governance and practical implementation. Furthermore, these important issues can deter the conduct of both medical and nutrition trials in infants, children and adolescents. This paper provides standards for the planning, design, conduct, statistical analysis and interpretation of human intervention trials to evaluate the health benefits of foods that are based on the CONSORT guidelines, and outlines the key issues that need to be addressed in trials in participants in the paediatric age range.

Should scientific realists be platonists?

Enhanced Indispensability Arguments (EIA) claim that Scientific Realists are committed to the existence of mathematical entities due to their reliance on Inference to the Best Explana- tion (IBE). Our central question concerns this purported parity of reasoning: do people who defend the EIA make an appropriate use of the resources of Scientific Realism (in particular, IBE) to achieve platonism? (§2) We argue that just because a variety of different inferential strategies can be employed by Scientific Realists does not mean that ontological conclusions concerning which things we should be Scientific Realists about are arrived at by any inferen- tial route which eschews causes (§3), and nor is there any direct pressure for Scientific Real- ists to change their inferential methods (§4). We suggest that in order to maintain inferential parity with Scientific Realism, proponents of EIA need to give details about how and in what way the presence of mathematical entities directly contribute to explanations (§5).

Research Ethics in Divided and Violent Societies: Seizing the Ethical Opportunity

This chapter explores how to conduct social research in divided and violent societies by developing the concept of the ‘ethical opportunity’. The ‘ethical opportunity’ is situated in a brief discussion of ‘action’ and feminist approaches to research. It argues that seizing the ethical opportunity requires researchers to: plan for their personal safety, plan for participants’ personal safety and plan how they will communicate and disseminate their results. It draws on the author’s personal experience researching in South Africa, Zimbabwe and Northern Ireland, concluding that it is in the communication and dissemination phase that researchers’ hopes for ‘making a difference’ may be realised or dashed. It cautions would-be researchers to manage their own – and research participants’ – expectations about what social research can achieve. Its effects may not often be as transforming and liberating as idealistic researchers hope for, but that should not dissuade them from striving towards those ends.

The Science of a Lost Medieval Graveyard: The Ballyhanna Research Project

he Science of Lost Medieval Gaelic Graveyard tells the story of the discovery in 2003 of a graveyard and the foundations of a small forgotten stone church at Ballyhanna, in Ballyshannon, Co. Donegal, as part of the N15 Bundoran–Ballyshannon Bypass archaeological works. This led to the excavation of one of the largest collections of medieval burials ever undertaken on this island. Over 1,200 individuals were excavated from the site at Ballyhanna during the winter of 2003–4, representing 1,000 years of burial through the entire Irish medieval period. The discovery led to the establishment of a cross-border research collaboration—the Ballyhanna Research Project—between Queen’s University Belfast and the Institute of Technology, Sligo, which has brought to life this lost Gaelic graveyard.

This book shows how cutting-edge scientific research may aid our understanding and interpretation of archaeology and reveal new insights into past societies. For example, the use of ancient DNA analysis represented the first biomolecular archaeological evaluation of a medieval population to date and provided evidence that cystic fibrosis was much less prevalent in the medieval period than today. The Science of Lost Medieval Gaelic Graveyard is about a community who lived in Gaelic Ireland, about their lifestyles, health and diet. It tells us of their deaths and of their burial traditions, and through examining all of these aspects, it reveals the ebb and flow of their lives.

The book is accompanied by a CD-ROM which includes supplementary information from the Ballyhanna Research Project and the original excavation and survey reports for all of the archaeological sites on the N15 Bundoran–Ballyshannon Bypass.