title: Do roads lead to grassland degradation or restoration? A case study in Inner Mongolia, China

authors: Deng, Xiangzheng

subjects: China

abstract: We use satellite remote sensing data of grassland cover in Inner Mongolia, China to test whether the existence of and the size of roads in 1995 is associated with the nature of the grassland in 2000 and/or if it affects the rate of change of the grassland between 1995 and 2000. The regression results show that the impact of roads on grassland cover depends on the nature of the resource. When the grassland is composed of relatively high quality grassland, roads lead to degradation, whereas when grassland resources are sparse, access to a road results in the restoration of the resource.

text: Do roads lead to grassland degradation or restoration? A case study in Inner Mongolia, China We use satellite remote sensing data of grassland cover in Inner Mongolia, China to test whether the existence of and the size of roads in 1995 is associated with the nature of the grassland in 2000 and/or if it affects the rate of change of the grassland between 1995 and 2000. The regression results show that the impact of roads on grassland cover depends on the nature of the resource. When the grassland is composed of relatively high quality grassland, roads lead to degradation, whereas when grassland resources are sparse, access to a road results in the restoration of the resource.

year: 2011

title: A framework for compositional nonblocking verification of extended finite-state machines

authors: Mohajerani, Sahar

subjects: Science & Technology

abstract: This paper presents a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results are improved to consider general conflict-equivalence based abstractions of EFSMs communicating both via shared variables and events. Performance issues resulting from the conversion of EFSM systems to finite-state machine systems are avoided by operating directly on EFSMs, deferring the unfolding of variables into state machines as long as possible. Several additional methods to abstract EFSMs and remove events are also presented. The proposed algorithm has been implemented in the discrete event systems tool Supremica, and the paper presents experimental results for several large EFSM models that can be verified faster than by previously used methods.

text: A framework for compositional nonblocking verification of extended finite-state machines This paper presents a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results are improved to consider general conflict-equivalence based abstractions of EFSMs communicating both via shared variables and events. Performance issues resulting from the conversion of EFSM systems to finite-state machine systems are avoided by operating directly on EFSMs, deferring the unfolding of variables into state machines as long as possible. Several additional methods to abstract EFSMs and remove events are also presented. The proposed algorithm has been implemented in the discrete event systems tool Supremica, and the paper presents experimental results for several large EFSM models that can be verified faster than by previously used methods.

year: 2016-03-01

title: Kaitiakitanga: protecting New Zealand's native biodiversity

authors: Morad, Munir

subjects: geography

abstract: Species diversity is a very important component of a healthy ecosystem, and a necessary condition for long-term sustainable development. However, it is widely recognised that species extinction is on the increase in New Zealand, as biological diversity comes under pressure from landuse activity and environmental change.

text: Kaitiakitanga: protecting New Zealand's native biodiversity Species diversity is a very important component of a healthy ecosystem, and a necessary condition for long-term sustainable development. However, it is widely recognised that species extinction is on the increase in New Zealand, as biological diversity comes under pressure from landuse activity and environmental change.

year: 2000