Valuing conservation benefits of an offshore marine protected area

Increasing anthropogenic pressure in the offshore marine environment highlights the need for improved management and conservation of offshore ecosystems. This study scrutinises the applicability of a discrete choice experiment to value the expected benefits arising from the conservation of an offshore sandbank in UK waters. The valuation scenario refers to the UK part of the Dogger Bank, in the southern North Sea, and is based on real-world management options for fisheries, wind farms and marine protection currently under discussion for the site. It is assessed to what extent the general public perceive and value conservation benefits arising from an offshore marine protected area. The survey reveals support for marine conservation measures despite the general public's limited prior knowledge of current marine planning. Results further show significant values for an increase in species diversity, the protection of certain charismatic species and a restriction in the spread of invasive species across the site. Implications for policy and management with respect to commercial fishing, wind farm construction and nature conservation are discussed

Assessing costs and benefits of measures to achieve good environmental status in European regional seas: challenges, opportunities, and lessons learnt

The EU Marine Strategy Framework Directive (MSFD) requires Member States to assess the costs and benefits of Programmes of Measures (PoMs) put in place to ensure that European marine waters achieve Good Environmental Status by 2020. An interdisciplinary approach is needed to carry out such an assessment whereby economic analysis is used to evaluate the outputs from ecological analysis that determines the expected effects of such management measures. This paper applies and tests an existing six-step approach to assess costs and benefits of management measures with potential to support the overall goal of the MSFD and discusses a range of ecological and economic analytical tools applicable to this task. Environmental cost-benefit analyses are considered for selected PoMs in three European case studies: Baltic Sea (Finland), East Coast Marine Plan area (UK), and the Bay of Biscay (Spain). These contrasting case studies are used to investigate the application of environmental cost-benefit analysis (CBA) including the challenges, opportunities and lessons learnt from using this approach. This paper demonstrates that there are opportunities in applying the six-step environmental CBA framework presented to assess the impact of PoMs. However, given demonstrated limitations of knowledge and data availability, application of other economic techniques should also be considered (although not applied here) to complement the more formal environmental CBA approach

Quasiperiodicity and non-computability in tilings

We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the fixed point construction; we improve this general technique and make it enforce the property of local regularity of tilings needed for quasiperiodicity. We prove also a stronger result: any effectively closed set can be recursively transformed into a tile set so that the Turing degrees of the resulted tilings consists exactly of the upper cone based on the Turing degrees of the later.Comment: v3: the version accepted to MFCS 201

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348

Only true pelagics mix : comparative phylogeography of deepwater bathybatine cichlids from Lake Tanganyika

In the absence of dispersal barriers, species with great dispersal ability are expected to show little, if at all, phylogeographic structure. The East African Great Lakes and their diverse fish faunas provide opportunities to test this hypothesis in pelagic fishes, which are presumed to be highly mobile and unrestricted in their movement by physical barriers. Here, we address the link between panmixis and pelagic habitat use by comparing the phylogeographic structure among four deepwater cichlid species of the tribe Bathybatini from Lake Tanganyika. We show that the mitochondrial genealogies (based on the most variable part or the control region) of the four species are very shallow (0.8–4% intraspecific divergence across entire distribution ranges) and that all species experienced recent population growth. A lack of phylogeographic structure in the two eupelagic species, Bathybates fasciatus and B. leo, was consistent with expectations and with findings in other pelagic cichlid species. Contrary to expectations, a clear phylogeographic structure was detected in the two benthopelagic species, B. graueri and Hemibates stenosoma. Differences in genetic diversity between eupelagic and benthopelagic species may be due to differences in their dispersal propensity, mediated by their respective predatory niches, rather than precipitated by external barriers to dispersal.Peer reviewe

Concurrent abstract state machines

n/

Marine ecosystem services: Linking indicators to their classification

© 2014 Elsevier Ltd. All rights reserved. There is a multitude of ecosystem service classifications available within the literature, each with its own advantages and drawbacks. Elements of them have been used to tailor a generic ecosystem service classification for the marine environment and then for a case study site within the North Sea: the Dogger Bank. Indicators for each of the ecosystem services, deemed relevant to the case study site, were identified. Each indicator was then assessed against a set of agreed criteria to ensure its relevance and applicability to environmental management. This paper identifies the need to distinguish between indicators of ecosystem services that are entirely ecological in nature (and largely reveal the potential of an ecosystem to provide ecosystem services), indicators for the ecological processes contributing to the delivery of these services, and indicators of benefits that reveal the realized human use or enjoyment of an ecosystem service. It highlights some of the difficulties faced in selecting meaningful indicators, such as problems of specificity, spatial disconnect and the considerable uncertainty about marine species, habitats and the processes, functions and services they contribute to

Fine-scale changes in speed and altitude suggest protean movements in homing pigeon flights

The power curve provides a basis for predicting adjustments that animals make in flight speed, for example in relation to wind, distance, habitat foraging quality and objective. However, relatively few studies have examined how animals respond to the landscape below them, which could affect speed and power allocation through modifications in climb rate and perceived predation risk. We equipped homing pigeons (Columba livia) with high-frequency loggers to examine how flight speed, and hence effort, varies in relation to topography and land cover. Pigeons showed mixed evidence for an energy-saving strategy, as they minimized climb rates by starting their ascent ahead of hills, but selected rapid speeds in their ascents. Birds did not modify their speed substantially in relation to land cover, but used higher speeds during descending flight, highlighting the importance of considering the rate of change in altitude before estimating power use from speed. Finally, we document an unexpected variability in speed and altitude over fine scales; a source of substantial energetic inefficiency. We suggest this may be a form of protean behaviour adopted to reduce predation risk when flocking is not an option, and that such a strategy could be widespread