The French Way of St. James as an Engine in the Invigoration of Rural Municipalities in Galicia

The aim of this study is to analyze the invigorating effect of the Way of St. James in the Galician rural areas. To do so, we have chosen as a territorial scope the 14 rural municipalities that the “French Way” crosses in this Autonomous Community. The utilized data come from the Bank of Municipal Data of Instituto Galego de Estatística (IGE). A double approximation on the impact of this route has been made: on one hand, we analyze the behavior of different socioeconomic variables during the last two decades in the selected municipalities. On the other hand, we examine to what extent a more favorable dynamic has been witnessed in similar rural territories that do not have access to this product. Although the results of the analysis should be taken as a first approximation, data point to the existence of a very moderate impact of the Way of St. James, in the sense that the development of tourism activities linked to the Way are not sufficient to reverse the demographic and economic decline of these rural areas.

Usage of Invariants for Symbolic Verification of Requirements

The paper presents the usage of invariants for symbolic verification of requirements for reactive systems. It includes checking of safety, incompleteness, liveness, consistency properties, and livelock detection. The paper describes the iterative method of double approximation and the method of undetermined coefficients for invariants generation. Benefits, disadvantages, and comparison of this technique with existing methods are considered. The paper is illustrated by examples of invariants technique usage for symbolic verification.

Evolving Lattices for Analyzing Behavioral Dynamics of Characters in Literary Text

This paper is about an application of rough set derived lattices in order to analyze the dynamics of literary text. Due to the double approximation nature of rough set theory, a pseudo-closure obtained from two different equivalence relations allows us to form arbitrary lattices. Moreover, such double approximations with different equivalence relations permit us to obtain lattice fixed points based on two interpretations. The two interpretations used for literary text analysis are subjects and their attributes. The attributes chosen for this application are verbs. The progression of a story is defined by the sequence of verbs (or event occurrences). By fixing a window size and sliding the window down the story steps, we obtain a lattice representing the relationship between subjects and their attributes within that window frame. The resulting lattice provides information such as complementarity (lattice complement existence rate) and distributivity (lattice complement possession rate). These measurements depend on the overlap and the lack of overlap among the attributes of characters. As the story develops and new character and attributes are provided as the source of lattices, one can observe its evolution. In fact, a dramatic change in the behavior dynamics in a scene is reflected in the particular shifts in the character-attribute relationship. This method lets us quantify the developments of character behavioral dynamics in a story.

Evolving Lattices for Analyzing Behavioral Dynamics of Characters in Literary Text

This paper is about an application of rough set derived lattices in order to analyze the dynamics of literary text. Due to the double approximation nature of rough set theory, a pseudo-closure obtained from two different equivalence relations allows us to form arbitrary lattices. Moreover, such double approximations with different equivalence relations permit us to obtain lattice fixed points based on two interpretations. The two interpretations used for literary text analysis are subjects and their attributes. The attributes chosen for this application are verbs. The progression of a story is defined by the sequence of verbs (or event occurrences). By fixing a window size and sliding the window down the story steps, we obtain a lattice representing the relationship between subjects and their attributes within that window frame. The resulting lattice provides information such as complementarity (lattice complement existence rate) and distributivity (lattice complement possession rate). These measurements depend on the overlap and the lack of overlap among the attributes of characters. As the story develops and new character and attributes are provided as the source of lattices, one can observe its evolution. In fact, a dramatic change in the behavior dynamics in a scene is reflected in the particular shifts in the character-attribute relationship. This method lets us quantify the developments of character behavioral dynamics in a story.