No description available.

C/EBPα und C/EBPβ sind Transkriptionsfaktoren, die die Zellproliferation und Zelldifferenzierung in vielen Geweben regulieren. C/EBPα und C/EBPβ spielen auch eine onkogene Rolle in akuter myeloischer Leukämie und anaplastisch-großzelligen Lymphomen (ALCL). In dieser Studie wird C/EBPα auf neue posttranslationale Modifikationen, wie z. B. Arginin-Methylierungen und Citrullinierungen, sowie Lysin-Methylierungen und Acetylierungen, mit massenspektrometrischen Mitteln untersucht. Es werden eine modifizierbare C/EBPα-Arginin-Citrullinierungsposition und die C/EBPα-Lysinsumoylierung eingehend auf ihren Einfluss auf C/EBPα-Proteininteraktionsnetzwerk überprüft. Außerdem wurde im Verlauf dieser Studie ein Hochdurchsatz-Screening-Verfahren entwickelt, das wir Protein Interaktions-Screening auf einer Peptid Matrix (PrISMa) nennen. Dieses Verfahren dient der Aufklärung des modifikationsabhängigen Proteininteraktionsnetzwerkes von C/EBPβ. PrISMa basiert auf einer Peptidmembran, auf der C/EBPβ-Peptide synthetisiert sind. Viele dieser Peptide enthalten methylierte Arginine und Lysine, acetylierte Lysine, citrullinierte Arginine und phosphorylierte Serine, Tyrosine und Threonine. Mittels PrISMa konnten Interaktionen von C/EBPβ mit Histonacetyltransferasen, dem Mediatorkomplex, Proteinen des nukleären Transports und RNA bindenden und spleißenden Proteinen verifiziert und kartiert werden. Des Weiteren konnte mit Hilfe von PrISMa eine große Anzahl von publizierten C/EBPβ Interaktionspartner spezifischen C/EBPβ-Sequenzen zugeordnet werden. C/EBPβ wird in ALCL in hohem Maße exprimiert und ist für die Zellproliferation dieser Krebsart wichtig. In dieser Studie wird das Proteininteraktionsnetzwerk C/EBPβ in einer ALCL Zelllinie aufgeklärt, um tiefere Einsichten über die Funktion von C/EBPβ als Onkogen zu erlangen. / C/EBPα and C/EBPβ regulate cell proliferation and differentiation in multiple cell types. Moreover, C/EBPα and C/EBPβ are known to play oncogenic roles in acute myeloid leukemia and anaplastic large cell lymphomas (ALCLs). In this study C/EBPα is screened for novel posttranslational modifications (PTMs), such as arginine methylation and citrullination, as well as lysine methylation and acetylation by using mass spectrometry. A in this survey identified C/EBPα site of arginine citrullination and the C/EBPα lysine sumoylation are scrutinized for their impact on C/EBPα protein interaction network. A new high-throughput method named Protein Interaction Screen on peptide Matrices (PrISMa) is introduced in this study. This method was developed to determine the C/EBPβ protein interaction network in a PTM dependent manner. The PrISMa survey is based on a peptide membrane spotted with C/EBPβ peptides. Many of these C/EBPβ peptide sequences contain amino acid sequences comprising arginine and lysine methylation, lysine acetylation, arginine citrullination and serine, tyrosine and threonine phosphorylation. By means of PrISMa the C/EBPβ interplay with histone acetyltransferases, the mediator complex, proteins of the nucleoplasmic transport and RNA processing proteins is verified and specified by mapping these interactions to C/EBPβ amino acid sequences. Furthermore, PrISMa provides a map of C/EBPβ protein interaction patterns for a great number of the up to date published C/EBPβ protein interaction partners. C/EBPβ is highly expressed in ALCL cell lines and is essential for the cell proliferation of this type of cancer. In this study the C/EBPβ protein-protein interaction pattern in an ALCL cell line is unraveled providing valuable insight into the protein interaction network of C/EBPβ as an oncogene.

