Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Bedeutung endogener Faktoren für Steady-State-Level und Reparatur oxidativer DNA-Modifikationen in Säugerzellen

Die endogene Bildung reaktiver Sauerstoffspezies (ROS) - wie beispielsweise Hydroxyl-Radikale, Superoxid-Radikalanionen, Wasserstoffperoxid und Singulett-Sauerstoff - bei essentiellen Stoffwechselreaktionen in allen aeroben Lebewesen stellt eine potentielle Gefahr für die Integrität der DNA in jeder Zelle dar. ROS generieren in der DNA unter anderem oxidative DNA-Modifikationen (zum größten Teil wahrscheinlich 8-Hydroxyguanin (8-oxoG)), welche wiederum zu einem Teil zu Mutationen führen.In dieser Arbeit wurden Untersuchungen vorgenommen, in welchem Ausmaß zum einen die Steady-State-Level oxidativer DNA-Schäden in Säugerzellen zum anderen die Reparaturgeschwindig-keiten solcher DNA-Modifikationen durch verschiedene endogene Faktoren beeinflußt werden.Im Mittelpunkt der Arbeit stand dabei die Charakterisierung der 8-Hydroxyguaninglykosylase der Säugerzellen. Sie ist das Produkt des OGG1-Gens, das erst 1997 kloniert wurde. In transfizierten Zellinien konnte durch eine konstitutive Überexpression des menschlichen OGG1-Gens demonstriert werden, daß die Reparatur von induzierten oxidativen Basenmodifikationen bis zu dreifach beschleunigt wird und daß eine Korrelation zwischen dem Grad der Überexpression und der Reparaturrate besteht. Dagegen waren die Steady-State-Level der oxidativen DNA-Schäden durch die Überexpression unbeeinflußt. Sowohl bei den spontanen Mutationsraten als auch bei den durch oxidative Schädigungen induzierten Mutationsfrequenzen konnte keine Erniedrigung bedingt durch die hOGG1-Überexpression beobachtet werden.Weitere Untersuchungen zur Bedeutung von Ogg1-Protein konnten in Mäusezellen durchgeführt werden, in denen das OGG1-homologe Mäusegen, mOGG1, homozygot inaktiviert (mOGG1(-/-)) worden war. Hierbei konnte gezeigt werden, daß in den mOGG1-defizienten Zellen im Vergleich zu den entsprechenden Wildtyp-Zellen (mOGG1(+/+)) eine Reparatur induzierter oxidativer Basenmodifikationen erst nach 8 h einsetzt, während in den Kontrollzellen schon nach 3-4 h 50 % der Modifikationen repariert waren. Die Steady-State-Level oxidativer Modifikationen in mOGG1(-/-)-Zellen waren in immortalisierten, schnell proliferierenden Mäusefibroblasten nur um den Faktor 1.4, in primären Mäusehepatocyten jedoch um den Faktor 2.5 gegenüber den Wildtyp-Zellen erhöht.Inwieweit das menschliche Reparaturprotein Xrcc1 (X-ray repair cross complementing group 1) auch an der Prozessierung oxidativer DNA-Modifikationen beteiligt ist, und ob dabei möglicherweise eine Interaktion mit Ogg1 vorliegt, wurde in der XRCC1-defizienten CHO-Zellinie EM9 untersucht. Dabei wurde ermittelt, daß weder die Steady-State-Level noch die Reparaturkinetiken der oxidativen Basenmodifikationen durch die XRCC1-Defizienz beeinflußt werden. Aufgrund weiterer Ergebnisse kann jedoch nicht ausgeschlossen werden, daß das Xrcc1-Protein zumindest am Ligationsschritt während der Reparatur oxidativer DNA-Schäden beteiligt ist.In einem weiteren Schwerpunkt der Arbeit wurde untersucht, ob Unterschiede im Steady-State-Level in Abhängigkeit von Organ-, Gewebe- und Zelltyp auftreten. Dazu wurden Untersuchungen in Bronchialkarzinom-Zellinien verschiedener Subtypen durchgeführt. Des weiteren wurde zur Frage der Zelltyp-Abhängigkeit in der menschlichen Zellinie HL60 der Einfluß des Zelldifferenzierungsstadiums auf die Steady-State-Level untersucht.

