Saggio sulla storia naturale del Chili /

First published in 1782.

Atti della Società italiana di scienze naturali e del Museo civico di storia naturale di Milano.

Title from cover.

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

"Eingegangen bei der Akademie am 18. August 1892."

Zur Molluskenfauna von Java und Celebes,

"Aus 'Mitteilungen aus dem naturhistorischen Museum.' XXXI (2. Beiheft zum Jahrbuch der hamburgischen wissenschaftlichen Anstalten. XXXI)."

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

Mode of access: Internet.

The history of Java.

Gives an account of the Dutch East India Company.

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.

Expositio Magistri Georgii Bruxellēsis in Logicā Aristotelis vna cū Magistri Thome Bricoti textu de nouo inserto: necnō cum eiusdē questionibus ī cuiusuis fine libri additis ...

Collation of the original: 250 l.

Prolegomena logica : an inquiry into the psychological character of logical processes.

"A portion of the following pages has already appeared in two articles contributed ... to the North British Review."--Pref.

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.

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.

Mutation-based exploration of a method for verifying concurrent Java components

Summary form only given. The Java programming language supports concurrency. Concurrent programs are harder to verify than their sequential counterparts due to their inherent nondeterminism and a number of specific concurrency problems such as interference and deadlock. In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool. The method was derived from an analysis of concurrency failures in Java components, but was not applied in practice. In this paper, we explore the method by applying it to an implementation of the well-known readers-writers problem and a number of mutants of that implementation. We only apply it to a single, well-known example, and so we do not attempt to draw any general conclusions about the applicability or effectiveness of the method. However, the exploration does point out several strengths and weaknesses in the method, which enable us to fine-tune the method before we carry out a more formal evaluation on other, more realistic components.