Die deutsche Erzieherin Ina von Binzer reiste nach Brasilien und hielt sich von 1881 bis 1884 hier auf. Unter dem Pseudonym Ulla von Eck schrieb sie Briefe, die später unter dem Titel Leid und Freud einer deutschen Erzieherin in Brasilien veröffentlicht wurden. Das Buch berichtet von den Erfahrungen Inas in diesem Land, während sie als Hauslehrerin in den Provinzen von São Paulo und Rio de Janeiro arbeitete. Ihr Zeugnis kann als didaktisches Hilfsmittel dienen, indem es uns dabei hilft, die Geschichte der Erziehung in unserem Land zu verstehen. Überdies regt es Reflexionen über unseren heutigen Schulunterricht an. Obwohl ihren Berichten die Details und die Objektivität der Erzählungen männlicher Reisender fehlen, ermöglichen sie uns Einblicke in die soziale, wirtschaftliche und politische Wirklichkeit im Brasilien des späten 19. Jahrhunderts, d.h. in die Epoche der Proklamation der Republik und der Abschaffung der Sklaverei. Nur wenige Jahre vor der endgültigen Abschaffung im Jahre 1888 erkennt Ina von Binzer positive, aber auch negative Aspekte der Beendigung der Sklavenwirtschaft. Die deutsche Erzieherin schildert mit großer Genauigkeit das häusliche Umfeld der brasilianischen Familien und die Gesellschaft des Landes im weiteren Sinne. Dies erlaubt uns die Untersuchung der kulturellen Grenzüberschreitungen, d.h. die Konstruktion von Identitäten und Alteritäten bezüglich der deutschen und der brasilianischen Kultur. / A educadora alemã Ina von Binzer emigrou para Brasil e aqui permaneceu entre os anos 1881 e 1884. Usando o pseudônimo de Ulla von Eck, ela escreve cartas que mais tarde são publicadas sob o título Os meus romanos: alegrias e tristezas de uma educadora alemã no Brasil. O livro relata as experiências que Ina viveu enquanto preceptora nos estados de São Paulo e Rio de Janeiro. Seus depoimentos servem como instrumento didático, possibilitando a compreensão da história da Educação em nosso país, além de trazer à luz reflexões sobre o nosso ensino atual. Embora os relatos da professora não sejam tão específicos e objetivos como os de um viajante, eles nos proporcionam nuançar registros de condições sociais, econômicas e políticas no Brasil do final do século XIX, isto é, no período da Proclamação da República e da Abolição da Escravatura. Em relação à iminente Abolição de 1888, Ina reconhece aspectos não só positivos, mas também negativos. A educadora alemã relata também com bastante precisão o ambiente doméstico das famílias brasileiras e a sociedade como um todo. Tais depoimentos permitem-nos uma investigação do funcionamento das transferências culturais, isto é, a construção de identidades e alteridades entre as culturas alemã e brasileira.

