Refine
Year of publication
- 2011 (2389) (remove)
Document Type
- Article (931)
- Part of Periodical (373)
- Book (255)
- Doctoral Thesis (219)
- Part of a Book (152)
- Review (130)
- Working Paper (92)
- Report (88)
- Conference Proceeding (86)
- Bachelor Thesis (18)
Language
- German (1321)
- English (937)
- Portuguese (40)
- Croatian (32)
- French (27)
- Multiple languages (11)
- Italian (10)
- Spanish (6)
- dut (2)
- mis (1)
Keywords
- Deutsch (57)
- Literatur (53)
- Rezeption (30)
- Benjamin, Walter (24)
- Rezension (22)
- Dante Alighieri (20)
- Übersetzung (20)
- Literaturwissenschaft (18)
- Productive reception (18)
- Psychoanalyse (18)
Institute
- Medizin (204)
- Präsidium (141)
- Physik (112)
- Gesellschaftswissenschaften (98)
- Biochemie und Chemie (89)
- Extern (81)
- Geschichtswissenschaften (71)
- Biowissenschaften (69)
- Center for Financial Studies (CFS) (63)
- Wirtschaftswissenschaften (59)
Towards correctness of program transformations through unification and critical pair computation
(2011)
Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the combination of a context lemma with the computation of overlaps between program transformations and the reduction rules, and then of so-called complete sets of diagrams. The method is similar to the computation of critical pairs for the completion of term rewriting systems.We explore cases where the computation of these overlaps can be done in a first order way by variants of critical pair computation that use unification algorithms. As a case study we apply the method to a lambda calculus with recursive let-expressions and describe an effective unification algorithm to determine all overlaps of a set of transformations with all reduction rules. The unification algorithm employs many-sorted terms, the equational theory of left-commutativity modelling multi-sets, context variables of different kinds and a mechanism for compactly representing binding chains in recursive let-expressions.
Am 27. März 2011 wird im Rahmen der hessischen Kommunalwahlen auch über eine Schuldenbremse abgestimmt. Diese sieht vor, dass vom Jahr 2020 an der Landeshaushalt grundsätzlich auszugleichen ist. Alfons Weichenrieder argumentiert, dass eine in der Verfassung verankerte Schuldenregel dazu geeignet ist die im politischen Prozess angelegten Anreize zur Verschuldung zu zügeln. Auf die disziplinierende Wirkung der Finanzmärkte alleine zu vertrauen reicht nicht.
Die Mehrheit der auf High Frequency Trading basierenden Strategien trägt zur Marktliquidität (Market-Making-Strategien) oder zur Preisfindung und Markteffizienz (Arbitrage-Strategien) bei. Eine ungeeignete Regulierung dieser Strategien oder eine Beeinträchtigung der zugrunde liegenden Geschäftsmodelle durch übermäßige Belastungen kann kontraproduktiv sein und unvorhergesehene Auswirkungen auf die Marktqualität haben. Allerdings muss jede missbräuchliche Strategie effektiv durch die Aufsichtsbehörden bekämpft werden.
Das deutsche Bankensystem ruht seit Jahrzehnten auf drei Säulen: den privaten Kreditbanken, den öffentlichen Banken des Sparkassensystems und den genossenschaftlichen Banken. Das Drei-Säulen-System scheint ursächlich für die Stabilität im deutschen Bankensystem zu sein. Gerade die Krise hat gezeigt, dass es für ein Bankensystem vorteilhaft ist, wenn es darin nicht nur einen Typus von Banken gibt. Wir müssen eine Pluralität von Organisationsformen im Bankwesen erhalten und weiterentwickeln.
Risiko muss wieder kosten
(2011)
Im Rahmen dieser Arbeit wird ein Gammaspektroskopie-Aufbau unter Verwendung eines HPGe-Clover-Detektors zur Nutzung in Aktivierungsexperimenten charakterisiert und untersucht. Die für präzise Aktivitätsmessungen nach einer Aktivierung nötigen Effizienzen werden mit Hilfe der Eichquellen 60Co und 22Na unter Nutzung verschiedener Modi des Clover-Detektors abstandsabhängig errechnet. „Listmode“-Daten ermöglichen dabei eine „offline“-Verarbeitung. Begleitet werden die Messungen von aufwändigen Monte-Carlo-Simulationen in Geant4. Parallele Auswertungsmethoden erlauben einen genauen Vergleich zwischen simulierten und experimentellen Ergebnissen.
Der Karlsruhe 4π-Bariumfluorid-Detektor, entwickelt und aufgebaut Ende der Achtzigerjahre am Forschungszentrum Karlsruhe, ist ein effizienter Detektor für Gammastrahlung und bietet vielfältige Einsatzmöglichkeiten für kernphysikalische Experimente. Insbesondere für Experimente der nuklearen Astrophysik ist er geeignet, aber auch für die Forschung zur Entwicklung neutronengetriebener Reaktoren, zum Beispiel zur Transmutation radioaktiver Abfälle. Derzeit befindet sich der Detektor an der Goethe-Universität Frankfurt, wo er mit der sich dort in Entwicklung befindenden FRANZ-Neutronenquelle eingesetzt werden soll. Diese ermöglicht zum Beispiel Messungen von Wirkungsquerschnitten für den s-Prozess in astrophysikalisch relevanten Energiebereichen und bei hohen Intensitäten.
Diese Arbeit behandelt astrophysikalische Möglichkeiten die der Detektor bietet sowie dessen allgemeinen Aufbau und Eigenschaften. Es wurden eine Funktionsprüfung des Detektors, Messungen der Zeit- und Energieauflösung, Energiekalibration sowie kleine Optimierungen und Reparaturen durchgeführt.