Filtern
Erscheinungsjahr
Dokumenttyp
Sprache
- Englisch (518) (entfernen)
Schlagworte
- Stress (27)
- Modellierung (19)
- Fernerkundung (18)
- Optimierung (17)
- Deutschland (16)
- Hydrocortison (13)
- Satellitenfernerkundung (13)
- Cortisol (9)
- Finanzierung (9)
- cortisol (9)
Institut
- Raum- und Umweltwissenschaften (99)
- Psychologie (94)
- Fachbereich 4 (53)
- Mathematik (47)
- Fachbereich 6 (38)
- Wirtschaftswissenschaften (29)
- Fachbereich 1 (24)
- Informatik (19)
- Anglistik (15)
- Rechtswissenschaft (14)
The vision of a future information and communication society has prompted leading politicians in the United States, the European Union and Japan to influence or even lead the economic and social transition in the context of an active technology policy. The technological development of society, however, is a product of a complex interplay of technological, economic and socio-political constraints. These constraints limit the political decision-making and implementation abilities. Moreover, facts and information are continuously changing during a paradigmatic technological, economic and social shift, which limits political decision-making abilities. This study compares political decision-making to promote computer-mediated communications in the Triad since the beginning of the 1980s, on four levels: the development of a political vision, the long-term aims and strategies, technology policy (e.g. the promotion of technological development and competition policy) and regulatory policy (e.g. universal access, protection of privacy and intellectual property). While technology policy tends to be uncontroversial, during a paradigmatic shift regulatory policy is difficult and lengthy. Nevertheless, the inclusion of interest groups, which rise during this paradigmatic shift and which are close to the technologies and their societal consequences, help to aid decision-making processes. In this context, politics in the United States has been more successful that in the European Union and especially Japan. Although this study predates the rise of eCommerce over the Internet, it addresses many of the themes underlying it. Of these themes, many remain politically unsettled, both on national, supranational and especially international levels. For example, for encryption and secure payments, which are necessary for eCommerce, no international standards do yet exist. The issue of taxation has hardly been opened for discussions. In sum, this study does not only offer a historical overview of the development of the Internet, but it also discusses issues of continuing present concern.
XML (Extensible Markup Language) ist ein sequentielles Format zur Speicherung und Übermittlung strukturierter Daten. Obwohl es ursprünglich für die Dokumentenverarbeitung entwickelt wurde, findet XML heute Verwendung in nahezu allen Bereichen der Datenverarbeitung, insbesondere aber im Internet. Jede XML-Dokumentenverarbeitungs-Software basiert auf einem XML-Parser. Der Parser liest ein Dokument in XML-Syntax ein und stellt es als Dokumentbaum der eigentlichen Anwendung zur Verfügung. Dokumentenverarbeitung ist dann im wesentlichen die Manipulation von Bäumen. Moderne funktionale Programmiersprachen wie SML und Haskell unterstützen Bäume als Basis-Datentypen und sind daher besonders gut für die Implementierung von Dokumentenverarbeitungs-Systemen geeignet. Um so erstaunlicher ist es, dass dieser Bereich zum größten Teil von Java-Software dominiert wird. Dies ist nicht zuletzt darauf zurückzuführen, dass noch keine vollständige Implementierung der XML-Syntax als Parser in einer funktionalen Programmiersprache vorliegt. Eine der wichtigsten Aufgaben in der Dokumentenverarbeitung ist Querying, d.h. die Lokalisierung von Teildokumenten, die eine angegebene Strukturbedingung erfüllen und in einem bestimmten Kontext stehen. Die baumartige Auffassung von Dokumenten in XML erlaubt die Realisierung des Querying mithilfe von Techniken aus der Theorie der Baumsprachen und Baumautomaten. Allerdings müssen diese Techniken an die speziellen Anforderungen von XML angepasst werden. Eine dieser Anforderungen ist, dass auch extrem große Dokumente verarbeitet werden müssen. Deshalb sollte der Querying-Algorithmus in einem einzigen Durchlauf durch das Dokument ausführbar sein, ohne den Dokumentbaum explizit im Speicher aufbauen zu müssen. Diese Arbeit besteht aus zwei Teilen. Der erste Teil beschreibt den XML- Parser fxp, der vollständig in SML programmiert wurde. Insbesondere werden die Erfahrungen mit SML diskutiert, die während der Implementierung von fxp gewonnen wurden. Es folgt eine Analyse des Laufzeit-Verhaltens von fxp und ein Vergleich mit anderen XML-Parsern, die in imperativen oder objekt- orientierten Programmiersprachen entwickelt wurden. Im zweiten Teil beschreiben wir einen Algorithmus zum Querying von XML- Dokumenten, der auf der Theorie der Waldautomaten fundiert ist. Er findet alle Treffer einer Anfrage in höchstens zwei Durchläufen durch das Dokument. Für eine wichtige Teilklasse von Anfragen kann das Querying sogar in einem einzelnen Durchlauf realisiert werden. Außerdem wird die Implementierung des Algorithmus in SML mit Hilfe von fxp dargestellt.
The study at hand deals with madness as it is represented in English Canadian fiction. The topic seemed most interesting and fruitful for analysis due to the fact that as the ways madness has been defined, understood, described, judged and handled differ quite profoundly from society to society, from era to era, as the language, ideas and associations surrounding insanity are both strongly culture-relative and shifting, madness as a theme of myth and literature has always been a excellent vehicle to mirror the assumptions and arguments, the aspirations and nostalgia, the beliefs and values, hopes and fears of its age and society. Thus, while the overall intent of this study is to elucidate some discernible patterns of structure and style which accompany the use of madness in Canadian literature, to investigate the varying sorts of portrayal and the conventions of presentation, to interpret the use of madness as literary devices and to highlight the different statements which are made, the continuity, variation, and changes in the theme of madness provide an informing principle in terms of certain Canadian experiences and perceptions. By examining madness as it represents itself in Canadian literature and considering the respective explorations of the deranged mind within their historical context, I hope to demonstrate that literary interpretations of madness both reflect and question cultural, political, religious and psychological assumptions of their times and that certain symptoms or usages are characteristic of certain periods. Such an approach, it is hoped, might not only contribute towards an assessment of the wealth of associations which surround madness and the ambivalence with which it is viewed, but also shed some light on the Canadian imagination. As such this study can be considered not only as a history of literary madness, but a history of Canadian society and the Canadian mind.
Contents: I. History of the Korean Civil Code II. Background for Initiation of the Amendment of the Civil Code (Property Law) and their Progress III. Fundamental Direction of the Amendment of the Civil Code (Property Law) IV. Major Foreign Statutes Used as Reference for the Amendment of the Civil Code (Property Law) V. Major Details of the Amendment of the Civil Code (Property Law) VI. Concluding Remarks: Evaluation
The goal of this thesis is to transfer the logarithmic barrier approach, which led to very efficient interior-point methods for convex optimization problems in recent years, to convex semi-infinite programming problems. Based on a reformulation of the constraints into a nondifferentiable form this can be directly done for convex semi- infinite programming problems with nonempty compact sets of optimal solutions. But, by means of an involved max-term this reformulation leads to nondifferentiable barrier problems which can be solved with an extension of a bundle method of Kiwiel. This extension allows to deal with inexact objective values and subgradient information which occur due to the inexact evaluation of the maxima. Nevertheless we are able to prove similar convergence results as for the logarithmic barrier approach in the finite optimization. In the further course of the thesis the logarithmic barrier approach is coupled with the proximal point regularization technique in order to solve ill-posed convex semi-infinite programming problems too. Moreover this coupled algorithm generates sequences converging to an optimal solution of the given semi-infinite problem whereas the pure logarithmic barrier only produces sequences whose accumulation points are such optimal solutions. If there are certain additional conditions fulfilled we are further able to prove convergence rate results up to linear convergence of the iterates. Finally, besides hints for the implementation of the methods we present numerous numerical results for model examples as well as applications in finance and digital filter design.
This work is concerned with the numerical solution of optimization problems that arise in the context of ground water modeling. Both ground water hydraulic and quality management problems are considered. The considered problems are discretized problems of optimal control that are governed by discretized partial differential equations. Aspects of special interest in this work are inaccurate function evaluations and the ensuing numerical treatment within an optimization algorithm. Methods for noisy functions are appropriate for the considered practical application. Also, block preconditioners are constructed and analyzed that exploit the structure of the underlying linear system. Specifically, KKT systems are considered, and the preconditioners are tested for use within Krylov subspace methods. The project was financed by the foundation Stiftung Rheinland-Pfalz für Innovation and carried out in joint work with TGU GmbH, a company of consulting engineers for ground water and water resources.
Due to the breath-taking growth of the World Wide Web (WWW), the need for fast and efficient web applications becomes more and more urgent. In this doctoral thesis, the emphasis will be on two concrete tasks for improving Internet applications. On the one hand, a major problem of many of today's Internet applications may be described as the performance of the Client/Server-communication: servers often take a long time to respond to a client's request. There are several strategies to overcome this problem of high user-perceived latencies; one of them is to predict future user-requests. This way, time-consuming calculations on the server's side can be performed even before the corresponding request is being made. Furthermore, in certain situations, also the pre-fetching or the pre-sending of data might be appropriate. Those ideas will be discussed in detail in the second part of this work. On the other hand, a focus will be placed on the problem of proposing hyperlinks to improve the quality of rapid written texts, at first glance, an entirely different problem to predicting client requests. Ultra-modern online authoring systems that provide possibilities to check link-consistencies and administrate link management should also propose links in order to improve the usefulness of the produced HTML-documents. In the third part of this elaboration, we will describe a possibility to build a hyperlink-proposal module based on statistical information retrieval from hypertexts. These two problem categories do not seem to have much in common. It is one aim of this work to show that there are certain, similar solution strategies to look after both problems. A closer comparison and an abstraction of both methodologies will lead to interesting synergetic effects. For example, advanced strategies to foresee future user-requests by modeling time and document aging can be used to improve the quality of hyperlink-proposals too.
The discretization of optimal control problems governed by partial differential equations typically leads to large-scale optimization problems. We consider flow control involving the time-dependent Navier-Stokes equations as state equation which is stamped by exactly this property. In order to avoid the difficulties of dealing with large-scale (discretized) state equations during the optimization process, a reduction of the number of state variables can be achieved by employing a reduced order modelling technique. Using the snapshot proper orthogonal decomposition method, one obtains a low-dimensional model for the computation of an approximate solution to the state equation. In fact, often a small number of POD basis functions suffices to obtain a satisfactory level of accuracy in the reduced order solution. However, the small number of degrees of freedom in a POD based reduced order model also constitutes its main weakness for optimal control purposes. Since a single reduced order model is based on the solution of the Navier-Stokes equations for a specified control, it might be an inadequate model when the control (and consequently also the actual corresponding flow behaviour) is altered, implying that the range of validity of a reduced order model, in general, is limited. Thus, it is likely to meet unreliable reduced order solutions during a control problem solution based on one single reduced order model. In order to get out of this dilemma, we propose to use a trust-region proper orthogonal decomposition (TRPOD) approach. By embedding the POD based reduced order modelling technique into a trust-region framework with general model functions, we obtain a mechanism for updating the reduced order models during the optimization process, enabling the reduced order models to represent the flow dynamics as altered by the control. In fact, a rigorous convergence theory for the TRPOD method is obtained which justifies this procedure also from a theoretical point of view. Benefiting from the trust-region philosophy, the TRPOD method guarantees to save a lot of computational work during the control problem solution, since the original state equation only has to be solved if we intend to update our model function in the trust-region framework. The optimization process itself is completely based on reduced order information only.
The main purpose of this dissertation is to solve the following question: How will the emergence of the Euro influence the currency composition of the NICs?monetary reserves? Taiwan and Thailand are chosen as our investigation subjects. There are two sorts of motives for central banks' reserve holdings, i.e., intervention-related motives and portfolio-related motives. The need for reserve holdings resulting from intervention-related motives are justified because of the costs resulting from exchange rate instability. On the other hand, we use the Tobin-Markowitz model to justify the need for monetary reserves held for portfolio-related motives. The operational implication of this distinction is the separation of monetary reserves into two tranches corresponding to different objectives. An analysis of a central bank's transaction balance is a money quality analysis. Such an analysis has to do with transaction costs and non-pecuniary rates of return. The facts point out, that the Euro's emergence will not change the fact that the USD will continue to be the major currency of transaction balances of the central banks in Taiwan and Thailand. In order to answer the question about diversification of monetary reserves as idle balance in the two NICs, we carry out an analysis of the portfolio approach, which is based on the basic ideas of the Tobin-Markowitz model. This analysis shows that Taiwan and/or Thailand respectively cannot reduce risk at a given rate of return or increase the rate of return at a given risk by diversifying their monetary reserves as idle balance from the USD to the Euro.
In this thesis we focus on the development and investigation of methods for the computation of confluent hypergeometric functions. We point out the relations between these functions and parabolic boundary value problems and demonstrate applications to models of heat transfer and fluid dynamics. For the computation of confluent hypergeometric functions on compact (real or complex) intervals we consider a series expansion based on the Hadamard product of power series. It turnes out that the partial sums of this expansion are easily computable and provide a better rate of convergence in comparison to the partial sums of the Taylor series. Regarding the computational accuracy the problem of cancellation errors is reduced considerably. Another important tool for the computation of confluent hypergeometric functions are recurrence formulae. Although easy to implement, such recurrence relations are numerically unstable e.g. due to rounding errors. In order to circumvent these problems a method for computing recurrence relations in backward direction is applied. Furthermore, asymptotic expansions for large arguments in modulus are considered. From the numerical point of view the determination of the number of terms used for the approximation is a crucial point. As an application we consider initial-boundary value problems with partial differential equations of parabolic type, where we use the method of eigenfunction expansion in order to determine an explicit form of the solution. In this case the arising eigenfunctions depend directly on the geometry of the considered domain. For certain domains with some special geometry the eigenfunctions are of confluent hypergeometric type. Both a conductive heat transfer model and an application in fluid dynamics is considered. Finally, the application of several heat transfer models to certain sterilization processes in food industry is discussed.
This work is concerned with arbitrage bounds for prices of contingent claims under transaction costs, but regardless of other conceivable market frictions. Assumptions on the underlying market are held as weak as convenient for the deduction of meaningful results that make good economic sense. In discrete time we also allow for underlying price processes with uncountable state space. In continuous time the underlying price process is modeled by a semimartingale. For the most part we could avoid any stronger assumptions. The main problems with which we deal in this work are the modelling of (proportional) transaction costs, Fundamental Theorems of Asset Pricing under transaction costs, dual characterizations of arbitrage bounds under transaction costs, Quantile-Hedging under transaction costs, alternatives to the Black-Scholes model in continuous time (under transaction costs). The results apply to stock and currency markets.
"Culture", in addition to its ethnic signification, can also express various groups' and communities' political and economic situation in society. As well as signifying the accommodation of ethnic diversity, the integration of dissimilar cultures in South Africa has to do with both the former oppressors and the formerly oppressed coming to terms with the oppression of the past, and with the equitable distribution of material means. Constitutional and other legal means have been designed to facilitate a process of integration dealing with the abovementioned issues. Some of these measures will be looked at. The speaker will argue that the integration of different cultures in South Africa cannot and will not be achieved if the law is invoked, in a strong arm fashion, trying to concoct a melting pot. The law can do no more than aiding the facilitation of a process of consolidation as precondition to nation building. Deep-seated, cultural differences among various sections of the population cannot and should not be denied or simply thought away.
Globalization and Divergence: Dynamics of Dissensus in Non-Dominant Cinema Cultures of South India
(2002)
Based on her field studies between 1999 and 2003 in the South Indian State Kerala, the author critically reflects about Habermas's concept of the (bourgeois) public sphere, and also about later critiques of Habermas (eg. Eley). Schulze adds the new dimensions of human emotionality and humane ethics to the discussion of today's public (spheres) and civil societies which are part of globalising modernisations. It is poor and marginalized women's strongly felt compassion and love practised in their daily lives, which Schulze focusses on: these Marginalized ethics of the 'Good life' do sharply contrast the dominant societies' value systems; these latters consequently don't provide to the Marginaliezed a 'model'. However, Kerala, which is widely refered to as a development model - particularly with respect to the situation/ education of its women - is thus analysed by the author as a historically and culturally specific kind of 'modernity', which follows are rather violent and aggressive path of development in consonance with the general ruling anti-human/ nature philosophy of 'globalization'. Schulze's tool in her field work is 'participatory action research' and also her 'empathic camera' (camcoder). She mixed with local women who had organized themselves in women's groups with the urge to truly represent themSelves and their own ethics and goals in life - without the usual intervention of men/ of nationalist politics ruling Kerala's public sphere(s). In the course of Schulze and the local women groups becoming acquainted with each other, the scholar and the Marginalized felt the desire to support each other in their respective struggles for empowerment and for being respected as a human being. The author finally understood the fallacy and cynicism which lies in applying as a scholar the term 'women in Kerala' as if there wasn't the day to day particular violence which women of dalit ('untouchable'), or of adivasi (indigenous) background experience. Women's lives are moulded by networks of violence which are inherent to Kerala's castes, classes, and ethnicities, parallel to the basic oppression which women face because they are women. A group of dalit women in Kerala became particularly close companions in Schulze's quest for unravelling seemingly contradictory facts: Kerala's official claim to provide to women and other persons who were generally discriminated against in the larger Indian context, a supportive social and educational environment, on the one hand, and on the other hand the comparatively high number of suicides among Keralite women (and men), and the absence of women in what appears as Kerala's public sphere and 'civil society'. In several analytical steps which always centre around the experiences and feelings of the many poor and marginalized women, their life-worlds, their daily life philosophies, their views, voices, their ethics, dreams, Schulze unfolds these Marginalized visions, and tries to interpret them on their own terms. In this manner not only the mainstream society's propaganda about the 'Kerala development model' is demystified, but also to the reader insights become possible into a totally different set of ethics held by these women. They transgress notions of competition, of the 'necessary' monetarisation of all spheres of human life and of nature, of caste, religious, or gender conflicts. By means of 13 small video films the women together with Schulze showed and reflected upon their philosophy of an empowered 'Good life'.
Since the end of the British Empire, which had provided white Australians with points of view, attitudes and stereotypes of the world - including perceptions of their own role in it -, rediscovering an international identity has been an Australian quest. Many turned to European roots; others to the Aboriginal landscape; Blanche d"Alpuget and Christopher J. Koch are two who have ventured into Asia for the culturally and spiritually regenerative materials necessary to redefine Australia in the post-colonial world. They have taken Eastern concepts of "self", and "soul" and forged them with the Australian obsession of fear and desire of contact with the "other" in a looking-glass of hybrid, Austral-Asian myth to reveal the true soul of Australian identity. Along with a brief historical and literary background to the triangular relationship between white Australia, Asia, and the West, this study- goal is to identify some of the Southeast Asian symbols, myths and literary structures which Koch and d"Alpuget integrate into the Western tradition. Central elements include: dichotomies as of personality, righteousness, and virtue; the "Otherworld", where one may approach enlightenment, but at the risk of falling into self-delusion; archetypes of the Hindu divine feminine; Eastern roots of Koch- themes of the "double man"; concepts of the forces of "light" and "dark"; the semiotics of time and meaning; and the central Eastern metaphor of the mirror by which Australia creates interdependent images of itself and of Asia.
Hardware bugs can be extremely expensive, financially. Because microprocessors and integrated circuits have become omnipresent in our daily live and also because of their continously growing complexity, research is driven towards methods and tools that are supposed to provide higher reliability of hardware designs and their implementations. Over the last decade Ordered Binary Decision Diagrams (OBDDs) have been well proven to serve as a data structure for the representation of combinatorial or sequential circuits. Their conciseness and their efficient algorithmic properties are responsible for their huge success in formal verification. But, due to Shannon's counting argument, OBDDs can not always guarantee the concise representation of a given design. In this thesis, Parity Ordered Binary Decision Diagrams are presented, which are a true extension of OBDDs. In addition to the regular branching nodes of an OBDD, functional nodes representing a parity operation are integrated into the data structure, thus resulting in Parity-OBDDs. Parity-OBDDs are more powerful than OBDDs are, but, they are no longer a canonical representation. Besides theoretical aspects of Parity-OBDDs, algorithms for their efficient manipulation are the main focus of this thesis. Furthermore, an analysis on the factors that influence the Parity-OBDD representation size gives way for the development of heuristic algorithms for their minimization. The results of these analyses as well as the efficiency of the data structure are also supported by experiments. Finally, the algorithmic concept of Parity-OBDDs is extended to Mod-p-Decision Diagrams (Mod-p-DDs) for the representation of functions that are defined over an arbitrary finite domain.
Mobile computing poses different requirements on middleware than more traditional desktop systems interconnected by fixed networks. Not only the characteristics of mobile network technologies as for example lower bandwidth and unreliability demand for customized support. Moreover, the devices employed in mobile settings usually are less powerful than their desktop counterparts. Slow processors, a fairly limited amount of memory, and smaller displays are typical properties of mobile equipment, again requiring special treatment. Furthermore, user mobility results in additional requirements on appropriate middleware support. As opposed to the quite static environments dominating the world of desktop computing, dynamic aspects gain more importance. Suitable strategies and techniques for exploring the environment e.g. in order to discover services available locally are only one example. Managing resources in a fault-tolerant manner, reducing the impact ill-behaved clients have on system stability define yet another exemplary prerequisite. Most state of the art middleware has been designed for use in the realm of static, resource rich environments and hence is not immediately applicable in mobile settings as set forth above. The work described throughout this thesis aims at investigating the suitability of different middleware technologies with regard to application design, development, and deployment in the context of mobile networks. Mostly based upon prototypes, shortcomings of those technologies are identified and possible solutions are proposed and evaluated where appropriate. Besides tailoring middleware to specific communication and device characteristics, the cellular structure of current mobile networks may and shall be exploited in favor of more scalable and robust systems. Hence, an additional topic considered within this thesis is to point out and investigate suitable approaches permitting to benefit from such cellular infrastructures. In particular, a system architecture for the development of applications in the context of mobile networks will be proposed. An evaluation of this architecture employing mobile agents as flexible, network-side representatives for mobile terminals is performed, again based upon a prototype application. In summary, this thesis aims at providing several complementary approaches regarding middleware support tailored for mobile, cellular networks, a field considered to be of rising importance in a world where mobile communication and particularly data services emerge rapidly, augmenting the globally interconnecting, wired Internet.
This doctoral dissertation examines two authors of German descent who are representatives for the development of Canadian literature and its regional focus on the prairies: Frederick Philip Grove (1879-1948) and Robert Kroetsch (*1927). Kroetsch, in his essays and talks, has repeatedly referred to Grove as one of his "literary ancestors". Although there exist monographs and numerous articles on both authors, the present study is the first-ever comparative approach. This study's main access is provided by the motif of disguise and masquerade, which plays a central role in the authors' works. Even if critics have looked at the traditional motif (cf. Homer's Odyssey, or many Renaissance plays) in Kroetsch's writing sporadically, and have used it to examine Grove's biography, no approach has attempted a larger contextualization within/among both writers' oeuvres. According to Lloyd Davis, however, the motif can be seen as "representing the cultural dialogism, rather than any particular thesis, of selfhood" (Davis 16). Hence, it helps interrogate a topic that within Canada - the former colony and current multicultural immigrant society - had and has a specific relevance. As an analytical tool, the motif allows for highlighting both the similarities and the differences between the œuvres of Grove and Kroetsch as key-figures of a (post)colonial literature of Western Canada on the one hand, and for general questions pertaining to the characterisation of figures, the definition of narrative positions and even of genres on the other hand. Following the preface, two theoretical chapters outline conceptions of identity and their deducible forms and functions of disguise and masquerade, including a discussion of John Richardson's Wacousta (1832), which is the first Canadian example for the motif's constitutive use. The second major section sketches, in two separate chapters, the poetics and mentalities (Mentalitätsgeschichte) of each writer within the context of their complete works by looking at biographical data as well as the critics' assessments. After immigrating into Manitoba in 1912, Grove soon became the first representative of a literary prairie-realism. Before, he had faked his suicide in 1909 and stripped off his 'original' identity as the German translator (e.g., Wilde, Wells, Flaubert) as well as modestly successful poet and novelist Felix Paul Greve to leave behind debts and a notorious lover and to reinvent himself in the New World. The protean role-plays of 'FPG' - decoded only 23 years after his death - are manifested in his creation of literary characters, in a "collectivity of identities" (Cavell 12) or number of metonymic personae that keep his critics busy to this date. Providing a different story, Kroetsch's family of German background immigrated into Canada in the mid-19th-century. Kroetsch has been thematizing his native province, Alberta, just as much as general national dispositions or questings in the course of his literary career spanning five decades now. His progressive and experimental writing has earned him, for instance, the label of "Mr Canadian Postmodern" by Linda Hutcheon (Canadian Postmodern 183). Particularly important among his specifically postmodern instruments is the principle of archaeology as derived from Foucault and employed as both metaphor and method; further methodological tools are Barthes' theories on reading/writing as an erotic act, Bakhtin's notion of (the) carnival(ization of literature) and a great sensibility for the myths as well as oral traditions of the North American Natives. If the third section analyzes two of FPG's novels to illustrate his transfer, or literal translation, from a German to a Canadian cultural context, the fourth section represents this study's core with three one-to-one comparisons of the two writers' central prose texts. In spite of all affinities between both authors, however, this section already indicates what section five further underlines: Kroetsch clearly transcends Grove's achievements (which ultimately reduce all his characters and texts to nothing but his own will- and wishful projections and identity-configurations); on the level of narrativity, genre and gender, Kroetsch not only goes far beyond parodying Grove, but proves to be an innovator whose mis-en-scène of the motif of disguise provides both more psychological depth and relevance for socio-historical contexts. This comparative study has been informed by research in the Special Archives and Collections at the University of Manitoba (Grove Papers) and at the University of Calgary (Kroetsch Papers), by related talks at Lund, Belfast and Winnipeg as well as by an occasional quotation from an interview I conducted with Robert Kroetsch as early as 1996.
Today, usage of complex circuit designs in computers, in multimedia applications and communication devices is widespread and still increasing. At the same time, due to Moore's Law we do not expect to see an end in the growth of the complexity of digital circuits. The decreasing ability of common validation techniques -- like simulation -- to assure correctness of a circuit design enlarges the need for formal verification techniques. Formal verification delivers a mathematical proof that a given implementation of a design fulfills its specification. One of the basic and during the last years widely used data structure in formal verification are the so called Ordered Binary Decision Diagrams (OBDDs) introduced by R. Bryant in 1986. The topic of this thesis is integration of structural high-level information in the OBDD-based formal verification of sequential systems. This work consist of three major parts, covering different layers of formal verification applications: At the application layer, an assertion checking methodology, integrated in the verification flow of the high-level design and verification tool Protocol Compiler is presented. At the algorithmic layer, new approaches for partitioning of transition relations of complex finite state machines, that significantly improve the performance of OBDD-based sequential verification are introduced. Finally, at the data structure level, dynamic variable reordering techniques that drastically reduce the time required for reordering without a trade-off in OBDD-size are described. Overall, this work demonstrates how a tighter integration of applications by using structural information can significantly improve the efficiency of formal verification applications in an industrial setting.
Today obesity has been recognized as a disease. Evidence suggests that obesity often has Genetic, environmental, psychological and other factors. Growing evidence points to heredity as a strong determining factor of obesity. The characterization of uncoupling proteins (UCP) represents a major breakthrough of genetic factors towards understanding the molecular basis for energy expenditure and therefore likely to have important implication for the cause and treatment of human obesity. UCPs as mitochondrial anion carriers which creates a pathway that allows dissipation of the proton electrochemical gradient therefore which when deregulated are key risk factors in the development of obesity and other eating disorders. In order to better understand the roles of both UCP2 and UCP3 which considered as prime candidate genes involved in the pathogenesis of obesity, this study elucidate (1) Genomic organization: The human UCP2 (3) gene spans over 8.7 kb (7.5 kb) distributed on 8 (7) exons. Three UCP genes may have evolved from a common ancestor or are the result from gene duplication events. Two mRNA transcripts are generated from hUCP3 gene, the long and short form of hUCP3 is differing by the presence or absence of 37 amino acid residues at the C-terminus. (2) Mutational analysis revealed a mutation in exon 4 of hUCP2 resulting in the substitution of an alanine by a valine at codon 55 and an insertion polymorphism in exon 8 consisted of a 45 bp repeat located 150 bp downstream of the stop codon in the 3'-UTR. The allele frequencies of both polymorphisms were not significantly elevated in a subgroup of children characterized by low Resting Metabolic Rates (RMR). (3) Promoter Analysis showed that the promoter region of hUCP2 lacks a classical TATA or CAAT box. Functional characterization of hUCP2 promoter showed that minimal promoter activity was observed within 65 bp upstream of the transcriptional start site. 75 bp further upstream a strong cis-acting regulatory element was identified which significantly enhanced basal promoter activity. The regulation of human UCP2 gene expression involves complex interactions among positive and negative regulatory elements. the 5"-flanking region of the hUCP3 gene were characterized in which contains both TATA and CAAT boxes as well as consensus motifs for PPRE, TRE, CRE and muscle-specific MyoD and MEF2 sites. Functional characterization identified a cis-acting negative regulatory element between - 2983 and -982 while the region between -982 and -284 showed greatly increased basal promoter activity suggesting the presence of a strong enhancer element. Promoter activity was particularly enhanced in the murine skeletal muscle cell line C2C12 reflecting the tissue-selective expression pattern of UCP3.
Hydrodynamic processes play a fundamental role in the distribution of salt within mangrove-fringed estuaries and mangrove forests. In this thesis, two hydrodynamic processes and their ecological implications were examined. (1) Passive Irrigation and Functional Morphology of Crustacean Burrows in Rhizophora-forests. The mangrove Rhizophora excludes more than 90% of the seawater salt at water intake at the roots. By means of conductivity methods and resin casting, it was found that crustacean burrows play a key role in the removal of excess salt from the root zone. Salt diffuses from the roots into the burrows, and is efficiently flushed from the burrows by rainwater infiltration and tidal irrigation. The burrows contribute significantly to favourable conditions for the growth of Rhizophora trees. (2) Trapping of Mangrove Propagules due to Density-driven Secondary Circulation in Tropical Estuaries. In North East Australian estuaries, mangrove propagules are drifted upstream by density-driven axial surface convergences. Propagules accumulate in hydrodynamic traps upstream from suitable habitat, where they are trapped at least for the entire tropical dry season. Axial convergences may provide an efficient barrier for propagule exchange across estuaries. In such estuaries, mangrove populations can be regarded as floristically isolated, not unlike island communities, even though the populations lie on a continuous coastline. This effect may contribute to the disjunct distribution observed in some mangrove species. The outcomes of this work contribute to the understanding of the importance of salt as a growth and habitat-restricting factor in the mangrove environment.