Analytical challenges in the fields of Nanobioscience and Nanobiotecnology: integrated methods for separation and characterization

Nano(bio)science and nano(bio)technology play a growing and tremendous interest both on academic and industrial aspects. They are undergoing rapid developments on many fronts such as genomics, proteomics, system biology, and medical applications. However, the lack of characterization tools for nano(bio)systems is currently considered as a major limiting factor to the final establishment of nano(bio)technologies. Flow Field-Flow Fractionation (FlFFF) is a separation technique that is definitely emerging in the bioanalytical field, and the number of applications on nano(bio)analytes such as high molar-mass proteins and protein complexes, sub-cellular units, viruses, and functionalized nanoparticles is constantly increasing. This can be ascribed to the intrinsic advantages of FlFFF for the separation of nano(bio)analytes. FlFFF is ideally suited to separate particles over a broad size range (1 nm-1 μm) according to their hydrodynamic radius (rh). The fractionation is carried out in an empty channel by a flow stream of a mobile phase of any composition. For these reasons, fractionation is developed without surface interaction of the analyte with packing or gel media, and there is no stationary phase able to induce mechanical or shear stress on nanosized analytes, which are for these reasons kept in their native state. Characterization of nano(bio)analytes is made possible after fractionation by interfacing the FlFFF system with detection techniques for morphological, optical or mass characterization. For instance, FlFFF coupling with multi-angle light scattering (MALS) detection allows for absolute molecular weight and size determination, and mass spectrometry has made FlFFF enter the field of proteomics. Potentialities of FlFFF couplings with multi-detection systems are discussed in the first section of this dissertation. The second and the third sections are dedicated to new methods that have been developed for the analysis and characterization of different samples of interest in the fields of diagnostics, pharmaceutics, and nanomedicine. The second section focuses on biological samples such as protein complexes and protein aggregates. In particular it focuses on FlFFF methods developed to give new insights into: a) chemical composition and morphological features of blood serum lipoprotein classes, b) time-dependent aggregation pattern of the amyloid protein Aβ1-42, and c) aggregation state of antibody therapeutics in their formulation buffers. The third section is dedicated to the analysis and characterization of structured nanoparticles designed for nanomedicine applications. The discussed results indicate that FlFFF with on-line MALS and fluorescence detection (FD) may become the unparallel methodology for the analysis and characterization of new, structured, fluorescent nanomaterials.

Thermal relaxation for particle systems in interaction with several bosonic heat reservoirs

