SANCHO CAPARRINI , Fernando

Este documento presenta, desde un punto de vista introductorio y orientado a no expertos en teoría de redes, los fundamentos de grafos y redes que permiten proyectar información sobre redes culturales en un contexto formal. Asimismo, describe algunas de las medidas y herramientas más comunes para diseñar mecanismos cuantitativos para el...

El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares. El primero de ellos, el modelos sticker, es...

In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in order to obtain some quantitative parameters showing how complex the evolution of a P system is. To achieve this, we define two possible measures, the first one to reflect the entropy of the P system considered as the state...

Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning systems (ACL2, PVS, etc). In this paper a systematic method to establish verifications of these programs within molecular models with memory, that is, molecular computing models where some operations modifying the inner structure...

The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The behavior of this kind of P systems is similar to that of classic systems, with the difference that the contents of the membranes are represented by non-discrete multisets (the multiplicities can be non-integers) and,...

In this article we present an analysis of the creative method developed in the restaurant elBulli (www.elbulli.com) over the period 1987-2005. elBulli has been the 5-time recipient of the Best Restaurant in the World by Restaurant Magazine, and media, professionals and scientists have recognized the global impact of its work in the food...

Ministerio de Economía y Competitividad TIN2013-41086-P

No description

In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in order to obtain some quantitative parameters showing how complex the evolution of a P system is. To this end, we define two possible measures, the first one to reflect the entropy of the P system considered as the state space...

In this paper a new machine learning approach to the study of Multi-Relational Graphs as semantic data structures is presented. It shows how vector representations that maintain semantic and topological features of the original data can be obtained from neural encoding architectures and considering the topological properties of the graph. Also,...

No description

This article presents a Virtual Laboratory that enables the researcher to try hypothesis and confirm data analysis about different historical processes and cultural dynamics. This Virtual Cultural Laboratory (VCL) is developed using agent-based modeling technology. Individuals' tendencies and preferences as well as the behavior of cultural...

Network embedding techniques inspired by word2vec represent an e ective unsuper- vised relational learning model. Commonly, by means of a Skip-Gram procedure, these techniques learn low dimensional vector representations of the nodes in a graph by sam- pling node-context examples. Although many ways of sampling the context of a node have been...

In this paper we show that the one-dimensional Piecewise Affine Maps (PAMs) are equivalent to planar Pseudo-Billiard Systems (PBSs) or so called "strange billiards". The reachability problem for PAMs is still open, however the more general model of rational onedimensional maps is shown to be universal with undecidable reachability problem.

Usually, time series acquired from some measurement in a dynamical system are the main source of information about its internal structure and complex behavior. In this situation, trying to predict a future state or to classify internal features in the system becomes a challenging task that requires adequate conceptual and computational tools as...

In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are equiv- alent to pseudo-billiard or so called \strange billiard" systems. We also show that the more general class of rational functions leads to undecid- ability of reachability problem for one-dimensional piecewise maps with a...

In a connected world where people influence each other, what can cause a globalized monoculture, and which measures help to preserve the coexistence of cultures? Previous research has shown that factors such as homophily, population size, geography, mass media, and type of social influence play important roles. In the present paper, we...

We show how in colonial Potosı´ (present-day Bolivia) social and political stabil-ity was achieved through the self-organization of society through the repetition of religious rituals. Our analysis shows that the population of Potosı´ develops over the time a series of cycles of rituals and miracles as a response to social upheaval and natural...