Working Paper
Refine
Year of publication
- 2013 (109) (remove)
Document Type
- Working Paper (109) (remove)
Language
- English (109) (remove)
Has Fulltext
- yes (109)
Is part of the Bibliography
- no (109)
Keywords
- banking union (4)
- Contagion (3)
- European Banking Authority (EBA) (3)
- European Central Bank (ECB) (3)
- euro area (3)
- leverage (3)
- monetary policy (3)
- oil price (3)
- political economy of bureaucracy (3)
- prudential supervision (3)
Institute
- Center for Financial Studies (CFS) (68)
- Wirtschaftswissenschaften (60)
- House of Finance (HoF) (43)
- Sustainable Architecture for Finance in Europe (SAFE) (14)
- Institute for Monetary and Financial Stability (IMFS) (11)
- Rechtswissenschaft (8)
- Informatik (5)
- LOEWE-Schwerpunkt Außergerichtliche und gerichtliche Konfliktlösung (4)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (2)
Insurance guarantee schemes aim to protect policyholders from the costs of insurer insolvencies. However, guarantee schemes can also reduce insurers’ incentives to conduct appropriate risk management. We investigate stock insurers’ risk-shifting behavior for insurance guarantee schemes under the two different financing alternatives: a flat-rate premium assessment versus a risk-based premium assessment. We identify which guarantee scheme maximizes policyholders’ welfare, measured by their expected utility. We find that the risk-based insurance guarantee scheme can only mitigate the insurer’s risk-shifting behavior if a substantial premium loading is present. Furthermore, the risk-based guarantee scheme is superior for improving policyholders’ welfare compared to the flat-rate scheme when the mitigating effect occurs.
The concept of length, the concept is synonymous, the concept is nothing more than, the proper definition of a concept ... Forget programs and visions; the operational approach refers specifically to concepts, and in a very specific way: it describes the process whereby concepts are transformed into a series of operations—which, in their turn, allow to measure all sorts of objects. Operationalizing means building a bridge from concepts to measurement, and then to the world. In our case: from the concepts of literary theory, through some form of quantification, to literary texts.
We would study not style as such, but style 'at the scale of the sentence': the lowest level, it seemed, at which style as a distinct phenomenon became visible. Implicitly, we were defining style as a combination of smaller linguistic units, which made it, in consequence, particularly sensitive to changes in scale—from words to clauses to whole sentences.
The amino acid content (alanine/arginine, glutamine, proline, taurine) of five different lichen species (Evernia prunastri, Hypogymnia physodes, Parmelia sulcata, Physcia adscendens, Xanthoria parietina) from different parts of Germany and NW France with different atmospheric nitrogen depositions was determined.
The study revealed that the so called nitrophytic lichen species (Physcia adscendens, Xanthoria parietina) had no higher amino acid contents as compared with the other species. The amino acid contents of five different lichen species from the same tree varied without regard to the nitrophily of the species. The contents of amino acids of the lichen species studied from Bonn is four to twelve times higher as in the same species in the Vosges Mountains, France. The amount of amino acids in nitrophytic species (Xanthoria parietina, Physcia adscendens) from a region with high load of atmospheric nitrogen (35 kg/y/ha) is in average 5 times higher than in the same species from a region with low nitrogen immission (16 kg/y/ha).
It can be concluded that the amino acid contents of lichens reflects the atmospheric nitrogen load and that the amino acid content of so called nitrophytic lichen species is not higher as in other species, that lichens are passive sampler and take up the available nitrogen but make no use of it but store it as amino acids. On the other hand, the conductivity of the cell liquid (as a measure of the osmotic pressure) of nitrophytic lichen species is higher as compared with non-nitrophytic species. Thus the “nitrophily” of these species is presumably not based upon the facility to higher nitrogen uptake but osmotic tolerance against the salt effects of nitrogen compounds. Within nitrophytic species, the osmotic values of Phaeophyscia orbicularis are double as high as those from Physcia adscendens, which is explained by the higher tolerance of Phaeophyscia against dry deposition. The higher osmotic values of nitrophilous lichen species lead to the conclusion that they are also drought resistant species and occur in regions with low humidity where they are more competitive than other lichen species.
The IMFS Interdisciplinary Study 2/2013 contains speeches of Michael Burda (Humboldt University ), Benoît Coeuré (European Central Bank), Stefan Gerlach (Bank of Ireland and former IMFS Professor), Patrick Honohan (Bank of Ireland), Sabine Lautenschläger (Deutsche Bundesbank), Athanasios Orphanides (MIT) and Helmut Siekmann as well as Volker Wieland.
This study contains articles based on speeches and presentations at the 14th CFS-IMFS Conference "The ECB and its Watchers" on June 15, 2012 by Mario Draghi, John Vickers, Peter Praet, Lucrezia Reichlin, Vitor Gaspar, Lucio Pench and Stefan Gerlach and a post-conference outlook by Helmut Siekmann and Volker Wieland.
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. The description of the small-step operational semantics is precise and explicit, and employs an early abort of conflicting transactions. A proof of correctness of the implementation is given for a contextual semantics with may- and should-convergence. This implies that our implementation is a correct evaluator for an abstract specification equipped with a big-step semantics.
This paper shows equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case-expressions and Haskell's seqoperator. LR models an untyped version of the core language of Haskell. Bisimilarity simplifies equivalence proofs in the calculus and opens a way for more convenient correctness proofs for program transformations.
The proof is by a fully abstract and surjective transfer of the contextual approximation into a call-by-name calculus, which is an extension of Abramsky's lazy lambda calculus. In the latter calculus equivalence of similarity and contextual approximation can be shown by Howe's method. Using an equivalent but inductive definition of behavioral preorder we then transfer similarity back to the calculus LR.
The translation from the call-by-need letrec calculus into the extended call-by-name lambda calculus is the composition of two translations. The first translation replaces the call-by-need strategy by a call-by-name strategy and its correctness is shown by exploiting infinite tress, which emerge by unfolding the letrec expressions. The second translation encodes letrec-expressions by using multi-fixpoint combinators and its correctness is shown syntactically by comparing reductions of both calculi. A further result of this paper is an isomorphism between the mentioned calculi, and also with a call-by-need letrec calculus with a less complex definition of reduction than LR.
Motivated by our experience in analyzing properties of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness. The presented framework can directly be applied to the observational equivalences derived from the operational semantics of programming calculi, and also to other situations, and thus has a wide range of applications.