The present thesis is concerned with the study of a quantum physical system composed of a small particle system (such as a spin chain) and several quantized massless boson fields (as photon gasses or phonon fields) at positive temperature. The setup serves as a simplified model for matter in interaction with thermal "radiation" from different sources. Hereby, questions concerning the dynamical and thermodynamic properties of particle-boson configurations far from thermal equilibrium are in the center of interest. We study a specific situation where the particle system is brought in contact with the boson systems (occasionally referred to as heat reservoirs) where the reservoirs are prepared close to thermal equilibrium states, each at a different temperature. We analyze the interacting time evolution of such an initial configuration and we show thermal relaxation of the system into a stationary state, i.e., we prove the existence of a time invariant state which is the unique limit state of the considered initial configurations evolving in time. As long as the reservoirs have been prepared at different temperatures, this stationary state features thermodynamic characteristics as stationary energy fluxes and a positive entropy production rate which distinguishes it from being a thermal equilibrium at any temperature. Therefore, we refer to it as non-equilibrium stationary state or simply NESS. The physical setup is phrased mathematically in the language of C*-algebras. The thesis gives an extended review of the application of operator algebraic theories to quantum statistical mechanics and introduces in detail the mathematical objects to describe matter in interaction with radiation. The C*-theory is adapted to the concrete setup. The algebraic description of the system is lifted into a Hilbert space framework. The appropriate Hilbert space representation is given by a bosonic Fock space over a suitable L2-space. The first part of the present work is concluded by the derivation of a spectral theory which connects the dynamical and thermodynamic features with spectral properties of a suitable generator, say K, of the time evolution in this Hilbert space setting. That way, the question about thermal relaxation becomes a spectral problem. The operator K is of Pauli-Fierz type. The spectral analysis of the generator K follows. This task is the core part of the work and it employs various kinds of functional analytic techniques. The operator K results from a perturbation of an operator L0 which describes the non-interacting particle-boson system. All spectral considerations are done in a perturbative regime, i.e., we assume that the strength of the coupling is sufficiently small. The extraction of dynamical features of the system from properties of K requires, in particular, the knowledge about the spectrum of K in the nearest vicinity of eigenvalues of the unperturbed operator L0. Since convergent Neumann series expansions only qualify to study the perturbed spectrum in the neighborhood of the unperturbed one on a scale of order of the coupling strength we need to apply a more refined tool, the Feshbach map. This technique allows the analysis of the spectrum on a smaller scale by transferring the analysis to a spectral subspace. The need of spectral information on arbitrary scales requires an iteration of the Feshbach map. This procedure leads to an operator-theoretic renormalization group. The reader is introduced to the Feshbach technique and the renormalization procedure based on it is discussed in full detail. Further, it is explained how the spectral information is extracted from the renormalization group flow. The present dissertation is an extension of two kinds of a recent research contribution by Jakšić and Pillet to a similar physical setup. Firstly, we consider the more delicate situation of bosonic heat reservoirs instead of fermionic ones, and secondly, the system can be studied uniformly for small reservoir temperatures. The adaption of the Feshbach map-based renormalization procedure by Bach, Chen, Fröhlich, and Sigal to concrete spectral problems in quantum statistical mechanics is a further novelty of this work.

Ground state properties of neutron-rich Mg isotopes

Studies in regions of the nuclear chart in which the model predictions of properties of nuclei fail can bring a better understanding of the strong interaction in the nuclear medium. To such regions belongs the so called "island of inversion" centered around Ne, Na and Mg isotopes with 20 neutrons in which unexpected ground-state spins, large deformations and dense low-energy spectra appear. This is a strong argument that the magic N = 20 is not a closed shell in this area. In this thesis investigations of isotope shifts of stable 24,25,26Mg, as well as spins and magnetic moments of short-lived 29,31Mg are presented. The successful studies were performed at the ISOLDE facility at CERN using collinear laser and beta-NMR spectroscopy techniques. The isotopes were investigated as single-charged ions in the 280-nm transition from the atomic ground state 2S1/2 to one of the two lowest excited states 2P1/2,3/2 using continuous wave laser beams. The isotope-shift measurements with fluorescence detection for the three stable isotopes show that it is feasible to perform the same studies on radioactive Mg isotopes up to the "island of inversion". This will allow to determine differences in the mean charge square radii and interpret them in terms of deformation. The high detection efficiency for beta particles and optical pumping close to saturation allowed to obtain very good beta-asymmetry signals for 29Mg and 31Mg with half-lives around 1 s and production yields about 10^5 ions/s. For this purpose the ions were implanted into a host crystal lattice. Such detection of the atomic resonances revealed their hyperfine structure, which gives the sign and a first estimate of the value of the magnetic moment. The nuclear magnetic resonance gave also their g-factors with the relative uncertainty smaller than 0.2 %. By combining the two techniques also the nuclear spin of both isotopes could be unambiguously determined. The measured spins and g-factors show that 29Mg with 17 neutrons lies outside the "island of inversion". On the other hand, 31Mg with 19 neutrons has an unexpected ground-state spin which can be explained only by promoting at least two neutrons across the N = 20 shell gap. This places the above nucleus inside the "island". However, modern shell-model approaches cannot predict this level as the ground state but only as one of the low-lying states, even though they reproduce very well the experimental g-factor. This indicates that modifications to the available interactions are required. Future measurements include isotope shift measurements on radioactive Mg isotopes and beta-NMR studies on 33Mg.

Constructing correlated spin states with neutral atoms in optical lattices

