International Fragmentation: Boon or Bane for Domestic Employment?

In this paper, we introduce the fairness approach to efficiency wages into a standard model of international fragmentation. This gives us a theoretical framework in which wage inequality and unemployment rates are co-determined and therefore the public concern can be addressed that international fragmentation and outsourcing to low wage countries lead to domestic job-losses. We develop a novel diagrammatic tool to illustrate the main labour market effects of international fragmentation. We also explore how preferences for fair wages and the size of unemployment benefits govern the employment effects of outsourcing and critically assess the role of political intervention that aims to reduce unemployment benefits under internationally fragmented production.international fragmentation, unemployment, fair wages

Generalized planning: Non-deterministic abstractions and trajectory constraints

We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem. Policies mu that solve the abstract problem P have been shown to solve all problems Q that reduce to P provided that mu terminates in Q. In this work, we shed light on why this termination condition is needed and how it can be removed. The key observation is that the abstract problem P captures the common structure among the concrete problems Q that is local (Markovian) but misses common structure that is global. We show how such global structure can be captured by means of trajectory constraints that in many cases can be expressed as LTL formulas, thus reducing generalized planning to LTL synthesis. Moreover, for a broad class of problems that involve integer variables that can be increased or decreased, trajectory constraints can be compiled away, reducing generalized planning to fully observable nondeterministic planning

Enhancing state space reduction techniques for model checking

Model-checking is een techniek voor het automatisch opsporen van fouten in en de verificatie van hardware en software. De techniek is gebaseerd op het doorzoeken van de globale toestandsruimte van het systeem. Deze toestandsruimte groeit vaak exponentieel met de grootte van de systeembeschrijving. Als gevolg hiervan is een van de voornaamste knelpunten in model-checking de zogenaamde toestandsexplosie. Er bestaan veel aanpakken om met dit probleem om te gaan. We presenteren verbeteringen van sommige bestaande technieken voor reductie van de toestandsruimte die gebaseerd zijn op expliciete enumeratie van die ruimte. We schenken vooral aandacht aan het verbeteren van verscheidene algoritmen die, hoewel ze slechts een deel van de toestandsruimte onderzoeken, nog steeds gegeven een eigenschap kunnen bewijzen of weerleggen. In het bijzonder is ons onderzoek toegespitst op twee typen reducties. Het eerste type, parti¨eleordening (PO) reductie, buit de onafhankelijkheid van acties in het systeem uit. Het tweede type is een klasse van reducties die voordeel halen uit symmetrie¨en van het systeem. De voornaamste bijdragen van dit proefschrift in verband met de parti¨ele ordening reductie zijn de volgende: – Het gebruik van systeemhi¨erarchie voor effici¨entere parti¨ele-ordening reductie door klustering van processen – De meeste model-checking technieken beschouwen het model als een platte compositie van processen. We laten zien hoe de reductie kan profiteren van de systeemstructuur door uitbuiting van de hi¨erarchie in het systeem (Hoofdstuk 2). – Correcte syntactische criteria om onafhankelijke acties te vinden voor parti¨ele ordening reductie voor systemen met synchronizerende communicaties die gecombineerd zijn met prioriteit-keuze en/of zwakke fairness (Hoofdstuk 3). – Parti¨ele-ordening reductie voor discrete tijd – We laten zien hoe het algoritme voor parti¨ele ordening reductie zonder tijd aangepast kan worden, in het geval tijd gerepresenteerd wordt middels gehele getallen (Hoofdstuk 4). De bijdragen betreffende symmetrie-gebaseerde reducties kunnen als volgt samengevat worden: – Effici¨ente heuristieken voor het vinden van representanten van equivalentieklassen voor symmetrie-gebaseerde reductie (Hoofdstuk 6). – Een effici¨ent algoritme voor model-checking onder zwakke fairness met toestandsruimte reductietechnieken die gebaseerd zijn op symmetrie (Hoofdstuk 7). Het succes van model-checking is voornamelijk gebaseerd op de relatief gemakkelijke implementatie in software gereedschappen. Bijna alle bovengenoemde theoretische resultaten zijn ge¨implementeerd in de praktijk en de ontwikkelde prototype implementaties zijn ge¨evalueerd in praktijkstudies. Het meeste implementatie werk is gerelateerd aan de model checker Spin. Van de praktische bijdragen in dit document noemen we: – DT Spin – een uitbreiding van Spin met discrete tijd die het in het proefschrift gepresenteerd discrete-tijd PO reductie algoritme bevat (Hoofdstuk 4). – if2pml – een vertaler van de modelleertaal IF naar Spins invoertaal Promela, die als het tweede deel van een vertaler van SDL naar Promela bedoeld is (Hoofdstuk 5). – SymmSpin – een symmetrie-reductie pakket voor Spin, gebaseerd op de heuristiek beschreven in dit proefschrift (Hoofdstuk 6). De implementaties zijn getest op voorbeelden uit de literatuur en het bedrijfsleven met bemoedigende resultaten. In het bijzonder noemen we MASCARA – een industrieel protocol dat draadloze communicatie met ATM combineert (Hoofdstuk 5). De experimenten zijn niet alleen een aanwijzing voor de kwaliteit van de resultaten en de implementatie, maar ze waren en zijn ook een inspiratie voor nieuw theoretisch werk. Een typerend voorbeeld is de verenigbaarheid van parti¨ele ordening reductie met prioriteit-keuze en fairness in modellen met rendez-vous communicatie. De verbetering van het parti¨ele-ordening algoritme was rechtstreeks ge¨inspireerd door experimenten met Spin en zijn discrete-tijd uitbreiding DT Spin, ontwikkeld in dit proefschrift

