Parkinson's disease and family history

The study of family history in Parkinson's disease (PD) has resulted in considerable debate over the role of genetic factors in the development of PD. Despite this, family history is consistently identified as an independent risk factor for PD. A multifactorial disease process in which genetic, environmental and lifestyle factors culminate in overall risk seems most likely. This article reviews existing studies of familial aggregation in PD. Recent insights into rare genetic causes of PD have affirmed the importance of ongoing family history research. Future efforts should emphasise well-designed family studies with extensive, non-exclusive phenotyping and ideally long-term follow-up. © 2006 Elsevier Ltd. All rights reserved.

A formal framework for modelling and analysing mobile systems

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.

JKSimFloat V6: Improving flotation circuit performance and understanding

Methods of analysing and optimising flotation circuits have improved significantly over the last 15 years. Mineral flotation is now generally better understood through major advances in measuring and modelling the sub-processes within the flotation system. JKSimFloat V6 is a user-friendly Windows-based software package incorporating simulation, mass balancing, and, currently under development, liberation data viewing and model fitting. This paper presents an overview of the development of the program up to its current status, and the plans established for the future. The application of the simulator, in particular, at various operations is also discussed with emphasis on the use of the program in improving flotation circuit performance.