This thesis reports on the experimental investigation of controlled spin dependent interactions in a sample of ultracold Rubidium atoms trapped in a periodic optical potential. In such a situation, the most basic interaction between only two atoms at one common potential well, forming a micro laboratory for this atom pair, can be investigated. Spin dependent interactions between the atoms can lead to an intriguing time evolution of the system. In this work, we present two examples of such spin interaction induced dynamics. First, we have been able to observe and control a coherent spin changing interaction. Second, we have achieved to examine and manipulate an interaction induced time evolution of the relative phase of a spin 1/2-system, both in the case of particle pairs and in the more general case of N interacting particles. The first part of this thesis elucidates the spin-changing interaction mechanism underlying many fascinating effects resulting from interacting spins at ultracold temperatures. This process changes the spin states of two colliding particles, while preserving total magnetization. If initial and final states have almost equal energy, this process is resonant and leads to large amplitude oscillations between different spin states. The measured coupling parameters of such a process allow to precisely infer atomic scattering length differences, that e.g. determine the nature of the magnetic ground state of the hyperfine states in Rubidium. Moreover, a method to tune the spin oscillations at will based on the AC-Zeeman effect has been implemented. This allowed us to use resonant spin changing collisions as a quantitative and non-destructive particle pair probe in the optical lattice. This led to a series of experiments shedding light on the Bosonic superfluid to Mott insulator transition. In a second series of experiments we have been able to coherently manipulate the interaction induced time evolution of the relative phase in an ensemble of spin 1/2-systems. For two particles, interactions can lead to an entanglement oscillation of the particle pair. For the general case of N interacting particles, the ideal time evolution leads to the creation of spin squeezed states and even Schrödinger cat states. In the experiment we have been able to control the underlying interactions by a Feshbach resonance. For particle pairs we could directly observe the entanglement oscillations. For the many particle case we have been able to observe and reverse the interaction induced dispersion of the relative phase. The presented results demonstrate how correlated spin states can be engineered through control of atomic interactions. Moreover, the results point towards the possibility to simulate quantum magnetism phenomena with ultracold atoms in optical traps, and to realize and analyze many novel quantum spin states which have not been experimentally realized so far.

Design And Implementation Of An End-To-End Simulator For The BepiColombo Rotation Experiment

Among the scientific objectives addressed by the Radio Science Experiment hosted on board the ESA mission BepiColombo is the retrieval of the rotational state of planet Mercury. In fact, the estimation of the obliquity and the librations amplitude were proven to be fundamental for constraining the interior composition of Mercury. This is accomplished by the Mercury Orbiter Radio science Experiment (MORE) via a strict interaction among different payloads thus making the experiment particularly challenging. The underlying idea consists in capturing images of the same landmark on the surface of the planet in different epochs in order to observe a displacement of the identified features with respect to a nominal rotation which allows to estimate the rotational parameters. Observations must be planned accurately in order to obtain image pairs carrying the highest information content for the following estimation process. This is not a trivial task especially in light of the several dynamical constraints involved. Another delicate issue is represented by the pattern matching process between image pairs for which the lowest correlation errors are desired. The research activity was conducted in the frame of the MORE rotation experiment and addressed the design and implementation of an end-to-end simulator of the experiment with the final objective of establishing an optimal science planning of the observations. In the thesis, the implementation of the singular modules forming the simulator is illustrated along with the simulations performed. The results obtained from the preliminary release of the optimization algorithm are finally presented although the software implemented is only at a preliminary release and will be improved and refined in the future also taking into account the developments of the mission.

NMR studies on supramolecular aggregates in solution and the solid state

