Social media censorship in times of political unrest: a social simulation experiment with the UK riots

Following the 2011 wave of political unrest, extending from the Arab Spring to the UK riots, the formation of a large consensus around Internet censorship is underway. The present paper adopts a social simulation approach to show that the decision to “regulate”, filter or censor social media in situations of unrest changes the pattern of civil protest and ultimately results in higher levels of violence. Building on Epstein's (2002) agent-based model, several alternative scenarios are generated. The systemic optimum, represented by complete absence of censorship, not only corresponds to lower levels of violence over time, but allows for significant periods of social peace after each outburst

Vortex solutions of an Abelian Higgs model with visible and hidden sectors

We study vortex solutions in a theory with dynamics governed by two weakly coupled Abelian Higgs models, describing a hidden sector and a visible sector. We analyze the radial dependence of the axially symmetric solutions constructed numerically and discuss the stability of vortex configurations for different values of the model parameters, studying in detail vortex decay into lower energy configurations. We find that even in a weak coupling regime vortex solutions strongly depend on the parameters of both the visible and hidden sectors. We also discuss on qualitative grounds possible implications of the existence of a hidden sector in connection with superconductivity.Comment: 22 pages, 10 figures, version accepted in JHE

On Relaxing Metric Information in Linear Temporal Logic

Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M into a qualitative formula Q, such that Q is satisfiable if and only if M is satisfiable over words with variability bounded with respect to the largest distances used in M (i.e., occurrences of next), but the size of Q is independent of such distances. Besides the theoretical interest, this result can help simplify the verification of systems with time-granularity heterogeneity, where large distances are required to express the coarse-grain dynamics in terms of fine-grain time units.Comment: Minor change

In Vitro Screening Test Using Leishmania Promastigotes Stably Expressing mCherry Protein

Transgenic Leishmania major and Leishmania donovani axenic promastigotes constitutively expressing mCherry were used for in vitro antileishmanial drug screening. This method requires minimal sample manipulation and can be easily adapted to automatic drug tests, allowing primary high-throughput screenings without the need for expensive and sophisticated instrumentsFil: Vacchina, Paola. University Of Notre Dame-Indiana; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Miguel A. Morales. University Of Notre Dame-Indiana; Estados Unido

Mathematic & mathematics education: searching for common ground, edited by M. Fried and T. Dreyfus, New York, Springer, 2014, 402 pp., £90, ISBN 978-94-007-7472-8

This is an Accepted Manuscript of an article published by Taylor & Francis in Research in Mathematics Education on 22nd Aug 2014, available online: http://dx.doi.org/10.1080/14794802.2014.93735

Neural Network Characterization of Reflectarray Antennas

An efficient artificial neural network (ANN) approach for the modeling of reflectarray elementary components is introduced to improve the numerical efficiency of the different phases of the antenna design and optimization procedure, without loss in accuracy. The comparison between the results of the analysis of the entire reflectarray designed using the simplified ANN model or adopting a full-wave characterization of the unit cell finally proves the effectiveness of the proposed model

How many active galaxies and QSOs will future Space Missions detect?

Averaged spectral energy distributions (SEDs) of active and starburst galaxies from the 12 micron sample in the Local Universe and Quasars, from an optically selected sample at a mean redshift =0.7, are built from optical/near-IR/far-IR (IRAS & ISO) photometric observations. These SEDs are then used to predict at various redshifts the number of Seyfert type 1 and type 2, starburst, normal galaxies, and quasars, that will be detected by future Space Missions dedicated to far-infrared and submillimeter astronomy, like SIRTF and Herschel. These predictions are then compared with the expected capabilities and detection limits of future deep far-IR surveys. Possible ways to identify AGN candidates on far-IR colour-colour plots for follow-up observations are then explored.Comment: accepted in Ap

Theoretical Setting of Inner Reversible Quantum Measurements

We show that any unitary transformation performed on the quantum state of a closed quantum system, describes an inner, reversible, generalized quantum measurement. We also show that under some specific conditions it is possible to perform a unitary transformation on the state of the closed quantum system by means of a collection of generalized measurement operators. In particular, given a complete set of orthogonal projectors, it is possible to implement a reversible quantum measurement that preserves the probabilities. In this context, we introduce the concept of "Truth-Observable", which is the physical counterpart of an inner logical truth.Comment: 11 pages. More concise, shortened version for submission to journal. References adde