Refine
Year of publication
Document Type
- Doctoral Thesis (2065) (remove)
Language
- English (2065) (remove)
Has Fulltext
- yes (2065)
Is part of the Bibliography
- no (2065)
Keywords
- ALICE (9)
- Quark-Gluon-Plasma (8)
- Membranproteine (7)
- Geldpolitik (6)
- Proteine (6)
- Apoptosis (5)
- Biochemie (5)
- CERN (5)
- Heavy Ion Collisions (5)
- Immunologie (5)
Institute
- Biowissenschaften (425)
- Physik (380)
- Biochemie und Chemie (282)
- Biochemie, Chemie und Pharmazie (211)
- Medizin (127)
- Pharmazie (92)
- Geowissenschaften (87)
- Informatik und Mathematik (85)
- Informatik (55)
- Mathematik (46)
In order to investigate the role of neuronal synchronization in perceptual grouping, a new method was developed to record selectively from multiple cortical sites of known functional specificity as determined by optical imaging of intrinsic signals. To this end, a matrix of closely spaced guide tubes was developed in cooperation with a company providing the essential manufacturing technique RMPD® (Rapid Micro Product Development). The matrix was embedded into a framework of hard and software that allowed for the mapping of each guide tube onto the cortical site an electrode would be led to if inserted into that guide tube. With these developments, it was possible to determine the functional layout of the cortex by optical imaging and subsequently perform targeted recordings with multiple electrodes in parallel. The method was tested for its accuracy and found to target the electrodes with a precision of 100 µm to the desired cortical locations. Using the developed technique, neuronal activity was recorded from area 18 of anesthetized cats. For stimulation, Gabor-patches in different geometrical configurations were placed over the recorded receptive fields merging into visual objects appropriate for testing the hypothesis of feature binding by synchrony. Synchronization strength was measured by the height of the cross-correlation centre peaks. All pairwise synchronizations were summarized in a correlation index which determined the mean difference of the correlation strengths between conditions in which recording sites should or should not fire in synchrony according to the binding hypothesis. The correlation index deviated significantly from zero for several of these configurations, further supporting the hypothesis that synchronization plays an important role in the process of perceptual grouping. Furthermore, direct evidence was found for the independence of the synchronization strength from the neuronal firing rate and for neurons that change dynamically the ensemble they participate in. In parallel to the experimental approach, mechanisms of oscillatory long range synchronization were studied by network simulations. To this end, a biologically plausible model was implemented using pyramidal and basket cells with Hodgkin-Huxley like conductances. Several columns were built from these cells and intra- and inter-columnar connections were mimicked from physiological data. When activated by independent Poisson spike trains, the columns showed oscillatory activity in the gamma frequency range. Correlation analysis revealed the tendency to locally synchronize the oscillations among the columns, but a rapid phase transition occurred with increasing cortical distance. This finding suggests that the present view of the inter-columnar connectivity does not fully explain oscillatory long range synchronization and predicts that other processes such as top-down influences are necessary for long range synchronization phenomena.
Systematisch verabreichte Chemotherapeutika sind oft uneffektiv bei der Behandlung von Krankheiten des zentralen Nervensystems (ZNS). Eine der Ursachen hierfür ist der unzureichende Arzneistoff-Transport ins Gehirn aufgrund der Blut-Hirn-Schranke. Eine der Strategien für den nicht-invasiven Wirkstoff-Transport ins Gehirn ist die Verwendung von Nanopartikeln. Polybutylcyanoacrylat-Nanopartikel, die mit Polysorbat 80 (Tween® 80) überzogen wurden, können die Blut-Hirn-Schranke passieren und somit Wirkstoffe ins Gehirn transportieren. Wird die Blut-Hirn-Schranke durch einen Hirntumor partiell beschädigt und hierdurch ihre Permeabilität am Ort des Tumors erhöht, können Nanopartikel den Tumor zusätzlich durch den sogenannten EPR-Effekt erreichen. Im ersten Teil der vorliegenden Arbeit wurde die Beladung der Nanopartikel durch Variation der Formulierungparameter mit dem Ziel optimiert, eine Formulierung mit höherer Wirksamkeit für die Therapie von Glioblastom-tragenden Ratten zu entwickeln. Außerdem wurde das Potential von Doxorubicin, das an mit „Stealth Agents“ überzogenen Polybutylcyanoacrylat-Nanopartikel gebunden war, für die Chemotherapie von Hirntumoren untersucht. Im zweiten Teil dieser Studie wurden die Gehirn- und Körperverteilung in gesunden und in Glioblastom-101/8-tragenden Ratten nach i.v.-Gabe von Poly(butyl-2-cyano[3- 14C]acrylat)-Nanopartikeln, die mit Polysorbat 80 beschichtet wurden, und solchen, die noch zusätzlich mit Doxorubicin geladen waren (DOX-14C-PBCA + PS), untersucht. Die Standardformulierung von Doxubicin-Polybutylcyanoacrylat-Nanopartikeln (DOX-NP) wurde durch anionische Polymerisierung von Butylcyanoacrylat in Anwesenheit von DOX hergestellt. Zusätzlich wurden unterschiedliche DOX-NP Formulierungen durch Veränderung der Herstellung produziert. Das therapeutische Potential der Formulierungen wurde in Ratten mit ins Gehirn transplantieren Glioblastom 101/8 untersucht. Neben Polysorbat 80 wurden Poloxamer 188 und Poloxamin 908 als Überzugsmaterial verwendet. Die Resultate ergaben, dass die mit Polysorbat 80 überzogene Standardformulierung am effektivsten war. Die höhere Wirksamkeit von DOX-NP+PS 80 könnte durch die Fähigkeit dieser Träger erklärt werden, den Wirkstoff während eines frühen Stadiums der Tumorentwicklung durch einen Rezeptor-vermittelten Mechanismus, der durch den PS 80-Überzug aktiviert wurde über die intakte Blut-Hirn-Schranke, zu transportieren. Unsere Ergebnisse zeigen auch, dass Poloxamer 188 und Poloxamin 908 den antitumoralen Effekt von DOX-PBCA beträchtlich verbessern. Der anti-tumorale Effekt dieser Formulierungen könnte möglicherweise dem EPR-Effekt zugeschrieben werden. Es ist bekannt, dass die tumorale Arzneistoff-Aufnahme durch den EPR-Effektes für lang-zirkulierende Wirkstoffträger ausgeprägter ist und so mehr Wirkstoff durch die Tumor-geschädigte Blut-Hirn-Schranke gelangt. Unbeschichtete Nanopartikel, Polysorbat 80-beschichtete Nanopartikel oder mit Doxorubicin beladene und mit Polysorbat 80 beschichtete Nanopartikel wurden in gesunden und Tumor-tragenden Ratten injiziert. Diese Nanopartikel-Präparationen zeigten einer unterschiedliche Korpenverteilung in den Ratten. Unbeschichtete Nanopartikel sammelten sich in den RES-Organen an. Mit PS 80 beschichtete NP reduzierten die Aufnahme der NP in Leber und Milz, während sich die Konzentration der NP in der Lunge erhöhte. Diese Beobachtungen deuten darauf hin, dass die Änderung der Oberflächeneigenschaften der NP durch das Tensid, zu einer Interaktion mit unterschiedlichen Opsoninen führt, welches die Aufnahme der NP von verschiedenen phagozitierenden Zellen erleichtert. Hingegen war die Aufnahme der mit DOX beladenen, PS 80-beschichteten Nanopartikel den unbeschichteten Partikel ähnlich. Im Vergleich mit gesunden Ratten und mit Tumor-tragenden Ratten hingegen war die Konzentration der NP im Gehirn von Tumor tragenden Ratten 10 Tage nach der Tumor-implantation signifikant höher. In Anwesenheit des Glioblastoms ist der Transport von NP in das Gehirn das Resultat verschiedener Faktoren: zusätzlich zur Fähigkeit von PS 80-Nanopartikeln, die Blut-Hirn-Schranke zu passieren, extravasieren diese Träger wegen des EPR Effekts über das durch den Tumor undichte Endothelium. Die Konzentration von PS 80 [14C]-PBCA NP war im Glioblastom signifikant höher als mit DOX [14C]-PBCA NP. Dieses Phänomen kann durch die unterschiedliche Mikroumgebung von zerebralem intra-tumoralen und intaktem Gehirngewebe erklärt werde. Insbesondere können sich die positive Ladung der tumoralen Regionen und die positive Ladung der DOX [14C]-PBCA NP negativ beeinflussen. Dennoch waren die Doxorubicin-Konzentration in Glioblastom ausreichend, einen therapeutischen Effekt zu ermöglichen.
Group III presynaptic metabotropic glutamate receptors (mGluRs) play a central role in regulating presynaptic activity through G-protein effects on ion channels and signal transducing enzymes. Like all Class C G-protein coupled receptors, mGluR8 has an extended intracellular C-terminal domain (CTD) presumed to allow for modulation of downstream signaling. To elucidate the function and modulation of mGluR8, yeast two-hybrid screens of an adult rat brain cDNA library were performed with the CTDs of mGluR8a and 8b (mGluR8-C) as baits. Different components of the sumoylation cascade (ube2a, sumo-1, Pias1, Pias gamma and Pias xbeta) and some other proteins were identified as mGluR8 interacting proteins. Binding assays using recombinant GST-fusion proteins confirmed that Pias1 interacts not only with mGluR8-C, but all group III mGluR CTDs. Pias1 binding to mGluR8-C required a region N-terminally to a consensus sumoylation motif and was not affected by arginine substitution of the conserved lysine K882 within this motif. Co-transfection of fluorescently tagged mGluR8a-C, sumo-1 and enzymes of the sumoylation cascade into HEK 293 cells showed that mGluR8a-C can be sumoylated in cells. Arginine substitution of lysine K882 within the consensus sumoylation motif, but not of other conserved lysines within the CTD, abolished in vivo sumoylation. The results are consistent with post-translational sumoylation providing a novel mechanism of group III mGluR regulation.
Chemokines play a key role in the cellular infiltration of inflamed tissue. They are released by a wide variety of cell types during the initial phase of host response to injury, allergens, antigens, or invading microorganisms, and selectively attract leukocytes to inflammatory foci, inducing both migration and activation. Monocyte chemoattractant protein-1 (MCP-1), a member of the CC chemokine superfamily, functions in attracting monocytes, T lymphocytes, and basophils to sites of inflammation. MCP-1 is produced by monocytes, fibroblasts, vascular endothelial cells and smooth muscle cells in response to various stimuli such as tumour necrosis factor-a (TNF-a), interferon-g (IFN-g), and interleukin-1b (IL-1b). It also plays an important role in the pathogenesis of chronic inflammation, and overexpression of MCP-1 has been implicated in diseases including glomerulonephritis and rheumatoid arthritis. Oligonucleotide-directed triple helix formation offers a means to target specific sequences in DNA and interfere with gene expression at the transcriptional level. Triple helix-forming oligonucleotides (TFOs) bind to homopurine/homopyrimidine sequences, forming a stable, sequence-specific complex with the duplex DNA. Purine-rich sequences are frequent in gene regulatory regions and TFOs directed to promoter sequences have been shown to prevent binding of transcription factors and inhibit transcription initiation and elongation. Exogenous TFOs that bind homopurine/ homopyrimidine DNA sequences and form triple-helices can be rationally designed, while the intracellular delivery of single-stranded RNA TFOs has not been studied in detail before. In this study, expression vectors were constructed which directed transcription of either a 19 nt triplex-forming pyrimidine CU-TFO sequence targeting the human MCP-1 or two different 19 nt GU- or CA-control sequences, respectively, together with the vector encoded hygromycin resistance mRNA as one fusion transcript. HEK 293 cells were stable transfected with these vectors and several TFO and control cell lines were generated. Functional relevant triplex formation of a TFO with a corresponding 19 bp GC-rich AP-1/SP-1 site of the human MCP-1 promoter was shown. Binding of synthetic 19 nt CUTFO to the MCP-1 promoter duplex was verified by triplex blotting at pH 6.7. Underlining binding specificity, control sequences, including the GU- and CA-sequence, a TFO containing one single mismatch and a MCP-1 promoter duplex containing two mismatches, did not participate in triplex formation. Establishing a magnetic capture technique with streptavidin microbeads it was verified that at pH 7.0 the 19 nt TFO embedded in a 1.1 kb fusion transcript binds to a plasmid encoded MCP-1 promoter target duplex three times stronger than the controls. Finally, cell culture experiments revealed 76 ± 10.2% inhibition of MCP-1 protein secretion in TNF-a stimulated CU-TFO harboring cell lines and up to 88% after TNF-a and IFN-g costimulation in comparison to controls. Expression of interleukin-8 (IL-8) as one TNF-a inducible control gene was not affected by CU-TFO, demonstrating both highly specific and effective chemokine gene repression. Furthermore, another chemokine target, regulated upon activation normal T cell expressed and secreted (RANTES), which plays an essential role in inflammation by recruiting T lymphocytes, macrophages and eosinophils to inflammatory sites, was analysed using the triplex approach. A 28 nt TFO was designed targeting the murine RANTES gene promoter, and gel mobility shift assays demonstrated that the phosphodiester TFO formed a sequencespecific triplex with the double-stranded target DNA with a Kd of 2.5 x 10-7 M. It was analysed whether RANTES expression could be inhibited at the transcriptional level testing the TFO in two different cell lines, T helper-1 lymphocytes and brain microvascular endothelial cells (bend3 cells). Although there was a sequence-specific binding of the TFO detectable in the gel shift assays, there was no inhibitory effect of the exogenously added and phosphorothioate stabilised TFO on endogenous RANTES gene expression visible. Additionally, the small interfering RNA (siRNA) approach was tested as another strategy to inhibit expression of the pro-inflammatory chemokines MCP-1 and RANTES. Two different methods were pursuit, describing transient transfection with vector derived and synthetic siRNA. The vector pSUPER containing the siRNA coding sequence was used to suppress endogenous MCP-1 in HEK 293 cells. An empty vector without RNA sequence served as a control. Inhibition due to the siRNA was measured in stimulated and unstimulated cells. In TNF-a stimulated cells MCP-1 protein synthesis was decreased by 35 ± 11% after siRNA transfection. Using a synthetic double-stranded siRNA, the TNF-a induced MCP-1 protein secretion could be successfully inhibited about 62.3 ± 10.3% in HEK 293 cells, indicating that the siRNA is functional in these cells to suppress chemokine expression. The siRNA approach targeting murine RANTES in Th1 cells and b-end3 cells revealed no inhibition of endogenous gene expression. Gene therapy approaches rely on efficient transfer of genes to the desired target cells. A wide variety of viral and nonviral vectors have been developed and evaluated for their efficiency of transduction, sustained expression of the transgene, and safety. Among them, lentiviruses have been widely used for gene therapy applications. In order to improve the delivery of TFOs or siRNAs into the target cells, cloning of the lentiviral transfer vector SEW, the production of lentiviral particles by transient transfection were performed with the aim to generate lentiviral vector-derived TFOs in further experiments. Here, Th1 cells were transduced with infectious lentiviral particles and transduction efficacy was measured. Transduction efficacy higher than 82% could be achieved using the lentiviral vector SEW, opening optimal possibilities for the TFO or siRNA approach.
Lesion of the rat entorhinal cortex denervates the outer molecular layer of the fascia dentata followed by layer-specific axonal sprouting of uninjured fibers in the denervated zone. One of the candidate molecules regulating the laminar-specific sprouting response in the outer molecular layer is the transmembrane chondroitin sulfate proteoglycan NG2. NG2 is found in glial scars and has been suggested to impede axonal regeneration following injury of the spinal cord. The present study adressed the question whether NG2 could also regulate axonal growth in denervated areas of the brain. Therefore, (1) changes in NG2 mRNA and NG2 protein levels, (2) the cellular and the extracellular localisation of the molecule, (3) the identity of NG2 expressing cells, and (4) the generation of NG2-positive cells were studied in the rat fascia dentata before and following entorhinal deafferentation. Laser microdissection was employed to selectively harvest the denervated molecular layer and combined with quantitative reverse transcription-PCR to measure changes in NG2 mRNA amount (6h, 12h, 2d, 4d, 7d post lesion). The study revealed increases of NG2 mRNA at day 2 (2.5-fold) and day 4 (2-fold) post lesion. Immunocytochemistry was used to detect changes in NG2 protein distribution (1d, 4d, 7d, 10d, 14d, 30d, 6 months post lesion). NG2 staining was increased in the denervated outer molecular layer at 1 day post lesion, reached a maximum at 10 days post lesion, and returned to control levels within 6 month. Interestingly, the accumulation of NG2 protein was strongly restricted to the denervated outer molecular layer forming a border to the unaffected inner molecular layer. Using electron microscopy, NG2-immunoprecipitate was localized not only on glial surfaces and in the extracellular matrix but also in the vicinity of neuronal profiles indicating that NG2 is secreted following denervation. Double-labelings of NG2-immunopositive cells with markers for astrocytes, microglia/macrophages, and oligodendrocytes suggested that NG2-cells are a distinct glial subpopulation before and after entorhinal deafferentation. Bromodeoxyuridine-labeling revealed that some of the NG2-positive cells are postlesional generated. Taken together, the data revealed a layer-specific upregulation of NG2 in the denervated outer molecular layer of the fascia dentata that coincides with the sprouting response of uninjured fibers. This suggests that NG2 could regulate lesion-induced axonal growth in denervated areas of the brain.
In this dissertation a non-deterministic lambda-calculus with call-by-need evaluation is treated. Call-by-need means that subexpressions are evaluated at most once and only if their value must be known to compute the overall result. Also called "sharing", this technique is inevitable for an efficient implementation. In the lambda-ND calculus of chapter 3 sharing is represented explicitely by a let-construct. Above, the calculus has function application, lambda abstractions, sequential evaluation and pick for non-deterministic choice. Non-deterministic lambda calculi play a major role as a theoretical foundation for concurrent processes or side-effected input/output. In this work, non-determinism additionally makes visible when sharing is broken. Based on the bisimulation method this work develops a notion of equality which respects sharing. Using bisimulation to establish contextual equivalence requires substitutivity within contexts, i.e., the ability to "replace equals by equals" within every program or term. This property is called congruence or precongruence if it applies to a preorder. The open similarity of chapter 4 represents a new concept, insofar that the usual definition of a bisimulation is impossible in the lambda-ND calculus. So in section 3.2 a further calculus lambda-Approx has to be defined. Section 3.3 contains the proof of the so-called Approximation Theorem which states that the evaluation in lambda-ND and lambda-Approx agrees. The foundation for the non-trivial precongruence proof is set out in chapter 2 where the trailblazing method of Howe is extended to be capable with sharing. By the use of this (extended) method, the Precongruence Theorem proves open similarity to be a precongruence, involving the so-called precongruence candidate relation. Joining with the Approximation Theorem we obtain the Main Theorem which says that open similarity of the lambda-Approx calculus is contained within the contextual preorder of the lambda-ND calculus. However, this inclusion is strict, a property whose non-trivial proof involves the notion of syntactic continuity. Finally, chapter 6 discusses possible extensions of the base calculus such as recursive bindings or case and constructors. As a fundamental study the calculus lambda-ND provides neither of these concepts, since it was intentionally designed to keep the proofs as simple as possible. Section 6.1 illustrates that the addition case and constructors could be accomplished without big hurdles. However, recursive bindings cannot be represented simply by a fixed point combinator like Y, thus further investigations are necessary.
Jet physics in ALICE
(2005)
This work aims at the performance of the ALICE detector for the measurement of high-energy jets at mid-pseudo-rapidity in ultra-relativistic nucleus-nucleus collisions at LHC and their potential for the characterization of the partonic matter created in these collisions. In our approach, jets at high energy with E_{T}>50 GeV are reconstructed with a cone jet finder, as typically done for jet measurements in hadronic collisions. Within the ALICE framework we study its capabilities of measuring high-energy jets and quantify obtainable rates and the quality of reconstruction, both, in proton-proton and in lead-lead collisions at LHC conditions. In particular, we address whether modification of the jet fragmentation in the charged-particle sector can be detected within the high particle-multiplicity environment of the central lead-lead collisions. We comparatively treat these topics in view of an EMCAL proposed to complete the central ALICE tracking detectors. The main activities concerning the thesis are the following: a) Determination of the potential for exclusive jet measurements in ALICE. b) Determination of jet rates that can be acquired with the ALICE setup. c) Development of a parton-energy loss model. d) Simulation and study of the energy-loss effect on jet properties.
This thesis has explored how structural techniques can be applied to the problem of formal verification for sequential circuits. Algorithms for formal verification which operate on non-canonical gate netlist representations of digital circuits have certain advantages over the traditional techniques based on canonical representations as BDDs. They allow to exploit problem-specific knowledge because they can take into account structural properties of the designs being analyzed. This allows us to break the problem down into sub-problems which are (hopefully) easier to be solved. However, in the past, the main application of such structural techniques was in the field of combinational equivalence checking. One reason for this is that the behaviour of a sequential system does not only depend on its inputs but also on its internal states, and no concepts had been developed to-date allowing structural methods to deal with large sets of states. An important goal of this research was therefore to develop structural, non-canonical forms of representing the reachable states of a finite state machine and to develop methods for reachability analysis based on such representations. In order to reach this goal, two steps were taken. Firstly, a framework for manipulating Boolean functions represented as gate netlists has been established. Secondly, using this framework, a structural method for FSM traversal was developed serving as the basis for an equivalence checking algorithm for sequential circuits. The framework for manipulating Boolean functions represented as multi-level combinational networks is based on a new concept of an implicant in a multi-level network and on an AND/ORtype enumeration technique which allows us to derive such implicants. This concept extends the classical notion of an implicant in two-level circuits to the multi-level case. Using this notion, arbitrary transformations in multi-level combinational networks can be performed. The multi-level network implicants can be determined from AND/OR reasoning graphs, which are associated with an AND/OR reasoning technique operating directly on the gate netlist description of a multi-level circuit. This reasoning technique has the important property that it is complete, i.e. the associated AND/OR trees contain all prime implicants of a Boolean function at an arbitrary node in a combinational circuit. In other words, AND/OR graphs constructed for a network function serve as a representation of this function. A great advantage over BDDs is that AND/OR graphs, besides representing the logic function, also represent some structural properties of the analyzed circuitry. This permits to develop heuristics that are specially tailored for certain applications such as logic optimization or verification. Another advantage which is especially useful for logic optimization is the fact that the proposed AND/OR enumeration scheme is not restricted to the use of a specific logic alphabet such as B3 = {0, 1, X}. By using Roth’s D-calculus based on B5 = {0, 1, D, D-Komplement} permissible implicants can be determined. Transformations based on permissible implicants exploit observability don’t-care conditions in logic synthesis by creating permissible functions at internal network nodes. In order to evaluate the new structural framework for manipulating Boolean functions represented as gate netlists, several experiments with implicant-based optimization of multi-level circuits were performed. The results show that implicant-based circuit transformations lead to significantly better optimization results than traditional synthesis techniques. Next, based on the proposed structural methods for Boolean function manipulation, techniques for representing and manipulating the set of states of a sequential circuit have been developed. The concept of a “stub circuit” was introduced which implicitly represents a set of state vectors as the range of a multi-output function given as a gate netlist. The stub circuit is the result of an existential quantification operation which is obtained by functional decomposition using implicant-based netlist transformations and a network cutting procedure. Using this existential quantification operation, a new structural FSM traversal algorithm was formulated which performs a fixed point iteration on the set of reachable states represented by the stub circuit. The proposed approach performs a reachability analysis of the states of a sequential circuit. It operates on gate netlists and naturally allows to incorporate structural properties of a design under consideration into the reasoning. Therefore, structural FSM traversal is an interesting alternative to traditional symbolic FSM traversal, especially in those applications of formal verification, where structural properties can be exploited. Structural FSM traversal was applied to the problem of sequential equivalence checking. Here, structural similarities between the designs to be compared can effectively reduce the complexity of the verification task. The FSM to be traversed is a special product machine called sequential miter. The special structural properties of this product machine have made it possible to formulate an approximate algorithm for structural FSM traversal, called record and play(). This algorithm uses an approximation on the reachable state set represented by the stub circuit which is very beneficial for performance. Instead of calculating the stub circuit using the exact algorithm, implicant-based transformations directly using structural design similarities are performed. These transformations, together with existential quantification implemented by the cutting procedure, lead to an over-approximation of the reachable state set. By this overapproximation, only such unreachable product states are added to the set of states represented by the stub circuit which are unreachable at the current point in time but which are nevertheless equivalent. Therefore, more product states are added to the set of reachable states sometimes leading to drastic acceleration of the traversal, i.e. the fixed point is reached in much fewer steps. The algorithm record and play() was applied to the problem of checking the equivalence of a circuit with its optimized and retimed version. Retiming is a form of sequential circuit optimization which can radically alter the state encoding of a circuit. Traditional FSM traversal techniques often fail because the BDDs needed to represent the reachable state set and the transition relation of the product machine become too large. Experiments were conducted to evaluate the performance of record and play() on a standard set of sequential benchmark circuits. The algorithm was capable of proving the equivalence of optimized and retimed circuits with their original versions, some of which (to our knowledge) have never before been verified using traditional techniques like symbolic FSM traversal. The experimental results are very promising. Future research will therefore explore how structural FSM traversal can be applied to model checking.
The results presented here strongly indicate that ubiquitination of the recombinant human alpha1 GlyR at the plasma membrane of Xenopus oocytes is involved in receptor internalisation and degradation. Ubiquitination of the human alpha1 GlyR has been demonstrated by radio-iodination of plasma membrane-boundalpha1 GlyRs, whose subunits differed in molecular weight by additional 7, 14 or 21 kDa, corresponding to the molecular weights of one, two and three conjugated ubiquitin molecules, respectively, and by co-isolation of the non-tagged human alpha1 GlyR through hexahistidyl-tagged ubiquitin. Ubiquitin conjugated GlyRs where prominent at the plasma membrane, but could be hardly detected in total cell homogenates, indicating that ubiquitination takes place exclusively at the plasma membrane. Ubiquitination of the alpha1 GlyR at the plasma membrane was no longer detectable when the ten lysine residues of the cytoplasmic loop between transmembrane segments M3 and M4 were replaced by arginines. Despite this proteolytic cleavage continued to take place at the same extent as with the wild type alpha1 GlyR, suggesting that removal of GlyRs from the plasma membrane and routing to lysosomes for degradation were not dependent on ubiquitination. Also replacing a tyrosine in position 339, which was speculated to be part of an additional endocytosis motif, did not lead to a significant reduction of cleavage of the GlyR alpha1 subunits. However, a mutant lacking both, ubiquitination sites and 339Y, was significantly less processed. These results may suggest that the GlyR alpha1 subunit harbors at least two endocytosis motifs, which may act independently to regulate the density of alpha1 GlyR. Apparently, each of the two signals may be capable of compensating entirely the loss of the other. Part two of this Dissertation demonstrates that the correct topology of the glycine receptor alpha1 subunit depends critically on six positively charged residues within a basic cluster, RFRRKRR, located in the large cytoplasmic loop following the C-terminal end of M3. Neutralization of one or more charges of this cluster, but not of other charged residues in the M3-M4 loop, led to an aberrant translocation into the endoplasmic reticulum lumen of the M3-M4 loop. However, when two of the three basic charges located in the ectodomain linking M2 and M3 were neutralized, in addition to two charges of the basic cluster, endoplasmic reticulum disposition of the M3-M4 loop was prevented. We conclude that a high density of basic residues C-terminal to M3 is required to compensate for the presence of positively charged residues in the M2-M3 ectodomain, which otherwise impair correct membrane integration of the M3 segment. Part three of this Dissertation describes my contribution (blue native PAGE analysis of metabolically labeled alpha7 and 5HT3A receptors and the examination of the glycosylation state of metabolically labeled alpha7 subunits) to a work on the limited assembly capacity of Xenopus oocytes for nicotinic alpha7 subunits. While 5HT3A subunits combined efficiently to pentamers, alpha7 subunits existed in various assembly states including trimers, tetramers, pentamers, and aggregates. Only alpha7 subunits that completed the assembly process to homopentamers acquired complex-type carbohydrates and appeared at the cell surface. We conclude that Xenopus oocytes have a limited capacity to guide the assembly of alpha7 subunits, but not 5HT3A subunits to homopentamers. Accordingly, ER retention of imperfectly assembled alpha7 subunits rather than inefficient routing of fully assembled alpha7 receptors to the cell surface limits surface expression levels of alpha7 nicotinic acetylcholine receptors. Part four of this Dissertation describes my contribution (the biochemical analysis of the human P2X2 and P2X6 subtypes) to studies on the quaternary structure of P2X receptors. Armaz Aschrafi, the main author of the paper showed that subsequent to isolation under non-denaturing conditions from Xenopus oocytes the His-rP2X2 protein migrated on blue native PAGE predominantly in an aggregated form. The only discrete protein band detectable could be assigned to homotrimers of the His-rP2X2 subunit. Because of the exceptional assembly-behaviour of the rP2X2 protein compared to the rP2X1, rP2X3, rP2X4 and rP2X5 proteins, its human orthologue was investigated in the same manner. In contrast to rP2X2 subunits, hP2X2 subunits migrated under virtually identical conditions in a single defined assembly state, which could be clearly assigned to a trimer. P2X6 subunits represent the sole P2X subtype that is unable to form functional homomeric receptors in Xenopus oocytes. The blue native PAGE analysis of metabolically labeled hP2X6 receptors and the examination of the glycosylation state revealed that hP2X6 subunits form tetramers and aggregates that are not exported to the plasma membrane of Xenopus oocytes.
In the present work, the Heidelberg electron beam ion trap (EBIT) at the Max-Planck-Institute für Kernphysik (MPIK) has been used to produce, trap highly charged argon ions and study their magnetic dipole (M1) forbidden transitions. These transitions are of relativistic origin and, hence, provide unique possibilities to perform precise studies of relativistic effects in many electron systems. In this way, the transitions energies of the 1s22s22p for the 2P3/2 - 2P1/2 transition in Ar13+ and the 1s22s2p for the 3P1 - 3P2 transition in Ar14+, for 36Ar and 40Ar isotopes were compared. The observed isotopic effect has confirmed the relativistic nuclear recoil effect corrections due to the finite nuclear mass in a recent calculation made by Tupitsyn [TSC03], in which major inconsistencies of earlier theoretical methods have been corrected for the first time. The finite mass, or recoil effect, composed of the normal mass shift (NMS), and the specific mass shift (SMS) were corrected for relativistic contributions, RNMS and RSMS. The present experimental results have shown that the recoil effects on the Breit level are indeed very important, as well as the effects of the correlated relativistic dynamics in a many electron ion.