The aim of this work presented here is the characterization of structure and dynamics of different types of supramolecular systems by advanced NMR spectroscopy. One of the characteristic features of NMR spectroscopy is based on its high selectivity. Thus, it is desirable to exploit this technique for studying structure and dynamics of large supramolecular systems without isotopic enrichment. The observed resonance frequencies are not only isotope specific but also influenced by local fields, in particular by the distribution of electron density around the investigated nucleus. Barbituric acid are well known for forming strongly hydrogen-bonded complexes with variety of adenine derivatives. The prototropic tautomerism of this material facilitates an adjustment to complementary bases containing a DDA(A = hydrogen bond acceptor site, D = hydrogen bond donor site) or ADA sequences, thereby yielding strongly hydrogen-bonded complexes. In this contribution solid-state structures of the enolizable chromophor "1-n-butyl-5-(4-nitrophenyl)-barbituric acid" that features adjustable hydrogen-bonding properties and the molecular assemblies with three different strength of bases (Proton sponge, adenine mimetic 2,6-diaminopyridine (DAP) and 2,6-diacetamidopyridine (DAC)) are studied. Diffusion NMR spectroscopy gives information over such interactions and has become the method of choice for measuring the diffusion coefficient, thereby reflecting the effective size and shape of a molecular species. In this work the investigation of supramolecular aggregates in solution state by means of DOSY NMR techniques are performed. The underlying principles of DOSY NMR experiment are discussed briefly and more importantly two applications demonstrating the potential of this method are focused on. Calix[n]arenes have gained a rather prominent position, both as host materials and as platforms to design specific receptors. In this respect, several different capsular contents of tetra urea calix[4]arenes (benzene, benzene-d6, 1-fluorobenzene, 1-fluorobenzene-d5, 1,4-difluorobenzene, and cobaltocenium) are studied by solid state NMR spectroscopy. In the solid state, the study of the interaction between tetra urea calix[4]arenes and guest is simplified by the fact that the guests molecule remains complexed and positioned within the cavity, thus allowing a more direct investigation of the host-guest interactions.

Applicability of Process Mining Techniques in Business Environments

This thesis analyses problems related to the applicability, in business environments, of Process Mining tools and techniques. The first contribution is a presentation of the state of the art of Process Mining and a characterization of companies, in terms of their "process awareness". The work continues identifying circumstance where problems can emerge: data preparation; actual mining; and results interpretation. Other problems are the configuration of parameters by not-expert users and computational complexity. We concentrate on two possible scenarios: "batch" and "on-line" Process Mining. Concerning the batch Process Mining, we first investigated the data preparation problem and we proposed a solution for the identification of the "case-ids" whenever this field is not explicitly indicated. After that, we concentrated on problems at mining time and we propose the generalization of a well-known control-flow discovery algorithm in order to exploit non instantaneous events. The usage of interval-based recording leads to an important improvement of performance. Later on, we report our work on the parameters configuration for not-expert users. We present two approaches to select the "best" parameters configuration: one is completely autonomous; the other requires human interaction to navigate a hierarchy of candidate models. Concerning the data interpretation and results evaluation, we propose two metrics: a model-to-model and a model-to-log. Finally, we present an automatic approach for the extension of a control-flow model with social information, in order to simplify the analysis of these perspectives. The second part of this thesis deals with control-flow discovery algorithms in on-line settings. We propose a formal definition of the problem, and two baseline approaches. The actual mining algorithms proposed are two: the first is the adaptation, to the control-flow discovery problem, of a frequency counting algorithm; the second constitutes a framework of models which can be used for different kinds of streams (stationary versus evolving).

Oligomerisation, localisation and interaction of the sensor histidine kinases DcuS and CitA in Escherichia coli

