El rol de la Unión Africana (UA) en el Cuerno de África a partir del caso de Somalia - AMISOM (2007-2013)

El propósito de esta monografía es comprender cuál ha sido el rol de la Unión Africana (UA), dentro de la misión de paz AMISOM en el periodo de 2007- 2013. Por ello, el trabajo abarca aspectos geopolíticos e históricos, que han influido en la configuración del conflicto armado de Somalía y que han llevado progresivamente a la creación, evolución e implementación de mecanismos como las misiones de paz. Además, se abarcan los planteamientos del neo-funcionalismo y el neo-regionalismo para comprender las estructuras y las dinámicas propias de la UA y así, comprender la naturaleza tanto de sus acciones, como de sus propósitos; propósitos que aclaman el fomento del panafricanismo. Desde aquí se puede entender como su rol ha contribuido con el crecimiento del mercado de la industria militar en la región, a costa de la responsabilidad de proteger. Por último, se concluye que dichas dinámicas han llevado a la creación de comunidades de inseguridad.

Estudo comparativo de professores de ensino regular e educação especial em escolas públicas portuguesas: stresse, bem estar, suporte social e burnout

Sendo a docência umas das profissões onde existem elevados níveis de stresse e burnout, este estudo objetivou comparar estes níveis em professores de ensino regular que trabalham com alunos com Necessidades Educativas Especiais e professores de educação especial. Estudou-se também o bem-estar psicológico manifestado por este grupo, bem como a percepção do suporte social, o qual tem um efeito direto positivo sobre o burnout. Os resultados revelam que, relativamente ao stresse, no grupo de ensino regular são os homens que manifestam um nível mais elevado, enquanto que no grupo de educação especial, são as mulheres. Foram identificadas também diferenças no bem-estar e percepção do suporte social, tendo estes resultados sido obtidos para os docentes de educação especial, homens e mulheres, respetivamente. No que concerne ao burnout, foram observadas diferenças em função do género e habilitações literárias, tendo estas sido verificadas no grupo de professoras de ensino regular que possuem o bacharelato e professores que possuem mestrado e doutoramento. No grupo de educação especial, as diferenças foram obtidas nas professoras com doutoramento e nos homens que possuem a licenciatura; Comparative study of regular education teachers and special education in Portuguese public schools: stress, welfare, social support and burnout Abstract: Being a teaching professions where there are high levels of stress and burnout, this study aimed to compare these levels in regular education teachers who work with students with special educational needs and special education teachers. It is also studied the psychological well-being manifested by this group, as well as the perception of social support, which has a positive direct effect on burnout. The results show that for the stress in the regular education group are men who express a higher level, while the special education group, are women. They were also identified differences in well-being and perceived social support, and these results have been obtained for special education teachers, men and women, respectively. Regarding the burnout, differences were observed in gender and qualifications, and these were verified on the regular education teachers group who have a bachelor's degree and teachers who hold master's and doctorate. In the special education group, the differences were obtained in teachers with doctoral and men who have a degree.

Faster group operations on elliptic curves

This paper improves implementation techniques of Elliptic Curve Cryptography. We introduce new formulae and algorithms for the group law on Jacobi quartic, Jacobi intersection, Edwards, and Hessian curves. The proposed formulae and algorithms can save time in suitable point representations. To support our claims, a cost comparison is made with classic scalar multiplication algorithms using previous and current operation counts. Most notably, the best speeds are obtained from Jacobi quartic curves which provide the fastest timings for most scalar multiplication strategies benefiting from the proposed 12M + 5S + 1D point doubling and 7M + 3S + 1D point addition algorithms. Furthermore, the new addition algorithm provides an efficient way to protect against side channel attacks which are based on simple power analysis (SPA). Keywords: Efficient elliptic curve arithmetic,unified addition, side channel attack.

Elliptic curves, group law, and efficient computation

