Lake Champlain fossils

p. [41]-63, [5] leaves of plates : ill. ; 24 cm.Includes bibliographical references

Improving Organ Procurement Travel Practices in the United States: Proceedings from the Michigan Donor Travel Forum

There are significant risks and inefficiencies associated with organ procurement travel. In an effort to identify, quantify, and define opportunities to mitigate these risks and inefficiencies, 25 experts from the transplantation, transportation and insurance fields were convened. The forum concluded that: on procurement travel practices are inadequate, there is wide variation in the quality of aero-medical transportation, current travel practices for organ procurement are inefficient and there is a lack of standards for organ procurement travel liability coverage. The forum concluded that the transplant community should require that air-craft vendors adhere to industry quality standards compatible with the degree of risk in their mission profiles. Within this context, a purchasing collaborative within the transplant community may offer opportunities for improved service and safety with lower costs. In addition, changes in travel practices should be considered with broader sharing of procurement duties across centers. Finally, best practice standards should be instituted for life insurance for transplant personnel and liability insurance for providers. Overall, the aims of these proposals are to raise procurement travel standards and in doing so, to improve the transplantation as a whole.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/79257/1/j.1600-6143.2009.02964.x.pd

New species of Silurian fossils

p. 177-184, [2] leaves of plates : ill ; 24 cm.Includes bibliographical references

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

The James Webb Space Telescope Mission

Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.Comment: Accepted by PASP for the special issue on The James Webb Space Telescope Overview, 29 pages, 4 figure

Togo: Thorny transition and misguided aid at the roots of economic misery

The parliamentary elections of October 2007, the first free Togolese elections since decades, were meant to correct at least partially the rigged presidential elections of 2005. Western donors considered it as a litmus test of despotic African regimes’ propensity to change towards democratization and economic prosperity. They took Togo as model to test their approach of political conditionality of aid, which had been emphasised also as corner stone of the joint EU-Africa strategy. Empirical findings on the linkage between democratization and economic performance are challenged in this paper because of its basic data deficiencies. It is open to question, whether Togo’s expected economic consolidation and growth will be due to democratization of its institutions or to the improved external environment, notably the growing competition between global players for African natural resources