Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Ecotourism in China's Nature Reserves

This chapter provides an overview of ecotourism in China, including relevant policy, issues, and trends. Most concepts and definitions of ecotourism can be reduced to the following: ecotourism is tourism and recreation that is both nature based and sustainable. The focus of this chapter is on visitation at nature reserves in China. Issues relevant to sustainability and ecotourism objectives are noted in the chapter, and the need for ongoing development of policy and management systems is stressed in order to enhance future achievement of these objectives.

HLA-G polymorphisms in women with squamous intraepithelial lesions harboring human papillomavirus

Human papillomavirus (HPV) infection is etiologically associated with low-(LSIL) and high-grade squamous intraepithelial lesions (HSIL) and with cervical cancer. The progression or regression of the lesions may depend, among other factors, on the host heritable immune response. Because human leukocyte antigen (HLA)-G molecules are involved in the modulation of innate and adaptive immune responses, and because no previous studies have evaluated HLA-G polymorphism in patients with SIL, we conducted a study to assess the association between HLA-G polymorphisms and cervical lesions harboring HPV infection. Cervico-vaginal scrapings and blood samples were collected from 125 women with SIL (68 LSIL and 57 HSIL) and from 94 healthy women without HPV infection and cytological abnormalities. HPV type and HLA-G polymorphisms in exons 2, 3 and 8 (14 bp insertion/deletion) were evaluated by PCR methodology, and digested with restriction endonucleases. The Genepop software and the EM and PHASE algorithms were used for statistical analysis. A significant protective association was observed between the presence of the G*0103 allele and SIL and between the G0101/G0104 genotype and HSIL in the group of patients compared to control. The presence of the G0104/+14 bp and G0104/-14 bp haplotypes conferred susceptibility to SIL compared to control. In addition, patients possessing the G0104/+14 bp haplotype and harboring HPV-16 and -18 co-infections were particularly associated with HSIL. These findings suggest that HLA-G polymorphisms may be associated with HPV infection and SIL, consequently representing a profile of predisposition to cervical cancer. Modern Pathology (2009) 22, 1075-1082; doi: 10.1038/modpathol.2009.67; published online 1 May 2009

Ecotourism/Wildlife-based tourism as contributor to nature conservation with reference to Vanni, Sri Lanka

After discussing definitions of ecotourism, outlines possible economic and conservational benefits from developing ecotourism or wildlife-based tourism. Identifies possible economic benefits for local communities but also outlines possible economic costs to such communities. Observations are made on the potential of developing ecotourism in the Giant’s Tank/Mannar area. A sufficient market does not always exist for wildlife-based tourism to make it economically viable. Therefore, market analysis should be undertaken before promoting the development of wildlife-based tourism in a locality. A checklist is provided to give some guidance in market appraisal. It is observed that even non-consumptive wildlife-based tourism can have adverse environmental consequences and these are listed. Care is needed to avoid these negative consequences and to ensure that local communities do in fact obtain adequate economic benefits from the development of wildlife-based tourism.

Resource entitlements of indigenous minorities, their poverty and conservation of nature: Status of Australian Aborigines, comparisons with India's tribals, theory and changing policies globally

Considers the relevance of A.K. Sen’s theory of entitlements to the situation facing indigenous tribal people, its relationship to institutionalism, and to theories of property rights. Changing world views about the resource entitlements that should be given to local communities are outlined concentrating on the views expressed by the World Conservation Union (IUCN). These changing views have relevance for the resource entitlements of indigenous tribal communities and are reflected in differences in the policy approaches inherent in the Convention on International Trade in Endangered Species (CITES) and the more recent Convention on Biological Diversity. The latter embodies the view that provision of greater resource entitlements to local communities can provide economic incentives for nature conservation. There is a case for Indigenous Australians to be given greater rights to market the natural produce from their lands. Despite progress with land rights, they are not entitled to market much of the natural produce from their land. The socioeconomic status of Australian Aborigines is outlined. Their standard of living and their life expectancy are low by world standards and in comparison to other Australians. This is partly a result of historical events that have restricted their rights. These events are outlined briefly. Views differ about the appropriate development paths for Indigenous Australians and these are assessed. Concern on environmental and economic grounds is expressed about the view that the economic development of Australian Aboriginal communities would be accelerated by replacing their communal land titles by private land titles and encouraging Western-style agriculture and commercial development of their lands. Some comparisons are also made with the situation of India’s Tribals.

Differential patterns of receptor activator of nuclear factor kappa B ligand/osteoprotegerin expression in human periapical granulomas: Possible association with progressive or stable nature of the lesions

Receptor activator of nuclear factor kappa B ligand (RANKL) and osteoprotegerin (OPG) are expressed in apical periodontitis, suggesting a role for these molecules during lesion development. However, the profiles of RANKL/OPG expression in periapical lesions remain unknown. In this study we investigated the patterns of RANKL and OPG mRNA expression by real-time polymerase chain reaction in human periapical granulomas (N = 44) and compared them with sites presenting characteristic bone resorbing activity: healthy (n = 14) and orthodontically stretched and compressed periodontal ligament (n = 26), healthy gingiva (n = 24), chronic gingivitis (n = 32), and chronic periodontitis (n = 34) samples. Both RANKL and OPG mRNA expression was higher in periapical granulomas when compared with healthy periodontal ligament. Distinct patterns of RANKL and OPG expression ratio were found in the granulomas and in different physiologic and pathologic conditions, with characteristic bone resorption activity potentially being indicative of the stable or progressive nature of the lesions. Lesions with radiographic image smaller than 5 mm showed higher RANKL/OPG expression than images greater than 5 mm. Periapical granulomas presented heterogeneous patterns of RANKL and OPG expression, ranging from samples with RANKL/OPG ratio similar to that seen in sites with minimal or absent bone resorption to samples with RANKL/OPG expression pattern comparable with active bone resorption sites.

Robust parameter settings of evolutionary algorithms for the optimisation of agricultural systems models

Numerical optimisation methods are being more commonly applied to agricultural systems models, to identify the most profitable management strategies. The available optimisation algorithms are reviewed and compared, with literature and our studies identifying evolutionary algorithms (including genetic algorithms) as superior in this regard to simulated annealing, tabu search, hill-climbing, and direct-search methods. Results of a complex beef property optimisation, using a real-value genetic algorithm, are presented. The relative contributions of the range of operational options and parameters of this method are discussed, and general recommendations listed to assist practitioners applying evolutionary algorithms to the solution of agricultural systems. (C) 2001 Elsevier Science Ltd. All rights reserved.