No description available.

Bisherige Forschung hat zwischen zwei Gedächtnissystemen unterschieden: dem sog. deklarativen Gedächtnis (DG), welches sich durch die Fähigkeit vergangene Lebensereignisse bewusst zu erinnern auszeichnet und mit dem lobus temporalis medialis (MTL) in Verbindung steht, und dem prozeduralen Gedächtnis (PG), welches erlernte Fertigkeiten beinhaltet und mit dem Corpus striatum assoziiert ist. Weitere Studien haben ergeben, dass Alterung von neurologischen Schäden in beiden Systemen, erhöhter Aktivität im MTL und einer relativ geringeren Beeinträchtigung des PG begleitet ist. Hyperaktivität im MTL wurde dabei sowohl mit verbesserten als auch verschlechterten Gedächtnisleistungen in Verbindung gebracht. Die hier vorgelegte Dissertation befasst sich mit dem Einfluss von Alterung auf die Beziehungen zwischen o. g. Hirnnetzwerken und prozeduralen bzw. deklarativen Gedächtnisfähigkeiten. Studie I zeigte, dass Altersunterschiede in einer prozeduralen Gedächtnisaufgabe graduell im Verlaufe des Trainings entstehen und vmtl. mit negativen Einflüssen von Alterung auf den Übergang von PG zu DG in Zusammenhang stehen. Zwei striatal-dopaminerge genetische Polymorphismen, rs907094 auf DARPP-32 und VNTR auf DAT, wirkten sich dabei auf das DG älterer aber nicht jüngerer Erwachsener aus. In Studie II wurden Beeinträchtigungen im neuronalen Vorhersagefehler, einem neuronales Lernsignal im Striatum, in älteren Probanden gefunden. Studie III konnte teilweise intaktes PG in einer räumlichen Gedächtnisaufgabe demonstrieren, wobei der Polymorphismus rs17070145 auf WWC1, der sich auf Lanzeitpotenzierung im MTL auswirkt, diese Altersunterschiede modulierte. In Studie IV wurden neuronale Repräsentationen und Komputationen während einer räumlichen Gedächtnisaufgabe untersucht. Während jüngere Probanden in dieser Studie Anzeichen von MTL-basiertem DG zeigten, zeigten ältere Teilnehmer Evidenz von PG. Die neuronalen Signaturen älterer Erwachsener wurden jedoch am stärksten im MTL beobachtet. / Previous research has distinguished between a declarative memory system that stores flexible representations and is subserved by the medial-temporal lobe (MTL) and a procedural memory system that expresses past experiences through skills and is based mainly on the striatum. Investigations into age-related changes in these memory systems indicated a complex pattern of neural degradation in both systems, elevated MTL activity as well as partially spared procedural memory functions in older adults. A literature review further suggests that MTL overactivity can be caused by factors which are either beneficial or detrimental for memory. The present dissertation investigated the effects of human aging on the relations of brain functions to declarative and procedural memory. In Study I, age differences in a procedural memory task gradually emerged over the course of training and were linked to negative effects of aging on the transition from procedural to declarative memory. In addition, this study showed that striatal dopaminergic genetic polymorphisms, rs907094 on DARPP-32 and VNTR on DAT, affected declarative knowledge in older but not younger adults. Study II indicated that prediction error signals in the human brain, a neural computation associated with striatal learning functions, were partially impaired in older adults. Study III demonstrated partially intact procedural memory in older adults in a spatial memory task, whereby age differences were modulated by a polymorphism influencing long-term potentiation in the MTL (rs17070145 on WWC1). Finally, Study IV showed hat that neural representations and computations subserving spatial memory qualitatively differed between younger and older adults. The performance and neural activation of younger adults showed unique properties of MTL-dependent declarative memory. Older adults, in contrast, showed behavioral and neural indications of procedural memory but the localization of the neural signatures peaked in the MTL.

