Local biodiversity is higher inside than outside terrestrial protected areas worldwide

Protected areas are widely considered essential for biodiversity conservation. However, few global studies have demonstrated that protection benefits a broad range of species. Using a new global biodiversity database with unprecedented geographic and taxonomic coverage, we compare four biodiversity measures at sites sampled in multiple land uses inside and outside protected areas. Globally, species richness is 10.7% higher and abundance 14.5% higher in samples taken inside protected areas compared to samples taken outside, but neither rarefaction-based richness nor endemicity differ significantly. Importantly, we show that the positive effects of protection are mostly attributable to differences in land use between protected and unprotected sites. Nonetheless, even within some human-dominated land uses, species richness and abundance are higher in protected sites. Our results reinforce the global importance of protected areas but suggest that protection does not consistently benefit species with small ranges or increase the variety of ecological niches

On Population Growth Near Protected Areas

Background: Protected areas are the first, and often only, line of defense in efforts to conserve biodiversity. They might be detrimental or beneficial to rural communities depending on how they alter economic opportunities and access to natural resources. As such, protected areas may attract or repel human settlement. Disproportionate increases in population growth near protected area boundaries may threaten their ability to conserve biodiversity. Methodology/Principal Findings: Using decadal population datasets, we analyze population growth across 45 countries and 304 protected areas. We find no evidence for population growth near protected areas to be greater than growth of rural areas in the same country. Furthermore, we argue that what growth does occur near protected areas likely results from a general expansion of nearby population centers. Conclusions/Significance: Our results contradict those from a recent study by Wittemyer et al., who claim overwhelming evidence for increased human population growth near protected areas. To understand the disagreement, we re-analyzed the protected areas in Wittemyer et al.’s paper. Their results are simply artifacts of mixing two incompatible datasets. Protected areas may experience unusual population pressures near their edges; indeed, individual case studies provid

Biophysical suitability, economic pressure and land-cover change: a global probabilistic approach and insights for REDD+

There has been a concerted effort by the international scientific community to understand the multiple causes and patterns of land-cover change to support sustainable land management. Here, we examined biophysical suitability, and a novel integrated index of “Economic Pressure on Land” (EPL) to explain land cover in the year 2000, and estimated the likelihood of future land-cover change through 2050, including protected area effectiveness. Biophysical suitability and EPL explained almost half of the global pattern of land cover (R 2 = 0.45), increasing to almost two-thirds in areas where a long-term equilibrium is likely to have been reached (e.g. R 2 = 0.64 in Europe). We identify a high likelihood of future land-cover change in vast areas with relatively lower current and past deforestation (e.g. the Congo Basin). Further, we simulated emissions arising from a “business as usual” and two reducing emissions from deforestation and forest degradation (REDD) scenarios by incorporating data on biomass carbon. As our model incorporates all biome types, it highlights a crucial aspect of the ongoing REDD + debate: if restricted to forests, “cross-biome leakage” would severely reduce REDD + effectiveness for climate change mitigation. If forests were protected from deforestation yet without measures to tackle the drivers of land-cover change, REDD + would only reduce 30 % of total emissions from land-cover change. Fifty-five percent of emissions reductions from forests would be compensated by increased emissions in other biomes. These results suggest that, although REDD + remains a very promising mitigation tool, implementation of complementary measures to reduce land demand is necessary to prevent this leakage

The role of protected areas in the avoidance of anthropogenic conversion in a high pressure region : a matching method analysis in the core region of the brazilian cerrado

Global efforts to avoid anthropogenic conversion of natural habitat rely heavily on the establishment of protected areas. Studies that evaluate the effectiveness of these areas with a focus on preserving the natural habitat define effectiveness as a measure of the influence of protected areas on total avoided conversion. Changes in the estimated effectiveness are related to local and regional differences, evaluation methods, restriction categories that include the protected areas, and other characteristics. The overall objective of this study was to evaluate the effectiveness of protected areas to prevent the advance of the conversion of natural areas in the core region of the Brazil’s Cerrado Biome, taking into account the influence of the restriction degree, governmental sphere, time since the establishment of the protected area units, and the size of the area on the performance of protected areas. The evaluation was conducted using matching methods and took into account the following two fundamental issues: control of statistical biases caused by the influence of covariates on the likelihood of anthropogenic conversion and the non-randomness of the allocation of protected areas throughout the territory (spatial correlation effect) and the control of statistical bias caused by the influence of auto-correlation and leakage effect. Using a sample design that is not based on ways to control these biases may result in outcomes that underestimate or overestimate the effectiveness of those units. The matching method accounted for a bias reduction in 94–99% of the estimation of the average effect of protected areas on anthropogenic conversion and allowed us to obtain results with a reduced influence of the auto-correlation and leakage effects. Most protected areas had a positive influence on the maintenance of natural habitats, although wide variation in this effectiveness was dependent on the type, restriction, governmental sphere, size and age group of the unit

Protecting Important Sites for Biodiversity Contributes to Meeting Global Conservation Targets

