Refine
Year of publication
- 2008 (137) (remove)
Document Type
- Working Paper (137) (remove)
Is part of the Bibliography
- no (137) (remove)
Keywords
- USA (7)
- Deutschland (6)
- Bank (5)
- Geldpolitik (5)
- Lambda-Kalkül (5)
- Operationale Semantik (5)
- Programmiersprache (5)
- Haushalt (4)
- Liquidität (4)
- Aging (3)
- Aktienkurs (3)
- Europäische Union (3)
- Financial Literacy (3)
- Inflation (3)
- Liquidity (3)
- Mergers and Acquisitions (3)
- Transparency (3)
- lambda calculus (3)
- Algorithmic Trading (2)
- Altersversorgung (2)
- Anreiz (2)
- Checkliste (2)
- Conditional Volatility (2)
- Deutsche Börse (2)
- Einkommen (2)
- Event Study (2)
- Financial Regulation (2)
- Fiscal Policy (2)
- Gesundheitswesen (2)
- Kongress (2)
- Kreditmarkt (2)
- Limit Order Markets (2)
- Market Microstructure (2)
- Monetary Policy (2)
- Multivariate GARCH (2)
- Neokeynesianismus (2)
- Price Discovery (2)
- Rating (2)
- Risikoverteilung (2)
- Schuldverschreibung (2)
- Value at Risk (2)
- Wechselkurs (2)
- Wohneigentum (2)
- Zentraler Kontrahent (2)
- nondeterminism (2)
- programming languages (2)
- savings banks (2)
- semantics (2)
- Älterer Mensch (2)
- Öffentliche Ausgaben (2)
- Abhängigkeit (1)
- Adaptive Erwartung (1)
- Akquisitionen (1)
- Aktienanlage (1)
- Akustische Phonetik (1)
- Akustische Spektrographie (1)
- Alevis (1)
- Artikulatorische Phonetik (1)
- Arzneimittelmarkt (1)
- Arzneimittelrecht (1)
- Ausgaben (1)
- Automation (1)
- Außenhandel (1)
- Bank Regulation (1)
- Bank mergers (1)
- Bewässerung (1)
- Bid-Ask Spread (1)
- Binnenmarkt (1)
- Bond Market (1)
- Bulgarisch (1)
- Business Ethics (1)
- Börsenkurs (1)
- Call Market (1)
- Central Counterparty (1)
- Clearing (1)
- Closing Price (1)
- Collateral (1)
- Commercialisation (1)
- Competition Policy (1)
- Consumption (1)
- Consumption Insurance (1)
- Contagion (1)
- Corporate Philanthropy (1)
- Correlated Events (1)
- Counterfactual Decompositions (1)
- Credit Rating Agencies (1)
- Credit Risk (1)
- Customer Flow (1)
- Customer Protection Rules (1)
- Deductible Insurance (1)
- Default (1)
- Demand Analysis (1)
- Demutualization (1)
- Depths (1)
- Desinvestitionen (1)
- Deutsch (1)
- Development Finance (1)
- Disasters (1)
- Disinflation (1)
- Diversifikation (1)
- Double Auction (1)
- Dynamic Factor Model (1)
- EMU (1)
- Einflussnahme (1)
- Einkommensteuer (1)
- Electronic Commerce (1)
- Enforcement Delegation (1)
- Entscheidung (1)
- Entwicklungsländer (1)
- Equity Markets (1)
- Equivalence Scales (1)
- Erwachsener, 50-60 Jahre (1)
- Erwachsener, 50-65 Jahre (1)
- Euro, Währung (1)
- Europa (1)
- Europäische Gemeinschaften (1)
- Europäische Integration (1)
- Eventstudie (1)
- Exchange Rate Channel (1)
- Exchange Rate Pass-Through (1)
- Expectations (1)
- Experimentelle Phonetik (1)
- FOMC (1)
- Financial Crisis 2007/08 (1)
- Financial Development (1)
- Financial Education (1)
- Financial Education Programs (1)
- Financial Market Integration (1)
- Financial econometrics (1)
- Finanzlage (1)
- Finanzplanung (1)
- Finanzpolitik (1)
- Finite Normal Mixtures (1)
- First Loss Position (1)
- Forecasts (1)
- Formale Semantik (1)
- Frau (1)
- Free-Riding (1)
- GARCH-Prozess (1)
- Gains from Trade (1)
- Gender Issues (1)
- Germany (1)
- Geschichte 1900-2000 (1)
- Geschichte 1900-2003 (1)
- Geschichte 1983-2008 (1)
- Geschichte 1986-2006 (1)
- Geschichte 1994-2006 (1)
- Geschichte 2002 (1)
- Gesetzliche Krankenversicherung (1)
- Gesundheitspolitik (1)
- Global Yield (1)
- Globalisierung (1)
- Globalization (1)
- Government Spending Shocks (1)
- Grundschuld (1)
- Größe (1)
- Halakhic literature ; calendar (1)
- Herd Behavior (1)
- Hessen (1)
- Hidden Liquidity (1)
- Hidden Orders (1)
- High-Frequency Data (1)
- Hirshleifer Effect (1)
- Homeownership (1)
- Hongkong (1)
- Household Finance (1)
- Household Portfolios (1)
- Household-Size Economies (1)
- Housing (1)
- Hurricane Katrina (1)
- Hurrikan (1)
- IPO (1)
- Iceberg Orders (1)
- Illiquidity (1)
- Indexation (1)
- Inflation Targeting (1)
- Informationsaustausch (1)
- Integrated Risk Management (1)
- Integration (1)
- Interest Rate (1)
- Intermediary (1)
- International Cross-Listings (1)
- International Transmission Mechanism (1)
- Internationaler Terrorismus (1)
- Intra-Day Volatility (1)
- Japan (1)
- Kanada (1)
- Kapitalanlage (1)
- Katrina (1)
- Kenntnis (1)
- Klein- und Mittelbetrieb (1)
- Kleinkredit (1)
- Klimaänderung (1)
- Koartikulation (1)
- Kointegration (1)
- Konsonant (1)
- Konsumentenkredit (1)
- Kontrastive Phonetik (1)
- Korporatismus (1)
- Korporativer Staat (1)
- Korrelation (1)
- Krankenhaus (1)
- Krankenhausfinanzierung (1)
- Kultur (1)
- Kurds (1)
- Landwirtschaft (1)
- Latency (1)
- Latent Variables (1)
- Learning (1)
- Legal Institutions (1)
- Leistungsmessung (1)
- Lender of Last Resort (1)
- Lernen (1)
- Leverage Effect (1)
- Life-Cycle Model (1)
- Limit Order Book (1)
- Limit Order Book Market (1)
- Limit Order Book Slopes (1)
- Limit Order Books (1)
- Limit Order Market (1)
- Linear Aggregation (1)
- Linguistik (1)
- Liquidity Constraints (1)
- Liquidity Premium (1)
- Liquidity Risk (1)
- Liquidity Shocks (1)
- Literatur (1)
- Macroeconomic Announcements (1)
- Market Data Sales (1)
- Market Microstructure Noise (1)
- Market Microstructure Theory (1)
- Market Reactions (1)
- Market Value (1)
- Markov–Switching (1)
- Marktstruktur (1)
- Marktwirtschaft (1)
- Medizinische Versorgung (1)
- Messung (1)
- Microfinance (1)
- Microstructure (1)
- Mikrofinanzierung (1)
- Monetary (1)
- Monetary Policy Transmission (1)
- Money (1)
- Multiline Insurance (1)
- Narrow Banking (1)
- Nasdaq (1)
- Natürliche Ressourcen (1)
- New-Keynesian Model (1)
- Open Economy (1)
- Opening Price (1)
- Operational Risk (1)
- Order Flow (1)
- Order Placement Strategy (1)
- Osteuropa (1)
- Output Gap Uncertainty (1)
- Ownership Structure (1)
- Panel Cointegration (1)
- Pensions (1)
- Permanent-Income Hypothesis (1)
- Phillips curve (1)
- Phillips-Kurve (1)
- Phonetik (1)
- Phonologie (1)
- Policy Rules (1)
- Policy Under Uncertainty (1)
- Prag <2008> (1)
- Preisbildung (1)
- Private Business (1)
- Private Krankenversicherung (1)
- Privater Verbrauch (1)
- Pro-Rata (1)
- Prognose (1)
- Programmkalküle (1)
- Programmkorrektheit (1)
- Projektarbeit (1)
- Quantile Regression (1)
- Quantity Theory (1)
- Rating Process (1)
- Real Exchange Rate (1)
- Realer Wechselkurs (1)
- Realized Volatility (1)
- Recht (1)
- Recursive Least Squares (1)
- Regulation of Financial Institutions (1)
- Representative Consumer (1)
- Reserve Orders (1)
- Resiliency (1)
- Risiko (1)
- Risikomanagement (1)
- Risk Management (1)
- Risk Transfer (1)
- Riskfree Rate (1)
- Ruhestand (1)
- SHARE, Projekt (1)
- Saving (1)
- Saving Decisions (1)
- Savings (1)
- Securitization (1)
- Segmentierung (1)
- Selbstverwaltung (1)
- Sepharden ; Jüdisches Religionsgesetz (1)
- Sign Restrictions (1)
- Simulation (1)
- Social Policy (1)
- Solidarität (1)
- Sowjetunion (1)
- Sozialausgaben (1)
- Soziale Ungleichheit (1)
- Sparen (1)
- Sparkasse (1)
- Spende (1)
- Staat (1)
- Steuersatz (1)
- Stock Returns (1)
- Stockholding (1)
- Strategic Complementarity (1)
- Survey Method (1)
- Systematic Risk (1)
- Tax Cuts (1)
- Tax Distortions (1)
- Tax Rebates (1)
- Taylor Rules (1)
- Technischer Fortschritt (1)
- Technology Shocks (1)
- Term Structure (1)
- Termingeschäft (1)
- Terms of Trade (1)
- Terrorism (1)
- Tick Size (1)
- Trade Integration (1)
- Treasury Futures (1)
- Turkey (1)
- Umbrella Policies (1)
- Unbewegliche Sache (1)
- Undiversifiable Earnings Risk (1)
- Unternehmen (1)
- Unternehmensbewertung (1)
- Unwirtschaftlichkeit (1)
- VAR (1)
- Variance Decomposition (1)
- Vector Autoregression (1)
- Versicherung (1)
- Versicherungsmarkt (1)
- Versicherungsnehmer (1)
- Versicherungswirtschaft (1)
- Vertragsschluss (1)
- Vokal (1)
- Volatilität (1)
- Wagner's Law (1)
- Washington <DC, 2008> (1)
- Watchlist (1)
- Wealth Decumulation (1)
- Welthandel (1)
- Wertpapierhandelssystem (1)
- Wettbewerb (1)
- Wettbewerbsfreiheit (1)
- Wettbewerbsfähigkeit (1)
- Windfalls (1)
- Wirtschaft (1)
- Wirtschaftliche Abhängigkeit (1)
- Wirtschaftlichkeit (1)
- Wirtschaftsentwicklung (1)
- Wirtschaftswachstum (1)
- Wohnraum (1)
- World Yield (1)
- Währungsunion (1)
- Xetra (1)
- Xetra-Handelssystem (1)
- Zinsertragskurve (1)
- art investments (1)
- asset prices (1)
- asymmetric information (1)
- bank funding (1)
- bank mergers (1)
- banks (1)
- capital regulation (1)
- cognitive abilities (1)
- cointegrated systems (1)
- competition (1)
- consumption dynamics (1)
- context lemma (1)
- corporate governance (1)
- credit access (1)
- credit rating agencies (1)
- credit risk (1)
- derivates market (1)
- developing countries (1)
- diversification (1)
- downside risk (1)
- economic dependence (1)
- economic development (1)
- economy (1)
- efficiency (1)
- electoral cycle (1)
- event study (1)
- experience-based learning (1)
- formal semantics (1)
- franchise value (1)
- frequency domain (1)
- functional programming languages (1)
- futures markets (1)
- globalisation (1)
- goal congruence (1)
- government-owned banks (1)
- habit formation (1)
- hedging (1)
- hedonic model (1)
- information sharing (1)
- insurance (1)
- market economy (1)
- market reactions (1)
- market structure (1)
- mergers & acquisitions (1)
- mergers and acquisitions (1)
- migrant media (1)
- monetary policy (1)
- natural resources (1)
- nonparametric methods (1)
- observational semantics (1)
- optimal asset allocation (1)
- panel VAR (1)
- partially linear models (1)
- performance measurement (1)
- political economy (1)
- political influence (1)
- portfolio choice (1)
- post-merger performance (1)
- price discovery (1)
- program correctness (1)
- programming calculi (1)
- quantity theory (1)
- quiet life hypothesis (1)
- regional banks (1)
- regret (1)
- risk shifting (1)
- risk transfer (1)
- simulation (1)
- simulation-based research (1)
- small business lending (1)
- spectral regression (1)
- spot market power (1)
- state-owned enterprises (1)
- sticky expectations (1)
- stockholding (1)
- systematic risk (1)
- transition countries (1)
- translation (1)
- transnationalism (1)
- watchlist (1)
Institute
Aufbauend auf einer Literaturanalyse wird der derzeitige technische Entwicklungsstand im Bereich der Wiedergewinnung von Phosphat und Stickstoffverbindungen aus dem häuslichen Abwasser skizziert: Neben der (chemischen) Wiedergewinnung aus dem Abwasser und der Verwendung von Anaerobverfahren sowie die Wiedergewinnung aus Klärschlamm ist auch die Bewässerung mit Abwasser, die Kompostierung sowie die Fraktionierung von Abwasser („Gelbwasser“) eine Möglichkeit zur besseren Ausnutzung der Nährstoffgehalte des Abwassers. Der erzielte Überblick über den derzeitigen Stand der Nährstoffrückgewinnung diente dazu, mögliche Entwicklungsaufgaben zu identifizieren, die einerseits vordringlich (insbesondere zur Lösung globaler Probleme, z.B. zur Beendigung des Ressourcenmangels) erscheinen und deren Lösung andererseits besonders innovative Leistungen erfordern. Die Entwicklungsaufgaben wurden thesenhaft zugespitzt, um so anschließend in einer Delphi-Befragung überprüft werden zu können.
Aufbauend auf einer Literaturanalyse wird der derzeitige technische Entwicklungsstand im Bereich des Grauwasserrecyclings skizziert. Neben mechanisch-biologische Anlagen treten vereinzelt Membranfilteranlagen, aber auch „Low-Tech“-Anlagen. Der Überblick half, mögliche Entwicklungsaufgaben zu identifizieren, die einerseits vordringlich (insbesondere zur Lösung künftiger Wassermengenprobleme) erscheinen und deren Lösung andererseits besonders innovative Leistungen erfordern. Die Entwicklungsaufgaben wurden thesenhaft zugespitzt, um so anschließend in einer Delphi-Befragung überprüft werden zu können.
Aufbauend auf einer Literaturanalyse wird der derzeitige technische Entwicklungsstand im Bereich der Energierückgewinnung aus dem Siedlungsabwasser skizziert. Neben der Wärmerückgewinnung, die sowohl im Kanalnetz als auch dezentral in Gebäuden möglich ist, wurde die Biogasgewinnung sowohl auf Aerobkläranlagen als auch in Anaerobanlagen und die anschließende Aufbereitung der Klärgase in Erdgasqualität ebenso diskutiert wie die Nutzung von Schlämmen als Brennmaterial. Die Darstellung des derzeitigen Entwicklungsstandes half dabei, mögliche Entwicklungsaufgaben zu identifizieren, die einerseits vordringlich erlauben könnten, Abwasser künftig als Energieressource zu betrachten, und deren Lösung andererseits besonders innovative Leistungen erfordern. Die Entwicklungsaufgaben wurden thesenhaft zugespitzt, um so anschließend in einer Delphi-Befragung überprüft zu werden.
Die vorliegende Arbeit widmet sich der phonetischen Motivation phonologischer Palatalisierungsprozesse, bei welchen Vorderzungenvokoide die Palatalisierung (bzw. Affrizierung) vorangehender Plosive bewirken. Durch akustische Analysen zu deutschen und bulgarischen stimmlosen alveolaren und velaren Verschlußlauten wird der Einfluß nachfolgender vorderer Vokoide und des tiefen Vokals /a/ auf die geräuschähnliche Phase nach der plosiven Verschlußlösung der Konsonanten untersucht. Zum Zwecke der Überprüfung einer nach universellen phonologischen Prinzipien formulierten Hierarchie der wahrscheinlichen Inputkandidaten für Palatalisierungen werden akustische Messungen zur Zeitdauer und zu den spektralen Eigenschaften des konsonantischen Segments in wortinitialen Konsonant-Vokoid-Sequenzen vorgestellt. Die Ergebnisse der Studie unterstützen nur teilweise die vorgeschlagene Hierarchiehypothese und zeigen, daß sprachspezifische Besonderheiten einen Einfluß auf die Anordnung der Elemente der Hierarchie ausüben.
We investigate methods and tools for analyzing translations between programming languages with respect to observational semantics. The behavior of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
This paper proves several generic variants of context lemmas and thus contributes to improving the tools for observational semantics of deterministic and non-deterministic higher-order calculi that use a small-step reduction semantics. The generic (sharing) context lemmas are provided for may- as well as two variants of must-convergence, which hold in a broad class of extended process- and extended lambda calculi, if the calculi satisfy certain natural conditions. As a guide-line, the proofs of the context lemmas are valid in call-by-need calculi, in callby-value calculi if substitution is restricted to variable-by-variable and in process calculi like variants of the π-calculus. For calculi employing beta-reduction using a call-by-name or call-by-value strategy or similar reduction rules, some iu-variants of ciu-theorems are obtained from our context lemmas. Our results reestablish several context lemmas already proved in the literature, and also provide some new context lemmas as well as some new variants of the ciu-theorem. To make the results widely applicable, we use a higher-order abstract syntax that allows untyped calculi as well as certain simple typing schemes. The approach may lead to a unifying view of higher-order calculi, reduction, and observational equality.
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.