54 resultados para Symbolic tokens


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The general aim of this paper is to explore and illustrate a theoretical model which postulates two mechanisms involved in the construction of collective identity: "action - transformation" and "symbolic identification". First, we define the concept of "collective identity" and we revise some works on this topic. After that, in order to justify the creation of Intercultural Universities, we described the linguistic and religious diversity from Chiapas. Some results concerning a quantitative and qualitative investigation with indigenous and mestizos students from the Intercultural University of Chiapas are also exposed. Finally, we point out some limitations of this study, and we suggest some possible future research directions

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The teaching of higher level mathematics for technical students in a virtual learningenvironment poses some difficulties, but also opportunities, now specific to that virtuality.On the other hand, resources and ways to do now manly available in VLEs might soon extend to all kinds of environments.In this short presentation we will discuss anexperience carried at Universitat Oberta deCatalunya (UOC) involving (an on line university), first, the translation of LaTeX written existent materials to a web based format(specifically, a combination of XHTML andMathML), and then the integration of a symbolic calculator software (WIRIS) running as a Java applet embedded in the materials, intending to achieve an evolution from memorising concepts and repetitive algorithms to understanding and experiment concepts and the use of those algorithms.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El problema de la regresión simbólica consiste en el aprendizaje, a partir de un conjunto muestra de datos obtenidos experimentalmente, de una función desconocida. Los métodos evolutivos han demostrado su eficiencia en la resolución de instancias de dicho problema. En este proyecto se propone una nueva estrategia evolutiva, a través de algoritmos genéticos, basada en una nueva estructura de datos denominada Straight Line Program (SLP) y que representa en este caso expresiones simbólicas. A partir de un SLP universal, que depende de una serie de parámetros cuya especialización proporciona SLP's concretos del espacio de búsqueda, la estrategia trata de encontrar los parámetros óptimos para que el SLP universal represente la función que mejor se aproxime al conjunto de puntos muestra. De manera conceptual, este proyecto consiste en un entrenamiento genético del SLP universal, utilizando los puntos muestra como conjunto de entrenamiento, para resolver el problema de la regresión simbólica.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En este trabajo se expone e ilustra un modelo teórico para entender las funciones de la identidad, así como los mecanismospsicosociales asociados a su construcción: “Modelo Evolutivo y Funcional de la Identidad Mediada” (MEBIM). La identidad, mediada narrativamente, cumple una función personal orientada a la dirección de la propia vida, así como una función sociocultural vinculada a la búsqueda de reconocimiento de los derechos de los grupos sociales a los que uno se siente apegado. Se ilustran los factores asociados a la construcción de la identidad personal (sí mismos posibles, transiciones vitales, vínculo afectivo) y sociocultural (acción-transformación e identificación simbólica) a partir de 12 historias de vida realizadas con mestizos e indígenasde la Universidad Intercultural de Chiapas (México). Se sugiere que en contextos educativos formales, como la escuela o la Universidad, se deben propiciar narrativas personales y socioculturales con el objetivo de optimizar la identidad en un mundo a la vez globalizado y plural

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a brief description of the archaeological research in the territory and in the city of Tarraco, the ancient capital of provincia Hispania Tarraconensis and one of the main centres for the spread of Hispanic Christianity. Althoug Tarraco was the last capital under imperial control and the firs Hispanic metropolitan see, the city had only a secondary role by comparison with other Hispanic cities during late antiquity. This evolution shaped the development of Tarraco during the 7th century, but archaeologists identify an important architectural vitality still in the 6th century at the same time as other episcopal cities were evolving. During this period, the final Christianization of the symbolic spaces of ancient paganism took place, establishing the ideological basis of medieval urbanism that is still preserved today. The paper also interprets the sites through raising key questions as well as describing rural settlements, where archaeological knowledge is not so far advanced, due in part to the difficult nature of archaeological research, and in part to the need to study new construcitve models, as well as to the systematic collection of the relevant material culture.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The fusion of knowledge, the interrelationship of disciplines and, finally, the interaction of learning fields, provides new challenges for an auto denominated global society. The contemporary value of landscape, linked to the patent commodification of culture, the commercial construction of identities, the triumph of inauthenticity, of the induced representation or the economy of symbolism, open up great prospects for studying the symbolic value of landscape. The rapprochement of geographical praxis to the study of space intangibles, linked to the discovery of emotional geographies, besides the growing interest of communicational sciences on the territorial discourse, allow us to envisage a communicative study of landscape based on a fusion of geographical and communicational knowledge. The balancing of the variables: geography, landscape, emotion and communication, enables the progress towards analysing the emotionalisation of space to discern its intangible value, which emerges from the application of different communication techniques.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The need to decode landscape meanings, the society- landscape interaction (intra- and inter-personal communication) and, more recently, the uses of landscape as a territorial sight linked to advertising communication, citymarketing or place branding (mass communication) highlights the study of landscape persuasion, which includes clear emotional, symbolic and, therefore, communicative aspects. The landscape, as a territory image or face, gathers the essence of the implicit message in the space, thus working as a great metaphor for city communication. Regarding the foregoing, specific communication research with intangible landscapes —together with the recent emergence of emotional geographies— suggests a new territorial message theory based on the union of geographical, landscape, emotional and communicational variables. Landscape has historically been studied by geographers, architects, historians or sociologists, among others researchers, but it has not been analysed from communicational viewpoints. In this sense, the proliferation of analyses highlighting the role played by the territory as a communication mediator in the interaction process between society and its spaces (cognition and/or perception) is also remarkable. Current sales of territorial identities lead to increases in the production of territory brands, which have gathered a noticeable relevance within the last years.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this paper is to analyse some essential events concerning the relationship between Spain and Macao in the middle of the 19th century. Macao remained as a privileged spot for the commercial activities of Spain in China after the opening of the international ports agreed upon in the Treaty of Nanjing in 1842. This encouraged Spanish diplomatic representatives to render special attention to the Portuguese enclave. This became the origin of a shocking proposal for the military conquest of Macao and its surrounding territories by one of these representatives, Sinibaldo de Mas. Although this proposal was never taken under consideration, it helps us to better understand the role Macao played in Spanish strategies in China. Years later, Mas participated as a mediator when the Chinese government attempted to regain sovereignty over Macao by paying an economic compensation to Portugal. The involvement of Sinibaldo de Mas in this project has a strong symbolic meaning, making him a key agent in the relations between Spain and Macao in the 19th century.