Doctoral Thesis
Refine
Year of publication
Document Type
- Doctoral Thesis (1990) (remove)
Language
- English (1990) (remove)
Has Fulltext
- yes (1990)
Is part of the Bibliography
- no (1990)
Keywords
- ALICE (8)
- Quark-Gluon-Plasma (8)
- Membranproteine (7)
- Geldpolitik (6)
- Proteine (6)
- Apoptosis (5)
- Biochemie (5)
- Heavy Ion Collisions (5)
- Immunologie (5)
- LHC (5)
Institute
- Biowissenschaften (408)
- Physik (365)
- Biochemie und Chemie (278)
- Biochemie, Chemie und Pharmazie (192)
- Medizin (117)
- Pharmazie (92)
- Geowissenschaften (86)
- Informatik und Mathematik (83)
- Informatik (54)
- Mathematik (45)
1. A preliminary revision of the genus Muntiacus in the Indo-Australian Archipelago Introduction Sexual differences Sexual cycle Characters of age in the dentitions Age differences in skull measurements Age differences of antlers Age differences in coat Systematic part 2. Revision of the genus Arctogalidia in the Indo-Australian Archipelago. Introduction Key to the greges in the genus Arctogalidia Key to the subspecies of the grex A. t. trivirgata Gregal form A. t. trilineata
In the present paper we develop the essential theoretical tools for the treatment of the dynamics of High Energy Heavy Ion Collisions. We study the influence of the nuclear equation of state and discuss the new phenomena connected with phase transitions in nuclear matter (pion condensation). Furthermore we investigate the possibility of a transition from nuclear to quark matter in High Energy Heavy Ion Collisions. In this context we discuss exotic phenomena like strongly bound pionic states, limiting temperatures, and exotic nuclei.
The bulk of this dissertation is an analysis of grammatical relations (including syntactic, pragmatic, and semantic relations) in Modern Mandarin Chinese. In Chapter I the background, functional framework, and concepts used in the dissertation are introduced. In Chapter II it is shown that Chinese has not grammaticalized the syntactic functions 'subject' and 'object', and has no syntactic function-changing passive construction. In Chapter III the nature of word order and its relationship to information structure in Chinese is examined. It is argued that word order in Chinese does not mark 'definite' and 'indefinite' NPs, as is commonly assumed, but marks information structure. A number of marked focus structure constructions are also discussed. In Chapter IV the discussion is of the structure of Chinese discourse, developed from an analysis of the nature of discourse referent tracking. It is shown that recovery of anaphora is not based on syntactic functions, but is based on real world knowledge (semantics and pragmatics) and discourse structure. Chapter V gives the conclusions, followed by a discussion of some of the diachronic considerations that arose in the course of this investigation. It is suggested that within Sino-Tibetan, Chinese should be seen as an innovator in terms of word order, and that grammatical relations in Proto-Sino-Tibetan should be seen to be pragmatically based rather than syntactically based.
This thesis represents an original contribution to research in offering a comprehensive analysis of the work of Rudolf Bahro. The thesis combines a study of Bahro's work as a prominent opposition figure in the German Democratic Republic in the 1970s with an assessment of his career as an outspoken member of the West German Green Party in the 1980s. The core of the thesis is devoted to a thorough reappraisal of Bahro's major critique of 'actually existing socialism' in East Germany, Die Alternative - Zyr Kraik des real existierenden Sozialismus. Bahro's harsh critique of the SED is explored within the context of the GDR's historical development and Eastern European Marxist revisionism in general. A critical analysis of the extensive secondary literature which now surrounds this work is undertaken to discover how far existing interpretations offer an accurate assessment of Die Alternative. A further section compares for the first time the differing reception of Bahro's study in both East and West Germany. Bahro's earliest essays as an editor of the GDR journal Forum and his first critical work ... die nicht mit den Wolfen heulen are discussed as a key to establishing the particular nature of his opposition. Later chapters trace the development of Sahro's theories and discuss his contribution to the peace and ecology debates in West Germany in the 1980s. Bahro's efforts to achieve a synthesis of the interests of ecology and socialism are explored and his 'Fundamentalist' version of Green politics is discussed within the context of the Green Party's early development. The thesis concludes with an assessment of the increasingly radical utopianism permeating Bahro's writings and offers a critical examination of his attempts to infuse the ecology debate with a spiritual dimension, as detailed in Logik der Rettung, his chief work written in West Germany.
In literary translation 'correctness' is rarely ratified by linguistic rules; it is more often a question of what a sensitive translator feels to be correct. Intuition will therefore play a major part. This intuition is seen here neither as instinctive reaction prompted by experience, nor as native competence, but as an inquiring, self-moderating influence inspired by the language itself. It is treated in this respect as an informed intuition, that is, as having a linguistic base for sensitive judgement. This assumes that the literary translator is both a creative writer and his own critical reader as well as a fine judge of language potential. This line is applied to translating meaning and sense, transferring the very language, imitating the form and style, re-creating the features, and above all, to capturing those unique qualities of the original. After dealing with word-accuracy, the question of literary input demanded by form and style is examined. The treatment of language used for effect features in a section on Kafka. The merits and the problems of translating dialect as dialect for its own sake are looked at closely and in a positive way as are the possibilities of reproducing 'oddities' of language. The immense task of translating the language of Joyce ('Ulysses ') with all its vagaries and skilful manipulation of words is examined for the possibility of providing an accurate copy. The ultimate test of reproducing a uniqueness of artistic creation together with the profound thought which inspired it, is reserved for a section on Hopkins. While it is recognized that, owing to the constrictions imposed by the extreme and sensitive use of language, no translation can fully include all that there is in his poems, it might be possible to capture enough of their essence to give an impression of a 'German' Hopkins at work. A major objective throughout is the establishment of a linguistic base for the part played by intuition in literary translation.
The political reform process that gathered momentum in eastern and south-eastern Europe during 1987 and 1988 was accompanied by a growing exodus of ethnic and cultural Germans (Aussiedler) who sought resettlement in West Germany. The Aussiedler were welcomed enthusiastically by Chancellor Kohl as fellow German compatriots who would be a benefit to the economy. The opposition SPD voiced its concerns over the government's motives for maintaining the open-door Aussiedler immigration policy and over the likely integration difficulties. The government sought to respond to public concerns in 1988 by reassessing its Aussiedler policy. It decided firstly to continue the open-door Aussiedler policy (as a constitutional right), secondly to implement an Aussiedler integration assistance programme and thirdly to seek to persuade potential Aussiedler not to emigrate to West Germany. The thesis adopts a multi-disciplinary approach to analysing the government's open-door Aussiedler policy during the period 1988 to 1992, formulating the political and public concerns over the Aussiedler policy into three main research questions. These questions analyse: 1. Whether the government's declared motives for maintaining the open-door Aussiedler policy were justified. 2. Whether the government's optimism over the ability of Aussiedler to successfully integrate into the employment market was justified. 3. Whether the government's policy of seeking to persuade potential Soviet Aussiedler to remain in their country, by negotiating on the re-creation of an autonomous German Volga republic, was viable. The findings for these three main questions allow for an assessment of government Aussiedler policy for the period 1988 - 1992. The thesis argues that there was evidence during the period of study to support the argument that the Aussiedler group was to a degree instrumentalised by the government to serve its own political, economic and nationalistic purposes. Government confidence concerning Aussiedler employment integration proved to be too optimistic, as Aussiedler had specific causes of unemployment. Furthermore, the attempt to negotiate the re-creation of an autonomous German republic in Russia was unsuccessful. The exodus has continued.
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.
This thesis examines the spread and promotion of English on a global level, from a historical perspective in particular ‘Third World’ contexts. The globalization of English as an exclusive language of power is considered to be a trap, when accompanied by an ideology aiming to universalize monolingual and monocultural norms and standards. World-wide English diffusion is related - not to any mystical effects of some psycho-social mechanisms or transmuting alchemy - but to a global rise of military, political, economic, communicational and cultural Euro-American hegemony. The fact that the English language has become perhaps the primary medium of social control and power has not been given a prominent place in the analyses of established social scientists or political planners. On the contrary, the positively idealized dominance of English as a universal medium has become part of a collection of myths seeking to deny the global reality of multilingualism. Not allowing for the existence of any power besides itself, the perpetuation of this hegemony of English within a multilingual scenario has become a contradiction in terms. Centuries of colonialism, followed by neo-colonialism, are seen to have resulted in a world-wide consensus favouring centralization and homogenization of state and world economies, administrations, language, education and mass media systems, as prerequisites to local and global unity. The particular case of India as encountered by a colonizing Britain is used to illustrate the historical clash between differing language and educational traditions and cultures. It was on the strength of their own predominantly positive attitudes towards diversity - encoded in their promotion of complex social and religious philosophies, as well as varied economic and educational practices of pluralism and hierarchy-without-imposition, unity in diversity, etc. - that the people and their leaders finally achieved Indian independence from British colonialism. Contemporary Indian society, however, is still grappling with the legacy of a Eurocentric civilizational model - encoded in the neo-colonial system of English education - and in conflict with its own positively idealized and actively promoted traditions of pluralism. On national and international levels, the destabilization and destruction of diversity continues to threaten more than the linguistic and cultural uniqueness of numerous communities and individuals. For those majorities and minorities who refuse to give up their ‘differences’, political, economic and physical survival is at stake. A paradoxical reality, seldom acknowledged, is that while for the politically and economically already powerful language groups, the enormous resources spent on formal (language) education have become a means to maintain their material and political capital, whereas for the majority of modern societies' marginalized members, powerful linguistic barriers to full economic or political participation remain firmly in place. The justifications for perpetuating exclusionary policies and sustaining structural inequality have come from monocultural ideological assumptions in education and language policies as one of the key mechanisms for state control of labour. This thesis concludes that the trap of an ideologically exclusive status for English can be avoided by theoretically positivizing and institutionally promoting existing multilingual and multicultural peoples’ realities as an integral part of their human rights, in order to resist global Englishization.
Das Ziel der Untersuchung von ultra-relativistischen Schwerionenkollisionen ist die Suche nach dem Quark Gluon Plasma (QGP), einem Zustand hochdichter stark wechselwirkender Materie in dem der Einschluss von Quarks und Gluonen in Hadronen aufgehoben ist. Die bisher gewonnenen experimentellen Hinweise deuten daraufhin,daß in Schwerionenkollisionen bei den derzeit höchsten zur Verfügung stehenden Energien von 158 GeV/Nukleon in Pb+Pb Reaktionen am CERN-SPS die Rahmenbedingungen für einen Phasenübergang von hadronischer Materie zu einer partonischen Phaseerfüllt sind. Die exakte Phasenstruktur stark wechselwirkender Materie hingegen ist derzeit noch nicht vollständig verstanden. Da inklusive hadronische Observablen und "penetrierende Proben" nicht direkt sensitiv auf die Existenz und Natur des Phasenübergangs sind, wurde die Analyse von Einzelereignis-"event-by-event"-Fluktuationenvorgeschlagen. Das Fluktuationsverhalten von Einzelereignis-Observablen sollte direkt sensitiv auf die Natur des zu beobachtenden Phasenübergangssein. In dieser Arbeit wurden Fluktuationen in der "chemischen" Zusammensetzung der Teilchenquelle untersucht und erste Ergebnisse werden präsentiert.