Over the past 25 years, researchers have written numerous deduction systems based on resolution and paramodulation. Of these systems, a very few have been capable of generating and maintaining a formula database "containing more than just a few thousand clauses. These few systems were used to explore mechanisms for rapidly extracting limited subsets of relevant" clauses. We have written this tutorial to reflect some of the best ideas that have emerged and to cast them in a form that makes them easily accessible to students wishing to write their own high-performance systems.

Fluid-elastic instability of loosely supported tubes, vibrating in a tube-support-plate (TSP) inactive mode, is suspected to be one of the main causes of tube failure in some operating steam generators and heat exchangers. This report presents a mathematical model for fluid-elastic instability of loosely supported tubes exposed to non-uniform cross-flow. The model incorporates all motion-dependent fluid forces based on the unsteady flow theory. In the unstable region associated with a TSP-inactive mode, tube motion can be described by two linear models: TSP-inactive mode when tubes do not strike the TSP, and TSP-active mode when tubes do strike the TSP. A bilinear model (consisting of these linear models) presented in this report simulates the characteristics of fluid-elastic instability of loosely supported tubes in stable and unstable regions associated with TSP-inactive modes. Analytical results obtained with the model are compared with published experimental data; they agree reasonably well. The prediction procedure presented for fluid-elastic instability response of loosely supported tubes is applicable to the stable and unstable regions of the TSP-inactive mode.

Abstract: Data on the Hawaiian monk seal, Monachus schauinslandi, were collected at Kure Atoll from 23 February to 20 October 1988. Beach counts made on 54 atoll-wide censuses averaged 30.0 seals, including pups of the year. Eight pups (five females and three males) were born; seven survived to weaning. Thirteen injuries to 12 seals were documented, and 5 seals became entangled in marine debris. An estimated 1,195 kg of debris were removed from beaches. Thirty-two of 40 seals tagged at Kure Atoll since 1981 were resighted. Five weaned female pups were maintained in a protective enclosure until 20-21 September, and a yearling Kure Atoll seal, which had been rehabilitated in Honolulu, was maintained in the enclosure from 22 March to 12 May.

This report is based on the observational studies of the Hawaiian monk seal studied on Laysan Island in the Northwestern Hawaiian Islands from 28 February to 20 June and from 24 October to 13 November 1988. The data collected covers haul-out patterns, population structure, reproductive patterns, and patterns affecting survival (primarily adult male aggression toward adult female and immature seals).

From introduction and summary: This is a report that summarizes a 3-week workshop convened to assist fishery scientists from selected Pacific island countries in analyzing their research and commercial catch and effort data on deepwater snappers.The ultimate objective of the analyses were to estimate the maximum sustainable yield (MSY) and the fishing effort that achieves the MSY for deepwater snappers in each country.