Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Approximate analytical solutions for porous catalysts with nonuniform activity

Using a novel finite integral transform technique, the problem of diffusion and chemical reaction in a porous catalyst with general activity profile is investigated theoretically. Analytical expressions for the effectiveness factor are obtained for pth order and Michaelis-Menten kinetics. Perturbation methods are employed to provide useful asymptotic solutions for large or small values of Thiele modulus and Biot number.

Recreational fishing and fishing policies in the Netherlands and Australia: A comparative review

This article compares fisheries management, environmental problems and policies of the Netherlands and Australia. From this comparison lessons can be learned for countries that experience economic growth and on increase of leisure activity. In both countries, conflicts between the user groups, e.g. commercial and recreational fishers, are identified and the ways in which policymakers deal with these problems are outlined. Often suggested tools to address these problems are decision-making procedures based on a holistic framework in which economic, sociocultural, political/institutional, ecological aspects are included in the decision framework. Recreational fishing is today often the dominant factor in the resolution of these matters because of the relative economic, social and political power of recreational fishers as a group.

Glow worms as a tourist attraction in Springbrook National Park: Visitor attitudes and economic issues

nsect-based tourism mainly caters to a niche market, but its popularity has been growing in recent years. Despite its popularity this form of tourism has remained under-researched and in a sense its contribution to the tourism industry has gone mostly unnoticed. This paper reports the results of a study undertaken on one form of popular insect-based tourism, namely glow worms. The study was undertaken in Springbrook National Park (Natural Bridge section) southeast Queensland, which has one of the largest glow worm colonies in Australia that attracts thousands of visitors each year. A study of this form of tourism is important and useful for several reasons. It is important to understand this hitherto under-studied tourism activity to determine the type of visitors, their socio-economic attributes, economic benefits to the local economy, visitors’ knowledge of glow worms, education imparted, visitor satisfaction of glow worm viewing and visitor attitudes for the introduction of a user fee system to view glow worms. An understanding of these issues could not only help to better manage this valuable biological resource, but can be used to develop the industry to cater to a growing number of visitors. Tourism in glow worms can potentially be used not only to educate the public on the threats affecting glow worms and their colonies, but could also be used to conserve them. Lessons learnt from glow worms as an attraction to Springbrook National Park can be used to better manage and further develop other existing and new glow worm sites in Australia and elsewhere for tourism. Furthermore, it could provide some guidance for the management and development of other forms of current insect-based tourism activities (eg. butterflies) and develop new tourism ventures based on species such as stick insects and jewel beetles for which Australia is well known (Reader’s Digest, 1997)

Polytomous item response theory models

Polytomous Item Response Theory Models provides a unified, comprehensive introduction to the range of polytomous models available within item response theory (IRT). It begins by outlining the primary structural distinction between the two major types of polytomous IRT models. This focuses on the two types of response probability that are unique to polytomous models and their associated response functions, which are modeled differently by the different types of IRT model. It describes, both conceptually and mathematically, the major specific polytomous models, including the Nominal Response Model, the Partial Credit Model, the Rating Scale model, and the Graded Response Model. Important variations, such as the Generalized Partial Credit Model are also described as are less common variations, such as the Rating Scale version of the Graded Response Model. Relationships among the models are also investigated and the operation of measurement information is described for each major model. Practical examples of major models using real data are provided, as is a chapter on choosing an appropriate model. Figures are used throughout to illustrate important elements as they are described.

Career development and systems theory: Connecting theory and practice

The Systems Theory Framework was developed to produce a metatheoretical framework through which the contribution of all theories to our understanding of career behaviour could be recognised. In addition it emphasises the individual as the site for the integration of theory and practice. Its utility has become more broadly acknowledged through its application to a range of cultural groups and settings, qualitative assessment processes, career counselling, and multicultural career counselling. For these reasons, the STF is a very valuable addition to the field of career theory. In viewing the field of career theory as a system, open to changes and developments from within itself and through constantly interrelating with other systems, the STF and this book is adding to the pattern of knowledge and relationships within the career field. The contents of this book will be integrated within the field as representative of a shift in understanding existing relationships within and between theories. In the same way, each reader will integrate the contents of the book within their existing views about the current state of career theory and within their current theory-practice relationship. This book should be required reading for anyone involved in career theory. It is also highly suitable as a text for an advanced career counselling or theory course.