Current concepts - Schistosomiasis

In 1851, Theodor Bilharz described a parasitic infection (bilharzia) that would later be termed schistosomiasis. Currently, 200 million people in 74 countries have this disease; 120 million of them have symptoms, and 20 million have severe illness.1 Schistosomiasis is caused by parasitic trematode worms (schistosomes) that reside in the abdominal veins of their vertebrate definitive hosts. The life cycle of the schistosome is depicted in Figure 1. Schistosomiasis is 1 of the 10 tropical diseases especially targeted for control by the Special Program for Research and Training in Tropical Diseases of the United Nations Development Program, the World Bank, . . . [Full Text of this Article]

Residential mobility in the Seoul metropolitan region: Who, where and why?

This article presents data on residential mobility for the Seoul Metropolitan Region. It addresses two questions-why do households move and who moves and finds that like research undertaken in other cities that a wide range of factors impact on the residential mobility process. Key outcomes include the impact of housing dissatisfaction on residential mobility and the impact that life cycle, period of residence and housing and dwelling characteristics have on discerning between movers and non-movers.

Developmental anomalies in the tooth plates and jaw bones of lungfish

Lungfish of the tooth-plated lineage, both fossil and living, may be affected by alterations in the permanent tooth plates and associated jaw bones as they grow. In a few taxa, the unusual structures may be so common that they must be considered as normal for those species, or as a variation of the normal condition. In others the condition is rare, affecting only a few individuals. Variations, or anomalies, may appear in the growing tissues of the lungfish tooth plate at any time in the life cycle, although they usually appear early in development. Once the changes appear, they persist in the dentition. The altered structures include divided or intercalated ridges, short ridge anomaly, changes in the shape, number and position of cusps, pattern loss, and fused ridges or cusps. Criteria used to distinguish alteration from normal conditions are the incidence of the character in the population, the associated changes in the jaw bone, and the position of the altered structure in the tooth plate. The occurrence of similar changes across a wide range of different species suggests that they may have a genetic cause, especially when they are a rare occurrence in most taxa, but common enough to be a part of the normal variation in others. Prevalence of related anomalies throughout the history of the group suggests that dipnoans of the tooth-plated lineage are closely related, despite significant differences in morphology, microstructure, and function of the denfitions.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.