Search results

Even during these tough economic times the current administration has proposed to revive the US “Cap and Trade” initiative and to see it through to passage. Many in the public are not aware that the idea of cap and trade is not new as similar programs have been successfully used in the US and other countries to “wind down” environmentally damaging emissions. The aim of this paper is to explain cap and trade and to project what form current proposals could take.

This paper explains cap and trade and goes on to project what form current proposals could take. It also examines the alternatives and the arguments both for and against cap and trade. Projected costs and benefits are examined, along with some examination of the actual mechanics by which the system is expected to operate.

The current US mood is that proposals to reduce greenhouse gas emissions will be expensive and burdensome to businesses and consumers. In fact, this is what is preventing them from going forward. The consensus is now growing that in order to achieve the goals of cap and trade, proposals will have to be cost effective, expanded internationally, and include India, China and other emerging manufacturing economies. If this can be done, it appears that cap and trade will continue to be part of the landscape of US emission reductions, along with the use of alternative and other renewable energy resources.

The paper examines costs and benefits of cap and trade, along with some examination of the actual mechanics by which the system is expected to operate

Given this casting of the problem, the logical question by the late 1980s had become, how should government craft policy tools to motivate stronger efforts by local educators? A variety of central governments in the West had tried to lift children's learning curves through new funding for particular categories of students, along with tighter regulation of how these dollars must be spent. But this assumed that legislators and education bureaucrats knew how to best organize instructional “inputs” and social relations inside classrooms. The conceptual breakthrough with the new buzz around standards-based or performance-focused reform was that government would concentrate on clarifying learning outcomes, leaving local educators to tailor school inputs and pedagogical practices. (Several chapters in this volume show how, in fact, central governments have difficulty resisting the exercise of control over output standards and input mixes.)

Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. The purpose of this paper is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as the DPS.

Bruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create links from mathematical symbols to their definitions in the NIST Digital Library of Mathematical Functions (DLMF). The authors are using these macros to perform rule-based translations between the formulae in the DLMF and CAS. Moreover, the authors develop software to ease the creation of new rules and to discover inconsistencies.

The authors created 396 mappings and translated 58.8 percent of DLMF formulae (2,405 expressions) successfully between Maple and DLMF. For a significant percentage, the special function definitions in Maple and the DLMF were different. An atomic symbol in one system maps to a composite expression in the other system. The translator was also successfully used for automatic verification of mathematical online compendia and CAS. The evaluation techniques discovered two errors in the DLMF and one defect in Maple.

This paper introduces the first translation tool for special functions between LaTeX and CAS. The approach improves error-prone manual translations and can be used to verify mathematical online compendia and CAS.

This month's column concerning interlibrary services in the OCLC universe begins with a “surfing” trip through the Internet where you may learn to capture wild, unsuspecting documents…