The two-component system DcuSR of Escherichia coli regulates gene expression of anaerobic fumarate respiration and aerobic C4-dicarboxylate uptake. C4-dicarboxylates and citrate are perceived by the periplasmic domain of the membrane-integral sensor histidine kinase DcuS. The signal is transduced across the membrane by phosphorylation of DcuS and of the response regulator DcuR, resulting in activation of DcuR and transcription of the target genes.rnIn this work, the oligomerisation of full-length DcuS was studied in vivo and in vitro. DcuS was genetically fused to derivatives of the green fluorescent protein (GFP), enabling fluorescence resonance energy transfer (FRET) measurements to detect protein-protein interactions in vivo. FRET measurements were also performed with purified His6-DcuS after labelling with fluorescent dyes and reconstitution into liposomes to study oligomerisation of DcuS in vitro. In vitro and in vivo fluorescence resonance energy transfer showed the presence of oligomeric DcuS in the membrane, which was independent of the presence of effector. Chemical crosslinking experiments allowed clear-cut evaluation of the oligomeric state of DcuS. The results showed that detergent-solubilised His6-DcuS was mainly monomeric and demonstrated the presence of tetrameric DcuS in proteoliposomes and in bacterial membranes.rnThe sensor histidine kinase CitA is part of the two-component system CitAB of E. coli, which is structurally related to DcuSR. CitAB regulates gene expression of citrate fermentation in response to external citrate. The sensor kinases DcuS and CitA were fused with an enhanced variant of the yellow fluorescent protein (YFP) and expressed in E. coli under the control of an arabinose-inducible promoter. The subcellular localisation of DcuS-YFP and CitA-YFP within the cell membrane was studied by means of confocal laser fluorescence microscopy. Both fusion proteins were found to accumulate at the cell poles. The polar accumulation was slightly increased in the presence of the stimulus fumarate or citrate, respectively, but independent of the expression level of the fusion proteins. Cell fractionation demonstrated that polar accumulation was not related to inclusion bodies formation. The degree of polar localisation of DcuS-YFP was similar to that of the well-characterised methyl-accepting chemotaxis proteins (MCPs), but independent of their presence. To enable further investigations on the function of the polar localisation of DcuS under physiological conditions, the sensor kinase was genetically fused to the flavin-based fluorescent protein Bs2 which shows fluorescence under aerobic and anaerobic conditions. The resulting dcuS-bs2 gene fusion was inserted into the chromosome of various E. coli strains.rnFurthermore, a protein-protein interaction between the related sensor histidine kinases DcuS and CitA, regulating common metabolic pathways, was detected via expression studies under anaerobic conditions in the presence of citrate and by in vivo FRET measurements.

Regulation of wake-sleep states and state-dependent cardiovascular function in diet-induced obesity rats

Obesity often predisposes to coronary heart disease, heart failure, and sudden death. Also, several studies suggest a reciprocal enhancing interaction between obesity and sleep curtailment. Aim of the present study was to go deeper in the understanding of sleep and cardiovascular regulation in an animal model of diet-induced obesity (DIO). According to this, Wake-Sleep (W-S) regulation, and W-S dependent regulation of cardiovascular and metabolic/thermoregulatory function was studied in DIO rats, under normal laboratory conditions and during sleep deprivation and the following recovery period, enhancing either wake or sleep, respectively. After 8 weeks of the delivery of a hypercaloric (HC) diet, treated animals were heavier than those fed a normocaloric (NC) diet (NC: 441 ±17g; HC: 557±17g). HC rats slept more than NC ones during the activity period (Dark) of the normal 12h:12h light-dark (LD) cycle (Wake: 67.3±1.2% and 57.2 ±1.6%; NREM sleep (NREMS): 26.8±1.0% and 34.0±1.4%; REM sleep (REMS): 5.7±0. 6% and 8.6±0.7%; for NC and HC, respectively; p<0.05 for all). HC rats were hypertensive throughout the W-S states, as shown by the mean arterial blood pressure values across the 24-h period (Wake: 90.0±5.3 and 97.3±1.3; NREMS: 85.1±5.5 and 92.2±1.2; REMS: 87.2±4.5 and 96.5±1.1, mmHg for NC and HC, respectively; p<0.05 for all). Also, HC rats appeared to be slightly bradycardic compared to NC ones (Wake: 359.8±9.3 and 352.4±7.7; NREMS: 332.5±10.1 and 328.9±5.4; REMS: 338.5±9.3 and 334.4±5.8; bpm for NC and HC, respectively; p<0.05 for Wake). In HC animals, sleep regulation was not apparently altered during the sleep rebound observed in the recovery period following sleep deprivation, although REMS rebound appeared to be quicker in NC animals. In conclusion, these results indicate that in the rat obesity interfere with W-S and cardiovascular regulation and that DIO rats are suitable for further studies aimed at a better understanding of obesity comorbidities.

Interplay of pi–pi stacking and hydrogen bonding in conjugated supramolecular systems studied by solid-state NMR

