The Evolution of a Responsibility to Protect in Africa : The African Unions Emerging Peace and Security Regime

The thesis focuses on, and tries to evaluate, the role that the African Union (AU) plays in protecting the peace and security on the African continent. The thesis takes an interdisciplinary approach to the topic by both utilizing international relations and international law theories. The two disciplines are combined in an attempt to understand the evolution of the AU’s commitment to the pragmatist doctrine: responsibility to protect (R2P). The AU charter is considered to be the first international law document to cover R2P as it allows the AU to interfere in the internal affairs of its member states. The R2P doctrine was evolved around the notion of a need to arrive at a consensus in regard to the right to intervene in the face of humanitarian emergencies. A part of the post-Cold War shift in UN behaviour has been to support local solutions to local problems. Hereby the UN acts in collaboration with regional organizations, such as the AU, to achieve the shared aspirations to maintain international peace and security without getting directly involved on the ground. The R2P takes a more holistic and long-term approach to interventions by including an awareness of the need to address the root causes of the crisis in order to prevent future resurrections of conflicts. The doctrine also acknowledges the responsibility of the international community and the intervening parties to actively participate in the rebuilding of the post-conflict state. This requires sustained and well planned support to ensure the development of a stable society.While the AU is committed to implementing R2P, many of the AU’s members are struggling, both ideologically and practically, to uphold the foundations on which legitimate intervention rests, such as the protection of human rights and good governance. The fact that many members are also among the poorest countries in the world adds to the challenges facing the AU. A lack of human and material resources leads to a situation where few countries are willing, or able, to support a long-term commitment to humanitarian interventions. Bad planning and unclear mandates also limit the effectiveness of the interventions. This leaves the AU strongly dependent on regional powerbrokers such as Nigeria and South Africa, which in itself creates new problems in regard to the motivations behind interventions. The current AU charter does not provide sufficient checks and balances to ensure that national interests are not furthered through humanitarian interventions. The lack of resources within the AU also generates worries over what pressure foreign nations and other international actors apply through donor funding. It is impossible for the principle of “local solutions for local problems? to gain ground while this donor conditionality exists.The future of the AU peace and security regime is not established since it still is a work in progress. The direction that these developments will take depends on a wide verity of factors, many of which are beyond the immediate control of the AU.

Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Dwelling in possibility: aestheticizing identity in African American women's fiction

African American women writers define aesthetics through their negotiation of identity in the politicized loci of space, place and voice. In the balkanization of such issues of voice and space, we can see the ways that the emergent selfis embodied and aestheticized in literature. To do so creates a more tactile and "artfull" representation of the self rather than a representation of identity as a mere abstract concept. To use written language to express the self is to carry processes of selfdefinition for black women into the realm of creative production. For women, especially black women, who are a politically and socially compromised element of society, the written word is a way of expressing the politically and the socially critical voice that is suppressed in other forums of expression. Using theories on "writing in difference" as a skeleton key, this project seeks to outline some of the ways that black women writers use aesthetic elements in their art to express the potential for self-examination, discovery, and emancipation.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Sexual blinging of women : Alice Walker's african character tashi and issue of female genital cutting

This thesis provides a reading of the different forms of representation that can be attributed to the character Tashi, the protagonist of the novel Possessing the Secret of Joy (1992), written by the African American writer Alice Walker. Before this work Tashi had already appeared in two previous novels by Walker, first, in The Color Purple (1982) and then, as a mention, in The Temple of My Familiar (1989). With Tashi, the author introduces the issue of female circumcision, a ritual Tashi submits herself to at the beginning of her adult life. The focus of observation lies in the ways in which the author’s anger is transformed into a means of creative representation. Walker uses her novel Possessing the Secret of Joy openly as a political instrument so that the expression “female mutilation” (term used by the author) receives ample attention from the media and critics in general. The aim of this investigation is to evaluate to what extent Walker’s social engagement contributes to the development of her work and to what extent it undermines it. For the analysis of the different issues related to “female genital cutting”, the term I use in this thesis, the works of feminist critics and writers such as Ellen Gruenbaum, Lightfoot-Klein, Nancy Hartsock, Linda Nicholson, Efrat Tseëlon and the Egyptian writer and doctor Nawal El Saadawi will be consulted. I hope that this thesis can contribute as an observation about Alice Walker’s use of her social engagement in the creation of her fictional world.

African-Derived mitochondria in South American native cattle breeds (Bos taurus): Evidence of a new taurine mitochondrial lineage

This article reports the nucleotide diversity within the control region of 42 mitochondrial chromosomes belonging to five South American native cattle breeds (Bos taurus). Analysis of these data in conjunction with B. taurus and B. indicus sequences from Africa, Europe, the Near East, India, and Japan allowed the recognition of eight new mitochondrial haplotypes and their relative positions in a phylogenetic network. The structure of genetic variation among different hypothetical groupings was tested through the molecular variance decomposition, which was best explained by haplotype group components. Haplotypes surveyed were classified as European-related and African-related. Unexpectedly, two haplotypes within the African cluster were more divergent from the African consensus than the latter from the European consensus. A neighbor-joining tree shows the position of two haplotypes compared to European/African mitochondrial lineage splitting. This different and putatively ancestral mitochondrial lineage (AA) is supported by the calibration of sequence divergence based on the Bos-Bison separation. The European/African mitochondria divergence might be subsequent (67,100 years before present) to that between AA and Africans (84,700 years before present), also preceding domestication times. These genetic data could reflect the haplotype distribution of Iberian cattle five centuries ago.