Beim Graphisomorphieproblem geht es um die Frage, ob zwei Graphen bis auf Knotenumbenennungen die gleiche Struktur haben. Es ist eines der wenigen verbleibenden natürlichen Probleme, für die weder ein Polynomialzeitalgorithmus noch NP-Härte bekannt ist. Aus dieser Situation ist ein Forschungszweig erwachsen, der effiziente Isomorphiealgorithmen für eingeschränkte Graphklassen entwickelt. Der Hauptbeitrag dieser Arbeit besteht in Logspace-Algorithmen, die das Isomorphieproblem für k-Bäume, Intervallgraphen, sowie Helly- und Proper-Kreisbogengraphen lösen. Dies verbessert zuvor bekannte parallele Algorithmen und führt zu einer vollständigen Klassifikation der Komplexität dieser Probleme, da für sie auch Logspace-Härte nachgewiesen wird. Tatsächlich leisten die vorgestellten Algorithmen mehr: Im Fall der k-Bäume berechnet der Algorithmus kanonische Knotenbenennungen mit O(k log n) Platz. Eine alternative Implementation des Algorithmus kommt mit O((k+1)!n) Zeit aus – hierbei ist n die Anzahl der Knoten – und ist damit der schnellste bekannte FPT-Algorithmus für Isomorphie von k-Bäumen. Die Algorithmen für Intervall- und Kreisbogengraphen berechnen kanonische Repräsentationen – das heißt, sie weisen jedem Knoten ein Intervall (beziehungsweise einen Kreisbogen) zu, sodass diese sich genau dann schneiden, wenn die zugehörigen Knoten benachbart sind, und isomorphe Eingabegraphen das gleiche Intervallmodell (beziehungsweise Kreisbogenmodell) erhalten. Außerdem werden auch Logspace-Algorithmen angegeben, die Intervallrepräsentationen mit zusätzlichen Eigenschaften berechnen – oder erkennen, dass dies nicht möglich ist: Für die resultierenden Intervallmodelle kann gefordert werden, dass sie proper sind (also kein Intervall ein anderes enthält), dass sie unit sind (also alle Intervalle die gleiche Länge haben) oder dass die Längen der paarweisen Schnitte (und optional der einzelnen Intervalle) vorgegebenen Werten entsprechen. / The graph isomorphism problem deals with the question if two graphs have the same structure up to renaming their vertices. It is one of the few remaining natural problems for which neither a polynomial-time algorithm nor NP-hardness is known. This situation has led to a branch of research that develops efficient algorithms for special cases of the graph isomorphism problem, where the input graphs are required to be from restricted graph classes. The main contribution of this thesis comprises of logspace algorithms that solve the isomorphism problem for k-trees, interval graphs, Helly circular-arc graphs and proper circular-arc graphs. This improves previously known parallel algorithms and leads to a complete classification of the complexity of these problems, as they are also shown to be hard for logspace. In fact, these algorithms achieve more: In the case of k-trees, the algorithm computes canonical labelings in space O(k log n). An alternative implementation runs in time O((k+1)!n), where n is the number of vertices, yielding the fastest known FPT algorithm for k-tree isomorphism. The algorithms for interval and circular-arc graphs actually compute canonical representations, i.e., each vertex is assigned an interval (or arc) such that these intersect each other if and only if the corresponding vertices are adjacent, and isomorphic input graphs receive the same interval (or arc) model. This thesis also presents logspace algorithms that compute interval representations with additional properties, or detect that this is not possible: The resulting interval models can be required to be proper (no interval contains another), unit (all intervals have the same length), or to satisfy prescribed lengths for pairwise intersections (and possibly prescribed lengths of intervals).