In this work supramolecular organic systems based on rigid pi-conjugated building blocks and flexible side chains were studied via solid-state NMR spectroscopy. Specifically, these studies focussed on phenylene ethynylene based macrocycles, polymer systems including polythiophenes, and rod-coil copolymers of oligo(p-benzamide) and poly(ethylene glycol). All systems were studied in terms of the local order and mobility. The central topic of this dissertation was to elucidate the role of the flexible side chains in interplay of different non-covalent interactions, like pi-pi-stacking and hydrogen bonding.Combining the results of this work, it can be concluded that the ratio of the rigid block and the attached alkyl side chains can be crucial for the design of an ordered pi-conjugated supramolecular system. Through alkyl side chains, it is also possible to introduce liquid-crystalline phases in the system, which can foster the local order of the system. Moreover in the studied system longer, unbranched alkyl side chains are better suited to stabilize the corresponding aggregation than shorter, branched ones.The combination of non-covalent interactions such as pi-pi-stacking and hydrogen bonding play an important role for structure formation. However, the effect of pi-pi-stacking interaction is much weaker than the effect of hydrogen bonding and is only observed in systems with a suitable local order. Hence, they are often not strong enough to control the local order. In contrast, hydrogen bonds predominantly influence the structural organization and packing. In comparison the size of the alkyl side chains is only of minor importance. The suppression of certain hydrogen bonds can lead to completely different structures and can induce a specific aggregation behavior. Thus, for the design of a supramolecular ordered system the presence of hydrogen bonding efficiently stabilizes the corresponding structure, but the ratio of hydrogen bond forming groups should be kept low to be able to influence the structure selectively.

Effect of mixing, particle interaction, and spatial dimension on the glass transition

In this thesis, the influence of composition changes on the glass transition behavior of binary liquids in two and three spatial dimensions (2D/3D) is studied in the framework of mode-coupling theory (MCT).The well-established MCT equations are generalized to isotropic and homogeneous multicomponent liquids in arbitrary spatial dimensions. Furthermore, a new method is introduced which allows a fast and precise determination of special properties of glass transition lines. The new equations are then applied to the following model systems: binary mixtures of hard disks/spheres in 2D/3D, binary mixtures of dipolar point particles in 2D, and binary mixtures of dipolar hard disks in 2D. Some general features of the glass transition lines are also discussed. The direct comparison of the binary hard disk/sphere models in 2D/3D shows similar qualitative behavior. Particularly, for binary mixtures of hard disks in 2D the same four so-called mixing effects are identified as have been found before by Götze and Voigtmann for binary hard spheres in 3D [Phys. Rev. E 67, 021502 (2003)]. For instance, depending on the size disparity, adding a second component to a one-component liquid may lead to a stabilization of either the liquid or the glassy state. The MCT results for the 2D system are on a qualitative level in agreement with available computer simulation data. Furthermore, the glass transition diagram found for binary hard disks in 2D strongly resembles the corresponding random close packing diagram. Concerning dipolar systems, it is demonstrated that the experimental system of König et al. [Eur. Phys. J. E 18, 287 (2005)] is well described by binary point dipoles in 2D through a comparison between the experimental partial structure factors and those from computer simulations. For such mixtures of point particles it is demonstrated that MCT predicts always a plasticization effect, i.e. a stabilization of the liquid state due to mixing, in contrast to binary hard disks in 2D or binary hard spheres in 3D. It is demonstrated that the predicted plasticization effect is in qualitative agreement with experimental results. Finally, a glass transition diagram for binary mixtures of dipolar hard disks in 2D is calculated. These results demonstrate that at higher packing fractions there is a competition between the mixing effects occurring for binary hard disks in 2D and those for binary point dipoles in 2D.

Interacting Bose-Fermi mixtures in optical lattices