This thesis is about the derivation of the addition law on an arbitrary elliptic curve and efficiently adding points on this elliptic curve using the derived addition law. The outcomes of this research guarantee practical speedups in higher level operations which depend on point additions. In particular, the contributions immediately find applications in cryptology. Mastered by the 19th century mathematicians, the study of the theory of elliptic curves has been active for decades. Elliptic curves over finite fields made their way into public key cryptography in late 1980’s with independent proposals by Miller [Mil86] and Koblitz [Kob87]. Elliptic Curve Cryptography (ECC), following Miller’s and Koblitz’s proposals, employs the group of rational points on an elliptic curve in building discrete logarithm based public key cryptosystems. Starting from late 1990’s, the emergence of the ECC market has boosted the research in computational aspects of elliptic curves. This thesis falls into this same area of research where the main aim is to speed up the additions of rational points on an arbitrary elliptic curve (over a field of large characteristic). The outcomes of this work can be used to speed up applications which are based on elliptic curves, including cryptographic applications in ECC. The aforementioned goals of this thesis are achieved in five main steps. As the first step, this thesis brings together several algebraic tools in order to derive the unique group law of an elliptic curve. This step also includes an investigation of recent computer algebra packages relating to their capabilities. Although the group law is unique, its evaluation can be performed using abundant (in fact infinitely many) formulae. As the second step, this thesis progresses the finding of the best formulae for efficient addition of points. In the third step, the group law is stated explicitly by handling all possible summands. The fourth step presents the algorithms to be used for efficient point additions. In the fifth and final step, optimized software implementations of the proposed algorithms are presented in order to show that theoretical speedups of step four can be practically obtained. In each of the five steps, this thesis focuses on five forms of elliptic curves over finite fields of large characteristic. A list of these forms and their defining equations are given as follows: (a) Short Weierstrass form, y2 = x3 + ax + b, (b) Extended Jacobi quartic form, y2 = dx4 + 2ax2 + 1, (c) Twisted Hessian form, ax3 + y3 + 1 = dxy, (d) Twisted Edwards form, ax2 + y2 = 1 + dx2y2, (e) Twisted Jacobi intersection form, bs2 + c2 = 1, as2 + d2 = 1, These forms are the most promising candidates for efficient computations and thus considered in this work. Nevertheless, the methods employed in this thesis are capable of handling arbitrary elliptic curves. From a high level point of view, the following outcomes are achieved in this thesis. - Related literature results are brought together and further revisited. For most of the cases several missed formulae, algorithms, and efficient point representations are discovered. - Analogies are made among all studied forms. For instance, it is shown that two sets of affine addition formulae are sufficient to cover all possible affine inputs as long as the output is also an affine point in any of these forms. In the literature, many special cases, especially interactions with points at infinity were omitted from discussion. This thesis handles all of the possibilities. - Several new point doubling/addition formulae and algorithms are introduced, which are more efficient than the existing alternatives in the literature. Most notably, the speed of extended Jacobi quartic, twisted Edwards, and Jacobi intersection forms are improved. New unified addition formulae are proposed for short Weierstrass form. New coordinate systems are studied for the first time. - An optimized implementation is developed using a combination of generic x86-64 assembly instructions and the plain C language. The practical advantages of the proposed algorithms are supported by computer experiments. - All formulae, presented in the body of this thesis, are checked for correctness using computer algebra scripts together with details on register allocations.

West Cumbria Special Fisheries Advisory Group 25th June, 1982.

This is the report from the West Cumbria Special Fisheries Advisory Group meeting, which was held on the 25th June, 1982. The report contains sections on the Application by British Nuclear Fuels Limited (BNFL) for a temporary licence to abstract additional quantities from Wastwater, and River Derwent Abstraction (Prescribed Flows). The Fisheries Advisory Committee was part of the Regional Water Authorities, in this case the North West Water Authority. This preceded the Environment Agency which came into existence in 1996.

West Cumbria Special Fisheries Advisory Group 28th July, 1982

This is the report from the West Cumbria Special Fisheries Advisory Group meeting, which was held on the 28th July, 1982. The report contains sections on minutes of the meeting held on the 25th June, 1982, Application by British Nuclear Fuels Limited (BNFL) for a temporary licence to abstract additional quantities from Wastwater, and River Derwent Abstraction (Prescribed Flows) and fisheries implications. The Fisheries Advisory Committee was part of the Regional Water Authorities, in this case the North West Water Authority. This preceded the Environment Agency which came into existence in 1996.

West Cumbria Special Fisheries Advisory Group 9th March, 1983

This is the report from the West Cumbria Special Fisheries Advisory Group meeting, which was held on the 9th March, 1983. The report contains sections on Fish Passes at Yearl Weir River Derwent, Ennerdale, and Ehen; River Calder abstraction and augmentation from boreholes; and the augmentation of River Ehen by minewater to support increased abstraction by BNFL. The Fisheries Advisory Committee was part of the Regional Water Authorities, in this case the North West Water Authority. This preceded the Environment Agency which came into existence in 1996.

West Cumbria Special Fisheries Advisory Group 16th May, 1986

This is the report from the West Cumbria Special Fisheries Advisory Group meeting, which was held on the 16th May, 1986. The report contains sections on a Fish Pass at Ennerdale, Authority proposals for discharge of compensation water from Ennerdale and a diagram of fish pass at Ennerdale. The Fisheries Advisory Committee was part of the Regional Water Authorities, in this case the North West Water Authority. This preceded the Environment Agency which came into existence in 1996.

Molecular systematics of Xenocyprinae (Teleostei : Cyprinidae): Taxonomy, biogeography, and coevolution of a special group restricted in east Asia

We surveyed mitochondrial DNA (mtDNA) sequence variation in the subfamily Xenocyprinae from China and used these data to estimate intraspecific, interspecific, and intergeneric phylogeny and assess biogeographic scenarios underlying the geographic structu

