A Software Tool for Dealing with Spiking Neural P Systems

Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. Although the simulation of a P system is a quite complex task, current simulators have been successfully used for pedagogical purposes and also as assistant tools for researchers. In this paper we present a rst software tool for dealing with Spiking Neural P Systems. This tool outputs the transition diagram of a given system in a step-by-step mode. The code is modular and exible enough to be adapted for further research tasks.Ministerio de Educación y Ciencia TIN2005-09345-C04-01Junta de Andalucía TIC-58

Reformas al Estado Social en América Latina: un análisis desde el desarrollo en el nuevo constitucionalismo latinoamericano

Abstract: The New Latin-American Constitutionalism (NCL) is a new theory represented by the last-two decades constitutions of Colombia, Venezuela, Ecuador, and Bolivia. These constitutional texts share special characteristics in their originality and their comprehension of the features of their societies, which have originated new mechanism and institutions in constitutional theory, in order to advance the development of their nations. This paper analyzes the aspects of democracy, economic regulation, and peace building, as fundamental elements of NCL, in order to prove the advance in social development of those States. Resumen: El Nuevo Constitucionalismo Latinoamericano (NCL) es una teoría que enmarca las cartas políticas surgidas en las últimas décadas en Colombia, Venezuela, Ecuador y Bolivia. Estas constituciones comparten características especiales respecto a la originalidad y apropiación de los elementos particulares de sus sociedades, dando paso a nuevos mecanismos y figuras innovadoras en la teoría constitucional, buscando un avance en el desarrollo de sus naciones. El artículo analiza los postulados en la democracia, la regulación económica y la construcción de paz, como elementos fundamentales del NCL, buscando evidenciar el avance presentado por los Estados en su desarrollo social

How Does a P System Sound?

P systems are computational devices versatile enough to represent many real-life scenarios. In this paper, we present a first interpretation for P systems where a computation produces a set of sounds. The idea is to associate sounds to the application of specific rules in the P system. The application of such rules produces sounds of one time unit. Different rules produce different sounds. The combination of such sounds along time can be interpreted as music.Ministerio de Ciencia e Innovación TIN2008-04487-EMinisterio de Ciencia e Innovación TIN-2009-13192Junta de Andalucía P08-TIC-0420

A software tool for verification of Spiking Neural P Systems

The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae such that, once proved their validity, show the right answer to the problem. Even though there does not exist a general methodology for verifying SN P Systems, in (Pa˘un et al., Int J Found Comput Sci 17(4):975– 1002, 2006) a new tool based on the transition diagram of the P system has been developed for helping the researcher in the search of invariant formulae. In this paper we show a software tool which allows to generate the transition diagram of an SN P System in an automatic way, so it can be considered as an assistant for the formal verification of such computational devices.Ministerio de Educación y Ciencia TIN2006-13425Junta de Andalucía TIC-58

Testing Einstein’s Formula on Brownian Motion Using Membrane Computing

Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis of the development of many fractals found in Nature. In this paper we use the Membrane Computing model of P systems with membrane creation and the software tool JPLANT in order to check the Einstein’s theory on the Mean Square Displacement of Brownian motion.Ministerio de Educación y Ciencia TIN2006-13425Junta de Andalucía TIC-58

Propuesta de una arquitectura empresarial para el proceso de acceso y fortalecimiento a la justicia con énfasis en las casas de justicia de la Secretaría de Seguridad, Convivencia y Justicia de Bogotá

Ilustraciones, gráficosEste trabajo de grado describe el uso de elementos de arquitectura empresarial para la optimización del proceso de Acceso y Fortalecimiento a la Justicia de la Secretaría de Seguridad Convivencia y Justicia de Bogotá. Los elementos de Arquitectura Empresarial son acotados dentro del marco de referencia de TOGAF y dentro del alcance se limitan las fases del modelo de ADM para dar como resultado final una propuesta de proyectos estratégicos para la organización junto a la priorización y estimación de esfuerzos de cada uno de ellos.This document describes the use of elements of business architecture for the optimization of the process “Acceso y Fortalecimiento a la Justicia” of the “Secretaría de Seguridad, Convivencia y Justicia”, of Bogotá. The elements of Business Architecture are delimited within the TOGAF reference framework and within the scope the phases of the ADM model, which are limited to give as a final result a proposal of strategic projects for the organization in addition of the prioritization and estimation of efforts of each one of them.Magíster en Gerencia Estratégica de Tecnologías de InformaciónMaestrí

Análisis cinemático del lanzamiento de un frisbee mediante acelerómetros y análisis de imágenes digitales

En el siguiente artículo se analiza la cinemática del lanzamiento y trayectoria del frisbee utilizando la plataforma Arduino con un acelerómetro. Además, se implementa el análisis de videos digitales mediante el software cinemático Kinovea®. Por medio de éstos se obtienen las aceleraciones y velocidades que toma el disco en tres diferentes tipos de lanzamientos: Backhand, forehand y elevator pass. Se halló que tanto el lanzador como el tipo de lanzamiento presentan diferencias que permiten su reconocimiento. Los resultados obtenidos muestran que el lanzador tuvo dificultades en garantizar la repetitividad en el lanzamiento backhand, con aceleraciones entre 23m/s2 y 64m/s2, lo cual mejoró en el caso del elevator pass entre 22m/s2 y 52m/s2 y en el forehand entre 50m/s2 y 73m/s2. Finalmente, se concluye como estos instrumentos describen la cinemática del lanzamiento