In this thesis, we investigate mixtures of quantum degenerate Bose and Fermi gases of neutral atoms in threedimensional optical lattices. Feshbach resonances allow to control interspecies interactions in these systems precisely, by preparing suitable combinations of internal atomic states and applying external magnetic fields. This way, the system behaviour can be tuned continuously from mutual transparency to strongly interacting correlated phases, up to the stability boundary.rnThe starting point for these investigations is the spin-polarized fermionic band insulator. The properties of this non-interacting system are fully determined by the Pauli exclusion principle for the occupation of states in the lattice. A striking demonstration of the latter can be found in the antibunching of the density-density correlation of atoms released from the lattice. If bosonic atoms are added to this system, isolated heteronuclear molecules can be formed on the lattice sites via radio-frequency stimulation. The efficiency of this process hints at a modification of the atom number distribution over the lattice caused by interspecies interaction.rnIn the following, we investigate systems with tunable interspecies interaction. To this end, a method is developed which allows to assess the various contributions to the system Hamiltonian both qualitatively and quantitatively by following the quantum phase diffusion of the bosonic matter wave.rnBesides a modification of occupation number statistics, these measurements show a significant renormalization of the bosonic Hubbard parameters. The final part of the thesis considers the implications of this renormalization effect on the many particle physics in the mixture. Here, we demonstrate how the quantum phase transition from a bosonic superfluid to a Mott insulator state is shifted towards considerably shallower lattices due to renormalization.

Speziation von Neptunium bei der Migration in Tongestein

Die vorliegende Arbeit wurde im Rahmen eines Stipendiums des interdisziplinärenrnGraduiertenkollegs 826 „Spurenanalytik von Elementspezies: Methodenentwicklung und Anwendungen“, gefördert durch die Deutsche Forschungsgemeinschaft (DFG) und das Land Rheinland-Pfalz, angefertigt. Dabei sollten neue Erkenntnisse über die Wechselwirkung zwischen Neptunium und natürlichem Tongestein mit Hinblick auf die Endlagerung wärmeentwickelnder radioaktiver Abfälle in einem geologischen Tiefenlager gewonnen werden. Auf Grund seiner langen Halbwertszeit von mehr als zwei Millionen Jahren wird Np-237 einen signifikanten Anteil an der Radiotoxizität dieser Abfälle nach Lagerzeiten von mehr als 1000 Jahren haben. Np tritt in Lösung unter umweltrelevanten Bedingungen in den Oxidationsstufen +IV und +V auf. Auf Grund der guten Löslichkeit und daher höheren Mobilität ist Np(V) als die gefährlichere Spezies einzustufen. In den Migrationsstudien wurdernOpalinuston (OPA) aus Mont Terri, Schweiz, als natürliches Referenzmaterial verwendet. Der Fokus dieser Arbeit lag dabei auf der Speziation von Np an der Mineraloberfläche mittels synchrotronbasierter Röntgenabsorptionsspektroskopie (EXAFS/XANES).rnDie Wechselwirkung zwischen Np(V) und OPA wurde zunächst in Batch- und Diffusionsexperimenten in Abhängigkeit verschiedener experimenteller Parameter (u.a. pH, Temperatur, Hintergrundelektrolyt, Einfluss von Huminsäure, Konkurrenz mit U(VI), aerobe/anaerobe Bedingungen) untersucht. Die Untersuchung der Np-Speziation erfolgt zum einen an Pulverproben aus Batch-Experimenten unter aeroben und anaeroben Bedingungen, welche mittels EXAFS-Spektroskopie untersucht wurden. Zum anderen wurden ortsaufgelöste μ-XANES-Messungen an Np-Anreicherungen auf OPA-Dünnschliffen und in Diffusionsproben durchgeführt. Durch Kombination der Spektroskopie mit μ-Rötngenfluoreszenzmapping (XRF) und μ-Röntgenbeugung (XRD) konnten zudem Erkenntnisse über die Elementverteilung von Np und anderen im Opalinuston enthaltenen Elementen sowie über kristalline Mineralphasen im Umfeld von Bereichen erhöhter Np-Konzentration erhalten werden.rnSowohl Sorptionsexperimente als auch die spektroskopischen Untersuchungen zeigten eine teilweise Reduktion von Np(V) zu Np(IV) bei der Wechselwirkung mit OPA. Dabei konnte Pyrit als eine der redoxaktiven Phasen identifiziert werden. In diesem Zusammenhang ist die Bildung schwerlöslicher Np(IV)-Spezies mit Hinblick auf die Endlagerung positiv zu bewerten.