Red-and-Black Streets. Anarcho-Syndicalism, Rituals of Mobilization and Symbols in Public Spaces (1931-1936)

Este artículo se centra en el análisis de la tipología, características y evolución de algunos de los diversos rituales de movilización y símbolos desplegados en el espacio público por las distintas organizaciones y núcleos de militantes de signo confederal y anarquista en España durante los años de la Segunda República, antes del estallido de la sublevación militar de julio de 1936. Entre ellos: huelgas, insurrecciones revolucionarias, mítines, manifestaciones, excursiones, entierros de militantes, etc. El propósito de estas acciones era claro: tanto la cohesión y reafirmación identitaria internas, como la proyección externa del movimiento. Con estas estrategias de acción colectiva, que suponían una “salida” al espacio público, se trataba de hacer visible allí la fuerza del movimiento y reafirmar la presencia física de este, sus reivindicaciones y aspiraciones. Esta visibilidad se reforzaba mediante el despliegue de los símbolos propios: himnos, canciones, banderas, etc.This article focuses on the analysis of the typology, characteristics and evolution of some of the rituals of mobilization and symbols that Spanish anarchist and anarchosyndicalist organisations displayed in public spaces during the years of the Second Republic, before the July 1936 military uprising: strikes, revolutionary insurrections, rallies, demonstrations, tours, partisans’ funerals, etc. The aim of all these actions was clear: both internal cohesion and identity reaffirmation, and external projection of the movement. With these collective action strategies, anarcho-syndicalists tried to be present in public spaces, to make the movement strength visible and to reinforce their demands and aspirations. This visibility was enhanced by displaying its own symbols: hymns, songs, flags, etc.El autor participa del proyecto I+D+I, HAR 2011-27559 (“Democracia y culturas políticas de izquierda en la España del siglo XX: desarrollos y limitaciones en un marco comparativo”) del Ministerio de Economía y Competitividad, financiado con fondos FEDER, y del Grupo de investigación Prometeo/2012/046, “Grup d’Estudis Històrics sobre les Transicions i la Democràcia”, de la Generalitat Valenciana

SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents

We present a prototype that implements a set of logical rules to prove the satisfiability for a class of specifications on XML documents. Specifications are given by means of constrains built on Boolean XPath patterns. The main goal of this tool is to test whether a given specification is satisfiable or not, and justify the decision showing the execution history. It can also be used to test whether a given document is a model of a given specification and, as a by-product, it permits to look for all the relations (monomorphisms) between two patterns and to combine patterns in different ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use. In this paper we show how to use this interface in order to test all the desired properties.Comment: In Proceedings PROLE 2014, arXiv:1501.0169

Normalizing or not normalizing? An open question for floating-point arithmetic in embedded systems

Emerging embedded applications lack of a specific standard when they require floating-point arithmetic. In this situation they use the IEEE-754 standard or ad hoc variations of it. However, this standard was not designed for this purpose. This paper aims to open a debate to define a new extension of the standard to cover embedded applications. In this work, we only focus on the impact of not performing normalization. We show how eliminating the condition of normalized numbers, implementation costs can be dramatically reduced, at the expense of a moderate loss of accuracy. Several architectures to implement addition and multiplication for non-normalized numbers are proposed and analyzed. We show that a combined architecture (adder-multiplier) can halve the area and power consumption of its counterpart IEEE-754 architecture. This saving comes at the cost of reducing an average of about 10 dBs the Signal-to-Noise Ratio for the tested algorithms. We think these results should encourage researchers to perform further investigation in this issue.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

El impacto del helenismo en la aristocracia romana: cinco ejemplos para una época 196-146 a C.

Durante los cincuenta primeros años del siglo II a.C. Roma conquistó los reinos helenísticos, herederos del imperio que había creado Alejandro Magno. Como resultado de ello y de las nuevas relaciones la civilización griega entró a raudales en el alma romana, produciendo hondas transformaciones y permitiendo a Roma la creación de una cultura peculiar. La aristocracia romana fue el grupo social que absorbió los nuevos aires procedentes de oriente y al transmitirlo al resto de la sociedad. La biografía de cinco de los más importantes políticos romanos del siglo segundo permiten observar en detalle todo el proceso