An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Terrorism and the World Economy

Published as an article in: European Economic Review, 2008, vol. 52, issue 1, pages 1-27.

El poder educativo de la televisión : un discurso paralelo a la escuela

[Es] En este trabajo se parte de la hipótesis de que los propios contenidos televisivos son fuente de aprendizaje a través de las narraciones televisivas. En concreto, defendemos la idea de que es posible enseñar y aprender valores a través de dichas narraciones. Se sistematizan algunas de las investigaciones que han abordado la relación entre televisión y valores desde una triple dimensión: los propios contenidos; el medio en sí mismo y el lenguaje. Esta revisión nos permite defender que las condenas reiteradas a la televisión, responsabilizándola de la mayoría de los males que sufre la juventud, no pueden apoyarse en los estudios que la psicología ha realizado en las últimas décadas. Entendemos que el telespectador incorpora la información televisiva desde distintos contextos y que la enculturación no es unidireccional. Existe una interacción entre contextos de desarrollo y mensajes. Concretamente nos interesa analizar los valores implícitos y explícitos que subyacen a los contenidos televisivos. Para ello basándonos en el modelo elaborado por Schwartz y Bilsky hemos creado un cuestionario (Val-TV 01) con el fin de clasificar los valores e interpretar las conductas visualizadas en los textos televisivos y relacionarlos con los propios valores de los adolescentes.

Increased opioid dependence in a mouse model of panic disorder

[EN] Panic disorder is a highly prevalent neuropsychiatric disorder that shows co-occurrence with substance abuse. Here, we demonstrate that TrkC, the high-affinity receptor for neurotrophin-3, is a key molecule involved in panic disorder and opiate dependence, using a transgenic mouse model (TgNTRK3). Constitutive TrkC overexpression in TgNTRK3 mice dramatically alters spontaneous firing rates of locus coeruleus (LC) neurons and the response of the noradrenergic system to chronic opiate exposure, possibly related to the altered regulation of neurotrophic peptides observed. Notably, TgNTRK3 LC neurons showed an increased firing rate in saline-treated conditions and profound abnormalities in their response to met5-enkephalin. Behaviorally, chronic morphine administration induced a significantly increased withdrawal syndrome in TgNTRK3 mice. In conclusion, we show here that the NT-3/TrkC system is an important regulator of neuronal firing in LC and could contribute to the adaptations of the noradrenergic system in response to chronic opiate exposure. Moreover, our results indicate that TrkC is involved in the molecular and cellular changes in noradrenergic neurons underlying both panic attacks and opiate dependence and support a functional endogenous opioid deficit in panic disorder patients.

INTERPOL's surveillance network in curbing transnational terrorism

This paper investigates the role that INTERPOL surveillance – the Mobile INTERPOL Network Database (MIND) and the Fixed INTERPOL Network Database (FIND) – played in the War on Terror since its inception in 2005. MIND/FIND surveillance allows countries to screen people and documents systematically at border crossings against INTERPOL databases on terrorists, fugitives, and stolen and lost travel documents. Such documents have been used in the past by terrorists to transit borders. By applying methods developed in the treatment-effects literature, this paper establishes that countries adopting MIND/FIND experienced fewer transnational terrorist attacks than had they not adopted MIND/FIND. Our estimates indicate that, on average, during 2008–2011, adopting and using MIND/FIND results in 1.23 fewer transnational terrorist incidents each year per 100 million people. Thus, a country like France with a population just above 64 million people in 2008 would have 0.79 fewer transnational terrorist incidents per year owing to its use of INTERPOL surveillance. For most treatment countries, this amounts to a sizeable proportional reduction of about 60 per cent.

Adaptive Scalable SVD Unit for Fast Processing of Large LSE Problems

Singular Value Decomposition (SVD) is a key linear algebraic operation in many scientific and engineering applications. In particular, many computational intelligence systems rely on machine learning methods involving high dimensionality datasets that have to be fast processed for real-time adaptability. In this paper we describe a practical FPGA (Field Programmable Gate Array) implementation of a SVD processor for accelerating the solution of large LSE problems. The design approach has been comprehensive, from the algorithmic refinement to the numerical analysis to the customization for an efficient hardware realization. The processing scheme rests on an adaptive vector rotation evaluator for error regularization that enhances convergence speed with no penalty on the solution accuracy. The proposed architecture, which follows a data transfer scheme, is scalable and based on the interconnection of simple rotations units, which allows for a trade-off between occupied area and processing acceleration in the final implementation. This permits the SVD processor to be implemented both on low-cost and highend FPGAs, according to the final application requirements.

Diseño y desarrollo de una solución de resistant communications al protocolo Host Identity Protocol

[ES]Este Trabajo de Fin de Grado consiste en diseñar y desarrollar una solución de resilient communications para su uso en entornos de movilidad, en concreto, en entornos vehiculares. Se diseñara una solución que consiste en añadir soporte de múltiples vías de comunicación entre dos extremos para el protocolo de movilidad HIP. Este trabajo consiste en buscar una solución de resilient communications, ya que buscamos como objetivo principal aumentar la disponibilidad del sistema de comunicaciones, es decir, aumentar aspectos tales como la tolerancia a fallos y contra ataques de seguridad, concretamente contra ataques contra la disponibilidad.

Results on proximal and generalized weak proximal contractions including the case of iteration-dependent range sets

This paper presents some further results on proximal and asymptotic proximal contractions and on a class of generalized weak proximal contractions in metric spaces. The generalizations are stated for non-self-mappings of the forms for and , or , subject to and , such that converges uniformly to T, and the distances are iteration-dependent, where , , and are non-empty subsets of X, for , where is a metric space, provided that the set-theoretic limit of the sequences of closed sets and exist as and that the countable infinite unions of the closed sets are closed. The convergence of the sequences in the domain and the image sets of the non-self-mapping, as well as the existence and uniqueness of the best proximity points, are also investigated if the metric space is complete. Two application examples are also given, being concerned, respectively, with the solutions through pseudo-inverses of both compatible and incompatible linear algebraic systems and with the parametrical

Cuando el miedo invade la ficción. Análisis de Perdidos (Lost) y de otros quality dramas de la era Post 11S.

521 p.