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.

Visual Object Recognition Using Deformable Models of Vehicles

This workshop paper reports recent developments to a vision system for traffic interpretation which relies extensively on the use of geometrical and scene context. Firstly, a new approach to pose refinement is reported, based on forces derived from prominent image derivatives found close to an initial hypothesis. Secondly, a parameterised vehicle model is reported, able to represent different vehicle classes. This general vehicle model has been fitted to sample data, and subjected to a Principal Component Analysis to create a deformable model of common car types having 6 parameters. We show that the new pose recovery technique is also able to operate on the PCA model, to allow the structure of an initial vehicle hypothesis to be adapted to fit the prevailing context. We report initial experiments with the model, which demonstrate significant improvements to pose recovery.

The potential for competitive and healthy food chains of benefit to the countryside

Agricultural policy liberalisation, concern about unhealthy diets and growing recognition of the importance of sustainable land use have fostered interest in the development of competitive food chains based around products that are beneficial to the rural environment. We review the potential for foods with enhanced health attributes based on alternative varieties/breeds and production systems to traditional agriculture which has been predominantly motivated by yields. We concentrate on soft fruit, which is an important source of polyphenols, and grazing livestock systems that have the potential for improving fatty acid profiles in meat products and find there to be clear scientific potential, but limited research to date. Consumer research suggests considerable acceptance of such products and willingness to pay sufficient to cover additional production costs. Purchase of such foods could have major implications for agricultural land use and the rural environment. There is little research to date on specific healthier food products, but spatially explicit models are being developed to assess land use and environmental implications of changing demand and husbandry methods.

A note on the accuracy of PAC-likelihood inference with microsatellite data

Stephens and Donnelly have introduced a simple yet powerful importance sampling scheme for computing the likelihood in population genetic models. Fundamental to the method is an approximation to the conditional probability of the allelic type of an additional gene, given those currently in the sample. As noted by Li and Stephens, the product of these conditional probabilities for a sequence of draws that gives the frequency of allelic types in a sample is an approximation to the likelihood, and can be used directly in inference. The aim of this note is to demonstrate the high level of accuracy of "product of approximate conditionals" (PAC) likelihood when used with microsatellite data. Results obtained on simulated microsatellite data show that this strategy leads to a negligible bias over a wide range of the scaled mutation parameter theta. Furthermore, the sampling variance of likelihood estimates as well as the computation time are lower than that obtained with importance sampling on the whole range of theta. It follows that this approach represents an efficient substitute to IS algorithms in computer intensive (e.g. MCMC) inference methods in population genetics. (c) 2006 Elsevier Inc. All rights reserved.

Cu-II acetate complexes involving N,N,O donor Schiff base ligands: Mono-atomic oxygen bridged dimers and alternating chains of the dimers and Cu-2(OAc)(4)

Two tridentate N,N,O donor Schiff bases, HL1 (4-(2-ethylamino-ethylimino)-pentan-2-one) and HL2 (3-(2-amino-propylimino)-1-phenyl-butan-1-one) on reaction with Cu-II acetate in presence of triethyl amine yielded two basal-apical, mono-atomic acetate oxygen-bridging dimeric copper(II) complexes, [Cu2L21(OAc)(2)] (1), [Cu2L22(OAc)(2)] (2). Whereas two other similar tridentate ligands HL3 (4-(2-amino-propylimino)-pentane-2-one) and HL3 (3-(2-amino-ethylimino)-1-phenyl-butan-1-one) under the same conditions produced a mixture of the corresponding dinners and a one-dimensional alternating chain of the dimer and copper acetate moiety, [Cu4L23(OAc)(6)](n) (3) and [Cu4L24(OAc)(6)](n) (4), formed by a very rare mu(3) bridging mode of the acetate ion. All four complexes (1-4) have been characterized by X-ray crystallography. The isotropic Hamiltonian, H = -JS(1)S(2) has been used to interpret the magnetic data. Magnetic measurements of 1 and 2 in the temperature range 2-300 K reveal a very weak antiferromagnetic coupling for both complexes U = -0.56 and -1.19 cm(-1) for 1 and 2, respectively). (C) 2008 Elsevier Ltd. All rights reserved.