Protected areas (PAs) are a cornerstone of conservation efforts and now cover nearly 13% of the world's land surface, with the world's governments committed to expand this to 17%. However, as biodiversity continues to decline, the effectiveness of PAs in reducing the extinction risk of species remains largely untested. We analyzed PA coverage and trends in species' extinction risk at globally significant sites for conserving birds (10,993 Important Bird Areas, IBAs) and highly threatened vertebrates and conifers (588 Alliance for Zero Extinction sites, AZEs) (referred to collectively hereafter as ‘important sites’). Species occurring in important sites with greater PA coverage experienced smaller increases in extinction risk over recent decades: the increase was half as large for bird species with>50% of the IBAs at which they occur completely covered by PAs, and a third lower for birds, mammals and amphibians restricted to protected AZEs (compared with unprotected or partially protected sites). Globally, half of the important sites for biodiversity conservation remain unprotected (49% of IBAs, 51% of AZEs). While PA coverage of important sites has increased over time, the proportion of PA area covering important sites, as opposed to less important land, has declined (by 0.45–1.14% annually since 1950 for IBAs and 0.79–1.49% annually for AZEs). Thus, while appropriately located PAs may slow the rate at which species are driven towards extinction, recent PA network expansion has under-represented important sites. We conclude that better targeted expansion of PA networks would help to improve biodiversity trends

Refinement type contracts for verification of scientific investigative software

Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co-developed our tool with a medium-sized ($\approx$3000 LOC) software package which simulates decision-making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches

The World's Rediscovered Species: Back from the Brink?

Each year, numerous species thought to have disappeared are rediscovered. Yet, do these rediscoveries represent the return of viable populations or the delayed extinction of doomed species? We document the number, distribution and conservation status of rediscovered amphibian, bird, and mammal species globally. Over the past 122 years, at least 351 species have been rediscovered, most occurring in the tropics. These species, on average, were missing for 61 years before being rediscovered (range of 3–331 years). The number of rediscoveries per year increased over time and the majority of these rediscoveries represent first documentations since their original description. Most rediscovered species have restricted ranges and small populations, and 92% of amphibians, 86% of birds, and 86% of mammals are highly threatened, independent of how long they were missing or when they were rediscovered. Under the current trends of widespread habitat loss, particularly in the tropics, most rediscovered species remain on the brink of extinction

Optimising monitoring efforts for secretive snakes: a comparison of occupancy and N-mixture models for assessment of population status

A fifth of reptiles are Data Deficient; many due to unknown population status. Monitoring snake populations can be demanding due to crypsis and low population densities, with insufficient recaptures for abundance estimation via Capture-Mark-Recapture. Alternatively, binomial N-mixture models enable abundance estimation from count data without individual identification, but have rarely been successfully applied to snake populations. We evaluated the suitability of occupancy and N-mixture methods for monitoring an insular population of grass snakes (Natrix helvetica) and considered covariates influencing detection, occupancy and abundance within remaining habitat. Snakes were elusive, with detectability increasing with survey effort (mean: 0.33 ± 0.06 s.e.m.). The probability of a transect being occupied was moderate (mean per kilometre: 0.44 ± 0.19 s.e.m.) and increased with transect length. Abundance estimates indicate a small threatened population associated to our transects (mean: 39, 95% CI: 20–169). Power analysis indicated that the survey effort required to detect occupancy declines would be prohibitive. Occupancy models fitted well, whereas N-mixture models showed poor fit, provided little extra information over occupancy models and were at greater risk of closure violation. Therefore we suggest occupancy models are more appropriate for monitoring snakes and other elusive species, but that population trends may go undetected

Does the Establishment of Sustainable Use Reserves Affect Fire Management in the Humid Tropics?

Tropical forests are experiencing a growing fire problem driven by climatic change, agricultural expansion and forest degradation. Protected areas are an important feature of forest protection strategies, and sustainable use reserves (SURs) may be reducing fire prevalence since they promote sustainable livelihoods and resource management. However, the use of fire in swidden agriculture, and other forms of land management, may be undermining the effectiveness of SURs in meeting their conservation and sustainable development goals. We analyse MODIS derived hot pixels, TRMM rainfall data, Terra-Class land cover data, socio-ecological data from the Brazilian agro-census and the spatial extent of rivers and roads to evaluate whether the designation of SURs reduces fire occurrence in the Brazilian Amazon. Specifically, we ask (1) a. Is SUR location (i.e., de facto) or (1) b. designation (i.e. de jure) the driving factor affecting performance in terms of the spatial density of fires?, and (2), Does SUR creation affect fire management (i.e., the timing of fires in relation to previous rainfall)? We demonstrate that pre-protection baselines are crucial for understanding reserve performance. We show that reserve creation had no discernible impact on fire density, and that fires were less prevalent in SURs due to their characteristics of sparser human settlement and remoteness, rather than their status de jure. In addition, the timing of fires in relation to rainfall, indicative of local fire management and adherence to environmental law, did not improve following SUR creation. These results challenge the notion that SURs promote environmentally sensitive fire-management, and suggest that SURs in Amazonia will require special attention if they are to curtail future accidental wildfires, particularly as plans to expand the road infrastructure throughout the region are realised. Greater investment to support improved fire management by farmers living in reserves, in addition to other fire users, will be necessary to help ameliorate these threats