Filters

2013 - 20142

More filters

20202
Reset filters

Settings

Subject: Research × WGL Institute: PIK ×

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    A new scenario framework for climate change research: The concept of shared socioeconomic pathways
    (Dordrecht [u.a.] : Springer, 2014) O'Neill, B.C.; Kriegler, E.; Riahi, K.; Ebi, K.L.; Hallegatte, S.; Carter, T.R.; Mathur, R.; van Vuuren, D.P.
    The new scenario framework for climate change research envisions combining pathways of future radiative forcing and their associated climate changes with alternative pathways of socioeconomic development in order to carry out research on climate change impacts, adaptation, and mitigation. Here we propose a conceptual framework for how to define and develop a set of Shared Socioeconomic Pathways (SSPs) for use within the scenario framework. We define SSPs as reference pathways describing plausible alternative trends in the evolution of society and ecosystems over a century timescale, in the absence of climate change or climate policies. We introduce the concept of a space of challenges to adaptation and to mitigation that should be spanned by the SSPs, and discuss how particular trends in social, economic, and environmental development could be combined to produce such outcomes. A comparison to the narratives from the scenarios developed in the Special Report on Emissions Scenarios (SRES) illustrates how a starting point for developing SSPs can be defined. We suggest initial development of a set of basic SSPs that could then be extended to meet more specific purposes, and envision a process of application of basic and extended SSPs that would be iterative and potentially lead to modification of the original SSPs themselves.
  • Thumbnail Image
    Item
    Testing versus proving in climate impact research
    (Wadern : Schloss Dagstuhl, 2013) Ionescu, C.; Jansson, P.
    Higher-order properties arise naturally in some areas of climate impact research. For example, "vulnerability measures", crucial in assessing the vulnerability to climate change of various regions and entities, must fulfill certain conditions which are best expressed by quantification over all increasing functions of an appropriate type. This kind of property is notoriously difficult to test. However, for the measures used in practice, it is quite easy to encode the property as a dependent type and prove it correct. Moreover, in scientific programming, one is often interested in correctness "up to implication": The program would work as expected, say, if one would use real numbers instead of floating-point values. Such counterfactuals are impossible to test, but again, they can be easily encoded as types and proven. We show examples of such situations (encoded in Agda), encountered in actual vulnerability assessments.