Participation in multicriteria decision support - the case of conflicting water allocation in the Spree River basin

This discussion paper presents the Integrated Methodological Approach for participatory multi-criteria decision support under uncertainty (IMA), which emerged from the debates about participation, multi-criteria analysis (MCA) and benefit-cost analysis (BCA). It provides a framework for participatory and science-based evaluation processes with combined use of BCA and MCA to support large-scale public decisions. While IMA does not claim to realize an all-inclusive participation scheme, it offers the advantage to improve the quality of decision making through advances in competence and fairness. Its practical application with emphasis on its participatory elements is demonstrated by the case study on the water allocation conflict of the German Spree River, which involves the German capital of Berlin, an important wetland, and the needs to remediate a post-mining landscape. --Participation,Multi-criteria analysis,Cost-benefit analysis,River basin management,Integrated Assesment

On the Self-serving Use of Equity Principles in International Climate Negotiations

This paper puts forward equity as an important structural element to understanding negotiation outcomes. We first advance bargaining theory to incorporate the self-serving use of equity. Agents are predicted to push equity principles which benefit them more than other parties, in particular those which are disadvantageous to parties with large bargaining power. Based on unique data from a world-wide survey of agents involved in international climate policy, we then study how participants assess the support of the equity criteria by major parties in the climate negotiations. Comparing these results with cost estimates from a POLES model, we find that the perceived equity preferences of the respective countries or groups of countries are in general consistent with our hypothesis of a self-serving use of equity criteria and thereby lend support for our theoretical model. While this self-interest is recognized by the participants of our survey for the positions of the USA and the G77/China as well as Russia, the EU manages to be seen as choosing (self-serving) equity arguments out of fairness concerns and in order to facilitate the negotiations. --bargaining theory,equity criteria,self-serving bias,climate policy,survey data

The Role of Behavioural Economics in Energy and Climate Policy

This article explores how behavioural economics can be applied to energy and climate policy. We present an overview of main concepts of behavioural economics and discuss how they differ from the assumptions of neoclassical economics. Next, we discuss how behavioural economics applies to three areas of energy policy: (1) consumption and habits, (2) investment in energy efficiency, and (3) provision of public goods and support for pro-environmental behaviour. We conclude that behavioural economics seems unlikely to provide the magic bullet to reduce energy consumption by the magnitude required by the International Energy Agency's “450” climate policy scenario. However it offers new suggestions as to where to start looking for potentially sustainable changes in energy consumption. We believe that the most useful role within climate policy is in addressing issues of public perception of the affordability of climate policy and in facilitating the creation of a more responsive energy demand, better capable of responding to weather-induced changes in renewable electricity supply