5,173 research outputs found
Strategic programming on graph rewriting systems
We describe a strategy language to control the application of graph rewriting
rules, and show how this language can be used to write high-level declarative
programs in several application areas. This language is part of a graph-based
programming tool built within the port-graph transformation and visualisation
environment PORGY.Comment: In Proceedings IWS 2010, arXiv:1012.533
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
We introduce a modified version of the well-known dependency pair framework
that is suitable for the termination analysis of rewriting under forbidden
pattern restrictions. By attaching contexts to dependency pairs that represent
the calling contexts of the corresponding recursive function calls, it is
possible to incorporate the forbidden pattern restrictions in the (adapted)
notion of dependency pair chains, thus yielding a sound and complete approach
to termination analysis. Building upon this contextual dependency pair
framework we introduce a dependency pair processor that simplifies problems by
analyzing the contextual information of the dependency pairs. Moreover, we show
how this processor can be used to synthesize forbidden patterns suitable for a
given term rewriting system on-the-fly during the termination analysis.Comment: In Proceedings IWS 2010, arXiv:1012.533
What Do We Know about Gender and Other Social Impacts of IWS Projects?: A Literature Review
The approach of this short literature review is to look firstly at what the literature has to say about wider social impacts of "investing in watershed services" (IWS) projects or programs and, secondly, to examine more specifically the gender issues. The term IWS is used in this paper as a convenient shorthand while realizing that this is a controversial term and that there is a case for using other terms such as "payments for watershed services", "reciprocal arrangements in watershed service provision" or "compensation for provision of watershed services." In the interest of brevity, this discussion is not entered into except to say that the term IWS is used here in a broad and inclusive way similar to "IWS-like schemes" as used in the Bellagio Conversations (Asquith & Wunder 2008)
Gaining Depth: State of Watershed Investment 2014
Last year, governments, businesses, and donors channeled $12.3 billion (B) toward nature-based solutions to the global water crisis. Water users and public funders were paying land managers to repair and protect forests, wetlands, and other natural systems as a flexible, costeffective strategy to ensure clean and reliable water supplies, resilience to natural disasters, and sustainable livelihoods. These deals paid for watershed protection and restoration across more than 365 million (M) hectares (ha) worldwide in 2013, an area larger than India.The value of investment in watershed services1 (IWS) - referring to funding for watershed restoration or protection that delivers benefits to society like aquifer recharge or erosion control - has been growing at anaverage rate of 12% per year. The number of operational programs grew by two thirds between 2011 and 2013, expanding in both scale and sophistication as program developers introduced new tools to track returns on watershed investment, coordinated efforts across political boundaries, and delivered additional benefits like sustainable livelihoods and biodiversity protection
- …