Conservation planning in agricultural landscapes: hotspots of conflict between agriculture and nature

Aim: Conservation conflict takes place where food production imposes a cost on wildlife conservation and vice versa. Where does conservation impose the maximum cost on production, by opposing the intensification and expansion of farmland? Where does conservation confer the maximum benefit on wildlife, by buffering and connecting protected areas with a habitable and permeable matrix of crop and non-crop habitat? Our aim was to map the costs and benefits of conservation versus production and thus to propose a conceptual framework for systematic conservation planning in agricultural landscapes. Location: World-wide. Methods: To quantify these costs and benefits, we used a geographic information system to sample the cropland of the world and map the proportion of non-crop habitat surrounding the cropland, the number of threatened vertebrates with potential to live in or move through the matrix and the yield gap of the cropland. We defined the potential for different types of conservation conflict in terms of interactions between habitat and yield (potential for expansion, intensification, both or neither). We used spatial scan statistics to find 'hotspots' of conservation conflict. Results: All of the 'hottest' hotspots of conservation conflict were in sub-Saharan Africa, which could have impacts on sustainable intensification in this region. Main conclusions: Systematic conservation planning could and should be used to identify hotspots of conservation conflict in agricultural landscapes, at multiple scales. The debate between 'land sharing' (extensive agriculture that is wildlife friendly) and 'land sparing' (intensive agriculture that is less wildlife friendly but also less extensive) could be resolved if sharing and sparing were used as different types of tool for resolving different types of conservation conflict (buffering and connecting protected areas by maintaining matrix quality, in different types of matrix). Therefore, both sharing and sparing should be prioritized in hotspots of conflict, in the context of countryside biogeography

Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)

In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e. systems obtained by an \emph{apriori} unknown number of Timed Automata instantiated from a finite set $U_1, \dots, U_n$ of Timed Automata templates. In this way we aim at giving a tool to universally verify software systems where an unknown number of software components (i.e. processes) interact with continuous time temporal constraints. It is often the case, indeed, that distributed algorithms show an heterogeneous nature, combining dynamic aspects with real-time aspects. In the paper we will also show how to model check a protocol that uses special variables storing identifiers of the participating processes (i.e. PIDs) in Timed Automata with conjunctive guards. This is non-trivial, since solutions to the parameterized verification problem often relies on the processes to be symmetric, i.e. indistinguishable. On the other side, many popular distributed algorithms make use of PIDs and thus cannot directly apply those solutions

Approaching the Coverability Problem Continuously

The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.Comment: 18 pages, 4 figure

Milestones and Impact Factors

Environmental Health has just received its first Impact Factor by Thomson ISI. At a level of 2.48, this achievement is quite satisfactory and places Environmental Health in the top 25% of environmental science journals. When the journal was launched in 2002, it was still unclear whether the Open Access publishing model could be made into a viable commercial enterprise within the biomedical field. During the past eight years, Open Access journals have become widely available, although still covering only about 15% of journal titles. Major funding agencies and institutions, including prominent US universities, now require that researchers publish in Open Access journals. Because of the profound role of scientific journals for the sharing of results and communication between researchers, the advent of Open Access may be of as much significance as the transition from handwriting to printing via moveable type. As Environmental Health is an electronic Open Access journal, the numbers of downloads at the journal website can be retrieved. The top-20 list of articles most frequently accessed shows that all of them have been downloaded over 10,000 times. Back in 2002, the first article published was accessed only 49 times during the following month. A year later, the server had over 1,000 downloads per month, and now the total number of monthly downloads approaches 50,000. These statistics complement the Impact Factor and confirm the viability of Open Access in our field of research. The advent of digital media and its decentralized mode of distribution - the internet - have dramatically changed the control and financing of scientific information dissemination, while facilitating peer review, accelerating editorial handling, and supporting much needed transparency. Both the meaning and means of "having an impact" are therefore changing, as will the degree and way in which scientific journals remain "factors" in that impact

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify parametric bounds onthe satisfaction of eventualities, thus adding a quantitative aspect to the specification language. We establish a connection between bounded fairness, bounded stutter equivalence, and the satisfaction of Prompt-LTL\X formulas. Based on this connection, we prove the first cutoff results for different classes of systems with a parametric number of components and quantitative specifications, thereby identifying previously unknown decidable fragments of the parameterized model checking problem

Timeliness of national notifiable diseases surveillance system in Korea: a cross-sectional study