Quantified Boolean formulas (QBFs) play an important role in theoretical computer science. QBF extends propositional logic in such a way that many advanced forms of reasoning can be easily formulated and evaluated. In this dissertation we present our ZQSAT, which is an algorithm for evaluating quantified Boolean formulas. ZQSAT is based on ZBDD: Zero-Suppressed Binary Decision Diagram / which is a variant of BDD, and an adopted version of the DPLL algorithm. It has been implemented in C using the CUDD: Colorado University Decision Diagram package. <br><br> The capability of ZBDDs in storing sets of subsets efficiently enabled us to store the clauses of a QBF very compactly and let us to embed the notion of memoization to the DPLL algorithm. These points led us to implement the search algorithm in such a way that we could store and reuse the results of all previously solved subformulas with a little overheads. ZQSAT can solve some sets of standard QBF benchmark problems (known to be hard for DPLL based algorithms) faster than the best existing solvers. In addition to prenex-CNF, ZQSAT accepts prenex-NNF formulas. We show and prove how this capability can be exponentially beneficial. <br><br> / In der Dissertation stellen wir einen neuen Algorithmus vor, welcher Formeln der quantifizierten Aussagenlogik (engl. Quantified Boolean formula, kurz QBF) löst. QBFs sind eine Erweiterung der klassischen Aussagenlogik um die Quantifizierung über aussagenlogische Variablen. Die quantifizierte Aussagenlogik ist dabei eine konservative Erweiterung der Aussagenlogik, d.h. es können nicht mehr Theoreme nachgewiesen werden als in der gewöhnlichen Aussagenlogik. Der Vorteil der Verwendung von QBFs ergibt sich durch die Möglichkeit, Sachverhalte kompakter zu repräsentieren. <br><br> SAT (die Frage nach der Erfüllbarkeit einer Formel der Aussagenlogik) und QSAT (die Frage nach der Erfüllbarkeit einer QBF) sind zentrale Probleme in der Informatik mit einer Fülle von Anwendungen, wie zum Beispiel in der Graphentheorie, bei Planungsproblemen, nichtmonotonen Logiken oder bei der Verifikation. Insbesondere die Verifikation von Hard- und Software ist ein sehr aktuelles und wichtiges Forschungsgebiet in der Informatik. <br><br> Unser Algorithmus zur Lösung von QBFs basiert auf sogenannten ZBDDs (engl. Zero-suppressed Binary decision Diagrams), welche eine Variante der BDDs (engl. Binary decision Diagrams) sind. BDDs sind eine kompakte Repräsentation von Formeln der Aussagenlogik. Der Algorithmus kombiniert nun bekannte Techniken zum Lösen von QBFs mit der ZBDD-Darstellung unter Verwendung geeigneter Heuristiken und Memoization. Memoization ermöglicht dabei das einfache Wiederverwenden bereits gelöster Teilprobleme. <br><br> Der Algorithmus wurde unter Verwendung des CUDD-Paketes (Colorado University Decision Diagram) implementiert und unter dem Namen ZQSAT veröffentlicht. In Tests konnten wir nachweisen, dass ZQSAT konkurrenzfähig zu existierenden QBF-Beweisern ist, in einigen Fällen sogar bessere Resultate liefern kann.

Not available / text

Not available / text

No description available.

No description available.

Die deutsche Erzieherin Ina von Binzer reiste nach Brasilien und hielt sich von 1881 bis 1884 hier auf. Unter dem Pseudonym Ulla von Eck schrieb sie Briefe, die später unter dem Titel Leid und Freud einer deutschen Erzieherin in Brasilien veröffentlicht wurden. Das Buch berichtet von den Erfahrungen Inas in diesem Land, während sie als Hauslehrerin in den Provinzen von São Paulo und Rio de Janeiro arbeitete. Ihr Zeugnis kann als didaktisches Hilfsmittel dienen, indem es uns dabei hilft, die Geschichte der Erziehung in unserem Land zu verstehen. Überdies regt es Reflexionen über unseren heutigen Schulunterricht an. Obwohl ihren Berichten die Details und die Objektivität der Erzählungen männlicher Reisender fehlen, ermöglichen sie uns Einblicke in die soziale, wirtschaftliche und politische Wirklichkeit im Brasilien des späten 19. Jahrhunderts, d.h. in die Epoche der Proklamation der Republik und der Abschaffung der Sklaverei. Nur wenige Jahre vor der endgültigen Abschaffung im Jahre 1888 erkennt Ina von Binzer positive, aber auch negative Aspekte der Beendigung der Sklavenwirtschaft. Die deutsche Erzieherin schildert mit großer Genauigkeit das häusliche Umfeld der brasilianischen Familien und die Gesellschaft des Landes im weiteren Sinne. Dies erlaubt uns die Untersuchung der kulturellen Grenzüberschreitungen, d.h. die Konstruktion von Identitäten und Alteritäten bezüglich der deutschen und der brasilianischen Kultur. / A educadora alemã Ina von Binzer emigrou para Brasil e aqui permaneceu entre os anos 1881 e 1884. Usando o pseudônimo de Ulla von Eck, ela escreve cartas que mais tarde são publicadas sob o título Os meus romanos: alegrias e tristezas de uma educadora alemã no Brasil. O livro relata as experiências que Ina viveu enquanto preceptora nos estados de São Paulo e Rio de Janeiro. Seus depoimentos servem como instrumento didático, possibilitando a compreensão da história da Educação em nosso país, além de trazer à luz reflexões sobre o nosso ensino atual. Embora os relatos da professora não sejam tão específicos e objetivos como os de um viajante, eles nos proporcionam nuançar registros de condições sociais, econômicas e políticas no Brasil do final do século XIX, isto é, no período da Proclamação da República e da Abolição da Escravatura. Em relação à iminente Abolição de 1888, Ina reconhece aspectos não só positivos, mas também negativos. A educadora alemã relata também com bastante precisão o ambiente doméstico das famílias brasileiras e a sociedade como um todo. Tais depoimentos permitem-nos uma investigação do funcionamento das transferências culturais, isto é, a construção de identidades e alteridades entre as culturas alemã e brasileira.

