Learn More
Genome scanning of Corynebacterium glutamicum ATCC13032 revealed the presence of five different genes encoding enzymes belonging to three putative trehalose biosynthesis pathways (OtsAB, TreYZ, TreS). The function of the different pathways and of trehalose as an osmoprotectant was studied by characterizing several strains defective for individual trehalose(More)
An improved test of time dilation in special relativity has been performed using laser spectroscopy on fast ions at the heavy-ion storage-ring TSR in Heidelberg. The Doppler-shifted frequencies of a two-level transition in 7Li+ ions at v=0.064c have been measured in the forward and backward direction to an accuracy of Deltanu/nu=1 x 10(-9) using collinear(More)
OBJECTIVE To evaluate the relevance and necessity to account for the effects of population substructure on association studies under a case-control design in central Europe, we analysed three samples drawn from different geographic areas of Germany. Two of the three samples, POPGEN (n = 720) and SHIP (n = 709), are from north and north-east Germany,(More)
This is a description of the system ILF developed at the Humboldt-University at Berlin 1. ILF is a system that integrates automated theorem provers, proof tactics for interactive deductive systems and models within a graphical user interface. The structure and commands of ILF are presented 2. A special part is devoted to the TreeViewer { a part of ILF used(More)
Next-generation sequencing (NGS) will likely facilitate a better understanding of the causes and consequences of human genetic variability. In this context, the validity of NGS-inferred single-nucleotide variants (SNVs) is of paramount importance. We therefore developed a statistical framework to assess the fidelity of three common NGS platforms. Using(More)
Strategy parallelism is a powerful concept for applying parMicUsm to automated theorem proving. One of the most important problems to be solved in this approach is the proper distribution of the available resources mnong the different strategies. This task usually requires a lot of user expertise. When the resource distribution has to be done automatically,(More)