<p>Abstract</p> <p>Background</p> <p>With the increase of international travels, infectious disease control is gaining a greater importance across regional borders. Adequate surveillance system function is crucial to prevent a global spread of infectious disease at the earliest stage. There have been limited reports on the characteristics of infectious disease surveillance in Asia. The authors studied the timeliness of the Korean National Notifiable Disease Surveillance System with regard to major notifiable diseases from 2001 to 2006.</p> <p>Methods</p> <p>Six notifiable infectious diseases reported relatively frequently were included in this study. Five diseases were selected by the criteria of reported cases > 100 per year: typhoid fever, shigellosis, mumps, scrub typhus, and hemorrhagic fever with renal syndrome. In addition, dengue fever was also included to represent an emerging disease, despite its low number of cases. The diseases were compared for the proportion notified within the recommended time limits, median time lags, and for the cumulative distribution of time lags at each surveillance step between symptom onset and date of notification to the Korea Centers for Disease Control and Prevention (KCDC).</p> <p>Results</p> <p>The proportion of cases reported in time was lower for disease groups with a recommended time limit of 1 day compared with 7 days (60%–70% vs. > 80%). The median time from disease onset to notification to KCDC ranged between 6 and 20 days. The median time from onset to registration at the local level ranged between 2 and 15 days. Distribution of time lags showed that main delays arose in the time from onset to diagnosis. There were variations in timeliness by disease categories and surveillance steps.</p> <p>Conclusion</p> <p>Time from disease onset to diagnosis generally contributed most to the delay in reporting. It is needed to promote public education and to improve clinical guidelines. Rapid reporting by doctors should be encouraged, and unification of recommended reporting time limit can be helpful. Our study also demonstrates the utility of the overall assessment of time-lag distributions for disease-specific strategies to improve surveillance.</p

Effects of sample handling and storage on quantitative lipid analysis in human serum

There is sparse information about specific storage and handling protocols that minimize analytical error and variability in samples evaluated by targeted metabolomics. Variance components that affect quantitative lipid analysis in a set of human serum samples were determined. The effects of freeze-thaw, extraction state, storage temperature, and freeze-thaw prior to density-based lipoprotein fractionation were quantified. The quantification of high abundance metabolites, representing the biologically relevant lipid species in humans, was highly repeatable (with coefficients of variation as low as 0.01 and 0.02) and largely unaffected by 1–3 freeze-thaw cycles (with 0–8% of metabolites affected in each lipid class). Extraction state had effects on total lipid class amounts, including decreased diacylglycerol and increased phosphatidylethanolamine in thawed compared with frozen samples. The effects of storage temperature over 1 week were minimal, with 0–4% of metabolites affected by storage at 4°C, −20°C, or −80°C in most lipid classes, and 19% of metabolites in diacylglycerol affected by storage at −20°C. Freezing prior to lipoprotein fractionation by density ultracentrifugation decreased HDL free cholesterol by 37% and VLDL free fatty acid by 36%, and increased LDL cholesterol ester by 35% compared with fresh samples. These findings suggest that density-based fractionation should preferably be undertaken in fresh serum samples because up to 37% variability in HDL and LDL cholesterol could result from a single freeze-thaw cycle. Conversely, quantitative lipid analysis within unfractionated serum is minimally affected even with repeated freeze-thaw cycles

Long-term all-sites cancer mortality time trends in Ohio, USA, 1970–2001: differences by race, gender and age

BACKGROUND: There were significant changes in cancer mortality in the USA over the last several decades, in the whole country and in particular states. However, no in depth analysis has been published so far, dealing with changes in mortality time trends in the state of Ohio. Since the state of Ohio belongs to the states of relatively high level of all-sites mortality in both males and females, it is of interest to analyze recent changes in mortality rates, as well as to compare them with the situation in the rest of the USA. The main aim of this study was to analyze, describe and interpret all-sites cancer mortality time trends in the population of the State of Ohio. METHODS: Cancer mortality data by age, sex, race and year for the period 1970–2001 were obtained from the Surveillance Research Program of the National Cancer Institute SEER*Stat software. A joinpoint regression methodology was used to provide estimated annual percentage changes (EAPCs) and to detect points in time where significant changes in the trends occurred. RESULTS: In both, males and females mortality rates were higher in blacks compared with whites. The difference was bigger in males (39.9%) than in women (23.3%). Mortality rates in Ohio are generally higher than average USA rates – an overall difference was 7.5% in men in 1997–2001, and 6.1% in women. All-sites mortality trends in Ohio and in the whole USA are similar. However, in general, mortality rates in Ohio remained elevated compared with the USA rates throughout the entire analyzed period. The exceptions are the rates in young and middle-aged African Americans. CONCLUSION: Although direction of time trends in Ohio are similar in Ohio and the whole US, Ohio still have cancer mortality rates higher than the US average. In addition, there is a significant discrepancy between white and black population of Ohio in all-sites mortality level, with disadvantage for Blacks. To diminish disparities in cancer mortality between African Americans and white inhabitants of Ohio efforts should be focused on increasing knowledge of black people regarding healthy lifestyle and behavioral risk factors, but also on diminishing socioeconomic differences, and last but not least, on better access to medical care