Methylxanthines are the psycho-pharmacologically active constituents of chocolate

Rationale: Liking, cravings and addiction for chocolate ("chocoholism") are often explained through the presence of pharmacologically active compounds. However, mere "presence" does not guarantee psycho-activity. Objectives: Two double-blind, placebo-controlled studies measured the effects on cognitive performance and mood of the amounts of cocoa powder and methylxanthines found in a 50 g bar of dark chocolate. Methods: In study 1, participants (n=20) completed a test battery once before and twice after treatment administration. Treatments included 11.6 g cocoa powder and a caffeine and theobromine combination (19 and 250 mg, respectively). Study 2 (n=22) comprised three post-treatment test batteries and investigated the effects of "milk" and "dark" chocolate levels of these methylxanthines. The test battery consisted of a long duration simple reaction time task, a rapid visual information processing task, and a mood questionnaire. Results: Identical improvements on the mood construct "energetic arousal" and cognitive function were found for cocoa powder and the caffeine+theobromine combination versus placebo. In chocolate, both "milk chocolate" and "dark chocolate" methylxanthine doses improved cognitive function compared with "white chocolate". The effects of white chocolate did not differ significantly from those of water. Conclusion: A normal portion of chocolate exhibits psychopharmacological activity. The identical profile of effects exerted by cocoa powder and its methylxanthine constituents shows this activity to be confined to the combination of caffeine and theobromine. Methylxanthines may contribute to the popularity of chocolate; however, other attributes are probably much more important in determining chocolate's special appeal and in explaining related self-reports of chocolate cravings and "chocoholism".

Increased levels of microparticles originating from endothelial cells, platelets and erythrocytes in subjects with metabolic syndrome: relationship with oxidative stress

Background and aims The Metabolic Syndrome (MetS) is associated with increased cardiovascular risk. Circulating microparticles (MP) are involved in the pathogenesis of atherothrombotic disorders and are raised in individual with CVD. We measured their level and cellular origin in subjects with MetS and analyzed their associations with 1/anthropometric and biological parameters of MetS, 2/inflammation and oxidative stress markers. Methods and results Eighty-eight subjects with the MetS according to the NCEP-ATPIII definition were enrolled in a bicentric study and compared to 27 healthy controls. AnnexinV-positive MP (TMP), MP derived from platelets (PMP), erythrocytes (ErMP), endothelial cells (EMP), leukocytes (LMP) and granulocytes (PNMP) were determined by flow cytometry. MetS subjects had significantly higher counts/μl of TMP (730.6 ± 49.7 vs 352.8 ± 35.6), PMP (416.0 ± 43.8 vs 250.5 ± 23.5), ErMP (243.8 ± 22.1 vs 73.6 ± 19.6) and EMP (7.8 ± 0.8 vs 4.0 ± 1.0) compared with controls. LMP and PNMP were not statistically different between groups. Multivariate analysis demonstrated that each criterion for the MetS influenced the number of TMP. Waist girth was a significant determinant of PMP and EMP level and blood pressure was correlated with EMP level. Glycemia positively correlated with PMP level whereas dyslipidemia influenced EMP and ErMP levels. Interestingly, the oxidative stress markers, plasma glutathione peroxydase and urinary 8-iso-prostaglandin F2 α, independently influenced TMP and PMP levels whereas inflammatory markers did not, irrespective of MP type. Conclusion Increased levels of TMP, PMP, ErMP and EMP are associated with individual metabolic abnormalities of MetS and oxidative stress. Whether MP assessment may represent a marker for risk stratification or a target for pharmacological intervention deserves further investigation.

The programming language standards scene, ten years on paper 19: Pop

This paper, one of a simultaneously published set, describes the establishment in 1990 of the UK standards project for the Pop programming language, and the progress of the project to the end of 1993.