Refine
Year of publication
- 2011 (82) (remove)
Document Type
- Doctoral Thesis (82) (remove)
Language
- English (82) (remove)
Has Fulltext
- yes (82) (remove)
Is part of the Bibliography
- no (82)
Keywords
- Geldpolitik (2)
- AIDS (1)
- Ackerbau (1)
- Analog Circuits (1)
- Analoges System (1)
- Analogschaltungen (1)
- Anbauflächen (1)
- Angiogenese (1)
- Anstrengung (1)
- Aufwandsschätzung (1)
Institute
- Biochemie und Chemie (18)
- Biowissenschaften (17)
- Physik (15)
- Geowissenschaften (6)
- Medizin (5)
- Psychologie (5)
- Wirtschaftswissenschaften (5)
- Informatik (4)
- Pharmazie (3)
- Institut für Ökologie, Evolution und Diversität (2)
Nonequilibrium phase transitions in chiral fluid dynamics including dissipation and fluctuation
(2011)
Chiral fluid dynamics combines the fluid dynamic expansion of a hot and dense plasma created in a heavy-ion collision with the explicit propagation of fluctuations at the chiral phase transition of quantum chromodynamics. From systems in equilibrium long-range fluctuations are expected at a conjectured critical point. Heavy-ion collisions are, however, finite in size and time and very dynamic. It is thus likely that nonequilibrium effects diminish the signal of a critical point. They can, however, stimulate phenomena at a first order phase transitions, like nucleation and spinodal decomposition. Both of phase transition scenarios are investigated in this work. Based on the linear sigma model with constituent quarks a consistent quantum field theoretical approach using the two-particle irreducible effective action is developed to derive both, the local equilibrium properties of the expanding quark fluid and the damping and noise terms in the Langevin equation of the order parameter of the phase transition, the sigma field. Within this formalism it is possible to obtain a conserved energy-momentum tensor of the coupled system. It describes the energy dissipation from the sigma field to the heat bath during relaxation. Within this model we investigate nonequilibrium phenomena in a scenario with a critical point and a first order phase transition. We observe long relaxation times at the phase transition, phase coexistence at the first order phase transition and critical slowing down at the critical point. We find a substantial supercooling in a first order phase transition in our model and due to the energy-momentum exchange also reheating is present. While at the critical point the correlation length increases slightly we find an enhanced intensity of nonequilibrium fluctuations at the first order phase transition, which leads to an increased production of sigma mesons.
Subject of this thesis is the non-perturbative investigation of the thermal transition in Quantum Chromodynamics by means of lattice gauge theory and a particular type of lattice fermions, the so-called twisted mass fermions. These fermions offer the possibility of improvement as compared to the standard Wilson-type formulation. We investigate the properties of these fermions at finite temperature, i.e. the structure of the bare parameter space as well as leading order cutoff effects in the weak coupling limit. Then we focus on two-flavour simulations at finite pion mass. We identify the (pseudo-)critical temperatures for our set of pion masses (300 to 500 MeV) and discuss the extrapolation to the chiral limit for which the nature of the transition is still an open question. Besides pseudo-critical temperatures we consider the magnetic equation of state and screening observables. We find that the assumption of a second order transition (in the 3d O(4) universality class) agrees with our data without being able to exclude alternatives. Finally, we discuss the future inclusion of strange and charm quarks in dynamical twisted mass simulations and look at the corresponding cutoff effects in the free limit.
In der vorliegenden Arbeit konzentrierte ich mich auf mediterrane wirbellose Tierarten, welche sich als Konsequenz ihrer Lebensweise nur schlecht ausbreiten können. Nichtsdestotrotz haben es Süßwasserkrabben der Gattung Potamon und Landschnecken der Gattung Tudorella geschafft, große Gebiete zu besiedeln, die heute durch das Mittelmeer getrennt sind. Für beide Gruppen wurde spekuliert, dass Menschen an ihrer Ausbreitung beteiligt waren. Es war mein Ziel die biogeographischen Muster dieser beiden Gattungen zu analysieren und abzuschätzen, ob Menschen tatsächlich Vektoren ihrer Ausbreitung waren. Meine Analysen fanden auf drei Ebenen statt: Taxonomie, Gattung und Art.
This thesis consist of three chapters of which each investigates a topic from financial and monetary economics. In the first chapter a novel method to analyze the monetary policy of central banks is presented. In the second chapter (joint work with Professor Michael Binder, Goethe-University Frankfurt) the effects of conditional loan programs of the International Monetary Fund (IMF) on participating countries' output growth are investigated. In the third chapter (joint work with Professor Jan Pieter Krahnen, Goethe-University Frankfurt) a network model of interconnected bank balance sheets which gives rise to systemic risk is developed and used to analyze the implications of a bank levy related to banks' contribution to systemic risk. All three chapters give important insights to the policy design of macroeconomic institutions such as central banks, the IMF, and agencies charged with macroprudential supervision.
This work deals with the use of dielectrics with high permeability, so-called high-k dielectrics in organic thin-film field-effect transistors (FETs). The central part was the preparation of the high-k dielectric and its implementation in transistors, in which organic semiconductors were used as active layer. A field-effect transistor can be used to measure the charge carrier mobility. Employing high-k dielectrics the carrier concentration in the active layer can be greatly increased. In this way, high charge carrier concentrations in organic layers can be achieved without chemical doping. As high-k dielectric strontium titanate (STO) was selected. It is also available as a niobium-doped and therefore conducting substrate material. Thus, one has an ideal substrate for the growth of the dielectric layer in conjunction with a substrate which acts as gate electrode. As the organic semiconductor the small molecules pentacene and copper phthalocyanine (CuPc) were sublimated, as electrical contacts gold was used. As a key part of this work an ultra high vacuum chamber system was constructed for in situ preparation of field effect transistors. For the deposition of the organic thin films a molecular beam deposition chamber was built, including a manipulator and effusion cells as evaporation sources. For the preparation of the dielectric a sputtering chamber was set-up. Another chamber was used in conjunction with an effusion cell for the deposition of the gold contacts. For the structured deposition of the different layers in the devices a shadow mask system was implemented. Movable masks could be positioned by means of a wobble stick onto the sample carriers. The system thus allowed for the use of masks in all chambers. The different thin films required in the transistor structure were first individually prepared and characterized. For the characterization primarily X-ray diffraction and optical microscopy were used. The growth of pentacene was analyzed on aplha-AlO substrates. With X-ray diffraction the (00l) reflections of the thin film phase were observed. In growth studies of CuPc aplha-AlO and STO substrates were used. With X-ray diffraction the aplha-phase was detected. With increasing substrate temperature an increase in crystallinity, but also an increase in surface roughness was observed. The sputtering of STO as a high-k dielectric was studied and optimized. Simultaneously, a high deposition rate, a smooth film surface and good crystallinity of the layer were required. As the most important parameters the substrate temperature, pressure and sputtering power were identified. Argon and oxygen were employed as sputtering gases, as substrate MgO was used. The films showed in comparison to crystalline STO a distortion to larger lattice constants. The degree of distortion decreased with increasing chamber pressure, on the other hand, deposition rate decreased with increasing chamber pressure as well. By combining the individual deposition processes FETs in bottom-gate geometry were prepared. The first step was always sputtering of the STO dielectric on niobium-doped STO substrates. Subsequently, the electrodes and the organic layer were deposited. For comparison transistors on silicon substrates with silicon dioxide (SiO2) as the dielectric were prepared. To study the transistor properties a measurement setup was build. A dielectric constant of about 190 for the STO in the transistors was achieved. The transistors with CuPc as active layer showed p-type conduction behavior. The transistors with STO as dielectric had a much stronger response than those with SiO2. They reached mobilities of 2E-4 cm2/Vs at very low applied voltages of 3V. It could thus be demonstrated that STO is suitable as a dielectric for organic FETs, and that through the use of high-k dielectrics high charge carrier densities can be achieved.
Almost two decades ago, microRNAs were discovered as novel posttranscriptional regulators of gene expression. Since then, research efforts have uncovered their involvement in the control of various cellular processes including migration, proliferation and cell survival. Even more complex events, such as the formation of new blood vessels or organ development, have been shown to be tightly regulated and orchestrated by microRNAs. Due to their crucial regulatory role in tissue homeostasis in vertebrates, it does not come as a big surprise that dysregulated microRNA ex-pression is associated with pathology of diverse diseases. In this regard, the miR-17-92 cluster is a prime example since it has become famous for its amplified expression in tumours and its on-cogenic potential. Our lab demonstrated the expression of the members of the miR-17-92 cluster, namely miR-17, -18a, -19a, -20a, -19b and -92a, in endothelial cells and provided evidence for the anti-angiogenic activity of miR-92a in ECs as well as its important regulatory role in tissue re-covery after ischemia. In this work we addressed the function of the remaining members of the miR-17-92 cluster, i.e. miR-17, miR-18a, miR-19a and miR-20a, in endothelial cells and angiogenesis. Surprisingly, the individual members all displayed anti-angiogenic properties in endothelial cells in vitro, although overexpression of the whole cluster in transformed colonocytes was shown to promote tumour angiogenesis in a mouse model. In this context, we provide evidence that the individual miRs differentially affect the paracrine angiogenic activity of endothelial and tumour cells. Moreover, Antagomir-mediated inhibition of miR-17/20 in a mouse tumour model did not affect tumour angi-ogenesis, although miR-17/20 inhibition profoundly increased vascularization of Matrigel plugs. Thus, our research efforts suggest a differential involvement of the members of the miR-17-92 cluster in physiological and tumour angiogenesis. Additionally, we identified Janus kinase (JAK) 1 as a novel miR-17 target in endothelial cells and demonstrated the involvement of JAK1 in angio-genesis and in the phosphorylation of STAT3 in response to different cytokines in vitro. Overall, inhibition of specific members of the miR-17-92 cluster might represent an attractive therapeutic strategy to enhance angiogenesis in ischemic diseases. In the second part of the present work we investigated the therapeutic value of Antagomir-mediated microRNA inhibition in animal models of pulmonary arterial hypertension. Collectively, inhibition of miR-17 by the respective Antagomir revealed a significant improvement of pulmonary hemodynamics and cardiac function in both the chronic hypoxia mouse model and the mono-crotaline-induced lung injury rat model. Histomorphometric analysis of the lungs of the pulmonary hypertensive mice and rats uncovered a significant reduction of disease associated musculariza-tion of pulmonary arteries in Antagomir-17 treated animals compared to the control animals indicating interference with smooth muscle cell proliferation or survival. Probing of lung tissue of the pulmonary hypertensive rats for selected miR-17 targets uncovered a profound increase in the expression of the cyclin dependent kinase inhibitor p21 in the Antagomir-17 treated rats suggest-ing that inhibition of miR-17 impairs proliferation by impeding cell cycle progression. Analysis of miR-17 function in human smooth muscle cells in vitro corroborated the results from the animal experiments by demonstrating pro-proliferative activity of miR-17 and decreased levels of p21 in these cells. Collectively, our results indicate that Antagomir-17 improves pulmonary hemodyna-mics and cardiac function by interfering with vascular remodelling within the lung. Hence, inhibi-tion of miR-17 might be of therapeutic value to ameliorate the disease pattern in pulmonary arte-rial hypertension. In summary, the present work provides insights into the regulatory functions of members of the miR-17-92 cluster, especially miR-17, in blood vessels and suggests that specific inhibition of members of the miR-17-92 cluster might be a novel option to treat vascular diseases.
A pattern is a word that consists of variables and terminal symbols. The pattern language that is generated by a pattern A is the set of all terminal words that can be obtained from A by uniform replacement of variables with terminal words. For example, the pattern A = a x y a x (where x and y are variables, and the letter a is a terminal symbol) generates the set of all words that have some word a x both as prefix and suffix (where these two occurrences of a x do not overlap). Due to their simple definition, pattern languages have various connections to a wide range of other areas in theoretical computer science and mathematics. Among these areas are combinatorics on words, logic, and the theory of free semigroups. On the other hand, many of the canonical questions in formal language theory are surprisingly difficult. The present thesis discusses various aspects of the inclusion problem of pattern languages. It can be divide in two parts. The first one examines the decidability of pattern languages with a limited number of variables and fixed terminal alphabets. In addition to this, the minimizability of regular expressions with repetition operators is studied. The second part deals with descriptive patterns, the smallest generalizations of arbitrary languages through pattern languages ("smallest" with respect to the inclusion relation). Main questions are the existence and the discoverability of descriptive patterns for arbitrary languages.
The objective of this thesis is to develop new methodologies for formal verification of nonlinear analog circuits. Therefore, new approaches to discrete modeling of analog circuits, specification of analog circuit properties and formal verification algorithms are introduced. Formal approaches to verification of analog circuits are not yet introduced into industrial design flows and still subject to research. Formal verification proves specification conformance for all possible input conditions and all possible internal states of a circuit. Automatically proving that a model of the circuit satisfies a declarative machine-readable property specification is referred to as model checking. Equivalence checking proves the equivalence of two circuit implementations. Starting from the state of the art in modeling analog circuits for simulation-based verification, discrete modeling of analog circuits for state space-based formal verification methodologies is motivated in this thesis. In order to improve the discrete modeling of analog circuits, a new trajectory-directed partitioning algorithm was developed in the scope of this thesis. This new approach determines the partitioning of the state space parallel or orthogonal to the trajectories of the state space dynamics. Therewith, a high accuracy of the successor relation is achieved in combination with a lower number of states necessary for a discrete model of equal accuracy compared to the state-of-the-art hyperbox-approach. The mapping of the partitioning to a discrete analog transition structure (DATS) enables the application of formal verification algorithms. By analyzing digital specification concepts and the existing approaches to analog property specification, the requirements for a new specification language for analog properties have been discussed in this thesis. On the one hand, it shall meet the requirements for formal specification of verification approaches applied to DATS models. On the other hand, the language syntax shall be oriented on natural language phrases. By synthesis of these requirements, the analog specification language (ASL) was developed in the scope of this thesis. The verification algorithms for model checking, that were developed in combination with ASL for application to DATS models generated with the new trajectory-directed approach, offer a significant enhancement compared to the state of the art. In order to prepare a transition of signal-based to state space-based verification methodologies, an approach to transfer transient simulation results from non-formal test bench simulation flows into a partial state space representation in form of a DATS has been developed in the scope of this thesis. As has been demonstrated by examples, the same ASL specification that was developed for formal model checking on complete discrete models could be evaluated without modifications on transient simulation waveforms. An approach to counterexample generation for the formal ASL model checking methodology offers to generate transition sequences from a defined starting state to a specification-violating state for inspection in transient simulation environments. Based on this counterexample generation, a new formal verification methodology using complete state space-covering input stimuli was developed. By conducting a transient simulation with these complete state space-covering input stimuli, the circuit adopts every state and transition that were visited during stimulus generation. An alternative formal verification methodology is given by retransferring the transient simulation responses to a DATS model and by applying the ASL verification algorithms in combination with an ASL property specification. Moreover, the complete state space-covering input stimuli can be applied to develop a formal equivalence checking methodology. Therewith, the equivalence of two implementations can be proven for every inner state of both systems by comparing the transient simulation responses to the complete-coverage stimuli of both circuits. In order to visually inspect the results of the newly introduced verification methodologies, an approach to dynamic state space visualization using multi-parallel particle simulation was developed. Due to the particles being randomly distributed over the complete state space and moving corresponding to the state space dynamics, another perspective to the system's behavior is provided that covers the state space and hence offers formal results. The prototypic implementations of the formal verification methodologies developed in the scope of this thesis have been applied to several example circuits. The acquired results for the new approaches to discrete modeling, specification and verification algorithms all demonstrate the capability of the new verification methodologies to be applied to complex circuit blocks and their properties.
Table of Contents – Cumulative Dissertation Thesis German Summary Summary of Analysis Results for German-Speaking Readers Introductory Paper Introduction and Overview of the Dissertation Paper 1 Vykoukal, Jens / Wolf, Martin / Beck, Roman (2009) Services Grids in Industry: On-Demand Provisioning and Allocation of Grid-based Business Services In: Business & Information Systems Engineering (BISE), 1(2), 177-184 Paper 2 Vykoukal, Jens / Setzer, Michael / Beck, Roman (2008) Grid Architecture for Risk Management: A Case Study in a Financial Institution In: Proceedings of the 12th Pacific Asia Conference on Information Systems (PACIS), Suzhou, China Paper 3 Vykoukal, Jens / Pahlke, Immanuel / Beck, Roman (2011) Impact of Grid Assimilation on Operational Agility in Turbulent Environments: An Empirical Investigation in the Financial Services Industry In: Proceedings of the 19th European Conference on Information Systems (ECIS), Helsinki, Finland Paper 4 Vykoukal, Jens / Wolf, Martin / Beck, Roman (2009) Does Green IT Matter? Analysis of the Relationship between Green IT and Grid Technology from a Resource-based View Perspective In: Proceedings of the 13th Pacific Asia Conference on Information Systems (PACIS), Hyderabad, India Paper 5 Vykoukal, Jens (2010) Grid Technology as Green IT Strategy? Empirical Results from the Financial Services Industry In: Proceedings of the 18th European Conference on Information Systems (ECIS), Pretoria, South Africa Paper 6 Vykoukal, Jens / Beck, Roman / Wolf, Martin (2010) Impact of Pressure for Environmental Sustainability on Grid Assimilation: Empirical Results from the Financial Services Industry In: Australasian Journal of Information Systems (AJIS), 17(1), 83-106 Appendix: Publications, Curriculum Vitae
Pulsed electron-electron double resonance (PELDOR) is a pulsed EPR method that can reliably and precisely provide structural information regarding duplex RNAs and DNAs by measuring long-range distances (1.5-7 nm) utilizing distance-dependent magnetic dipole-dipole interaction between two nitroxide spin labels. In this thesis the application field of PELDOR spectroscopy has been expanded. For the first time the global architecture of tertiary folded RNA has been mapped in vitro. Moreover, the first application of PELDOR for determining structural aspects of RNA and DNA molecules inside cells has been presented. RNA has the central role in cellular processes and gene regulation. It can adopt complex three dimensional structures, which in combination with its conformational dynamics is essential for its function as biological catalyst, structural scaffold and regulator of gene expression. Riboswitches are cis-acting RNA segments that modulate gene expression by direct binding of small molecules with high affinity and specificity. Neomycin-responsive riboswitch is an engineered riboswitch developed by combination of in vitro selection and in vivo screening. Upon insertion into the 5‟ untranslated region of mRNA and binding the cognate ligand it is able to inhibit translational initiation in yeast. Using enzymatic probing the secondary structure had been postulated comprising global stem-loop architecture with a terminal and an internal loop. In the first part of this thesis, the global conformational arrangement of this 27 nucleotides long RNA element has been studied by means of site-directed spin labeling and PELDOR spectroscopy. Spin-labeled neomycin-responsive riboswitch mutants were synthesized via a Sonogashira cross-coupling reaction between 5-membered pyrroline ring based nitroxide radical (TPA) and 5-iodo-uridine. The labeling positions were chosen outside of the binding pocket and UV melting curves revealed that spin-labeling neither disturbs the secondary structure nor interferes with ligand binding. Efficient ligand binding was proven by thermal stabilization of 20.3±3.3 oC upon addition of neomycin, as well as by cw EPR spectra. PELDOR time traces with long observation time windows and with good signal to noise ratio and modulation depth were recorded for all double-labeled samples allowing a reliable data analysis. The fact that there were no shifts in the measured distances upon addition of neomycin implied the existence of a prearranged tertiary structure of the neomycin-sensing riboswitch without a significant global conformational change induced by ligand binding. Measured distances were in very good agreement with the NMR structure of the ligand-bound state of the riboswitch indicating the intrinsic propensity of the global RNA architecture toward its energetically favored ligand-bound form at low temperature. The results harvested in this work represent the first application of PELDOR for mapping the global structure of a tertiary folded RNA. In the second part of this thesis the possibility of applying PELDOR on nucleic acids (NAs) in cellular environment has been investigated. It was shown before that global NA structure depends on matrix conditions, such as concentration of ions and small molecules, molecular crowding, viscosity and interactions with proteins. Therefore, PELDOR spectroscopy on a double-labeled 12-base pair DNA duplex, the 14-mer cUUCGg tetraloop hairpin RNA and the 27-mer neomycin-sensing riboswitch has been used to obtain long-range distance constraints on such systems in Xenopus laevis oocytes and to compare them with in vitro measurements. The reduced lifetime of nitroxide spin labels under cellular conditions has been a major challenge in these measurements. Investigation of nitroxide reduction kinetics in-cell has revealed that the 5-membered pyrrolidine and pyrroline rings are significantly slower reduced compared to 6-membered piperidine ring based nitroxides. Due to prolonged lifetime of the TPA nitroxides covalently attached to NA molecules PELDOR signals could be measured with good signal-to-noise ratios up to 70 minutes of incubation time. The partial loss of coupled spin labels due to nitroxide reduction only led to a decrease in the modulation depth upon increasing the incubation time. No alterations in the measured distances between in vitro and in-cell experiments implies the existence of stable overall conformations of the 14-mer cUUCGg tetraloop hairpin RNA and the 27-mer neomycin-sensing riboswitch, whereas the 12-bp duplex DNA experiences stacking in-cell but retaining the secondary structure. Thus, for the first time nanometer distance measurements were performed inside cells, clearly laying a foundation for the application of PELDOR spectroscopy to study biological processes in cells, such as diffusion, interaction with proteins and other factors or chemical reactions.