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.

Comparative Analysis of ESBL-Positive Escherichia coli isolates from Animals and Humans from the UK, the Netherlands and Germany

The putative virulence and antimicrobial resistance gene contents of extended spectrum β-lactamase (ESBL)-positive E. coli (n=629) isolated between 2005 and 2009 from humans, animals and animal food products in Germany, The Netherlands and the UK were compared using a microarray approach to test the suitability of this approach with regard to determining their similarities. A selection of isolates (n=313) were also analysed by multilocus sequence typing (MLST). Isolates harbouring blaCTX-M-group-1 dominated (66%, n=418) and originated from both animals and cases of human infections in all three countries; 23% (n=144) of all isolates contained both blaCTX-M-group-1 and blaOXA-1-like genes, predominantly from humans (n=127) and UK cattle (n=15). The antimicrobial resistance and virulence gene profiles of this collection of isolates were highly diverse. A substantial number of human isolates (32%, n=87) did not share more than 40% similarity (based on the Jaccard coefficient) with animal isolates. A further 43% of human isolates from the three countries (n=117) were at least 40% similar to each other and to five isolates from UK cattle and one each from Dutch chicken meat and a German dog; the members of this group usually harboured genes such as mph(A), mrx, aac(6’)-Ib, catB3, blaOXA-1-like and blaCTX-M-group-1. forty-four per cent of the MLST-typed isolates in this group belonged to ST131 (n=18) and 22% to ST405 (n=9), all from humans. Among animal isolates subjected to MLST (n=258), only 1.2% (n=3) were more than 70% similar to human isolates in gene profiles and shared the same MLST clonal complex with the corresponding human isolates. The results suggest that minimising human-to-human transmission is essential to control the spread of ESBL-positive E. coli in humans.

Diversity of STs, plasmids and ESBL genes among Escherichia coli from humans, animals and food in Germany, the Netherlands and the UK

This study aimed to compare ESBL-producing Escherichia coli causing infections in humans with infecting or commensal isolates from animals and isolates from food of animal origin in terms of the strain types, the ESBL gene present and the plasmids that carry the respective ESBL genes. A collection of 353 ESBL-positive E. coli isolates from the UK, the Netherlands and Germany were studied by MLST and ESBL genes were identified. Characterization of ESBL gene-carrying plasmids was performed using PCR-based replicon typing. Moreover, IncI1-Iγ and IncN plasmids were characterized by plasmid MLST. The ESBL-producing E. coli represented 158 different STs with ST131, ST10 and ST88 being the most common. Overall, blaCTX-M-1 was the most frequently detected ESBL gene, followed by blaCTX-M-15, which was the most common ESBL gene in the human isolates. The most common plasmid replicon type overall was IncI1-Iγ followed by multiple IncF replicons. ESBL genes were present in a wide variety of E. coli STs. IncI1-Iγ plasmids that carried the blaCTX-M-1 gene were widely disseminated amongst STs in isolates from animals and humans, whereas other plasmids and STs appeared to be more restricted to isolates from specific hosts.

Ibergirhynchia contraria (F. A. Roemer, 1850), an Early Carboniferous seep-related rhynchonellide brachiopod from the Harz Mountains, Germany - A possible successor to Dzieduszyckia?

A new genus Ibergirhynchia, a member of the rhynchonellide superfamily Dimerelloidea, is described for the species Terebratula contraria Roemer, 1850, from Early Carboniferous deposits of the Harz Mountains, Germany. Ibergirhynchia contraria is from a monospecific brachiopod limestone that formed on top of the drowned Devonian Iberg Reef which persisted as a seamount during Famennian and Early Carboniferous times. Ibergirhynchia contraria is considered a cold seep-related brachiopod based on this locality. Such seep associations have been observed for Mesozoic representatives of the rhynchonellide superfamily Dimerelloidea. Ibergirhynchia is considered the first Paleozoic representative of the family Rhynchonellinidae. Ibergirhynchia resembles Dzieduszyckia externally and may be derived from this dimerelloid.

Intercomparison of aircraft instruments on board the C-130 and Falcon-20 over southern Germany during EXPORT2000

In the summer 2000 EXPORT aircraft campaign (European eXport of Precursors and Ozone by long-Range Transport), two comprehensively instrumented research aircraft measuring a variety of chemical species flew wing tip to wing tip for a period of one and a quarter hours. During this interval a comparison was undertaken of the measurements of nitrogen oxide (NO), odd nitrogen species (NOy), carbon monoxide (CO) and ozone (O3). The comparison was performed at two different flight levels, which provided a 10-fold variation in the concentrations of both NO (10 to 1000 parts per trillion by volume (pptv)) and NOy (200 to over 2500 pptv). Large peaks of NO and NOy observed from the Falcon 20, which were at first thought to be from the exhaust of the C-130, were also detected on the 4 channel NOxy instrument aboard the C-130. These peaks were a good indication that both aircraft were in the same air mass and that the Falcon 20 was not in the exhaust plume of the C-130. Correlations and statistical analysis are presented between the instruments used on the two separate aircraft platforms. These were found to be in good agreement giving a high degree of correlation for the ambient air studied. Any deviations from the correlations are accounted for in the estimated inaccuracies of the instruments. These results help to establish that the instruments aboard the separate aircraft are reliably able to measure the corresponding chemical species in the range of conditions sampled and that data collected by both aircraft can be co-ordinated for purposes of interpretation.

Libraries and literature in Rome

A chapter of 6,000 words on books, literary culture, and public and private libraries in the ancient city of Rome

Public libraries in the cities of the Roman Empire

A chapter based on a paper given at major conference, arguing that the civic and architectural contexts of many public libraries in the Roman world contributed strongly to their status as conspicuous 'public' buildings, and should inform the way we think of library functions in the Roman world

Galen and libraries in the Peri Alupias

A long (12,000 word) article on the evidence for library function and usage in the newly-discovered Peri Alupias of Galen

Bibliotheca Latina Graecaque: on the possible division of Roman libraries by language

An article challenging the frequent assumption that Roman public libraries consisted of architecturally separated spaces divided by language (Latin and Greek). While the evidence for such a division is reasonably strong in some cases, in others it is convention rather than evidence that prompts the labelling of buildings as 'Latin' and 'Greek' libraries. The article is based on a paper given at a major international conference in Paris

The visibility of agricultural subsidies and market illusions in the Common Agricultural Policy: Some evidence from farmers' views in Germany, Portugal and the United Kingdom

This article demonstrates that the design and nature of agricultural support schemes has an influence on farmers' perception of their level of dependence on agricultural support. While direct aid payments inform farmers about the extent to which they are subsidised, indirect support mechanisms veil the level of subsidisation, and therefore they are not fully aware of the extent to which they are supported. To test this hypothesis, we applied data from a survey of 4,500 farmers in three countries: the United Kingdom, Germany and Portugal. It is demonstrated that indirect support, such as that provided through artificially high consumer prices, gives an illusion of free and competitive markets among farmers. This 'visibility' hypothesis is evaluated against an alternative hypothesis that assumes farmers have complete, or at least a fairly comprehensive level of, information on agricultural support schemes. Our findings show that this alternative hypothesis can be ruled out.