Refine
Year of publication
- 2006 (583) (remove)
Document Type
- Article (210)
- Working Paper (84)
- Part of a Book (79)
- Doctoral Thesis (55)
- Part of Periodical (39)
- Preprint (38)
- Conference Proceeding (36)
- Book (20)
- Report (8)
- Review (5)
Language
- English (583) (remove)
Keywords
- Thema-Rhema-Gliederung (22)
- Formale Semantik (20)
- Englisch (17)
- Syntax (12)
- Deutsch (11)
- USA (11)
- Informationsstruktur (10)
- Lexikologie (10)
- Bantusprachen (7)
- Deutschland (5)
Institute
- Physik (46)
- Center for Financial Studies (CFS) (43)
- Medizin (35)
- Biochemie und Chemie (30)
- Extern (29)
- Biowissenschaften (21)
- Wirtschaftswissenschaften (21)
- Universitätsbibliothek (18)
- Frankfurt Institute for Advanced Studies (FIAS) (17)
- E-Finance Lab e.V. (14)
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the programming language Alice ML. We show that natural program optimizations, as well as partial evaluation with respect to deterministic rules, are correct for Lambda(fut). This relies on a number of fundamental properties that we establish for our observational semantics.
The paper presents an overview about some of the international relevant projects of digital resources in Germany. Online presentations of primary sources, e.g. photographic material, and bibliographic tools supporting research, such as cross searching, will be presented as potential partners of resource sharing with North America. Not only the possibility of cooperation will be sketched, but also necessary preliminary work and some obstacles will be outlined. This report is accompanied by a short characterization of African studies in Germany and the status quo of Open Access-initiatives.
This work gives a detailed introduction into a fully new experimental method to investigate the quantum crystal behavior of solid Helium-4. It has been found that a fascinating new effect occurs in the expansion of solid Helium-4 into a vacuum through pinhole orifices with diameters between 1 and 5 µm. It is observed that the beam flux intensity shows a periodic behavior for source conditions corresponding to the solid phase of Helium-4. The period is in the range of seconds up to minutes. It shows a strong dependence on temperature and source pressure. The oscillating part of the beam flux intensity amounts several percent of the total flux. This new phenomenon has been studied for temperatures between 2.1 K and 1.3 K and pressures up to 30 bar above the melting pressure. The beam flux intensity has been recorded by the vacuum pressure in a pitot vacuum chamber. The jet velocity in the range of 200 m/sec indicates that surprisingly the beam is a liquid jet, whereas the conditions in the source correspond to the solid state. In this work mainly the behavior of the flux modulation has been studied as a function of pressure and temperature and the influence of the isotope Helium-3. Furthermore geometrical aspects such as the influence of the nozzle diameter d0 have been investigated. In order to explain this novel phenomenon a kinetic model based on the injection of excess vacancies into the solid is proposed. According to this model the vacancies are generated at a solid/liquid interface. Forced by drift and diffusion they accumulate at some distance from the orifice, leading to the collapse of the solid. With the subsequent re-injection of vacancies the effect repeats and turns out to be periodical. The reproducibility of the time dependent beam flux intensity is demonstrated for a wide range of temperatures and pressures and gives direct access to values such as the temperature and pressure dependence of the vacancy diffusion coefficient Dv in the range of 10 high -5 cm high 2/sec, the recombination time of vacancies with interstitials T r near 1-20 sec and the vacancy activation energy f near 20 K. The good agreement with former experimental results by Zuev et al. [131] confirms the applicability of the theoretical model. As a result from the kinetic model the vacancy concentration is increased above the equilibrium vacancy concentration, caused by the injection of excess vacancies. Therefore, the most important discovery is the possibility of generating a non-equilibrium quantum solid. The investigation of this non-equilibrium solid leads to the discovery of a fluid-like regime in the solid phase of Helium-4 at temperatures below T = 1.58 K. The result gives a strong indication for the supersolid state, especially because the fluid-like behavior of the solid can be eliminated with smallest concentrations of Helium-3.
The development of resistance to multiple drugs is a major problem in treatment of number of infectious diseases and cancer. The phenomenon of multidrug resistance (MDR) is based on the synergetic interplay of a number of mechanisms such as target inactivation, target alteration, prevention of drug influx as well as active extrusion of drugs from the cell. The latter is mediated by over-expression of multidrug efflux pumps. The first discovered and the best characterized until now the human MDR transporter is P-glycoprotein. It is a member of the ATP binding cassette (ABC) superfamily and acts as an active transporter for a variety of anticancer agents using the energy released by ATP hydrolysis. The closest structure and functional homologue of P-glycoprotein found in bacteria is LmrA from Lactococcus lactis. The major goals of this work are to establish the selective isotope labelling of LmrA in Lactococcus lactis, to optimize LmrA sample preparation for solid-state NMR, and finally to perform first solidstate NMR investigations on LmrA shedding light on its catalytic cycle and substrate binding. For a long time the solid-state NMR applications to biological science has been limited to investigation of small molecules mostly. Recently, the solid-state NMR methods have shown potential for structuraland non-perturbing, site directed functional studies of large membrane proteins as well as ligands bound to them. However, to our knowledge neither selective isotope amino acid labelling of any ABC transporter, nor NMR investigations on full-length ABC transporter have been reported to date. Solidstate NMR experiments on a membrane protein require reconstitution of purified proteins into a membrane environment at a high density and either isotopic enrichment of the protein or bound drugs or inhibitors. Therefore, the large quantities of LmrA reconstituted at a high density in lipid membranes, sufficient for advanced NMR studies have been produced and its functional state in reconstituted form has been assessed. In the next step, a procedure for cost effective selective amino acids isotope labelling of LmrA in Lactococcus lactis has been established. Using this protocol deuterium alanine labelled LmrA reconstituted into E. coli liposomes has been prepared. Deuterium NMR has been used extensively to assess the proteins dynamics in past. However, it has never been applied to ABC transporter. Here, we report 2H NMR on selective alanine isotope labelled LmrA which has been used to shed light on the dynamics changes in the protein occurred under AMP-PNP, non-hydrolysable ATP analogue, binding and in ATP/ADP-Vanadate trapped state. It has been found that the major conformation changes affecting the protein motional characteristics occur in the ATP binding domains but not in the transmembrane domains. Additionally, the binding of several substrates to LmrA has been studied by fluorescence spectroscopy as well as by 19F and 31P solid-state NMR. The binding constants for several LmrA substrates have been obtained by fitting the concentration dependant tryptophan intrinsic fluorescence quenching curves. Based on the fluorescence studies and solid-state NMR data, the conformation changes in LmrA under substrate binding have been discussed. In addition, the preferable location of nine LmrA and P-glycoprotein substrates within the model membrane has been studied via 1H-MAS-NOESY-NMR. The results have been interpreted with respect to LmrA and P-glycoprotein binding site accessibility from the membrane interface region.
We develop a proof method to show that in a (deterministic) lambda calculus with letrec and equipped with contextual equivalence the call-by-name and the call-by-need evaluation are equivalent, and also that the unrestricted copy-operation is correct. Given a let-binding x = t, the copy-operation replaces an occurrence of the variable x by the expression t, regardless of the form of t. This gives an answer to unresolved problems in several papers, it adds a strong method to the tool set for reasoning about contextual equivalence in higher-order calculi with letrec, and it enables a class of transformations that can be used as optimizations. The method can be used in different kind of lambda calculi with cyclic sharing. Probably it can also be used in non-deterministic lambda calculi if the variable x is "deterministic", i.e., has no interference with non-deterministic executions. The main technical idea is to use a restricted variant of the infinitary lambda-calculus, whose objects are the expressions that are unrolled w.r.t. let, to define the infinite developments as a reduction calculus on the infinite trees and showing a standardization theorem.
Background: PPARs exhibit anti-inflammatory capacities and are potential modulators of the inflammatory response. We hypothesized that their expression and/or function may be altered in cystic fibrosis (CF), a disorder characterized by an excessive host inflammatory response.
Methods: PPARα, β and γ mRNA levels were measured in peripheral blood cells of CF patients and healthy subjects via RT-PCR. PPARα protein expression and subcellular localization was determined via western blot and immunofluorescence, respectively. The activity of PPARα was analyzed by gel shift assay.
Results: In lymphocytes, the expression of PPARα mRNA, but not of PPARβ, was reduced (-37%; p < 0.002) in CF patients compared with healthy persons and was therefore further analyzed. A similar reduction of PPARα was observed at protein level (-26%; p < 0.05). The transcription factor was mainly expressed in the cytosol of lymphocytes, with low expression in the nucleus. Moreover, DNA binding activity of the transcription factor was 36% less in lymphocytes of patients (p < 0.01). For PPARα and PPARβ mRNA expression in monocytes and neutrophils, no significant differences were observed between CF patients and healthy persons. In all cells, PPARγ mRNA levels were below the detection limit.
Conclusion: Lymphocytes are important regulators of the inflammatory response by releasing cytokines and antibodies. The diminished lymphocytic expression and activity of PPARα may therefore contribute to the inflammatory processes that are observed in CF.
Studies and measurements of linear coupling and nonlinearities in hadron circular accelerators
(2006)
In this thesis a beam-based method has been developed to measure the strength and the polarity of corrector magnets (skew quadrupoles and sextupoles) in circular accelerators. The algorithm is based on the harmonic analysis (via FFT) of beam position monitor (BPM) data taken turn by turn from an accelerator in operation. It has been shown that, from the differences of the spectral line amplitudes between two consecutive BPMs, both the strength and the polarity of non-linear elements placed in between can be measured. The method has been successfully tested using existing BPM data from the SPS of CERN, since presently the SIS-18 is not equipped with the necessary hardware. The magnet strength of seven SPS extraction sextupoles was measured with a precision of about 10%. The polarities have been unambiguously measured. This method can be used to detect polarity errors and wrong power supply connections during machine commissioning, as well as for a continuous monitoring of the "nonlinearity budget" in superconducting machines. A second beam-based method has been studied for a fast measurement and correction of betatron coupling driven by skew quadrupole field errors and tilted focusing quadrupoles. Traditional methods usually require a time-consuming scan of the corrector magnets in order to minimize the coupling stop band |C|. In this thesis it has been shown how the same correction can be performed in a single machine cycle from the harmonic analysis of multi-BPM data. The method has been successfully applied to RHIC. It has been shown that the stop band |C| (also known in the American literature as Delta-Qmin) measured in a single machine cycle with the new algorithm is compatible with the value obtained by traditional methods. The measurement of the resonance phase Theta defines automatically the best corrector setting, which was found in agreement with the one obtained with a traditional scan. A third theoretical achievement is a new description of the betatron motion close to the difference resonance in presence of linear coupling. Compared to the matrix formalism the motion is parametrized as a function of the resonance driving term f1001 only (which is proven to be an observable), whereas making use of the matrix approach four parameters need to be measured. Formulae describing the exchange of RMS emittances when approaching the resonances have been already derived in the 70s in the smooth approximation. New formulae have been derived here making use of Lie algebra providing a better description of the emittance behavior. The emittance exchange curves are predicted by new formulae with excellent agreement with multi-particle simulations and the counter-intuitive emittance variation along the ring of the emittance is proven to be related to the variation of f1001. A new way to decouple the equations of motion and explicit expressions for the individual single particle invariants have been found. For the first time emittance exchange studies have been carried out in the SIS-18 of GSI. Transverse RMS emittances have been measured during 2005 from rest gas monitor (RGM) data. Crossing the linear coupling resonance, the transverse emittances exchange completely. It has been observed that this effect is reversible. Applications of this manipulation are: emittance equilibration under consideration for future operations of the SIS-18 as booster for the SIS-100; emittance transfer during multi-turn injection to improve the eficiency and to protect the injection septum in high intensity operations, by shifting part of the horizontal emittance into the vertical plane. The emittance exchange curves obtained experimentally have been compared with analytic formulae providing a fast measurement (in few machine cycles only) of the linear coupling stop band |C|. Technical problems prevented the use of the eight skew quadrupoles installed in the SIS-18 to compensate the linear coupling resonance. It has been observed that the emittance exchange curve is highly sensitive to the beam intensity. Multi-particle simulations with 2D PIC space-charge solver have been run to infer heuristic scaling laws able to quantify the observable stop band, to be used for the resonance compensation. The analysis of BPM and RGM data has been performed making use of new software applications developed for this purpose. The bpm2rdt code for the harmonic analysis of BPM data has been written and tested with real data. The software reads the BPM turn-by-turn data and the Twiss parameters. Then it performs the FFT of these data, finds the peaks of the Fourier spectra and infers the RDT fjklm, the strengths ^hjklm and the local terms lambda-jklm. All these observables are printed out together with the corresponding values of the model, computed from the nominal values of strengths and the Twiss parameters. From the FFT of dual-plane BPM data the linear optics (beta functions and phase advances Delta phi) at the corresponding location is also inferred. From the measurement of f1000, the linear coupling coeffcient C (amplitude and phase) is also computed. The code has been tested by using existing SPS data and new RHIC data. For the on-line analysis of RGM data the rgm2emitt code has been written. The application reads in input the raw data files from the RGM and the beam loss monitor (BLM) respectively, the latter created by the RGM on-line software itself. From the RGM data the transverse beam sizes and emittances are inferred and used together with the BLM data to compute the tune shift during the machine cycle.
Alzheimer’s Disease (AD) is the most common neurodegenerative disorder marked by progressive loss of memory and cognitive ability. The pathology of AD is characterised by the presence of amyloid plaques, intracellular neurofibrillary tangles and pronounced cell death. The aim of this thesis was to investigate pathways involved in the Aß cascade of neurodegeneration. Since novel findings indicate that already this Aß species exerts neurotoxic effects long before hyperphosphorylated tau, neurofibrillary tangles and extracellular Aß plaques appear, the investigations were accomplished with specific regard to the effects of intracellular Aß. The Swedish double mutation in the APP gene results in six- to eightfold increased Aß production of both Aß1-40 and Aß1-42 compared to human wildtype APP cells (APPwt). Data obtained from PC12 cells indicate that it is possible to specifically increase the Aß load without enhancing APP expression levels. On the basis of these findings, it seemed possible to investigate dose-dependent effects of Aß in multiple experimental designs. These assay designs were created in order to mimick different in-vivo situations that are discussed to occur in AD patients: APPsw PC12 cells exhibit low physiological concentrations of Aß within picomolar range in contrast to APPsw HEK cells, expressing Aß levels within the nanomolar range. Of note, the APPsw HEK cells showed a specific and highly significant increase in the intracellular accumulation of insoluble Aß1-42. Moreover, an intracellular accumulation of Aß and APP was found in the mitochondria of the HEK APPsw cells suggesting a direct impact on mitochondrial function on these cells. This effect might finally lead to disturbances in the energy metabolism of the cell or to increased cell death. Furthermore, baseline g- and ß-secretase activity was assessed since these enzymes represent promising therapeutic targets to slow or halt the disease process. As expected, ß-secretase activity was significantly elevated in all APPsw cell lines. This might be due to the proximity of the Swedish double mutation next to the N-terminus of the Aß sequence. Interestingly, g-secretase activity was similarly increased in PC12 APPsw cells. In addition, the toxicity of different Aß species was investigated in SY5Y and PC12 cells with regard to their effect on cellular viability mirrored by mitochondrial activity using MTT assay. Here, it turned out that not monomers, but already dimers are neurotoxic correlates. Fibrillar Aß species showed the highest toxicity. In the next step, SY5Y cells forming endogenous, dimeric APP and Aß were investigated. In accordance with previous findings, these cells showed a decreased MTT reduction potential in comparison to APPwt and control SY5Y cells reflecting a decrease of cellular viability. The impaired energy metabolism of the cells was even more drastically mirrored by reduced baseline ATP levels. In the second part of this thesis, the expression and intracellular distribution of Bcl-2 family proteins and pro-apoptotic mitochondrial factors under baseline conditions and during oxidative stress were analyzed in the APPwt and APPsw bearing cells. The most prominent finding was the reduction of expression levels of the anti-apoptotic factor Bcl-xL in the cytosolic fractions of APPwt and APPsw PC12 cells. This might indicate that a lack of anti-apoptotic factors or their altered intracellular distribution, rather than an increase in caspase-dependent pro-apoptotic factors, could be responsible for the increased vulnerability of APPwt- and APPsw-transfected PC12 cells against oxidative stress. Since total Bcl-xL expression was unaffected in PC12 cells, in contrast to APPwt and APPsw-expressing SY5Y and HEK cells revealing significantly decreased Bcl-xL expression levels. Thus, alterations in Bcl-xL distribution seem to be an early event in the disease process. Increasing Bcl-xL expression might potentially be one promising strategy for AD modification. PC12 and HEK cells bearing APPsw or APPwt were treated with the potent g-secretase inhibitor DAPT. Of note, DAPT did not only efficiently block Aß production, but additionally led to an elevation of the MTT reduction potential, reflecting an increase in cellular viability. As another disease-modifying strategy, several efforts are undertaken to ameliorate AD-relevant symptoms by the treatment with nerve growth factor (NGF). Generally, it is known that substituted pyrimidines have modest growth-promoting effects. Here, KP544, a novel substituted pyrimidine, was characterised. This drug increased MTT reduction potential in terminally differentiated and undifferentiated PC12 cells. Furthermore, treatment with KP544 led to a reduction in Aß1-40 secretion. Thus, one may conclude that the target of KP544, GSK-3ß, represents a connecting link between the two main pathological hallmarks of AD and might thus be a very promising therapeutic target for AD.
Hazar Lake sunken city
(2006)