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.

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

High variability in the dosing of commonly used antibiotics revealed by a Europe-wide point prevalence study: implications for research and dissemination

BACKGROUND: Antibiotic dosing in neonates varies between countries and centres, suggesting suboptimal exposures for some neonates. We aimed to describe variations and factors influencing the variability in the dosing of frequently used antibiotics in European NICUs to help define strategies for improvement.

METHODS: A sub-analysis of the European Study of Neonatal Exposure to Excipients point prevalence study was undertaken. Demographic data of neonates receiving any antibiotic on the study day within one of three two-week periods from January to June 2012, the dose, dosing interval and route of administration of each prescription were recorded. The British National Formulary for Children (BNFC) and Neofax were used as reference sources. Risk factors for deviations exceeding ±25% of the relevant BNFC dosage recommendation were identified by multivariate logistic regression analysis.

RESULTS: In 89 NICUs from 21 countries, 586 antibiotic prescriptions for 342 infants were reported. The twelve most frequently used antibiotics - gentamicin, penicillin G, ampicillin, vancomycin, amikacin, cefotaxime, ceftazidime, meropenem, amoxicillin, metronidazole, teicoplanin and flucloxacillin - covered 92% of systemic prescriptions. Glycopeptide class, GA <32 weeks, 5(th) minute Apgar score <5 and geographical region were associated with deviation from the BNFC dosage recommendation. While the doses of penicillins exceeded recommendations, antibiotics with safety concerns followed (gentamicin) or were dosed below (vancomycin) recommendations.

CONCLUSIONS: The current lack of compliance with existing dosing recommendations for neonates needs to be overcome through the conduct of well-designed clinical trials with a limited number of antibiotics to define pharmacokinetics/pharmacodynamics, efficacy and safety in this population and by efficient dissemination of the results.

Death and Consumer Culture

Among the most veiled and emotionally charged of life’s experiences are those related to death. Given that poetry has long been recognized as an unparalleled means of expressing and understanding the most complex and emotional aspects of life (Sherry and Schouten, 2002), it is of little surprise that few poets regarded as the finest of all wordsmiths have not, since time immemorial, grappled with death.

Recently, within marketing and consumer research, poetry has slowly but progressively come to be recognized as a means by which to understand, express, celebrate, and/or confront that which defies scientific or other more “scholarly” explanation (Canniford, 2012; Wijland, 2011; Sherry and Schouten, 2002). This “poetic turn” has manifest itself most notably within the nascent realm of Consumer Culture Theory (CCT); mainly in poetry reading sessions held—with published chapbooks in hand—in concurrence with the annual CCT symposium. Death-related poetry penned by marketing and consumer researchers has there entered—albeit randomly—the CCT circuit (see, for example: Arnould, 2014; Steinfield, 2014; Gabel, 2013, 2010; Downey, 2011, 2010a, 2010b, 2010c).

This chapter represents the first formal, organized attempt to better understand death-related consumption experience and meaning via the creation and dissemination of original works of poetry. The chapter’s title reflects the broad, eclectic perspective of death and consumption herein pursued. We consider funerary and other—good, service, and ideological—product consumption activities and experiences transpiring in the context of death. We also embrace the notion that death often brutally consumes those dealing with it; a sort of “consumption of consumers by death.” In turn, as vividly expressed in several of the poems in this chapter, consumption acts or experiences and/or memories thereof may be instrumental in coping with “being consumed by death.”

Mining Money: the generative capacities of scientific and legal knowledge practices in the making of resource economies

In 1997 a scandal associated with Bre-X, a junior mining firm, and its prospecting activities in Indonesia, exposed to public scrutiny the ways in which mineral exploration firms acquire, assess and report on scientific claims about the natural environment. At stake here was not just how investors understood the provisional nature of scientific knowledge, but also evidence of fraud. Contemporaneous mining scandals not only included the salting of cores, but also unreliable proprietary sample preparation and assay methods, mis-representations of visual field estimates as drilling results and ‘overly optimistic’ geological reports. This paper reports on initiatives taken in the wake of these scandals and prompted by the Mining Standards Task Force (TSE/OSC 1999). For regulators, mandated to increase investor confidence in Canada’s leading role within the global mining industry, efforts focused first and foremost upon identifying and removing sources of error and wilfulness within the production and circulation of scientific knowledge claims. A common goal cross-cutting these initiatives was ‘a faithful representation of nature’ (Daston and Galison 2010), however, as the paper argues, this was manifest in an assemblage of practices governed by distinct and rival regulative visions of science and the making of markets in claims about ‘nature’. These ‘practices of fidelity’, it is argued, can be consequential in shaping the spatial and temporal dynamics of the marketization of nature.

Cancer dormancy: a model of early dissemination and late cancer recurrence

Cancer dormancy is a stage in tumor progression in which residual disease remains occult and asymptomatic for a prolonged period of time. Dormant tumor cells can be present as one of the earliest stages in tumor development, as well as a stage in micrometastases, and/or minimal residual disease left after an apparently successful treatment of the primary tumor. The general mechanisms that regulate the transition of disseminated tumor cells that have lain dormant into a proliferative state remain largely unknown. However, regulation of the growth from dormant tumor cells may be explained in part through the interaction of the tumor cell with its microenvironment, limitations in the blood supply, or an active immune system. An understanding of the regulatory machinery of these processes is essential for identifying early cancer biomarkers and could provide a rationale for the development of novel agents to target dormant tumor cells. This review focuses on the different signaling models responsible for early cancer dissemination and tumor recurrence that are involved in dormancy pathways.