Pension benefit guaranty corporation : single-employer pension insurance program faces significant long-term risks : report to Congressional Requesters /

"GAO-04-90."

On cane sugar and the process of its manufacture in Java.

Mode of access: Internet.

A bake-pan for the dough-faces : try it /

Title vignette.

The history of Java.

Gives an account of the Dutch East India Company.

Two faces of federalism; an outline of an argument about pluralism, unity, and law / [by] Robert M. Hutchins.

Bibliographical footnotes.

Handboek ten dienste van de suikerriet-cultuur en de rietsuikerfabricage op Java. Uitgegeven door de vereenigde Proefstations voor Suikerriet in West- en Oost- Java.

Mode of access: Internet.

Théâtre complet avec préfaces inédites.

At head of title: Alexandre Dumas fils.

Mededeelingen van het Proefstation voor de Java-Suikerindustrie.

1907-1909, "Overdrukt uit het Archief voor de Java-suikerindustrie"; 1909-1921, "Overdrukt uit het Archief voor de suikerindustrie in Nederlandsch-Indië"; 1922-1934, issued jointly with Archief voor de suikerindustrie in Nederlandsch-Indië.

Verslag der Vereeniging; het Proefstation voor de Java-Suikerindustrie over het Jaar

Mode of access: Internet.

Ueber exotische Hepaticae, hauptsächlich aus Java, Amboina und Brasilien, nebst einigen morphologischen und kritischen Bemerkungen über Marchantia,

Extracted from "Nova acta der Kal. Leop.-Carol, Deutschen Akademie der Naturforscher, Bd. LX, Nr. 2."

Stable oxygen isotope record of foraminifera from the Ontong Java Plateau

We provide a reconstruction of atmospheric CO2 from deep-sea sediments, for the past 625000 years (Milankovitch chron). Our database consists of a Milankovitch template of sea-level variation in combination with a unique data set for the deep-sea record for Ontong Java plateau in the western equatorial Pacific. We redate the Vostok ice-core data of Barnola et al. (1987, doi:10.1038/329408a0). To make the reconstructions we employ multiple regression between deep-sea data, on one hand, and ice-core CO2 data in Antarctica, on the other. The patterns of correlation suggest that the main factors controlling atmospheric CO2 can be described as a combination of sea-level state and sea-level change. For best results squared values of state and change are used. The square-of-sea-level rule agrees with the concept that shelf processes are important modulators of atmospheric CO2 (e.g., budgets of shelf organic carbon and shelf carbonate, nitrate reduction). The square-of-change rule implies that, on short timescales, any major disturbance of the system results in a temporary rise in atmospheric CO2.

Wurst: a protein threading server with a structural scoring function, sequence profiles and optimized substitution matrices

Wurst is a protein threading program with an emphasis on high quality sequence to structure alignments (http://www.zbh.uni-hamburg.de/wurst). Submitted sequences are aligned to each of about 3000 templates with a conventional dynamic programming algorithm, but using a score function with sophisticated structure and sequence terms. The structure terms are a log-odds probability of sequence to structure fragment compatibility, obtained from a Bayesian classification procedure. A simplex optimization was used to optimize the sequence-based terms for the goal of alignment and model quality and to balance the sequence and structural contributions against each other. Both sequence and structural terms operate with sequence profiles.

Perception of faces and bodies: Similar or different?

Human faces and bodies are both complex and interesting perceptual objects, and both convey important social information. Given these similarities between faces and bodies, we can ask how similar are the visual processing mechanisms used to recognize them. It has long been argued that faces are subject to dedicated and unique perceptual processes, but until recently, relatively little research has focused on how we perceive the human. body. Some recent paradigms indicate that faces and bodies are processed differently; others show similarities in face and body perception. These similarities and differences depend on the type of perceptual task and the level of processing involved. Future research should take these issues into account.

Wave-generated flow on coral reefs - an analysis for two-dimensional horizontal reef-tops with steep faces

Waves breaking on the seaward rim of a coral reef generate a flow of water from the exposed side of the reef to the sheltered side and/or to either channels through the reef-rim or lower sections of the latter. This wave-generated flow is driven by the water surface gradient resulting from the wave set-up created by the breaking waves. This paper reviews previous approaches to modelling wave-generated flows across coral reefs and discusses the influence of reef morphology and roughness upon these flows. Laboratory measurements upon a two-dimensional horizontal reef platform with a steep reef face provide the basis for extending a previous theoretical analysis for wave set-up on a reef in the absence of a flow [Gourlay, M.R., 1996b. Wave set-up on coral reefs. 2. Set-up on reefs with various profiles. Coastal Engineering 28, 1755] to include the interaction between a unidirectional flow and the wave set-up. The laboratory model results are then used to demonstrate that there are two basic reef-top flow regimes-reef-top control and reef-rim control. Using open channel flow theory, analytical relationships are derived for the reef-top current velocity in terms of the offreef wave conditions, the reef-top water depth and the physical characteristics of the reef-top topography. The wave set-up and wave-generated flow relationships are found to predict experimental values with reasonable accuracy in most cases. The analytical relationships are used to investigate wave-generated flows into a boat harbour channel on Heron Reef in the southern Great Barrier Reef. (c) 2005 Elsevier B.V. All rights reserved.

Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.