Die deutsche Erzieherin Ina von Binzer reiste nach Brasilien und hielt sich von 1881 bis 1884 hier auf. Unter dem Pseudonym Ulla von Eck schrieb sie Briefe, die später unter dem Titel Leid und Freud einer deutschen Erzieherin in Brasilien veröffentlicht wurden. Das Buch berichtet von den Erfahrungen Inas in diesem Land, während sie als Hauslehrerin in den Provinzen von São Paulo und Rio de Janeiro arbeitete. Ihr Zeugnis kann als didaktisches Hilfsmittel dienen, indem es uns dabei hilft, die Geschichte der Erziehung in unserem Land zu verstehen. Überdies regt es Reflexionen über unseren heutigen Schulunterricht an. Obwohl ihren Berichten die Details und die Objektivität der Erzählungen männlicher Reisender fehlen, ermöglichen sie uns Einblicke in die soziale, wirtschaftliche und politische Wirklichkeit im Brasilien des späten 19. Jahrhunderts, d.h. in die Epoche der Proklamation der Republik und der Abschaffung der Sklaverei. Nur wenige Jahre vor der endgültigen Abschaffung im Jahre 1888 erkennt Ina von Binzer positive, aber auch negative Aspekte der Beendigung der Sklavenwirtschaft. Die deutsche Erzieherin schildert mit großer Genauigkeit das häusliche Umfeld der brasilianischen Familien und die Gesellschaft des Landes im weiteren Sinne. Dies erlaubt uns die Untersuchung der kulturellen Grenzüberschreitungen, d.h. die Konstruktion von Identitäten und Alteritäten bezüglich der deutschen und der brasilianischen Kultur. / A educadora alemã Ina von Binzer emigrou para Brasil e aqui permaneceu entre os anos 1881 e 1884. Usando o pseudônimo de Ulla von Eck, ela escreve cartas que mais tarde são publicadas sob o título Os meus romanos: alegrias e tristezas de uma educadora alemã no Brasil. O livro relata as experiências que Ina viveu enquanto preceptora nos estados de São Paulo e Rio de Janeiro. Seus depoimentos servem como instrumento didático, possibilitando a compreensão da história da Educação em nosso país, além de trazer à luz reflexões sobre o nosso ensino atual. Embora os relatos da professora não sejam tão específicos e objetivos como os de um viajante, eles nos proporcionam nuançar registros de condições sociais, econômicas e políticas no Brasil do final do século XIX, isto é, no período da Proclamação da República e da Abolição da Escravatura. Em relação à iminente Abolição de 1888, Ina reconhece aspectos não só positivos, mas também negativos. A educadora alemã relata também com bastante precisão o ambiente doméstico das famílias brasileiras e a sociedade como um todo. Tais depoimentos permitem-nos uma investigação do funcionamento das transferências culturais, isto é, a construção de identidades e alteridades entre as culturas alemã e brasileira.