Diese Arbeit leistet Beiträge im Bereich der deskriptiven Komplexitätstheorie. Zunächst beschäftigen wir uns mit der ungelösten Frage, ob es eine Logik gibt, welche die Klasse der Polynomialzeit-Eigenschaften (PTIME) charakterisiert. Wir betrachten Graphklassen, die unter induzierten Teilgraphen abgeschlossen sind. Auf solchen Graphklassen lässt sich die 1976 von Gallai eingeführte modulare Zerlegung anwenden. Graphen, die durch modulare Zerlegung nicht zerlegbar sind, heißen prim. Wir stellen ein neues Werkzeug vor: das Modulare Zerlegungstheorem. Es reduziert (definierbare) Kanonisierung einer Graphklasse C auf (definierbare) Kanonisierung der Klasse aller primen Graphen aus C, die mit binären Relationen auf einer linear geordneten Menge gefärbt sind. Mit Hilfe des Modularen Zerlegungstheorems zeigen wir, dass Fixpunktlogik mit Zählen (FP+C) PTIME auf der Klasse aller Permutationsgraphen und auf der Klasse aller chordalen Komparabilitätsgraphen charakterisiert. Wir beweisen zudem, dass modulare Zerlegungsbäume in Symmetrisch-Transitive-Hüllen-Logik mit Zählen (STC+C) definierbar und damit in logarithmischem Platz berechenbar sind. Weiterhin definieren wir eine neue Logik für die Komplexitätsklasse Logarithmischer Platz (LOGSPACE). Wir erweitern die Logik erster Stufe mit Zählen um einen Operator, der eine in logarithmischem Platz berechenbare Form der Rekursion erlaubt. Die resultierende Logik LREC ist ausdrucksstärker als die Deterministisch-Transitive-Hüllen-Logik mit Zählen (DTC+C) und echt in FP+C enthalten. Wir zeigen, dass LREC LOGSPACE auf gerichteten Bäumen charakterisiert. Zudem betrachten wir eine Erweiterung LREC= von LREC, die sich gegenüber LREC durch bessere Abschlusseigenschaften auszeichnet und im Gegensatz zu LREC ausdrucksstärker als die Symmetrisch-Transitive-Hüllen-Logik (STC) ist. Wir beweisen, dass LREC= LOGSPACE sowohl auf der Klasse der Intervallgraphen als auch auf der Klasse der chordalen klauenfreien Graphen charakterisiert. / This theses is making contributions to the field of descriptive complexity theory. First, we look at the main open problem in this area: the question of whether there exists a logic that captures polynomial time (PTIME). We consider classes of graphs that are closed under taking induced subgraphs. For such graph classes, an effective graph decomposition, called modular decomposition, was introduced by Gallai in 1976. The graphs that are non-decomposable with respect to modular decomposition are called prime. We present a tool, the Modular Decomposition Theorem, that reduces (definable) canonization of a graph class C to (definable) canonization of the class of prime graphs of C that are colored with binary relations on a linearly ordered set. By an application of the Modular Decomposition Theorem, we show that fixed-point logic with counting (FP+C) captures PTIME on the class of permutation graphs and the class of chordal comparability graphs. We also prove that the modular decomposition tree is definable in symmetric transitive closure logic with counting (STC+C), and therefore, computable in logarithmic space. Further, we introduce a new logic for the complexity class logarithmic space (LOGSPACE). We extend first-order logic with counting by a new operator that allows it to formalize a limited form of recursion which can be evaluated in logarithmic space. We prove that the resulting logic LREC is strictly more expressive than deterministic transitive closure logic with counting (DTC+C) and that it is strictly contained in FP+C. We show that LREC captures LOGSPACE on the class of directed trees. We also study an extension LREC= of LREC that has nicer closure properties and that, unlike LREC, is more expressive than symmetric transitive closure logic (STC). We prove that LREC= captures LOGSPACE on the class of interval graphs and on the class of chordal claw-free graphs.

No description available.

Jahresbericht der Universitätsbibliothek Chemnitz - Berichtsjahr 2006 / Annual report of the University Library of Chemnitz in 2006

The aim of this diploma thesis is to employ a theatrological approach to the work of one of the most original and influential Czech pantomime troupes of all time, entitled Pantomima Alfreda Jarryho (the Alfred Jarry Pantomime, AJP). The company was established in 1966 in Prague by two young mime artists Boris Hybner and Ctibor Turba and existed as late as the political liquidation of the troupe in 1972 that came due to the process of the so-called normalization period in the former Czechoslovakia. The thesis consists of four major parts that are divided into several subsections. The first part deals with the historical contexts of the art of mime, both international and domestic. The AJP troupe represents the second generation of Czech pantomime that refused the style of the so-called modern pantomime expressed in the international context by Marcel Marceau and in the Czech context by Ladislav Fialka at the Theatre Na zábradlí (Theatre on the Balustrade). Since there is no monograph strictly based on this theatre, although it played a major role among the newly established small theatres in the sixties (and had an important influence on the poetics of the AJP troupe), we briefly introduce the poetics of both the pantomime company led by Fialka and the drama company led by the director Jan Grossman,...

Jahresbericht der Universitätsbibliothek Chemnitz - Berichtsjahr 2006 / Annual report of the University Library of Chemnitz in 2006