Refine
Year of publication
- 2009 (2437) (remove)
Document Type
- Article (983)
- Doctoral Thesis (391)
- Part of Periodical (311)
- Book (210)
- Review (128)
- Working Paper (116)
- Part of a Book (86)
- Report (65)
- Conference Proceeding (58)
- Preprint (15)
Language
- German (1440)
- English (859)
- Portuguese (55)
- Croatian (39)
- French (24)
- Multiple languages (5)
- Italian (4)
- Spanish (4)
- dut (2)
- Hungarian (2)
Keywords
- Deutsch (58)
- Linguistik (35)
- Literatur (30)
- Rezension (24)
- Filmmusik (21)
- Lehrdichtung (18)
- Reiseliteratur (16)
- Deutschland (14)
- Film (13)
- Literaturwissenschaft (13)
Institute
- Medizin (287)
- Extern (198)
- Biochemie und Chemie (158)
- Biowissenschaften (92)
- Präsidium (80)
- Physik (67)
- Gesellschaftswissenschaften (61)
- Rechtswissenschaft (51)
- Geowissenschaften (48)
- Geschichtswissenschaften (48)
Mehrsprachigkeit und diversifizierte Fremdsprachenangebote werden in einem Atemzug genannt, wenn es darum geht, junge Menschen auf die sprachlichen Anforderungen in einem zusammenwachsenden Europa vorzubereiten. Es geht dabei nicht allein um das Erlernen des Englischen als weltweite 'lingua franca', sondern im Sinne europäischer Sprachenvielfalt, um Anreize für das Erlernen der Nachbarsprachen in Grenzregionen. Eine Besonderheit stellen in diesem Kontext Schulen dar, die unterschiedliche Nationalitäten einbinden. Dazu zählen Gymnasien mit bilingualen-binationalen Zweigen. Der deutsch-tschechische Bildungsgang am Friedrich-Schiller-Gymnasium Pirna, 30 km von der tschechischen Grenze entfernt, existiert bereits über 10 Jahre. Der folgende Beitrag möchte der Frage nachgehen, wie die Schüler auf die Teilnahme am bilingualen Sachfachunterricht vorbereitet werden und dazu auf Punkte zur Entwicklung einer Didaktik des bilingualen Unterrichts eingehen.
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence. This also shows correctness wrt. program semantics, since the encodings are adequate translations wrt. contextual semantics. While these translations encode blocking into queuing and waiting, we also provide an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.
The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove its correctness. The calculus’ semantics is based on a small-step rewrite semantics and on may-convergence. The cyclic nature of letrec bindings, as well as nondeterminism, makes known approaches to prove that simulation implies contextual equivalence, such as Howe’s proof technique, inapplicable in this setting. The basic technique for the simulation as well as the correctness proof is called pre-evaluation, which computes a set of answers for every closed expression. If simulation succeeds in finite computation depth, then it is guaranteed to show contextual preorder of expressions.
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.
The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in an extended lambda-calculus LS with case, constructors, seq, let, and choice, with a simple set of reduction rules; and to argue that an approximation calculus LA is equivalent to LS w.r.t. the contextual preorder, which enables the proof tool of simulation. Unfortunately, a direct proof appears to be impossible.
The correctness proof is by defining another calculus L comprising the complex variants of copy, case-reduction and seq-reductions that use variable-binding chains. This complex calculus has well-behaved diagrams and allows a proof of correctness of transformations, and that the simple calculus LS, the calculus L, and the calculus LA all have an equivalent contextual preorder.
This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis. It also shown that there is a flaw in a lemma and a theorem concerning finite simulation in a conference paper by the first two authors.
This paper describes a method to treat contextual equivalence in polymorphically typed lambda-calculi, and also how to transfer equivalences from the untyped versions of lambda-calculi to their typed variant, where our specific calculus has letrec, recursive types and is nondeterministic. An addition of a type label to every subexpression is all that is needed, together with some natural constraints for the consistency of the type labels and well-scopedness of expressions. One result is that an elementary but typed notion of program transformation is obtained and that untyped contextual equivalences also hold in the typed calculus as long as the expressions are well-typed. In order to have a nice interaction between reduction and typing, some reduction rules have to be accompanied with a type modification by generalizing or instantiating types.
Background Multimorbidity is a highly frequent condition in older people, but well designed longitudinal studies on the impact of multimorbidity on patients and the health care system have been remarkably scarce in numbers until today. Little is known about the long term impact of multimorbidity on the patients' life expectancy, functional status and quality of life as well as health care utilization over time. As a consequence, there is little help for GPs in adjusting care for these patients, even though studies suggest that adhering to present clinical practice guidelines in the care of patients with multimorbidity may have adverse effects. Methods The study is designed as a multicentre prospective, observational cohort study of 3.050 patients aged 65 to 85 at baseline with at least three different diagnoses out of a list of 29 illnesses and syndromes. The patients will be recruited in approx. 120 to 150 GP surgeries in 8 study centres distributed across Germany. Information about the patients' morbidity will be collected mainly in GP interviews and from chart reviews. Functional status, resources/risk factors, health care utilization and additional morbidity data will be assessed in patient interviews, in which a multitude of well established standardized questionnaires and tests will be performed. Discussion The main aim of the cohort study is to monitor the course of the illness process and to analyse for which reasons medical conditions are stable, deteriorating or only temporarily present. First, clusters of combinations of diseases/disorders (multimorbidity patterns) with a comparable impact (e.g. on quality of life and/or functional status) will be identified. Then the development of these clusters over time will be analysed, especially with regard to prognostic variables and the somatic, psychological and social consequences as well as the utilization of health care resources. The results will allow the development of an instrument for prediction of the deterioration of the illness process and point at possibilities of prevention. The practical consequences of the study results for primary care will be analysed in expert focus groups in order to develop strategies for the inclusion of the aspects of multimorbidity in primary care guidelines.
Background: The standard electrode array for the MED-EL MAESTRO cochlear implant system is 31 mm in length which allows an insertion angle of approximately 720°. When fully inserted, this long electrode array is capable of stimulating the most apical region of the cochlea. No investigation has explored Electrically Evoked Compound Action Potential (ECAP) recordings in this region with a large number of subjects using a commercially available cochlear implant system. The aim of this study is to determine if certain properties of ECAP recordings vary, depending on the stimulation site in the cochlea. Methods: Recordings of auditory nerve responses were conducted in 67 subjects to demonstrate the feasibility of ECAP recordings using the Auditory Nerve Response Telemetry (ART™) feature of the MED-EL MAESTRO system software. These recordings were then analyzed based on the site of cochlear stimulation defined as basal, middle and apical to determine if the amplitude, threshold and slope of the amplitude growth function and the refractory time differs depending on the region of stimulation. Results: Findings show significant differences in the ECAP recordings depending on the stimulation site. Comparing the apical with the basal region, on average higher amplitudes, lower thresholds and steeper slopes of the amplitude growth function have been observed. The refractory time shows an overall dependence on cochlear region; however post-hoc tests showed no significant effect between individual regions. Conclusions :Obtaining ECAP recordings is also possible in the most apical region of the cochlea. However, differences can be observed depending on the region of the cochlea stimulated. Specifically, significant higher ECAP amplitude, lower thresholds and steeper amplitude growth function slopes have been observed in the apical region. These differences could be explained by the location of the stimulating electrode with respect to the neural tissue in the cochlea, a higher density, or an increased neural survival rate of neural tissue in the apex. Trial registration: The Clinical Investigation has the Competent Authority registration number DE/CA126/AP4/3332/18/05.
Background Public health systems are confronted with constantly rising costs. Furthermore, diagnostic as well as treatment services become more and more specialized. These are the reasons for an interdisciplinary project on the one hand aiming at simplification of planning and scheduling patient appointments, on the other hand at fulfilling all requirements of efficiency and treatment quality. Methods As to understanding procedure and problem solving activities, the responsible project group strictly proceeded with four methodical steps: actual state analysis, analysis of causes, correcting measures, and examination of effectiveness. Various methods of quality management, as for instance opinion polls, data collections, and several procedures of problem identification as well as of solution proposals were applied. All activities were realized according to the requirements of the clinic's ISO 9001:2000 certified quality management system. The development of this project is described step by step from planning phase to inauguration into the daily routine of the clinic and subsequent control of effectiveness. Results Five significant problem fields could be identified. After an analysis of causes the major remedial measures were: installation of a patient telephone hotline, standardization of appointment arrangements for all patients, modification of the appointments book considering the reason for coming in planning defined working periods for certain symptoms and treatments, improvement of telephonic counselling, and transition to flexible time planning by daily updates of the appointments book. After implementation of these changes into the clinic's routine success could be demonstrated by significantly reduced waiting times and resulting increased patient satisfaction. Conclusion Systematic scrutiny of the existing organizational structures of the outpatients' department of our clinic by means of actual state analysis and analysis of causes revealed the necessity of improvement. According to rules of quality management correcting measures and subsequent examination of effectiveness were performed. These changes resulted in higher satisfaction of patients, referring colleagues and clinic staff the like. Additionally the clinic is able to cope with an increasing demand for appointments in outpatients' departments, and the clinic's human resources are employed more effectively.
In dieser Arbeit wurden zwei Systeme der biologischen Energiewandlung mit verschiedenen spektroskopischen Methoden untersucht und es wurden neue Erkenntnisse über die Funktion und Aktivierung der Proteine Proteorhodopsin und RuBisCO gewonnen. Zusätzlich konnte eine neue methodische Herangehensweise zur Untersuchung von Carboxylierungsreaktionen etabliert werden. Dieser Ansatz bietet in Zukunft breite Anwendungsmöglichkeiten zur Studie dieser biologisch so bedeutenden Reaktionsklasse. Mit Hilfe der Infrarotspektroskopie und vor allem durch den Einsatz von Tieftemperaturmessungen konnte der bisher kontrovers diskutierte Photozyklus von Proteorhodopsin (PR) eingehend charakterisiert werden. Jenseits des gut verstandenen aktiven Transports bei pH 9,0 wurde vor allem der pH 5,1 Photozyklus untersucht. Erstmals konnte auch in Infrarotspektren das M-Intermediat bei pH 5,1 nachgewiesen werden. Dieses Intermediat ist von entscheidender Bedeutung für den aktiven Transport über die Zellmembran und seine Existenz wurde bisher vielfach angezweifelt. Zudem konnte Glu-108 als ein möglicher Protonenakzeptor des Photozyklus bei pH 5,1 identifiziert werden. Durch einen pH-Indikator ließ sich der Nachweis erbringen, dass auch im sauren pH-Bereich Protonen freigesetzt werden. Damit steht fest, dass ein aktiver Protonentransport bei pH 5,1 möglich ist. Zusammen mit Informationen zu protonierbaren Aminosäureseitenketten (vornehmlich Asp und Glu) lässt sich zudem mit Einschränkungen die These unterstützen, dass PR ober- und unterhalb des pKa-Werts von Asp-97 in verschiedene Richtungen Protonen pumpt. Damit ergibt sich ein differenziertes Bild für den pH-abhängigen Photozyklus von PR mit drei pH-Bereichen (pH 9,0, 8,5 bis 5,5 und 5,1) in denen PR unterschiedliche Protonentransportwege zeigt. Als weiteres biologischen System wurde RuBisCO genauer untersucht. Im Fokus der Arbeit war dabei die Aktivierung durch die Bildung eines Lysin-Carbamats im aktiven Zentrum. Obwohl RuBisCO das am häufigsten vorkommende Enzym unseres Planeten ist, in der Kohlenstofffixierung eine bedeutende Rolle spielt und obwohl mehrere Dutzend Kristallstrukturen existieren, gibt es noch immer genügend offene Fragen zur Aktivierung. Mit Hilfe eines Käfig-CO2 konnte die Carbamatbildung im Enzym direkt verfolgt und der Einfluss von Magnesiumionen auf die Aktivierung beobachtet werden. Damit ließ sich ganz klar ausschließen, dass Magnesium bereits für die Carbamatbildung erforderlich ist. Die Koordination von Mg2+ ist erst für die Endiol-Bildung im weiteren Reaktionszyklus essentiell. Zusätzlich wurde gezeigt, dass Azid eine Inhibierung des Enzyms durch die Konkurrenz mit CO2 um die Bindungsstelle auslöst, allerdings verdrängt CO2 das Azidion im Laufe der Zeit. Mit den Ergebnissen für RuBisCO konnte klar gezeigt werden, dass die Kombination aus Käfig-CO2 und Rapid-Scan IR-Spektroskopie ein völlig neues Feld für die Untersuchung von Carboxylierungsreaktionen eröffnet. Gerade die offenen Fragen zu Biotin bindenden Carboxylasen bieten ein breites Anwendungsgebiet für diese Methodik.
This study addresses the structure-function relationships of three essential membrane proteins: Porin from Paracoccus denitrificans, Porin OmpG from Eschericia coli and BetP from Corynobacterium glutamicum using Fourier transform infrared (FT-IR) spectroscopy and Attenuated Total Reflection (ATR) techniques. The structure of porin from P. denitrificans is known for more than a decade; however, the mechanism for loss of functionality together with the monomerization was not clear. In this study we have addressed the role of lipids for the functionality of porin using FT-IR. OmpF porin was found to interact with the lipid molecules via the aromatic girdles surrounding the protein for functionality. In this study, molecular bonds and groups of the lipids were established as reporter groups probing at different depths of the bilayer in order to understand the interaction partner of the aromatic girdles of porins. Monomerization of the trimeric assembly of OmpF porin reconstituted in lipids is induced by increasing the temperature. Porin (OmpF) was found to be extremely stable: The secondary structure of the protein was unaltered up to the temperature-induced main transition, around 80-90 °C, above which it is denatured. However, the interaction of the aromatic girdle with the lipid molecules exhibited distinct changes at much lower temperature values (40 - 50°) where, according to the previous functional studies, monomerization and the loss of function occurs. The results are compared with OmpG porin from E.coli, for which the functional unit is a monomer. The aromatic girdle-lipid interaction was monitored by the tyrosine aromatic ring C=C vibrational mode, a universal marker for the protein stability and interaction. We have also found that the aromatic girdles of porins are interacting with the interfacial region of the lipid bilayer instead of lipid headgroups. Lipid-protein interaction was found to be not only essential for the structural stability, but also for the functionality of OmpF porin. We have also studied the structural properties of OmpG from E.coli. The structure of OmpG at two pH values has been resolved using X-ray crystallography and the channel has been proposed to attain different states at different pH values as closed (pH < 5.5) and open (pH >7.5). This study, using IR spectroscopy, revealed that the pH-induced opening and closing of the channel is reflected by the frequency shifts of the ? sheet structure. OmpG has more rigid ? barrel properties upon opening of the channel. IR spectral analysis revealed multiple ? sheet signals with different hydrogen bond strengths. This enabled us to monitor the formation of hydrogen bridges between the extracellular loops upon opening of the channel. The conclusion that OmpG porin having two states at different pH values was also confirmed by the three mutants where the role of the histidine pair (H231 & H261) and loop 6 has been addressed. Temperature-profiling of the wild type (WT) protein and the mutants did not show pH dependent structural stability differences in detergent solution. However, the WT protein was found to be more stable in the open form in 2D crystals than the closed form. Reconstitution into lipids has increased the transition temperature value by ~20 °C in the closed state and ~25 °C in the open state. Therefore we conclude that the open and closed state of OmpG has structural stability differences that are only revealed in the lipid environment. A comparison of the transition temperature values of OmpG WT and the mutants suggested that the hydrogen bond network among S218-H231-H261-D267, together with the formation of 12 residue-long ?-sheet contributes to the structural stability of the open channel. In the process of closing and opening of the channel, the globular structure of the protein remains mainly unchanged, while there are changes in the side chain moieties. In addition to the role of the histidine pair and the loop L6, in situ opening/closing experiments showed that the negatively charged amino acids, i.e. Asp and Glu, and Arg residues also play an active role; possibly by interacting with each other inside the pore lumen. Therefore it could be concluded that the closure of the channel at acidic pH values is not only via closing the channel entrance by loop 6, but also via changing the electric potential inside the lumen due to the different states of charged amino acids in order to effectively block the gateway. BetP from C.glutamicum attains an active and inactive state in order to adjust its glycine betaine uptake rate to the osmotic conditions that the cell encounters. The structure of BetP is not yet available. The WT protein exhibited structural differences in the presence of excess K+, which is one of the activation conditions. In 2D crystals, increasing the ionic strength to 700 mM K+ was shown to induce changes in the ?-helical moiety with contributions from the ester groups and one Tyr residue using ATR-FTIR. An increase in ionic strength to 220 mM K+ was found to be the threshold value of potassium concentration ([K+]) where the protein exhibits structural alterations in detergent solution. The determined [K+] values are in good agreement with the previous functional studies. However, there are differences in the activation profile of BetP in 2D crystals and in detergent solution, which points out that the lipids are involved in the conformational transition from the inactive to the active state and their absence can lead to different structural properties. BetP WT was found to have ~65% alpha-helix, ~25% random coil and ~10% turn structure in detergent solution. In the presence of excess K+, the WT protein is found to adapt more unordered structure. Secondary structure analysis of the mutants revealed that both the N- and C-terminus are in ?-helical conformation. Reconstitution of WT protein in 2D crystals increased the main transition (denaturation) temperature value from ~62 °C to ~85 °C, a clear indication that the protein is more stable in lipid environment. Temperature-profiling of the two forms of the WT protein revealed that the structural breakdown is preceeded by monomerization of the trimeric assembly. Comparing the two forms of the WT protein and the mutant BetA, we conclude that the oligomeric status is stabilized via the interactions among hydrophilic regions involving the N terminus. H/D exchange and activation with excess K+ in D2O-buffer revealed that activation of the protein involves the interaction of Arg and Asp/Glu residues in the cytoplasmic region of the protein. BetP WT and the two mutants tested, i.e. BetA and BetP?C45, showed differences in protein packing upon activation. The WT protein and BetP?C45 mutant also show changes in the hydrogen bonding properties of turns. Since BetA does not show such a property in activation, we conclude that the N-terminus interacts with the loops in the inactive state via the interaction of charged amino acids for the WT protein and that this interaction is altered during the activation. It could be argued that the protein packing is affected via the changes in turns upon activation. We also have found experimental evidence that one Tyr residue has different orientations in the active and inactive state of BetP. Based on the previous functional studies, it could be one of the five Tyr residues in the cytoplasmic region of the protein (in loop 3, 6, 7 or C-terminus). The mutant BetP?C45, on the other hand, showed fewer differences between the active and inactive state conditions and based on the H/D exchange rates, the mutant shows the properties of an active WT protein, proving that the C-terminal truncation impairs the conformational transition between the active and inactive states.
Die in den 1990er Jahren erneuerte sozialwissenschaftliche Debatte um Staatsbürgerschaft (citizenship) als ein Verhältnis von Nation, Staat und Individuum, das über rein rechtliche Arrangements hinausgeht und auch Fragen der politischen und kulturellen Zugehörigkeit im weiteren Sinn betrifft, hat seit fünf bis zehn Jahren auch die Literatur- und Kulturwissenschaften erreicht, mit eigenen Schwerpunktsetzungen und Konzepten. Eines dieser Konzepte, das des sexual citizenship, ist das Thema der kulturwissenschaftlichen Magisterarbeit "We Will Be Citizens: The Notion of Citizenship in Tony Kushner's Angels in America and Larry Kramer's The Normal Heart". Kramer's The Normal Heart (1985) und Kuschner's Angels in America (1993/95) werden als Beispiele für Theaterstücke der 'ersten' und 'zweiten' Generation, die sich mit der AIDS-Krise der 1980er Jahre auseinandersetzen analysiert; dabei, so das zentrale Argument, geht es in beiden Stücken darum, die Auseinandersetzung mit AIDS und die formulierte Kritik an der unzureichenden Reaktion der Reagan-Administration auf die AIDS-Krise im Kontext von Neuverhandlungen von sexual citizenship zu lesen, also als Neuverhandlung der Rechte und gesellschaftlichen Teilhabemöglichkeit für als von der 'sexuellen Norm abweichend' definierte Personengruppen, im Kontext der Stücke vor allem homosexuelle Männer. Dabei wird citizenship klar als ein kulturelles Konzept definiert und macht dadurch auch die Bedeutung kultureller Produktionen (z.B. Literatur) für die Debatten deutlich: "Citizenship is not only to be understood as a political issue, but also as socially and materially constructed and culturally coded. If we understand culture as the ways of doing things and of organizing society, then the negotiations of citizenship take place, among other ways, through culture" (5). Die Diskussion des Themas beginnt mit einer zielgerichteten Skizze der theoretischen Debatten um sexual citizenship, der Rolle von AIDS für diese Debatten (Kap. 2) und einer Übersicht über die AIDS-Krise der 1980er Jahre (Kap. 3). Dabei stellt er mit Sontag, Yingling und Isin die Konstruktionen von Alterität – krank/gesund, self/other, citizen/non-citizen – die die Diskussion prägen, in den Vordergrund der Analyse. In den beiden folgenden Kapitel (4 und 5) werden die beiden Stücke mit Blick auf die jeweilige Aushandlung von sexual citizenship diskutiert; für Kramers Stück wird dabei das Thema schwule Identität, eine auf Aktivismus hin ausgerichtete Agenda und das Plädoyer für gesellschaftliche Anerkennung hervorgestellt, während bei der Analyse von Kuschners Text dessen Inszenierung von 'Geschichte' und ideologischer Kritik im Vordergrund steht. Den Abschluss bildet ein Vergleich der beiden Stücke in Hinsicht auf ihre jeweilige Agenda und deren Umsetzung. The Normal Heart, verfolgt insgesamt eine eher assimilatorische Sto߬richtung, die versucht, Homosexualität zu 'norm(alis)ieren', während Angels, radikaler, die Konstruktionen von sexuellen Normen hinterfragt und ein Recht auf Differenz proklamiert (z.B. S. 69).
Biophysikalische Charakterisierung von endogenen Ionenkanälen (P2X7, TRPV) in humanen Mastzellen
(2009)
Die Akupunktur ist zentraler Bestandteil der traditionellen ostasiatischen Medizin, die auch Moxibustion und Kräuterheilkunde (Herbalmedizin) umfasst [Focks et al. 2006]. Akupunkturpunkte sind auch durch eine höhere Konzentration von sensorischen Rezeptoren und Mastzellen charakterisiert [Dung 1984; Heine 1988; Hwang 1992]. So ergaben Untersuchungen, dass die Stimulation (physikalische und chemische Reize) von Akupunkturpunkten auf Rezeptoren und auch Mastzellen einwirkt [Belmonte 1996; Schmidt 2002; Yang et al. 2007; Zhang et al. 2008a; Zhang et al. 2008b; Zhao 2008]. Dabei zeigten auch Pflanzenkomponenten aus der TCM Einflüsse [Lee 2000; Smith et al. 2006]. ...
Bacterial autotransporters represent a diverse family of proteins that autonomously translocate across the inner membrane of Gram-negative bacteria via the Sec complex and across the outer bacterial membrane. They often possess exceptionally long N-terminal signal sequences. We analyzed 90 long signal sequences of bacterial autotransporters and members of the two-partner secretion pathway in silico and describe common domain organization found in 79 of these sequences. The domains are in agreement with previously published experimental data. Our algorithmic approach allows for the systematic identification of functionally different domains in long signal sequences. Keywords: bacterial autotransporter, sequence analysis, pattern, protein targeting, signal peptide, protein trafficking
Methanosarcina acetivorans kann Kohlenmonoxid (CO) als Kohlenstoff- und Energiequelle nutzen. Als Endprodukte entstehen bei der Verwertung von CO neben Methan signifikante Mengen an Azetat und Formiat sowie Dimethylsulfid (DMS). In dieser Arbeit sollten verschiedene Aspekte dieses außergewöhnlichen CO-Stoffwechsels analysiert werden. Folgende Ergebnisse wurden erzielt: 1) Weder die Methanogenese, noch die Bildung eines der anderen Metaboliten wird durch hohe CO-Partialdrücke gehemmt. Inhibitorstudien mit BES belegen, dass die CO-Oxidation und die Bildung von Azetat, Formiat und DMS nicht an die Methanogenese gekoppelt sind. Inhibitorstudien legen nahe, dass die Methanogenese aus CO am Aufbau eines Na+-Gradienten beteiligt ist und das Vorhandensein eines vom Protonenpotential-abhängigen Schrittes. 2) Eine neue, kostengünstige Transformationsmethode mittels Polyethylenglykol (PEG) konnte für M. acetivorans etabliert werden. Die Transformationshäufigkeit betrug ca. 1,1 x 107 Transformanden/μg DNA und liegt damit im Bereich von der der bisher etablierten Liposomen-vermittelten Transformationsmethode. 3) Mutantenanalysen und physiologische Studien belegen eine Beteiligung der Mts-Proteine in der DMS-Bildung und DMS-Verwertung, da in ihrer Abwesenheit kein DMS aus CO gebildet, kein Methan aus DMS produziert wird, und M. acetivorans nicht mehr auf DMS als Energiequelle wachsen kann. Die Mts-Proteine sind für das carboxidotrophe Wachstum jedoch nicht essentiell. Immunologische Analysen belegen eine substratabhängige Regulation von MtsF und weisen auf genetische Interaktionen der einzelnen Loci oder der Isoformen selbst hin. 4) Die monofunktionellen CODH-Isoformen von M. acetivorans sind am carboxidotrophen Wachstum beteiligt, jedoch nicht essentiell. Die beiden Isoformen der bifunktionellen CODH/ACS sind funktionell, und wenigstens eine von ihnen ist für autotrophes als auch carboxidotrophes Wachstum notwendig. Eine mögliche posttranslationale Modifikation von Cdh1 weist auf unterschiedliche physiologische Funktion und/oder Lokalisation hin. 5) Die F420H2-Dehydrogenase ist essentiell für methylotrophes, nicht jedoch für carboxidotrophes Wachstum.
Deichbau und andere flussbautechnische Maßnahmen haben dazu geführt, dass die Mittlere Elbe ihre ursprünglichen Überschwemmungsgebiete verloren hat. Um die Auswirkungen der alljährlich auftretenden Hochwasserereignisse einzudämmen, wurden große Bereiche der Talniederung durch Deiche vom Überflutungsgeschehen abgetrennt. Diese Eingriffe in den Naturhaushalt ermöglichten gleichfalls eine intensive ackerbauliche Nutzung oder eine hochwassersichere Bebauung der Auen. Die natürliche Auendynamik ist heute weitestgehend auf einen schmalen Bereich entlang der Elbe beschränkt. Hinter den Deichen sind die für die Elbeauen typischen Lebensräume von der lebenswichtigen Auendynamik abgeschnitten. Angepasste Auenarten und -lebensgemeinschaften treten zugunsten von Allerweltsarten zurück. Eine Wiederanbindung von Altauenbereichen an das Überflutungsgeschehen ist deshalb eine der vordringlichsten Maßnahmen zur Revitalisierung gefährdeter Auenlebensräume und stellt eine Chance dar, einen nachhaltigen und modernen Hochwasserschutz mit Naturschutzzielen zu verbinden. An der Elbe entspricht das aktuelle Hochwasserschutzsystem nicht den heutigen Anforderungen an den Hochwasserschutz. Um jedoch jederzeit auf mögliche große Hochwasserereignisse reagieren zu können, entstanden Anfang der 1990er Jahre in den Anliegerländern der Elbe zahlreiche Pläne für Deichrückverlegungen.
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence, and as a consequence also yields soundness of the encodings with respect to a contextually defined notion of program equivalence. While these translations encode blocking into queuing and waiting, we also describe an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.
In seinem 2005 mit dem Booker-Preis ausgezeichneten Roman The Sea nimmt sich der irische Schriftsteller John Banville dem Thema Trauma, Erinnerung und Trauer durch den Einsatz intermedialer Manifestationen, gestalterisch an. Das Werk schildert vor allem die subtilen Auswirkungen eines Kindheitstraumas auf die Identitätsbildung und Lebensführung des alternden Protagonisten, dessen Wahrnehmungsweise und Weltanschauung durch das Medium der bildenden Kunst geprägt sind.