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.

Impact of biomass burning on aerosol properties over tropical wet evergreen forests of Arunachal Pradesh, India

Ancient lakes of the Sahara

As a result of climate change over the past 5000 years the Sahara changed from savannah to a desert landscape. The beds of ancient lakes are home to snail shells and the petrified roots of trees and shrubs. Examples of human occupation can also be seen in the form of fireplaces and discarded tools. Examination of the geological history of these sites can give a clearer picture of how the climate changed and how humans coped with these changes.

Economic impact of genetically modified cotton in India

This paper presents the results of a study aimed at measuring the economic impact of genetically modified cotton in Maharashtra State, India. It is the first study of its kind in India in that the data have been collected from farmers growing the crop under market conditions, rather than from trials. The research compares the performance of more than 9,000 Bt and non-Bt cotton farm plots in Maharashtra over the 2002 and 2003 growing seasons. Results show that Bt cotton varieties have had a significant positive impact on average yields and on the economic performance of cotton growers.

Explaining contradictory evidence regarding impacts of genetically modified crops in developing countries. Varietal performance of transgenic cotton in India

A study of the commercial growing of different varieties of Bacillus thuringiensis (Bt) cotton compares the performance of growing official and unofficial hybrid varieties of Bt cotton and conventional (non-Bt) hybrids in Gujarat by 622 farmers. Results suggest that the official Bt varieties (MECH 12 and MECH 162) significantly outperform the unofficial varieties. However, unofficial, locally produced Bt hybrids can also perform significantly better than non-Bt hybrids, although second generation (F-2) Bt seed appears to have no yield advantage compared to non-Bt hybrids but can save on insecticide use. Although hybrid vigour is reduced, or even lost, with F-2 seed the Bt gene still confers some advantage. The F-2 seed is regarded as 'GM' by the farmers (and is sold as such), even though its yield performance is little better than the non-GM hybrids. The results help to explain why there is so much confusion arising from GM cotton release in India.

Farm-level economic performance of genetically modified cotton in Maharashtra, India

A study of the commercial growing of Bacillus flutringiensis (Bt) cotton in India, compares the performance of over 9,000 Bt and non-Bt cotton farm plots in Maharashtra over the 2002 and 2003 seasons. Results show that since their commercial release in 2002, Bt cotton varieties have had a significant positive impact on average yields and on the economic performance of cotton growers. Regional variation showed that, in a very few areas, not all farmers had benefited from increased performance of Bt varieties.

Modelled soil organic carbon stocks and changes in the Indo-Gangetic Plains, India from 1980 to 2030

The Global Environment Facility co-financed Soil Organic Carbon (GEFSOC) Project developed a comprehensive modelling system for predicting soil organic carbon (SOC) stocks and changes over time. This research is an effort to predict SOC stocks and changes for the Indian, Indo-Gangetic Plains (IGP), an area with a predominantly rice (Oryza sativa) - wheat (Triticum aestivum) cropping system, using the GEFSOC Modelling System and to compare output with stocks generated using mapping approaches based on soil survey data. The GEFSOC Modelling System predicts an estimated SOC stock for the IGP, India of 1.27, 1.32 and 1.27 Pg for 1990, 2000 and 2030, respectively, in the top 20 cm of soil. The SOC stock using a mapping approach based on soil survey data was 0.66 and 0.88 Pg for 1980 and 2000, respectively. The SOC stock estimated using the GEFSOC Modelling System is higher than the stock estimated using the mapping approach. This is due to the fact that while the GEFSOC System accounts for variation in crop input data (crop management), the soil mapping approach only considers regional variation in soil texture and wetness. The trend of overall change in the modelled SOC stock estimates shows that the IGP, India may have reached an equilibrium following 30-40 years of the Green Revolution. This can be seen in the SOC stock change rates. Various different estimation methods show SOC stocks of 0.57-1.44 Pg C for the study area. The trend of overall change in C stock assessed from the soil survey data indicates that the soils of the IGP, India may store a projected 1.1 Pg of C in 2030. (C) 2007 Elsevier B.V. All rights reserved.