Refine
Year of publication
- 2010 (47) (remove)
Document Type
- Working Paper (47) (remove)
Language
- English (47) (remove)
Has Fulltext
- yes (47)
Is part of the Bibliography
- no (47)
Keywords
- Formale Semantik (4)
- Finanzkrise (3)
- Logik (3)
- Verifikation (3)
- Asset Allocation (2)
- Bank (2)
- Financial Knowledge (2)
- Financial Markets (2)
- Finanzwirtschaft (2)
- Kreditwesen (2)
Institute
- Center for Financial Studies (CFS) (28)
- Informatik (6)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (4)
- Wirtschaftswissenschaften (4)
- Institute for Law and Finance (ILF) (2)
- Extern (1)
- Institut für sozial-ökologische Forschung (ISOE) (1)
- Institute for Monetary and Financial Stability (IMFS) (1)
We use a unique, nationally representative cross-national dataset to document the reduction in individuals’ usage of routine non-emergency medical care in the midst of the economic crisis. A substantially larger fraction of Americans have reduced medical care than have individuals in Great Britain, Canada, France, and Germany, all countries with universal health care systems. At the national level, reductions in medical care are related to the degree to which individuals must pay for it, and within countries are strongly associated with exogenous shocks to wealth and employment.
The 'Russian language proficiency test for multilingual children' is a linguistically and psycholinguistically-grounded test for L1-Russian bilingual children of pre-school and elementary school age. It allows the evaluation of language proficiency in Russian for scientific, therapeutic, and pedagogical purposes. The test is based on preliminary norms: data of 167 German-Russian bilingual children between the ages of 3 years and 6 years 11 months were evaluated.
Bilingual children's proficiency is examined in the following language domains:
- productive and receptive lexicon for verbs and nouns
- production of morphological marking on verbs (first and second-person singular present verbal inflection) and nouns (accusative and dative case singular)
- comprehension of grammatical constructions on the sentence level
The test should be administered by a competent – ideally native – speaker of Russian, and takes approximately 60 minutes to administer.
In addition to the test itself, the 'Russian language proficiency test for multilingual children' contains a questionnaire for gathering detailed information on the input situation as well as the child's previous linguistic and extra-linguistic development. The questionnaire is written in English and Russian and is intended to be filled out by the parents.
We assess, through VAR evidence, the effects of monetary policy on banks’ risk exposure and find the presence of a risk-taking channel. A model combining fragile banks prone to risk mis-incentives and credit constrained firms, whose collateral fluctuations generate a balance sheet channel, is used to rationalize the evidence. A monetary expansion increases bank leverage. With two consequences: on the one side this exacerbates risk exposure; on the other, the risk spiral depresses output, therefore dampening the conventional amplification effect of the financial accelerator.
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. It is designed to perform automatic induction proofs and can also deal with partial functions. This paper provides a reconstruction of the corresponding logic and semantics using the standard treatment of undefinedness which adapts and improves the VeriFun-logic by allowing reasoning on nonterminating expressions and functions. Equality of expressions is defined as contextual equivalence based on observing termination in all closing contexts. The reconstruction shows that several restrictions of the VeriFun framework can easily be removed, by natural generalizations: mutual recursive functions, abstractions in the data values, and formulas with arbitrary quantifier prefix can be formulated. The main results of this paper are: an extended set of deduction rules usable in VeriFun under the adapted semantics is proved to be correct, i.e. they respect the observational equivalence in all extensions of a program. We also show that certain classes of theorems are conservative under extensions, like universally quantified equations. Also other special classes of theorems are analyzed for conservativity.
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. This paper provides a reconstruction of the corresponding logic when partial functions are permitted. Typing is polymorphic for the definition of functions but monomorphic for terms in formulas. Equality of terms is defined as contextual equivalence based on observing termination in all contexts. The reconstruction also allows several generalizations of the functional language like mutual recursive functions and abstractions in the data values. The main results are: Correctness of several program transformations for all extensions of a program, which have a potential usage in a deduction system. We also proved that universally quantified equations are conservative, i.e. if a universally quantified equation is valid w.r.t. a program P, then it remains valid if the program is extended by new functions and/or new data types.
All of the papers in the volume except one (Kaji) take up some aspect of relative clause construction in some Bantu language. Kaji’s paper aims to account for how Tooro (J12; western Uganda) lost phonological tone through a comparative study of the tone systems of other western Uganda Bantu languages. The other papers examine a range of ways of forming relative clauses, often including non-restrictive relatives and clefts, in a wide range of languages representing a variety of prosodic systems.
Improvements in water infrastructure in developing countries are of major importance for achieving access to clean water. CuveWaters, a research based IWRM project, currently underway in Namibia, is testing different technical options to de-centralise water supply and upgrade sanitation. The Cuvelai Basin is affected by highly variable precipitation, mostly saline groundwater and a lack of perennial rivers. Water management is characterised by strong dependency on a water pipeline. Finding ways to improve the situation calls for a good grasp of the local situation regarding water utilisation patterns. Technologically sophisticated concepts can easily clash with users’ socio-cultural needs and everyday behaviour as well as their understanding of planning and maintenance. A demand-responsive approach has therefore been developed. It combines a qualitative socio-empirical perspective with participatory planning. This paper discusses method development, empirical application and results. The approaches aim is to support mutual learning as a basis for a sustainable change process.
The well-known proof of termination of reduction in simply typed calculi is adapted to a monomorphically typed lambda-calculus with case and constructors and recursive data types. The proof differs at several places from the standard proof. Perhaps it is useful and can be extended also to more complex calculi.