Refine
Year of publication
Document Type
- Working Paper (2349) (remove)
Language
- English (2349) (remove)
Has Fulltext
- yes (2349) (remove)
Is part of the Bibliography
- no (2349)
Keywords
- Deutschland (115)
- USA (51)
- Geldpolitik (48)
- monetary policy (46)
- Schätzung (45)
- Europäische Union (43)
- Bank (38)
- Corporate Governance (36)
- Monetary Policy (31)
- Inflation (23)
Institute
- Center for Financial Studies (CFS) (1376)
- Wirtschaftswissenschaften (1305)
- Sustainable Architecture for Finance in Europe (SAFE) (738)
- House of Finance (HoF) (604)
- Institute for Monetary and Financial Stability (IMFS) (173)
- Rechtswissenschaft (147)
- Informatik (114)
- Foundation of Law and Finance (50)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (34)
- Gesellschaftswissenschaften (29)
The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove its correctness. The calculus’ semantics is based on a small-step rewrite semantics and on may-convergence. The cyclic nature of letrec bindings, as well as nondeterminism, makes known approaches to prove that simulation implies contextual equivalence, such as Howe’s proof technique, inapplicable in this setting. The basic technique for the simulation as well as the correctness proof is called pre-evaluation, which computes a set of answers for every closed expression. If simulation succeeds in finite computation depth, then it is guaranteed to show contextual preorder of expressions.
The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove its correctness. The calculus' semantics is based on a small-step rewrite semantics and on may-convergence. The cyclic nature of letrec bindings, as well as non-determinism, makes known approaches to prove that simulation implies contextual equivalence, such as Howe's proof technique, inapplicable in this setting. The basic technique for the simulation as well as the correctness proof is called pre-evaluation, which computes a set of answers for every closed expression. If simulation succeeds in finite computation depth, then it is guaranteed to show contextual preorder of expressions.
A version of this paper was originally written for a plenary session about "The Futures of Ethnography" at the 1998 EASA conference in Frankfurt/Main. In the preparation of the paper, I sent out some questions to my former fellow researchers by e-mail. I thank Douglas Anthony, Jan-Patrick Heiß, Alaine Hutson, Matthias Krings, and Brian Larkin for their answers.
Often adopting a feminist perspective, the sociological literature on migrant domestic services (MDS) does not make explicit which feminist paradigm it speaks from. This article situates this literature within ongoing debates in feminist theory, in particular the tension between materialist and poststructuralist approaches. Then, it discusses the empirical relevance of each of those two paradigms on the example of the results of original research into the personalization of employment relationships in MDS.
The contribution proposes a new way of making sense of the diversity of feminist theories, distinguishing between modern and postmodern approaches. Indeed, since the 1980s, feminist theory in the US and Western Europe has undergone a ‘postmodern turn’, which renders previous typologies much less up-to-speed with recent developments in the field. Then, the article examines which paradigms are implicit in the sociological literature on MDS. Initially, personalization in MDS was mainly seen in materialist terms, as a way to maximize the quantity and quality of labour (including emotional labour) extracted from domestic workers. The emergence of postmodern approaches in feminist theory set off a progressive shift in MDS literature. First, this literature showed that personalization also fulfils identity functions for employers and
workers, then it widened its focus to include the affective dimensions of domestic labour (not to be confused with emotional labour). The final section shows how modern and postmodern feminist approaches can be combined within a single research, on the example of original research on personalization in MDS in Belgium and Poland. In particular, the contribution shows that the distinction between material functions of personalization on the one hand, and its emotional/identity functions on the other is not empirically operative. Indeed, migrant domestic workers generally use emotional/identity categories to frame material questions, and vice versa. This final part shows that, rather than representing incompatible approaches, modern and postmodern feminisms complete each other, in this case showing a fuller image of personalization processes in MDS.
This paper studies constrained portfolio problems that may involve constraints on the probability or the expected size of a shortfall of wealth or consumption. Our first contribution is that we solve the problems by dynamic programming, which is in contrast to the existing literature that applies the martingale method. More precisely, we construct the non-separable value function by formalizing the optimal constrained terminal wealth to be a (conjectured) contingent claim on the optimal non-constrained terminal wealth. This is relevant by itself, but also opens up the opportunity to derive new solutions to constrained problems. As a second contribution, we thus derive new results for non-strict constraints on the shortfall of inter¬mediate wealth and/or consumption.
This paper considers a trading game in which sequentially arriving liquidity traders either opt for a market order or for a limit order. One class of traders is considered to have an extended trading horizon, implying their impatience is linked to their trading orientation. More specifically, sellers are considered to have a trading horizon of two periods, whereas buyers only have a single-period trading scope (the extended buyer-horizon case is completely symmetric). Clearly, as the life span of their submitted limit orders is longer, this setting implies sellers are granted a natural advantage in supplying liquidity. This benefit is hampered, however, by the direct competition arising between consecutively arriving sellers. Closed-form characterizations for the order submission strategies are obtained when solving for the equilibrium of this dynamic game. These allow to examine how these forces affect traders´ order placement decisions. Further, the analysis yields insight into the dynamic process of price formation and into the market clearing process of a non-intermediated, order driven market.
The article, which summarizes key findings of my German book ‘Die Gemeinfreiheit. Begriff, Funktion, Dogmatik’ (‘The Public Domain: Theory, Func-tion, Doctrine’), asks whether there are any provisions or principles under Ger-man and EU law that protect the public domain from interference by the legisla-ture, courts and private parties. In order to answer this question, it is necessary to step out of the intellectual property (IP) system and to analyze this body of law from the outside, and – even more important – to develop a positive legal conception of the public domain as such. By giving the public domain a proper doctrinal place in the legal system, the structural asymmetry between heavily theorized and protected IP rights on the one hand and a neglected public do-main on the other is countered. The overarching normative purpose is to devel-op a framework for a balanced IP system, which can only be achieved if the public domain forms an integral part of the overall regulation of information.
Recent models with liquidity constraints and impatience emphasize that consumers use savings to buffer income fluctuations. When wealth is below an optimal target, consumers try to increase their buffer stock of wealth by saving more. When it is above target, they increase consumption. This important implication of the buffer stock model of saving has not been subject to direct empirical testing. We derive from the model an appropriate theoretical restriction and test it using data on working-age individuals drawn from the 2002 and 2004 Italian Surveys of Household Income and Wealth. One of the most appealing features of the survey is that it has data on the amount of wealth held for precautionary purposes, which we interpret as target wealth in a buffer stock model. The test results do not support buffer stock behavior, even among population groups that are more likely, a priori, to display such behavior. The saving behavior of young households is instead consistent with models in which impatience, relative to prudence, is not as high as in buffer stock models. JEL Classification: D91
The Stanford Project on Language Universals began its activities in October 1967 and brought them to an end in August 1976. Its directors were Joseph H. Greenberg and Charles A. Ferguson. The Cologne Project on Language Universals and Typology [with particular reference to functional aspects], abbreviated UNITYP, had its early beginnings in 1972, but deployed its full activities from 1976 onwards and is still operating. This writer, who is the principal investigator, had the privilege of collaborating with the Stanford Project during spring of 1976. […] One of the leading Greenbergian ideas is that of implicational generalizations, has been integrated as a fundamental principle in the construction of continua and of universal dimensions as proposed by UNITYP. It is hoped that the following considerations on numeral systems will be apt to bear witness to this situation. They would be unthinkable without Greenberg’s pioneering work on "Generalizations about numeral systems" (Greenberg 1978: 249 ff., henceforth referred to as Greenberg, NS). Further work on this domain and on other comparable domains almost inevitably leads one to the view that generalizations of the Greenberg type have a functional significance and that a dimensional framework is apt to bring this to the fore. This is the view on linguistic behaviour as being purposeful, and on language as a problem- solving device. The problem consists in the linguistic representation of cognitive-conceptual ideas. The solution is represented by the corresponding linguistic structures in their diversity and the task of the linguist consists in reconstructing the program and subprograms underlying the process of problem-solving. It is claimed that the construct of continua and of universal dimensions makes these programs intelligible.
The Land and Water Development Division of the Food and Agriculture Organization of the United Nations and the Johann Wolfgang Goethe University, Frankfurt am Main, Germany, are cooperating in the development of a global irrigation-mapping facility. This report describes an update of the Digital Global Map of Irrigated Areas for the continent of Asia. For this update, an inventory of subnational irrigation statistics for the continent was compiled. The reference year for the statistics is 2000. Adding up the irrigated areas per country as documented in the report gives a total of 188.5 million ha for the entire continent. The total number of subnational units used in the inventory is 4 428. In order to distribute the irrigation statistics per subnational unit, digital spatial data layers and printed maps were used. Irrigation maps were derived from project reports, irrigation subsector studies, and books related to irrigation and drainage. These maps were digitized and compared with satellite images of many regions. In areas without spatial information on irrigated areas, additional information was used to locate areas where irrigation is likely, such as land-cover and land-use maps that indicate agricultural areas or areas with crops that are usually grown under irrigation. Contents 1. Working Report I: Generation of a map of administrative units compatible with statistics used to update the Digital Global Map of Irrigated Areas in Asia 2. Working Report II: The inventory of subnational irrigation statistics for the Asian part of the Digital Global Map of Irrigated Areas 3. Working Report III: Geospatial information used to locate irrigated areas within the subnational units in the Asian part of the Digital Global Map of Irrigated Areas 4. Working Report IV: Update of the Digital Global Map of Irrigated Areas in Asia, Results Maps