Sean Walsh

Learn More
The UK Crop Plant Bioinformatics Network (UK CropNet) was established in 1996 in order to harness the extensive work in genome mapping in crop plants in the UK. Since this date we have published five databases from our central UK CropNet WWW site (http://synteny.nott.ac.uk/) with a further three to follow shortly. Our resource facilitates the identification(More)
OBJECTIVES In health technology assessment (HTA) agencies where cost-effectiveness plays a role in decision-making, an incremental cost-effectiveness ratio (ICER) threshold is often used to inform reimbursement decisions. The acceptance of submissions with ICERs higher than the threshold was assessed across different agencies and across indications, in(More)
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach,(More)
1 Introduction ✤ Just as there is the Russell paradox about sets, so there is the Russell-Myhill paradox of propositions. ✤ While predicativity has been well-explored as a response to the Russell paradox of sets, there seems to have been no previous attempt to set out a predicative solution to the Russell-Myhill paradox of propositions. ✤ The aim of this(More)
We describe a case of a delayed presentation of a traumatic soft tissue mallet injury to the distal phalanx of the hallux in a teenager. Reports of this rare injury are sparse and there is no consensus in their treatment. This injury was treated with open repair of the tendon using a Mitek suture anchor, and stabilization with a 1.2-mm K-wire and extension(More)
Climate change has been predicted to affect future air quality, with inevitable consequences for health. Quantifying the health effects of air pollution under a changing climate is crucial to provide evidence for actions to safeguard future populations. In this paper, we review published methods for quantifying health impacts to identify optimal approaches(More)