Digitisation, representation, and formalisation - Digital libraries of mathematics

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, digitally represented mathematics and formalised mathematics. Each has its part to play in managing mathematical information in a connected world. Digitised material is that which is embodied in a computer file, accessible and displayable locally or globally. Represented material is digital material in which there is some structure (usually syntactic in nature) which maps to the mathematics contained in the digitised information. Formalised material is that in which both the syntax and semantics of the represented material, is automatically accessible. Given the range of mathematical information to which access is desired, and the limited resources available for managing that information, we must ensure that these resources are applied to digitise, form representations of or formalise, existing and new mathematical information in such a way as to extract the most benefit from the least expenditure of resources. We also analyse some of the various social and legal issues which surround the practical tasks.

A lightweight supercomputing web portal for inferring phylogenetic trees

In this paper we describe a lightweight Web portal developed for running computational jobs on a IBM JS21 Bladecenter cluster, ThamesBlue, for inferring and analyzing evolutionary histories. We first discuss the need for leveraging HPC as a enabler for molecular phylogenetics research. We go on to describe how the portal is designed to interface with existing open-source software that is typical of a HPC resource configuration, and how by design this portal is generic enough to be portable to other similarly configured compute clusters, and for other applications.

The effectiveness of somatic embryogenesis in eliminating the cocoa swollen shoot virus from infected cocoa trees

Investigations were undertaken on the use of somatic embryogenesis to generate cocoa swollen shoot virus (CSSV) disease free clonal propagules, from infected trees. Polymerase chain reaction (PCR) capillary electrophoresis revealed the presence of CSSV in all the callus tissues induced from the CSSV-infected Amelonado cocoa trees (T1, T2 and T4). The virus was transmitted to primary somatic embryos induced from the infected callus tissues at the rate of 10 (19%), 18 (14%) and 16 (15%) for T1, T2 and T4, respectively. Virus free primary somatic embryos from the infected callus tissues converted into plantlets tested CSSV negative by PCR/capillary electrophoresis 2 years after weaning. Secondary somatic embryos induced from the CSSV-infected primary somatic embryos revealed the presence of viral fragments at the rate of 4 (4%) and 9 (9%) for T2 and T4, respectively. Real-time PCR revealed 23 of the 24 secondary somatic embryos contained no detectable virus. Based on these findings, it is proposed that progressive elimination of the CSSV in infected cocoa trees occurred from primary embryogenesis to secondary embryogenesis. (C) 2008 Elsevier B.V. All rights reserved.

Shoot dieback in clipped young Golden Leyland (Cupressocyparis leylandii) trees - a physiological mechanism?

Shoot dieback is a problem in frequently trimmed Leyland hedges and is increasingly affecting gardeners’ choice of hedge trees, having a negative effect on a conifer nursery industry. Some damage can be attributed to the feeding by aphids, but it is unclear if there are also underlying physiological causes. In this study, we tested the hypothesis that shoot-clipping of conifer trees during adverse growing conditions (i.e. high air temperature and low soil moisture) could be leading to shoot ‘dieback’. Three-year-old Golden Leyland Cypress (x Cupressocyparis leylandii ‘Excalibur Gold’) plants were subjected to either a well-watered or droughted irrigation regime and placed in either a ‘hot’ (average day temperature = 40°C) or a ‘cool’ (average day temperature = 27°C) glasshouse compartment. Half of the plants from each glasshouse were clipped on Day 14 and again on Day 50. Measurements of soil moisture content (SMC), net CO2 assimilation rate (A), stomatal conductance (gs), branchlet xylem water potential (XWP), plant height and foliage colour were made. Within the clipped and unclipped treatments of both glasshouse compartments, plants from the droughted regime had significantly lower values for A, gs and XWP than those from the well-watered regime. However, there was no difference in these parameters between the hot and cool glasshouse compartments. The trends seen for A, gs and XWP of all treatments generally mirrored changes in SMC indicating a direct effect of water supply on these parameters. By the end of the experiment the overall foliage colour of plants from the hot glasshouse was darker than that of plants from the cool glasshouse and the overall foliage colour was also darker following shoot clipping. In general, shoot clipping led to increases in A, gs XWP and SMC. This may be due to the reduction in total leaf area leading to a greater supply of water for the remaining leaves. No shoot ‘dieback’ was observed in any treatment in response to drought stress or shoot-clipping.