The basement of the Punta del Este Terrane (Uruguay): an African Mesoproterozoic fragment at the eastern border of the South American Rio de La Plata craton

The Punta del Este Terrane (eastern Uruguay) lies in a complex Neoproterozoic (Brasiliano/Pan-African) orogenic zone considered to contain a suture between South American terranes to the west of Major Gercino-Sierra Ballena Suture Zone and eastern African affinities terranes. Zircon cores from Punta del Este Terrane basement orthogneisses have U-Pb ages of ca. 1,000 Ma, which indicate an lineage with the Namaqua Belt in Southwestern Africa. U-Pb zircon ages also provide the following information on the Punta del Este terrane: the orthogneisses containing the ca. 1,000 Ma inheritance formed at ca. 750 Ma; in contrast to the related terranes now in Africa, reworking of the Punta del Este Terrane during Brasiliano/Pan-African orogenesis was very intense, reaching granulite facies at ca. 640 Ma. The termination of the Brasiliano/Pan-African orogeny is marked by formation of acid volcanic and volcanoclastic rocks at ca. 570 Ma (Sierra de Aguirre Formation), formation of late sedimentary basins (San Carlos Formation) and then intrusion at ca. 535 Ma of post-tectonic granitoids (Santa Teresa and Jos, Ignacio batholiths). The Punta del Este Terrane and unrelated western terranes represented by the Dom Feliciano Belt and the Rio de La Plata Craton were in their present positions by ca. 535 Ma.

Structural analysis of the Itapucumi Group in the Vallemi region, northern Paraguay: Evidence of a new Brasiliano/Pan-African mobile belt

The Neoproterozoic (Ediacaran) Itapucumi Group in northern Paraguay is composed of carbonate and siliciclastic rocks, including ooid grainstones, marls, shales and sandstones, containing Cloudina fossils in the eastern region. It is almost undeformed over the Rio Apa Cratonic Block but shows a strong deformational pattern at its western edge. A detailed structural analysis of the Itapucumi Group was conducted in the Vallemi Mine, along with a regional survey in other outcrops downstream in the Paraguay River and in the San Alfredo, Cerro Paiva and Sargent Jose E. Lopez regions. In the main Vallemi quarry, the structural style is characterized by an axial-plane slaty cleavage in open to isoclinal folds, sometimes overturned, associated with N-S trending thrust faults and shear zones of E-vergence and with a low-grade chlorite zone metamorphism. The structural data presented here are compatible with the hypothesis of a newly recognized mobile belt on the western side of the Rio Apa Cratonic Block, with opposite vergence to that of the Paraguay Mobile Belt in Brazil. Both belts are related to the Late Brasiliano/Pan-African tectonic cycle with a Lower Cambrian deformation and metamorphism age. The deformation could be due to the late collision of the Amazonian Craton with the remainder of Western Gondwana or to the western active plate boundary related to the Pampean Belt. The structural and lithologic differences between the western Itapucumi Group in the Vallemi and Paraguay River region and the eastern region, near San Alfredo and Cerro Paiva, suggest that this group could be divided into two lithostratigraphic units, but more stratigraphic and geochronological analyses are required to confirm this possibility. (C) 2010 Elsevier Ltd. All rights reserved.

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.