Taxonomic problems in the Drosophila melanica species group (Diptera : Drosophilidae) from southern China, with special reference to karyotypes and reproductive isolation

Karyotypes and reproductive isolation were studied in two allopatric populations of Drosophila tsigana, one from Guizhou Province in southern China and the other from Hokkaido in northern Japan, and in one population of a closely related species, D. longi

Molecular systematics of Xenocyprinae (Teleostei : Cyprinidae): Taxonomy, biogeography, and coevolution of a special group restricted in east Asia

We surveyed mitochondrial DNA (mtDNA) sequence variation in the subfamily Xenocyprinae from China and used these data to estimate intraspecific, interspecific, and intergeneric phylogeny and assess biogeographic scenarios underlying the geographic structure of lineages. We sequenced 1140 bp of cytochrome b from 30 individuals of Xenocyprinae and one putative outgroup (Myxocypris asiaticus) and also sequenced 297 bp of ND4L, 1380 bp of ND4, 68 bp of tRNA(His), and 69 bp of tRNA(Ser) from 17 individuals of Xenocyprinae and the outgroup (M. asiaticus). We detected high levels of nucleotide variation among populations, species, and genera. The phylogenetic analysis suggested that Distoechodon hupeinensis might be transferred to the genus Xenocypris, the taxonomic status of the genus Plagiognathops might be preserved, and species of Xenocypris and Plagiognathops form a monophyletic group that is sister to the genus Distoechodon and Pseudobrama. The introgressive hybridization might occur among the populations of X. argentea and X. davidi, causing the two species to not be separated by mtDNA patterns according to their species identification, and the process and direction of hybridization are discussed. The spatial distributions of mtDNA lineages among populations of Xenocypris were compatible with the major geographic region, which indicated that the relationship between Hubei + Hunan and Fujian is closer than that between Hubei + Hunan and Sichuan, From a perspective of parasite investigation, our data suggested that the fauna of Hexamita in Xenocyprinae could be used to infer the phylogeny of their hosts. (C) 2001 Academic Press.

A New Analysis of Mars "Special Regions": Findings of the Second MEPAG Special Regions Science Analysis Group (SR-SAG2)

A committee of the Mars Exploration Program Analysis Group (MEPAG) has reviewed and updated the description of Special Regions on Mars as places where terrestrial organisms might replicate (per the COSPAR Planetary Protection Policy). This review and update was conducted by an international team (SR-SAG2) drawn from both the biological science and Mars exploration communities, focused on understanding when and where Special Regions could occur. The study applied recently available data about martian environments and about terrestrial organisms, building on a previous analysis of Mars Special Regions (2006) undertaken by a similar team. Since then, a new body of highly relevant information has been generated from the Mars Reconnaissance Orbiter (launched in 2005) and Phoenix (2007) and data from Mars Express and the twin Mars Exploration Rovers (all 2003). Results have also been gleaned from the Mars Science Laboratory (launched in 2011). In addition to Mars data, there is a considerable body of new data regarding the known environmental limits to life on Earth—including the potential for terrestrial microbial life to survive and replicate under martian environmental conditions. The SR-SAG2 analysis has included an examination of new Mars models relevant to natural environmental variation in water activity and temperature; a review and reconsideration of the current parameters used to define Special Regions; and updated maps and descriptions of the martian environments recommended for treatment as “Uncertain” or “Special” as natural features or those potentially formed by the influence of future landed spacecraft. Significant changes in our knowledge of the capabilities of terrestrial organisms and the existence of possibly habitable martian environments have led to a new appreciation of where Mars Special Regions may be identified and protected. The SR-SAG also considered the impact of Special Regions on potential future human missions to Mars, both as locations of potential resources and as places that should not be inadvertently contaminated by human activity. Key Words: Martian environments—Mars astrobiology—Extreme environment microbiology—Planetary protection—Exploration resources. Astrobiology 14, 887–968.

A co-operative formation-based collision avoidance approach for a group of autonomous vehicles (Special Issue on Adaptive Control and Signal Processing in Marine System)

This paper employs a unique decentralised cooperative control method to realise a formation-based collision avoidance strategy for a group of autonomous vehicles. In this approach, the vehicles' role in the formation and their alert and danger areas are first defined, and the formation-based intra-group and external collision avoidance methods are then proposed to translate the collision avoidance problem into the formation stability problem. The extension–decomposition–aggregation formation control method is next employed to stabilise the original and modified formations, whilst manoeuvring, and subsequently solve their collision avoidance problem indirectly. Simulation study verifies the feasibility and effectiveness of the intra-group and external collision avoidance strategy. It is demonstrated that both formation control and collision avoidance problems can be simultaneously solved if the stability of the expanded formation including external obstacles can be satisfied.