Temperature variation within and between nests of the green sea turtle, Chelonia mydas (Chelonia : Cheloniidae) on Heron Island, Great Barrier Reef

Four temperature data-loggers were placed in each of five green sea turtle nests on Heron Island in the 1998-99 nesting season. Temperatures in all nests increased as incubation progressed due to general sand heating and increased metabolic heat production of the developing embryos. Even at the top of nests no daily diurnal fluctuation in temperature was evident. The temperature of eggs in the middle of the nest increased above those in the nest periphery during the last third of incubation. However, this metabolic nest heating would have little effect on hatchling sex ratio because it occurred after the sex-determining period. Small differences in temperature between regions of a nest persisted throughout incubation and may be important in ensuring the production of at least some individuals of the opposite sex in nests that have temperatures close to either the all-male or all-female determining temperatures. Location and degree of shading of nests had little effect on mean nest temperature, but deeper nests were generally cooler and therefore were predicted to produce a higher proportion of males than were shallower nests. Nest temperature profile data indicated that the 1998-99 nesting season on Heron Island would have produced a strongly female-biased sex ratio amongst hatchlings.

Incubation temperature, energy expenditure and hatchling size in the green turtle (Chelonia mydas), a species with temperature-sensitive sex determination

Eggs from the Heron Island, Great Barrier Reef, nesting population of green turtles (Chelonia mydas) were incubated at all-male-determining (26 degreesC) and all-female-determining (30 degreesC) temperatures. Oxygen consumption and embryonic growth were monitored throughout incubation, and hatchling masses and body dimensions were measured from both temperatures. Eggs hatched after 79 and 53 days incubation at 26 degreesC and 30 degreesC respectively. Oxygen consumption at both temperatures increased to a peak several days before hatching, a pattern typical of turtle embryos, and the rate of oxygen was higher at 30 degreesC than 26 degreesC. The total amount of energy consumed during incubation, and hatchling dimensions, were similar at both temperatures, but hatchlings from 26 degreesC had larger mass, larger yolk-free mass and smaller residual yolks than hatchlings from 30 degreesC. Because of the difference in mass of hatchlings, hatchlings from 30 degreesC had a higher production cost.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Ethical practice for biotechnology or defending the status quo

The Queensland, Australia government recently released its Code of Ethical Practice for Biotechnology in Queensland. Hindmarsh and Hulsman question whether this code will serve to help or hinder biotechnology in Queensland and the rest of the world.

Health and physical education in middle schooling

The middle years of schooling are receiving increased attention. This paper gives some background to 'middle schooling' and begin discussion if physical education is to be involved in the shift that an increasing number of schools are attempting to make in order to enhance student learning. It addresses findings, innovations and changes to the field of physical education. A set of questions are posed about the relationship between the middle years of schooling, health and physical education.

It's all in the contract: Rethinking feminist critiques of contract

This article examines contemporary feminist arguments about contract. It does not aim to advance new arguments for or against contract but to call into question the dominant feminist position which is that contract has to be cast aside and/or that alternative approaches to contract have to be developed in order to advance the position of women. In a reworking of Elizabeth Kingdom's anti-essentialist approach to rights, Sullivan argues that a feminist but non-essentialist approach to contract is both possible and desirable. Sullivan explores a number of concrete situations in the Australian context where contract approaches have been deployed in law and public policy and demonstrates that contract may be detrimental or advantageous to the position of women. Sullivan argues, therefore, for a strategic and critical feminist approach to the utilisation of the language and practice of contract.

Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.