Redes transnacionales de derechos humanos en el Mediterráneo

Las redes transnacionales de defensa (RTD) de los derechos humanos han proliferado en el Mediterráneo en las dos últimas décadas. Se han establecido vínculos entre asociaciones de derechos humanos de diferentes países, a pesar de la existencia de factores estructurales que dificultan esta evolución. El artículo utiliza la Primavera Árabe para observar la existencia de parcelas de una sociedad civil internacional, a través de un núcleo de activismo de dimensión transnacional todavía incipiente, con una raigambre predominantemente local, pero cuyo discurso político y repertorios de acción lo acercan a otros fenómenos del sistema internacional. Los hechos vinculados a la Primavera Árabe muestran las problemáticas de algunas de estas redes: alejamiento de los movimientos populares de lucha política e impacto negativo de la fractura Norte-Sur

La apropiación de la temática de los derechos humanos por los regímenes marroquí y tunecino: retórica y realidad

La problemática de los derechos humanos emerge con fuerza a finales de la decada de los ochenta en paises como Marruecos y Túnez. Uno de los ámbitos en los cuales se manifiesta este protagonismo es en la apropiación de la temática por parte de los regímenes en el poder. En estos años se introduce con fuerza la cuestión en el discurso político; se implantan una serie de medidas dirigidas hacia la prevención de transgresiones del derecho y se crean instituciones que han de velar por una mejora de este campo. Paradójicamente, este procesono conlleva un avance en el proceso democratizador ni en la situación de los derechos humanos a corto plazo y testimonia, en cambio, el valor que ha adquirido la temática como instrumento político.The human rights issue springs up at the end of the 80s in countries like Morocco and Tunisia. One of the questions reflecting this prominence is its assumption by the groups in power. In the course of these years human rights were clearly included in the political discourse; measures were approved for the prevention of legal transgressions; also a series of institutions devoted to the improvement in this sphere was created. Paradoxically this process does not mean progress in the democratization processes or in the observance of human rights in the short run but shows the value of human rights issue like a political tool

Food hub as an efficient alternative to sustainably feed the cities

International audienceCet article décrit la place des pôles logistiques alimentaire et leurs systèmes de distribution associés. Les déficiences des systèmes alimentaires qui ont conduit à l'émergence du concept des Food hubs et leur impact sur le développement urbain sont analysées. L'état de l'art sur le concept de Food Hub est présenté en premier lieu, puis une classification des différents types de Food hub est faite en se concentrant sur leur emplacement, zone d'influence et les acteurs impliqués. Enfin, il y un case d'étude sur le system d'approvisionnement de nourriture à Bogota, il y a une comparaison entre le modèle présenté et le concept du Food hub comme une alternative efficace pour nourrir la ville d'une manière durable

Provably Correct Floating-Point Implementation of a Point-In-Polygon Algorithm

The problem of determining whether or not a point lies inside a given polygon occurs in many applications. In air traffic management concepts, a correct solution to the point-in-polygon problem is critical to geofencing systems for Unmanned Aerial Vehicles and in weather avoidance applications. Many mathematical methods can be used to solve the point-in-polygon problem. Unfortunately, a straightforward floating- point implementation of these methods can lead to incorrect results due to round-off errors. In particular, these errors may cause the control flow of the program to diverge with respect to the ideal real-number algorithm. This divergence potentially results in an incorrect point-in- polygon determination even when the point is far from the edges of the polygon. This paper presents a provably correct implementation of a point-in-polygon method that is based on the computation of the winding number. This implementation is mechanically generated from a source- to-source transformation of the ideal real-number specification of the algorithm. The correctness of this implementation is formally verified within the Frama-C analyzer, where the proof obligations are discharged using the Prototype Verification System (PVS)

Reconstitución del Islam político libio en un contexto de revuelta

El estallido de la revuelta contra el régimen de Muammar Gadafi en febrero de 2011, la posterior guerra civil y los procesos legislativo y constituyente ulteriores han permitido a los islamistas ocupar el espacio público, reconstruir sus bases y completar su proceso de elitización. Los sectores islamistas se han unido al proceso de reconstrucción del sistema político, tanto a través de la participación en las elecciones, como en las instituciones de nueva creación. A diferencia de otros países de la región, los partidos islamistas no han logrado convertirse en la primera fuerza política. Sin embargo, constituyen un eje ideológico particularmente importante. Asimismo, los acontecimientos vinculados a la revolución del 17 de febrero han confirmado la heterogeneidad del fenómeno que se oculta bajo la etiqueta común de islam políticoThe outbreak of the revolt against the regime of Muammar Gaddafi in February 2011, the subsequent civil war, and the ulterior legislative and constituent processes have enabled Islamists to initiate a process of emergence in the public space, rebuilding its bases and gentrification. The Islamist sectors have joined the process of rebuilding the political system, participating in the elections and in the newly created institutions. Unlike other countries in the region, Islamist parties fail to become the first political force in the country. However, they have become a particularly important ideological axis. These events have proved the heterogeneity of the phenomenon grouped under the common label of political Isla

Redes transnacionales de Derechos humanos en el Mediterráneo

Las redes transnacionales de defensa (RTD) de los derechos humanos han proliferado en el Mediterráneo en las dos últimas décadas. Se han establecido vínculos entre asociaciones de derechos humanos de diferentes países, a pesar de la existencia de factores estructurales que dificultan esta evolución. El artículo utiliza la Primavera Árabe para observar la existencia de parcelas de una sociedad civil internacional, a través de un núcleo de activismo de dimensión transnacional todavía incipiente, con una raigambre predominantemente local, pero cuyo discurso político y repertorios de acción lo acercan a otros fenómenos del sistema internacional. Los hechos vinculados a la Primavera Árabe muestran las problemáticas de algunas de estas redes: alejamiento de los movimientos populares de lucha política e impacto negativo de la fractura Norte-Sur.Transnational advocacy networks (TAN) for human rights have proliferated in the Euro-Mediterranean area over the last two decades. Stable links between human rights associations from different countries have been created despite the structural factors that hamper this development. This article takes the example of the Arab Spring to consider the existence of sections of an international civil society -through a core of still-incipient tran­snational activism- that have predominantly local roots, but whose political discourse and action repertoires are similar to other phenom­ena operating simultaneously in other parts of the international system. Developments relating to the Arab Spring demonstrate the main prob­lems of some of these networks: their distance from popular movements and the negative impact of the North-South divide