Functional real-time programming: the language Ruth and its semantics

Real-time systems are amongst the most safety critical systems involving computer software and the incorrect functioning of this software can cause great damage, up to and including the loss of life. If seems sensible therefore to write real-time software in a way that gives us the best chance of correctly implementing specifications. Because of the high level of functional programming languages, their semantic simplicity and their amenability to formal reasoning and correctness preserving transformation it thus seems natural to use a functional language for this task. This thesis explores the problems of applying functional programming languages to real-time by defining the real-time functional programming language Ruth. The first part of the thesis concerns the identification of the particular problems associated with programming real-time systems. These can broadly be stated as a requirement that a real-time language must be able to express facts about time, a feature we have called time expressibility. The next stage is to provide time expressibility within a purely functional framework. This is accomplished by the use of timestamps on inputs and outputs and by providing a real-time clock as an input to Ruth programs. The final major part of the work is the construction of a formal definition of the semantics of Ruth to serve as a basis for formal reasoning and transformation. The framework within which the formal semantics of a real-time language are defined requires time expressibility in the same way as the real-time language itself. This is accomplished within the framework of domain theory by the use of specialised domains for timestamped objects, called herring-bone domains. These domains could be used as the basis for the definition of the semantics of any real-time language

Patients with Essential thrombocythaemia have an increased prevalence of antiphospholipid antibodies which may be associated with thrombosis

A significant proportion of patients with Essential Thrombocythaemia (ET) have thrombotic complications which have an important impact upon the quality, and duration of their life. We performed a retrospective cross sectional study of the prevalence of antiphospholipid antibodies (APA) in 68 ET patients. Compared to 200 elderly controls (> 50 years) there was a significant increase in anticardiolipin IgM (p < 0.0001) and anti β2 glycoprotein I (anti-β2GPI) IgM (p < 0.0001) antibodies in ET. Thrombosis occurred in 10/20 with APA and 12/48 without, p = 0.04, relative risk 2.0 (95% confidence intervals 1.03-3.86); these patients did not differ in terms of other clinical features. The prevalence of thrombosis in patients with dual APA (6/7) was significant when compared to those with single APA (p = 0.02) and the remaining patients (p < 0.0002). Also anti-β2GPI IgM antibodies either alone, or in combination with another APA, were associated with thrombosis (p = 0.02). These results suggest that the prevalence of APA in ET and their influence upon thrombotic risk merit investigation in a larger study

Flash Sintering, a Novel Technique, for Manufacturing Surrogate and Active Nuclear Materials

Please click Additional Files below to see the full abstrac

Tunneling Spectroscopy of Tl2Ba2CuO6

New results from tunneling spectroscopies on near optimally-doped single crystals of Tl_{2}Ba_{2}CuO_{6} (Tl-2201) junctions are presented. The superconductor-insulator-normal metal (SIN) tunnel junctions are obtained using the point-contact technique with a Au tip. The tunneling conductances reproducibly show a sharp cusp-like subgap, prominent quasiparticle peaks with a consistent asymmetry, and weakly decreasing backgrounds. A rigorous analysis of the SIN tunneling data is performed using two different models for the $d_{x^{2}-y^{2}}$ (d-wave) density of states (DOS). Based on these and earlier results, the tunneling DOS of Tl-2201 have exhibited the most reproducible data that are consistent with a d-wave gap symmetry. We show that the dip feature at $2\Delta$ that is clearly seen in SIN tunneling data of Bi_{2}Sr_{2}CaCu_{2}O_{8+\delta} is also present in Tl-2201, but at a weaker level. The gap values for crystals with a bulk T_c = 86 K are in the range of 19-25 meV.Comment: 7 pages, 5 figure

Origin of charge density at LaAlO3-on-SrTiO3 hetero-interfaces; possibility of intrinsic doping

As discovered by Ohtomo et al., a large sheet charge density with high mobility exists at the interface between SrTiO3 and LaAlO3. Based on transport, spectroscopic and oxygen-annealing experiments, we conclude that extrinsic defects in the form of oxygen vacancies introduced by the pulsed laser deposition process used by all researchers to date to make these samples is the source of the large carrier densities. Annealing experiments show a limiting carrier density. We also present a model that explains the high mobility based on carrier redistribution due to an increased dielectric constant.Comment: 14 pages, 3 figures, 1 table; accepted for publication in Phys. Rev. Lett

Uncertainty in geomorphological responses to climate change

Acknowledgements We acknowledge the careful comments from two anonymous reviewers. Funding information This work was partly supported by a Middlesex University PhD Studentship to EA and a Coventry University PhD Studentship to PA. NERC for radiocarbon dating provided funding support.Peer reviewedPublisher PD

Editorial

The credo - reaffirming our professionalismThe quest for ethics in medicineThe public service labour relations shamblesSensitisation, pre-emptive and total analgesiaThe resurrection ofprimary percutaneous transluminal coronary angioplasty for the treatment of acute myocardial infarctionPrimary health care depends on the district health syste