Refine
Year of publication
- 2006 (123) (remove)
Document Type
- Working Paper (123) (remove)
Is part of the Bibliography
- no (123)
Keywords
- Deutschland (11)
- USA (9)
- Bank (4)
- Corporate Governance (4)
- Risikokapital (4)
- Aktienmarkt (3)
- Europäische Union (3)
- Geldpolitik (3)
- Kreditmarkt (3)
- Thema-Rhema-Gliederung (3)
Institute
- Center for Financial Studies (CFS) (41)
- Wirtschaftswissenschaften (22)
- Rechtswissenschaft (16)
- Institute for Monetary and Financial Stability (IMFS) (7)
- Informatik (6)
- Extern (3)
- Kulturwissenschaften (3)
- Geowissenschaften (2)
- Gesellschaftswissenschaften (2)
- Zentrum für Nordamerika-Forschung (ZENAF) (2)
Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, all lists not eventually ending in Nil, and all non-terminating programs, respectively. We use a set language that permits union, constructors and recursive definition of set constants with a greatest fixpoint semantics in the set of all, also infinite, computable trees, where all term constructors are non-strict. This internal report proves decidability, in particular DEXPTIME-completeness, of inclusion of co-inductively defined sets by using algorithms and results from tree automata and set constraints, and contains detailed proofs. The test for set inclusion is required by certain strictness analysis algorithms in lazy functional programming languages and could also be the basis for further set-based analyses.
Das Potsdamer Manifest ist ein inspirierender und zugleich irritierender Text. Er hat einen spezifischen Entstehungskontext, die Autoren intervenieren damit in eine politisch-intellektuelle Debatte, laden zum Weiterdenken ein und wollen viel bewirken. Ich habe das Manifest aus diesem Kontext gelöst und es in Beziehung zur eigenen Arbeit gesetzt. Meine Lektüre erfolgt also aus einem recht engen Blickwinkel. Ich arbeite seit vielen Jahren im Frankfurter Institut für sozial-ökologische Forschung im Grenzbereich zwischen Natur- und Sozialwissenschaften. Aus dieser Perspektive ist die Frage besonders interessant, wie in dem Manifest das Verhältnis zwischen menschlichgesellschaftlichen Lebenszusammenhängen und der belebten und unbelebten Natur gesehen und beschrieben wird. Auf diese Frage werde ich mich konzentrieren.
The collection of papers in this volume presents results of a collaborative project between the School of Oriental and African Studies (SOAS) in London, the Zentrum für allgemeine Sprachwissenschaft, Typologie und Universalienforschung (ZAS) in Berlin, and the University of Leiden. All three institutions have a strong interest in the linguistics of Bantu languages, and in 2003 decided to set up a network to compare results and to provide a platform for on-going discussion of different topics on which their research interests converged. The project received funding from the British Academy International Networks Programme, and from 2003 to 2006 seven meetings were held at the institutions involved under the title Bantu Grammar: Description and Theory, indicating the shared belief that current research in Bantu is best served by combining the description of new data with theoretically informed analysis. During the life-time of the network, and partly in conjunction with it, larger externally funded Bantu research projects have been set up at all institutions: projects on word-order and morphological marking and on phrasal phonology in Leiden, on pronominal reference, agreement and clitics in Romance and Bantu at SOAS, and on focus in Southern Bantu languages at ZAS. The papers in this volume provide a sampling of the work developed within the network and show, or so we think, how fruitful the sharing of ideas over the last three years has been. While the current British Academy-funded network is coming to an end in 2006, we hope that the cooperative structures we have established will continue to develop - and be expanded - in the future, providing many future opportunities to exchange findings and ideas about Bantu linguistics.
We analyze the effect of committee formation on how corporate boards perform two main functions: setting CEO pay and overseeing the financial reporting process. The use of performance-based pay schemes induces the CEO to manipulate earnings, which leads to an increased need for board oversight. If the whole board is responsible for both functions, it is inclined to provide the CEO with a compensation scheme that is relatively insensitive to performance in order to reduce the burden of subsequent monitoring. When the functions are separated through the formation of committees, the compensation committee is willing to choose a higher pay-performance sensitivity as the increased cost of oversight is borne by the audit committee. Our model generates predictions relating the board committee structure to the pay-performance sensitivity of CEO compensation, the quality of board oversight, and the level of earnings management.
We present a higher-order call-by-need lambda calculus enriched with constructors, case-expressions, recursive letrec-expressions, a seq-operator for sequential evaluation and a non-deterministic operator amb that is locally bottom-avoiding. We use a small-step operational semantics in form of a single-step rewriting system that defines a (nondeterministic) normal order reduction. This strategy can be made fair by adding resources for bookkeeping. As equational theory we use contextual equivalence, i.e. terms are equal if plugged into any program context their termination behaviour is the same, where we use a combination of may- as well as must-convergence, which is appropriate for non-deterministic computations. We show that we can drop the fairness condition for equational reasoning, since the valid equations w.r.t. normal order reduction are the same as for fair normal order reduction. We evolve different proof tools for proving correctness of program transformations, in particular, a context lemma for may- as well as mustconvergence is proved, which restricts the number of contexts that need to be examined for proving contextual equivalence. In combination with so-called complete sets of commuting and forking diagrams we show that all the deterministic reduction rules and also some additional transformations preserve contextual equivalence.We also prove a standardisation theorem for fair normal order reduction. The structure of the ordering <=c a is also analysed: Ω is not a least element, and <=c already implies contextual equivalence w.r.t. may-convergence.
These proceedings, also online available as No. 46 in the ZAS Papers in Linguistics series under http://www.zas.gwz-berlin.de/index.html?publications_zaspil have resulted from the International Conference "Focus in African languages" held October 6-8, 2005 at the Zentrum für Allgemeine Sprachwissenschaft (ZAS) in Berlin. The conference was cooperatively organized by the latter, together with the Collaborative Research Center (Sonderforschungsforschungsbereich) 632, generously funded by the German Research Foundation (DFG). It was the first conference bringing together colleagues working on this topic from all over the world in such scale.
Even though this volume contains only ten contributions out of the 35 papers presented at the conference, it displays the wide range of approaches, subjects and languages studied in the field of information structure in African languages. The collection thus reflects the synergetic atmosphere of the conference.
In the name of all organizers (Laura Downing, Ines Fiedler, Katharina Hartmann, Brigitte Reineke, Anne Schwarz, Sabine Zerbian, Malte Zimmermann) we would like to take this opportunity to thank the participant reviewers and student assistants for their contributions by which the conference became such a fruitful forum for inspiring and seminal studies in this field. Also special thanks for their effort in copy editing to our research assistants Lars Marstaller and Paul Starzmann.
Die Hauptthese dieser Dissertation ist, dass Nord-Sotho keinen obligatorischen Gebrauch von grammatischen Mitteln zur Markierung von Fokus macht, weder in der Syntax noch in der Prosodie oder Morphologie. Trotzdem strukturiert diese Sprache eine Äußerung nach informationsstrukturellen Aspekten. Konstituenten, die im Diskurs gegeben sind, werden entweder getilgt, pronominalisiert oder an den rechten oder linken Satzrand versetzt. Diese (morpho-)syntaktischen Prozesse wirken so zusammen, dass die fokussierte Konstituente oft final in ihrem Teilsatz erscheint. Obwohl die finale Position keine designierte Fokusposition ist, ist das Wissen um diese Tendenz doch entscheidend für das Verständnis einer morphologischen Alternation, die in Nord-Sotho am Verb erscheint und die in der Literatur im Zusammenhang mit Fokus diskutiert wurde.
Obwohl also ein direkter grammatischer Ausdruck von formaler F(okus)-Markierung im Nord-Sotho fehlt, ist F-Markierung trotzdem entscheidend für die Grammatik dieser Sprache: Fokussierte logische Subjekte können nicht in kanonischer präverbaler Position erscheinen. Sie erscheinen stattdessen entweder postverbal oder in einem Spaltsatz, abhängig von der Valenz des Verbs. Obwohl Nord-Sotho bei Objekten im Gebrauch von Spaltsätzen eine Korrespondenz von komplexer Form mit komplexer Bedeutung zeigt, gilt diese Korrespondenz nicht für logische Subjekte.
Die vorliegende Dissertation modelliert die oben genannten Ergebnisse im theoretischen Rahmen der Optimalitätstheorie (OT). Syntaktischer in situ Fokus und die Abwesenheit von prosodischer Fokusmarkierung können mit unkontroversen Beschränkungen erfasst werden. Für die Ungrammatikaliät fokussierter logischer Subjekte in präverbaler Position schlägt die vorliegende Arbeit die Modifizierung einer in der Literatur vorhandenen Beschränkung vor, die in Nord-Sotho von entscheidener Bedeutung ist. Die Form-Bedeutungs-Korrespondenz wird, wie andere Phänomene pragmatischer Arbeitsteilung auch, innerhalb der schwach bidirektionalen Optimalitätstheorie behandelt.
Eine unübersehbare Menge neuer Anglizismen findet über Fach- und Gruppensprachen Eingang in die deutsche Alltagssprache, in der ein Teil von ihnen inzwischen seinen festen Platz hat. […] Insbesondere in den Bereichen der Lautung und der Schreibung bleibt bei den neueren Entlehnungen oberflächlich eine große Nähe zu gebersprachlichen Strukturen erhalten. Diese Entwicklung wird von einigen Fachleuten und Politikern […] als Indiz für eine schleichende ‚Kolonialisierung’ der deutschen Sprache durch das Englische herangezogen. [...] Dieser Einschätzung widersprechen zahlreiche Organe […] und Autoren […] ausdrücklich. […] Im Kontext dieser Auseinandersetzung ist die vorliegende Arbeit verortet. Ihr Ziel ist es zu zeigen, daß die Sprecher des Deutschen Anglizismen sehr wohl phonologisch, graphematisch und morphologisch in die deutsche Sprache integrieren. Untersuchungsgegenstand sind mehrgliedrige Verben, die aus dem Englischen entlehnt wurden und überwiegend in Fach- und Gruppensprachen und/oder in informellem, vorwiegend mündlichem Text auftreten. Für das Problemfeld der verbalen Wortbildung wird dargelegt, daß morphologische Integration nicht unsystematisch erfolgt, sondern sich an den Flexionsmustern deutscher komplexer Verben orientiert. Der Integrationsgrad der einzelnen Lexeme ist dynamisch und sprecherabhängig.