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.

Experiences of youth justice: Youth justice discourses and their multiple effects

Interventions within youth justice systems draw on a range of rationales and philosophies. Traditionally demarcated by a welfare/justice binary, the complex array of contemporary rationales meld different philosophies and practices, suggesting a mutability that gives this sphere a continued (re)productive and felt effect. While it may be increasingly difficult to ascertain which of these discourses is dominant in different jurisdictions in the UK, particular models of justice are perceived to be more prominent (Muncie, 2006). Traditionally it is assumed that Northern Ireland prioritises restoration, Wales prioritises rights, England priorities risk and Scotland welfare (McVie, 2011; Muncie, 2008, 2011). However, how these discourses are enacted in practice, how multiple and competing rationales circulate within them and most fundamentally how they are experienced by young people is less clear. This paper, based on research with young people who have experienced the full range of interventions in the youth justice system in Northern Ireland examines their narratives of ‘justice’. It considers how different discourses might influence the same intervention and how the deployment of multiple rationalities gives the experience of ‘justice’ its effect.

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.

Germany and the New Global History of Secularism: Questioning the Postcolonial Genealogy

Secularism has emerged as a central category of twenty-first century political thought that in many ways has replaced the theory of secularization. According to postcolonial scholars, neither the theory nor the practice of secularization was politically neutral. They define secularism as the set of discourses, policies, and constitutional arrangements whereby modern states and liberal elites have sought to unify nations and divide colonial populations. This definition is quite different from the original meaning of secularism, as an immanent scientific worldview linked to anticlericalism. Anthropologist Talal Asad has connected nineteenth-century worldview secularism to twenty-first century political secularism through a genealogical account that stresses continuities of liberal hegemony. This essay challenges this account. It argues that liberal elites did not merely subsume worldview secularism in their drive for state secularization. Using the tools of conceptual history, the essay shows that one reason that “secularization” only achieved its contemporary meaning in Germany after 1945 was that radical freethinkers and other anticlerical secularists had previously resisted liberal hegemony. The essay concludes by offering an agenda for research into the discontinuous history of these two types of secularism.

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).

Dup discourses on violence and their impact on the northern ireland peace process

This paper analyses the Democratic Unionist Party's (DUP) discourses about paramilitary violence in Northern Ireland. Drawing on narrative analysis of DUP discourses reported in Northern Ireland's largest unionist newspaper, the News Letter (1998-2006), it explores the relationship between the party's identity, its discourses about republican and loyalist paramilitaries, and the impact of these words on the DUP's electoral success and on the peace process. The paper argues that these discourses may haunt the progress of peace-building, not least because the DUP will find it hard to disentangle itself from a history of scepticism and nay-saying even as it takes a leading role in a devolved Executive designed by an Agreement it longscorned.

Preaching to the Choir? An Analysis of DUP Discourses about the Northern Ireland Peace Process

This article analyses the Democratic Unionist Party's (DUP) discursive responses to the Northern Ireland peace process. Drawing on narrative analysis of DUP discourses in the Belfast News Letter (1998–2005), it argues that the party has articulated five themes: the de‐legitimisation of David Trimble and the Ulster Unionist Party, the immorality of the peace process, the security threat, the victimisation of Protestants, and the ‘renegotiation’ of the Belfast Agreement. These discourses are analysed in light of a framework for understanding the relationship between the party's public discourses and the political strategies that have allowed for its electoral success. The framework includes the relationship between discourses, agenda‐setting in the media, ‘the politics of support’, and ‘the politics of power’. It considers how the DUP's discourses may impact on its relationships with nationalists and unionists. However, efforts by the DUP to communicate with the unionist grassroots may allow it to minimise alienation, thus contributing to a space in which principles such as power‐sharing can become bedded down.

Governing Public Health: EU Law, Regulation and Biopolitics

This book contributes towards EU studies and the growing discourse on law and public health. It uses the EU’s governance of public health as a lens through which to explore questions of legal competence and its development through policy and concrete techniques, processes and practices, risk and security, human rights and bioethics, accountability and legitimacy, democracy and citizenship, and the nature, essence and ‘future trajectory’ of the European integration project. These issues are explored first, by situating the EU's public health strategy within the overarching architecture of governance and subsequently by examining its operationalisation in relation to the key public health problems of cancer, HIV/AIDS and pandemic planning.

The book argues that the centrality and valorisation of scientific and technical knowledge and expertise in the EU's risk-based governance means that citizen participation in decision-making is largely marginalised and underdeveloped – and that this must change if public health and the quality, accountability and legitimacy of EU governance and its regulation are to be improved. Subsequently the book goes on to argue that the legitimating discourses of ethics and human rights, and the developing notion of EU (supra-)stewardship responsibility, can help to highlight the normative dimensions of governance and its interventions in public health. These discourses and dimensions provide openings and possibilities for citizens to power ‘technologies of participation’ and contribute important supplementary knowledge to decision-making.