bluuebunny/crossref_metadata_2025 huggingface dataset:
EPR-based k-induction with Counterexample Guided Abstraction Refinement
Authors: Khasidashvili Zurab , Korovin Konstantin , Tsarkov Dmitry
Published: January 2018

In recent years it was proposed to encode bounded model checking (BMC) into the effectively propositional fragment of first-order logic (EPR). The EPR fragment can provide for a succinct representation of the problem and facilitate reasoning at a higher level.

In this paper we present an extension of the EPR-based bounded model checking

with k-induction which can be used to prove safety properties of systems over

unbounded runs. We present a novel abstraction-refinement approach based on

unsatisfiable cores and models (UCM) for BMC and k-induction in the EPR setting.

We have implemented UCM refinements for EPR-based BMC and k-induction in a first-order automated theorem prover iProver. We also extended iProver with the AIGER format and evaluated it over the HWMCC'14 competition benchmarks. The experimental results are encouraging. We show that a number of AIG problems can be verified until deeper bounds with the EPR-based model checking.
Clausal Proof Compression
Authors: Heule Marijn , Biere Armin
Published: January 2018

Although clausal propositional proofs are significantly smaller compared

to resolution proofs, their size is still too large for several

applications. In this paper we present several methods to compress

clausal proofs. These methods are based on a two phase approach. The

first phase consists of a light-weight compression algorithm that can

easily be added to satisfiability solvers that support the emission

of clausal proofs. In the second phase, we propose to use a powerful

off-the-shelf general-purpose compression tool, such as bzip2 and

7z. Sorting literals before compression facilitates a delta encoding,

which combined with variable-byte encoding improves the quality of the

compression. We show that clausal proofs can be compressed by one order

of magnitude by applying both phases.
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
Authors: Prabhakar Pavithra , García Soto Miriam
Published: January 2018

This paper summarizes results related to a novel algorithmic approach for verifying stability of hybrid systems. The traditional approach based on Lyapunov function search suffers from several disadvantages --- it relies on the user expertise to obtain good templates for the Lyapunov function; further, an unsuccessful attempt at instantiating the templates provides no insights into the choice of better templates. To overcome these difficulties, the algorithmic approach relies on an abstraction refinement framework which systematically searches for a proof and provides insights to the user in the event of a failure to prove stability. We summarize the new foundations, techniques and software tools that we have developed for the algorithmic approach to stability verification.
Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors
Authors: Zouari Jaweher , Hamdi Mohamed , Kim Tai-Hoon
Published: January 2018

Interacting with geographically proximate users who present similar interests and preferences is a key service offered by mobile social networks which leads to the creation of new connections that combine physical and social closeness. Usually these interactions are based on social profile matching where users publish their preferences and attributes to enable the search for a similar profile. Such public search would result in the leakage of sensitive or identifiable information to strangers who are not always potential friends. As a consequence this promising feature of mobile social networking may cause serious privacy breaches if not addressed properly. Most existent work relies on homomorphic encryption for privacy preservation during profile matching, while we propose in this paper a novel approach based on the fuzzy extractor which performs private matching of two sets and reveals them only if they overlap considerably. Our scheme achieves a desirable trade off between security and complexity.
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications
Authors: Cerna David , Schreiner Wolfgang
Published: January 2018

In previous work we presented an algorithmic procedure for analysing the space complexity of monitor specifications written in a fragment of predicate logic. These monitor specifications were developed for runtime monitoring of event streams. Our procedure provides accurate results for a large fragment of the possible specifications, but overestimates the space complexity of precisely those specifications which are more likely to be found in real world applications. Experiments hinted at a relationship between the extent our procedure over-approximates the space requirements of a specification and the quantifier structure of the specification. In this paper we provide a formalization of this relationship as approximation ratios, and are able to pinpoint ``good'' constructions, that is specifications using less memory. These results are first steps towards categorizing specifications based on memory efficiency.
Application of Adaptive Neural Networks for the Filtration of Spam
Authors: Besiashvili Gela , Bliadze Tamar , Kochladze Zurab
Published: January 2018

The application of e-mail is the most widespread communication method. The increased email number includes permanently increased amount of unwanted notifications (spam). The statistics claims that 80% of the traffic is spam that lags the internet traffic, consumes space on hard disc, and reduces the capacity of the network, not to mention time spent for email’s classification. The advanced E-mail service packs contain spam filtration program. Nevertheless, to classify the e-mails as spam fully depends on the consumers, as information acceptable (or vital) for one consumer, may be a spam for other. Hence, it is crucial to have automatic spam filtration system for every individual consumer.

The paper discuss the solution, a learning system that filters emails through consumers’ parameters and gradually learn how to filter them accordingly. The system based on multi-layer neural network, which uses logistic activation function, learns via tutor and counter-spread algorithm of mistakes
Ultrametric automata and Turing machines
Authors: Freivalds Rusins
Published: January 2018

We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties similar to the properties of probabilistic automata but complexity of probabilistic automata and complexity of ultrametric automata can differ very much.
Stone duality for first-order logic: a nominal approach to logic and topology
Authors: Gabbay Murdoch J.
Published: January 2018

What are variables, and what is universal quantification over a variable?

Nominal sets are a notion of `sets with names', and using equational axioms in nominal algebra these names can be given substitution and quantification actions.

So we can axiomatise first-order logic as a nominal logical theory.

We can then seek a nominal sets representation theorem in which predicates are interpreted as sets; logical conjunction is interpreted as sets intersection; negation as complement.

Now what about substitution; what is it for substitution to act on a predicate-interpreted-as-a-set, in which case universal quantification becomes an infinite sets intersection?

Given answers to these questions, we can seek notions of topology.

What is the general notion of topological space of which our sets representation of predicates makes predicates into `open sets'; and what specific class of topological spaces corresponds to the image of nominal algebras for first-order logic?

The classic Stone duality answers these questions for Boolean algebras, representing them as Stone spaces.

Nominal algebra lets us extend Boolean algebras to `FOL-algebras', and nominal sets let us correspondingly extend Stone spaces to `∀-Stone spaces'.

These extensions reveal a wealth of structure, and we obtain an attractive and self-contained account of logic and topology in which variables directly populate the denotation, and open predicates are interpreted as sets rather than functions from valuations to sets.
Hierarchical Combination of Unication Algorithms (Extended Abstract)
Authors: Erbatur Serdar , Kapur Deepak , Marshall Andrew M , Narendran Paliath , Ringeissen Christophe
Published: January 2018

A critical question in unification theory is how to obtain

a unification algorithm for the combination of non-disjoint

equational theories when there exists unification algorithms

for the constituent theories. The problem is known to be

difficult and can easily be seen to be undecidable in the

general case. Therefore, previous work has focused on

identifying specific conditions and methods in which the

problem is decidable.

We continue the investigation in this paper, building on

previous combination results and our own work.

We are able to develop a novel approach to the non-disjoint

combination problem. The approach is based on a new set of

restrictions and combination method such that if the restrictions

are satisfied the method produces an algorithm for the unification

problem in the union of non-disjoint equational theories.
A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network
Authors: Primiero Giuseppe
Published: January 2018

In the present paper we explore the use of a newly formulated polymorphic modal type theory for a computational interpretation of programs in the context of distributed processing. The initial language define judgemental modalities with a the standard constructor for necessity interpreted as the presentation of instructions for a program terminating at runtime and an independent constructor for the possibility judgement as a representation of a process of partial evaluation. In order to interpret distributed and localised computing, we propose an extension in terms of multi-modalities, to express programs equipped with locations and data accessibility. Besides localised accessibility formalised by the different signed modalities, we develop further the language by prioritising these modalities, which implement seriality or staging annotations in the program structure.
Extended Resolution as Certificates for Propositional Logic
Authors: Keller Chantal
Published: January 2018

When checking answers coming from automatic provers, or when skeptically integrating them into proof assistants, a major problem is the wide variety of formats of certificates, which forces to write lots of different checkers. In this paper, we propose to use the extended resolution as a common format for every propositional prover. To be able to do this, we detail two algorithms transforming proofs computed respectively by tableaux provers and provers based on {\bdd}s into this format. Since this latter is already implemented for SAT solvers, it is now possible for the three most common propositional provers to share the same certificates.
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application
Authors: Takahashi Kazuko , Yoshimaru Shizuo , Goto Mizuki
Published: January 2018

This paper presents modeling of

a binary tree that represents a natural number

and gives an inductive proof for its properties

using theorem provers.

We define a function for converting data from a natural number

into a binary tree

and give an inductive proof for its well-definedness.

We formalize this method, develop a computational model based on it,

and apply it to an electronic cash protocol.

We also define the payment function on the binary tree

and go on to prove the divisibility of electronic cash

using the theorem provers Isabelle/HOL and Coq, respectively.

Furthermore, we discuss the effectiveness of this method.
Projectivity and unification in the varieties of locally finite monadic MV-algebras
Authors: Di Nola Antonio , Grigolia Revaz , Lenzi Giacomo
Published: January 2018

A description of finitely generated free monadic MV-algebras and

a characterization of projective monadic MV-algebras in locally finite

varieties is given. It is shown that unification type of locally finite

varieties is unitary.
Acceleration-based safety decision procedure for programs with arrays
Authors: Alberti Francesco , Ghilardi Silvio , Sharygina Natasha
Published: January 2018

Reachability analysis of programs with arrays is a well-known challenging problem and many existing approaches are bound to incomplete solutions.

In this paper we identify a class of programs with arrays for which safety is fully decidable.

The completeness result we provide is built up from acceleration techniques for arrays and the decision procedure for the Array Property Fragment class.
Large-Scale Linear Systems from Order-Reduction
Authors: Tran Hoang-Dung , Nguyen Luan Viet , Johnson Taylor T
Published: January 2018

This benchmark suite is composed of nine examples of large-scale linear systems, ranging in dimensionality in the tens to the low thousands. The benchmarks are derived from diverse fields such as civil engineering and robotics, and are based on similar existing test sets for model-order reduction algorithms in control and numerical analysis. Each example is provided in the SpaceEx XML model format as single-mode hybrid automaton and are compatible with the HyST model transformation tool to support analysis in other verification tools. Some preliminary reachability analysis results for some of the smaller examples (on the order of tens of dimensions) are presented using SpaceEx.
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
Authors: Liu Xudong , Truszczynski Mirek
Published: January 2018

\tit{Partial lexicographic preference trees}, or \tit{PLP-trees}, form an intuitive formalism for compact representation of qualitative preferences over combinatorial domains. We show that PLP-trees can be used to accurately model preferences arising in practical situations, and that high-accuracy PLP-trees can be effectively learned. We also propose and study learning methods for a variant of our model based on the concept of a PLP-forest, a collection of PLP-trees, where the preference order specified by a PLP-forest is obtained by aggregating the orders of its constituent PLP-trees. Our results demonstrate the potential of both approaches, with learning PLP-forests showing particularly promising behavior.
Industrial Examples of Formal Specifications for Test Case Generation
Authors: Roehm Hendrik , Gmehlich Rainer , Heinz Thomas , Oehlerking Jens , Woehrle Matthias
Published: January 2018

While requirements engineering has received considerable attention in

academia over the past years, formalization of requirements for physically

influenced systems is still a difficult task in practice. In this paper, we give

formal representations of some typical requirement classes arising in the

automotive industry. We divide these patterns into three main classes:

those mostly referring to properties of continuous signals, those mostly

referring to discrete events and those referring to similarity to a reference

signal. We discuss these patterns on concrete examples from automotive

embedded systems, where specifications are used for test case generation.
Contactless Surgery Light Control based on 3D Gesture Recognition
Authors: Dietz Armin , Schröder Stephan , Pösch Andreas , Frank Klaus , Reithmeier Eduard
Published: January 2018

Surgery lighting systems (SLS) aim to provide optimal lighting conditions for the surgeon in an operating room. To visually differentiate between only marginally different looking tissues, SLS offer settings for the level of illumination, color temperature and size of the illuminated field. By today’s standards, SLS are controlled with control panels that are situated at the lamp housings. The operation of the control panel is handled in an ergonomically unfavorable position with the hands above the operator’s head. On top, the region above the operator’s shoulder is considered as not sterile and causes a potential safety risk. To secure asepsis, it is required to extensively sterilize all equipment that the operator comes in contact with.

In this paper, a contactless gesture control for a SLS is developed with the intention to offer the surgeon a sterile and ergonomically comfortable operation. A Microsoft Kinect 3D-sensor is used. The gesture control offers control of the level of illumination, the color temperature and functions of a camera for documentation requirements like zooming, rotating and taking a picture. A sophisticated procedure to logon and logoff the system prevents unintentional operation.

The gesture control system and the conventional control panel were tested and compared in a usability study. The participating subjects rated the usability of the gesture control to be good to very good according to the System Usability Scale by Broke. 94% of the subjects perceived the gesture control to be ergonomically more comfortable. After simultaneous operation of the surgery light and execution of a cognitive task, 82% stated that the gesture control is less likely to distract them from that task. This data indicates that the concept of a gesture control with a 3D-sensor for a SLS is feasible and that it has a potential to receive a high degree of acceptance.
Niños, niñas y adolescentes: migrantes trabajadores guatemaltecos en la ciudad de Tapachula, Chiapas
Authors: López Reyes Yasmina Areli
Published: January 2018

Este artículo pretende evidenciar cómo los fundamentos de algunas instituciones como la OIT y UNICEF son pasados por alto en la cotidianidad, ya que tras 25 años los niños y adolescentes migrantes guatemaltecos continúan experimentando desigualdad social y laboral sin que las instituciones hayan logrado cumplir con sus objetivos. De ahí que se considere la necesidad de plantear un cambio de estrategias para abordar esta problemática, en la que los niños tengan posibilidades de integrarse y se tome en cuenta su derecho a decidir sobre las condiciones de trabajo.
El fundamento de una nación en el sureste Novohispano: A propósito de Votán, sacerdote fundador de Palenque, (1773-1994)
Authors: Díaz Perera Miguel Ángel
Published: January 2018

Partiendo de los desacuerdos en la discusión sobre el origen del hombre americano entre los siglos XVI y XVIII, el autor muestra cómo nociones involucradas se insertaron en el nacionalismo criollo de finales del siglo XVIII, alimentadad por la obtención deobjetos prehispánicos. Ello sustentó argumentos históricos preindependentistas en el sureste de la Nueva España. En este contexto, tomó relevancia Votán, un supuesto sacerdote  fundador que, a pesar de su olvido a raíz de la consolidación del centralismo mexicano a partir de 1994, volvió a reaparecer para poner en entredicho la acción epicéntrica del Estado mexicano.
Moctezuma, Miguel (2011), La transnacionalidad de los sujetos: Dimensiones, metodologías y prácticas convergentes de los migrantes en Estados Unidos, México: Universidad Autónoma de Zacatecas-Miguel Ángel Porrúa Editor.
Authors: Villafuerte Solís Daniel
Published: January 2018

.
Pratt, Mary Louise (2010), Ojos imperiales. Literatura de viajes y transculturación, México: Fondo de Cultura Económica.
Authors: Solar Fonseca León Felipe
Published: January 2018

.
El joven indígena en Chiapas: el re-conocimiento de un sujeto histórico
Authors: Cruz Salazar Tania
Published: January 2018

Este artículo analiza el nacimiento del joven indígena en el estado de Chiapas como un sujeto histórico, a partir de procesos económicos, políticos, migratorios y educativos como la crisis agraria de los ochenta, la explosión de la migración juvenil internacional, la escuela indígena y el modelo educativo intercultural. El método fue etnográfico; se realizaron entrevistas a profundidad en distintos lugares y tiempos a jóvenes hablantes de lengua indígena que reconocían su pertenencia étnica. Los hallazgos permiten exponer condiciones, experiencias y procesos juveniles de muchachos y muchachas tseltales, ch’oles, cholanotseltales, mayaslacandonesy tsotsiles.
Estudio crítico sobre el número de tributarios en Chiapas (1560-1817). Una propuesta metodológica para la historia de la población
Authors: Obara-Saeki Tadashi
Published: January 2018

El presente artículo tiene como propósito ofrecer, a través del análisis de la historia de la tasación del tributo en la provincia de Chiapas (1560-1817), conocimientos básicos sobre el número de tributarios, como una forma de acercarnos a la evolución de la población. El artículo revela la cambiante definición del tributario y la manera en la que se tasaba el tributo y en la que se contaban tributarios con el fin de hacer una propuesta metodológicapara estudios históricos de la población.
Presentación
Authors: Castañeda Seijas Minerva Yoimy
Published: January 2018

.
De cómo la identidad étnica se vive en un contexto de migración: la presencia de migrantes chiapanecos en Los Altos de Jalisco
Authors: Hernández López Rafael Alonso
Published: January 2018

El presente escrito tiene la finalidad de poner de manifiesto cómo se ha conformado la identidad étnica en un municipio de Jalisco con la presencia de migrantes procedentes de Chiapas para trabajar en la agroindustria del tequila . Para ello, mediante análisis documental, discursivo y etnográfico, se rastrean momentos que, a juicio del  autor, terminan por poner de manifiesto un "proceso de destilación étnica", metáfora que sirve para explicitar los procesos y dinámicas surgidas de las relaciones étnicas entre dos grupos supuestamente diferenciados cultural y racialmente: los indígenas migrantes y los alteños.
Frederick Starr por el sur de México
Authors: Calderón Mólgora Marco Antonio
Published: January 2018

.
Paisaje e identidad. El río Papaloapan, elemento funcional y simbólico de los paisajes del Sotavento
Authors: Thiébaut Virginie
Published: January 2018

En la cuenca baja del Papaloapan, el río, además de vía de comunicación, proveedor de alimentos y fuente de fertilización de las tierras, estaba relacionado con las creencias religiosas. Durante el siglo XX perdió estas funciones porque las vías de comunicación terrestres sustituyeron al río y la contaminación de las aguas y el azolve provocaron la disminución de la actividad pesquera. En este trabajo estudiaremos los paisajes fluviales del Papaloapan para entender si los cambios funcionales han llevado a la modificación de la percepción del río y del sentimiento de identidad por parte de los habitantes ribereños.
Mujeres y organización social en la gestión del agua para consumo humano y uso doméstico en Berriozábal, Chiapas
Authors: Gutiérrez Villalpando Verónica , Nazar Beutelspacher Dominga Austreberta , Zapata Martelo Emma , Contreras Utrera Julio , Salvatierra Izaba Benito
Published: January 2018

El estudio analiza la organización comunitaria en la gestión del agua para consumo humano y uso doméstico y el papel que juegan las mujeres en ella en las localidades urbanas y rurales de las subcuencas Río Sabinal y Cañón del Sumidero en Berriozábal, Chiapas. El agua es suficiente, pero en la época de sequía disminuye y no alcanza para cubrir los requerimientos de quienes se benefician de estas fuentes. Por ello, las mujeres tienen que asumir la responsabilidad de abastecer el agua que se utiliza en el hogar, lo que les genera más carga de trabajo.
Migración interna indígena desde el Istmo veracruzano: nuevas articulaciones regionales
Authors: Velázquez Hernández Emilia
Published: January 2018

El objetivo de este trabajo es analizar las nuevas articulaciones regionales que se crean a través de las migraciones internas. Para ello, se toma como estudio de caso las migraciones que desde mediados de la década de 1990 se realizan desde el Istmo veracruzano hacia la frontera norte de México y los campos de agricultura intensiva de Sinaloa. Se muestra que, a través de la migración laboral de trabajadores nahuas y popolucas de la Sierra de Santa Marta, regiones antes inconexas se articulan actualmente de manera desigual.
La odisea de los hermanos Tort y la Fábrica de Hilados y Tejidos La Providencia en Chiapas a finales del siglo XIX
Authors: Llanos Hernández Luis
Published: January 2018

Este artículo busca explicar el proceso de construcción de la Fábrica de Hilados y Tejidos de Algodón La Providencia emprendida por los hermanos Tort en Chiapas. Fue la fábrica más moderna construida en el estado a finales del siglo XIX, obra de un ideal modernizador que corresponde al pensamiento de la época y forma parte del contexto histórico del México que se configura entre las tres últimas décadas del siglo XIX y la primera del siglo XX, el cual se reproduce de manera particular en Chiapas.
Reseña de Guillermo Núñez Noriega (2009), Vidas vulnerables. Hombres indígenas, diversidad sexual y VIH-Sida, México: CIAD /CEDEMEX.
Authors: López Moya Martín de la Cruz
Published: January 2018

.
Presentación
Authors: Parrilla Albuerne Ana María
Published: January 2018

.
Propuesta de estudio semiótico para los murales de Bonampak, Chiapas, México
Authors: Pincemin Deliberos Sophia , Rosas y Kifuri Mauricio
Published: January 2018

En este trabajo se describe y analiza la escena representada en los muros este, sur y oeste del cuarto 1 de los murales de Bonampak, llamada "la presentación del heredero," utilizando las calcas hechas en 1988 y revisadas en los dos últimos años, así como elementos teóricos y metodologías de la semiótica visual.
La Blanca, un asentamiento urbano maya en la cuenca del río Mopán
Authors: Muñoz Cosme Gaspar , Vidal Lorenzo Cristina
Published: January 2018

El objetivo de este trabajo es presentar los resultados de una investigación realizada recientemente en el asentamiento maya de La Blanca, Guatemala, cuyas características urbanas y arquitectónicas revelan datos significativos de su importancia social y cultural y del papel que jugó en el ámbito de la cuenca del río Mopán. La metodología empleada en esta investigación, así como la puesta en valor de este importante patrimonio cultural, nos ha permitido demostrar cómo, al mismo tiempo, es factible llevar a cabo acciones susceptibles de favorecer el desarrollo social, económico y cultural de las poblaciones vinculadas a sitios arqueológicos como éste.
Estrategias familiares de hombres y mujeres con VIH que buscan atender necesidades materiales en la región del Soconusco, Chiapas
Authors: Chong Villarreal Francisco , Fernández Casanueva Carmen , Huicochea Gómez Laura , Álvarez Gordillo Guadalupe del Carmen , Leyva Flores René
Published: January 2018

En este estudio se entrevistó a siete mujeres y doce hombres con virus de inmunodeficiencia humana (VIH) en situación de pobreza, en la región del Soconusco, estado de Chiapas. Se analizaron las estrategias familiares que utilizan para cubrir sus necesidades materiales. Pese a que el estigma asociado al VIH y Síndrome de Inmunodeficiencia Humana (SIDA) está presente en su vida, se encontró que la familia extensa â€”padres, hijos, abuelos, tíos, nietosâ€” de aquellas personas, después de un proceso de readaptación al grupo, juega un papel importante para satisfacer las necesidades de alimentación, transporte y vivienda.
Cultura organizacional de cuidados médicos, violencia institucional y desadherencia al tratamiento antirretroviral de las personas indígenas que viven con VIH -Sida en Los Altos de Chiapas
Authors: Muñoz Martínez Rubén
Published: January 2018

Los resultados de esta investigación dilucidan algunas problemáticas que la cultura organizacional de cuidados médicos conlleva en el acceso y adherencia al tratamiento antirretroviral de las personas indígenas que viven con VIH-Sida en Los Altos de Chiapas desde un eje teórico centrado en la violencia estructural e institucional que opera a través de la discriminación por el origen étnico, la condición socioeconómica y ser portador del VIH-Sida.
Vulnerabilidad suicida en localidades rurales de Chiapas: una aproximación etnográfica
Authors: Imberton Deneke Gracia
Published: January 2018

En este artículo se examina la dimensión social de la muerte autoinflingida en las localidades Río Grande y Cantioc del estado de Chiapas, México, y propongo una aproximación etnográfica para su análisis. Consciente de las dificultades metodológicas que entraña la construcción tanto de los datos empíricos del suicidio como de sus explicaciones causales, planteo que un acercamiento al contexto histórico del espacio social en cuestión y a las condiciones de vida actuales de la población permite derivar algunas correlaciones entre posiciones sociales, tensiones y conflictos, y vulnerabilidad suicida.
La gramática gnóstica de la salud y la sanación en la religión americana. El caso de la ciencia de la salud de Mary Baker Eddy
Authors: Hernández Madrid Miguel Jesús
Published: January 2018

El artículo explora los alcances de un análisis relacional entre la gramática gnóstica contemporánea contenida en la religión estadounidense y las experiencias de sanación espiritual derivadas de ella. Se estudia el caso de la Ciencia Cristiana, fundada por Mary Baker Eddy en la segunda mitad del siglo XIX, con el propósito de reflexionar sobre la relevancia de esta experiencia en los escenarios de los campos religiosos contemporáneos.
Acción pública y desarrollo social en el sureste de México: la Agenda Chiapas-ONU
Authors: Rodríguez Castillo Luis
Published: January 2018

En esta colaboración presento diferentes interpretaciones y acciones en torno a la Agenda Chiapas-ONU, sustentada idealmente en los Objetivos de Desarrollo del Milenio. La estrategia de comunicación social del gobierno del estado generó una relación metonímica entre esta política y el programa Ciudades Rurales Sustentables. Desde una perspectiva antropológica, documento los conocimientos y valoraciones, así como los comportamientos de diversos agentes, que se alinean en torno a proyectos a favor o en contra de esas políticas ”la Agenda Chiapas-ONU y el programa Ciudades Rurales Sustentables”.
Ruz, Mario Humberto (coord.), (2012) "El arte del tiempo maya". Artes de México, núm. 107. México: Artes de México y del Mundo
Authors: González Ponciano Jorge Ramón
Published: January 2018

.
Judíos, indios y el mito del crimen ritual. El caso de Chamula, Chiapas, 1868
Authors: Har Peled Misgav
Published: January 2018

Entre 1867 y 1869 se vivió en Los Altos de Chiapas la rebelión de los indios chamulas contra los ladinos de San Cristóbal de Las Casas conocida como Guerra de Castas. Según la historia oficial, los indígenas crucificaron el Viernes Santo de 1868 a un niño de dicha comunidad tsotsil. Este hecho puede compararse con la "leyenda de sangre" imputada a los judíos, y su transferencia a los indios suscita preguntarse si se trata de un suceso aislado, o si responde a una lógica que vincula al indio salvaje con el judío como el asesino del Hijo de Dios.
Apropiación de la figura de san Diego de Alcalá por una comunidad maya de Campeche
Authors: De Ángel García David
Published: January 2018

En este trabajo se ilustran algunos mecanismos implementados por los mayas peninsulares de la comunidad de Nunkiní, Campeche, para apropiarse de la figura de san Diego de Alcalá, el santo patrono del pueblo. Basándome en datos etnográficos y en testimonios orales, me ocuparé de tres ámbitos en los que se ponen de manifiesto las profundas transformaciones y reelaboraciones que ha sufrido este personaje sagrado desde su llegada a Nunkiní. Pretendo mostrar cómo una entidad tan extraña al universo cultural indígena pudo pasar a convertirse en una deidad con características propias de las potencias mesoamericanas y una identidad marcadamente local.
La identidad afropanameña en la literatura desde el siglo XX hasta el nuevo milenio
Authors: Watson Sonja Stephenson
Published: January 2018

La identidad negra en Panamá es un concepto complejo por la coexistencia de dos grupos de negros: los afrocoloniales y los afroantillanos. Mientras que los afrocoloniales son producto del mestizaje racial y se identifican por su nacionalidad panameña, los afroantillanos son inmigrantes y siguen el modelo racial de sus países natales ”Jamaica y Barbados” que se basa en la negritud. Los escritores afropanameños Juan Urriola, Gaspar Octavio Hernández, Carlos Cubena Guillermo Wilson y Melva Lowe de Goodin representan a estos dos grupos étnicos y en sus obras se manifiesta la problemática de la identidad, reflejo de la diáspora africana.
Fiestas en honor a la Santa Muerte en el Caribe mexicano
Authors: Higuera Bonfil Antonio
Published: January 2018

Se abordan tres fiestas en honor a la Santa Muerte en Chetumal. Se muestran los rasgos generales de las celebraciones organizadas anualmente por la parroquia del Señor de la Misericordia y la Santa Muerte, adscrita a la Iglesia Católica Tradicional México-Estados Unidos, así como por dos altares domésticos que operan como centros esotéricos. Caracterizar estas ocasiones permite entender la forma en que se ha desarrollado una práctica religiosa local, que lejos de tener una tradición única, alimenta rituales propios. Las diferentes estructuras locales permiten que los creyentes expresen su creencia mediante la inserción en la organización de estas fiestas.
Diversidad religiosa en los textos escolares de Centroamérica
Authors: Ascencio Franco Gabriel
Published: January 2018

En el escrito se explora la invisibilización de la diversidad religiosa en textos e imágenes de los libros escolares de ciencias sociales para educación básica en los países de Centroamérica, la cual es producto de la decimonónica narrativa en torno a la nación homogénea â€”una religión, una lengua, una culturaâ€”, que sigue dominando a pesar de la proliferación del discurso multicultural desde el quinto centenario del arribo europeo a América y la transición hacia regímenes más democráticos en las últimas décadas, que propugnarían por una convivencia intercultural basada en la lealtad cívica o el patriotismo constitucional.
La traducción y la hibridación como problemas para una interculturalidad autónoma, colaborativa y descolonizadora
Authors: Pérez Ruiz Maya Lorena
Published: January 2018

Se vislumbran tres modelos de interacción entre los sistemas de conocimiento científico e indígena contenidos en la noción de interculturalidad: la perspectiva etnocéntrica y colonizadora, la intercultural integradora, y la intercultural autónoma, colaborativa y descolonizadora. No siempre se discuten las implicaciones de la traducción de conocimientos y la hibridación como medios y finalidades del diálogo intercultural. En este trabajo reflexiono sobre la interacción asimétrica entre el sistema científico hegemónico y los sistemas indígenas subalternos. Se propone la construcción consensuada del sentido, los contenidos y las finalidades de la interculturalidad para avanzar hacia la superación de la perspectiva colonizadora.
Hacia un país plural: educación comunitaria en Oaxaca frente a la política de interculturalidad cero
Authors: Maldonado Alvarado Benjamín
Published: January 2018

En este artículo se describen brevemente experiencias de educación comunitaria en el estado de Oaxaca, que se encuentra en crecimiento, y se ubica el horizonte que orienta el rumbo de la mayoría de ellas. Más allá del discurso intercultural hegemónico, la educación comunitaria busca el fortalecimiento de la diversidad, de la diferencia y de lo local, para avanzar hacia un país intercultural, plural. El carácter colonial del Estado mexicano actual es evidenciado por los trabajos del Tribunal Permanente de los Pueblos, que muestran su vocación de represión de la diversidad, lo que contradice su discurso intercultural.
El carácter interactoral en la educación superior con enfoque intercultural en México
Authors: Rojas Cortés Angélica , González Apodaca Erica
Published: January 2018

En México la educación superior intercultural ha estado signada por la política oficial. La Coordinación General de Educación Intercultural Bilingüe (CGEIB) ha creado las llamadas universidades interculturales; sin embargo, anteriores y paralelas a éstas operan otras instituciones con enfoque intercultural fuera de esta política de estado, con sentidos diversos en su carácter intercultural. A partir de una revisión de trabajos analíticos y descriptivos, de investigación y divulgación, en el presente artículo se explora el carácter interactoral de diversas instituciones de educación superior intercultural en México y se identifican algunos retos que emanan de esta dimensión.
Interculturalidad y derecho a la educación de la niñez indígena jornalera migrante
Authors: Pacheco Ladrón de Guevara Lourdes Consuelo , Cayeros López Laura Isabel , Madera Pacheco Jesús Antonio
Published: January 2018

Niños y niñas de pueblos indígenas trabajan en campos agrícolas de acuerdo con su edad y género aunque deberían estar en la escuela recibiendo educación de calidad en su propia lengua. Desde 1999, con la Modalidad Educativa Intercultural para la Población Infantil Migrante se estableció la interculturalidad como orientación educativa para la niñez indígena agrícola migrante, que se retomó posteriormente en el Programa Educación Primaria para Niñas y Niños Migrantes. En este artículo se analizan las acciones sobrea educación intercultural dirigida a esta población a partir del análisis de las acciones establecidas por parte del sector educativo.
La diversidad cultural oaxaqueña a la luz de la ética ambiental
Authors: Filgueiras Nodar José María
Published: January 2018

En este artículo se trata de poner en relación algunos aspectos de las cosmovisiones de diferentes pueblos originarios del estado de Oaxaca (México) con ciertos intereses de la ética ambiental contemporánea, como las perspectivas del pragmatismo ambiental y la ética ambiental comparada. Así, se mostrarán dos elementos presentes en las cosmovisiones de diferentes etnias oaxaqueñas que resultan relevantes para la ética ambiental, como son la existencia de deidades ligadas a la protección ambiental, y también algunas ideas sobre el lugar que el ser humano ocupa en el mundo.
Chiapas: la guerrilla que queríamos
Authors: Cueva Perus Marcos
Published: January 2018

Me propongo mostrar cómo la representación de la insurrección armada chiapaneca de 1994 del Ejército Zapatista de Liberación Nacional fue moldeada a partir de ese año no por su dinámica interna, sino por un sector de la intelectualidad de izquierda y por la sociedad civil mexicanas, que crearon un imaginario de los rebeldes como indígenas no contaminados por la modernidad que vivían en un estado "natural". Al no ser esto cierto, los intelectuales simpatizantes pudieron integrarse al grupo armado, pero no definir su política y práctica de una manera adecuada. Los principios y formación política sobrevivieron en el grupo armado.
Sánchez Juárez, Gladys Karina (2015). Los pequeños cafeticultores de Chiapas. Organización y resistencia frente al mercado. México: CESMECA-UNICACH
Authors: Camacho Velázquez Dolores
Published: January 2018

.
Abordajes teóricos sobre las juventudes indígenas en Latinoamérica
Authors: Kropff-Causa Laura , Stella Valentina
Published: January 2018

Una dificultad al proponer una sistematización de la información sobre juventud indígena en Latinoamérica tiene que ver con que las categorías "juventud" e "indígena" no emergen como datos directos de la realidad, sino que son construidas a partir de definiciones. Para contribuir al análisis de este entramado, esta investigación se focaliza en las definiciones con las que la academia latinoamericana ha contribuido en los últimos años. Finalmente, se propone el abordaje de edad y etnicidad como clivajes que definen la movilidad estructurada de subjetividades, identidades y agencias cuya trama debe leerse situada en cada contexto sociopolítico e histórico particular.
Patrones de manejo y negociación por el agua en parajes tsotsiles de la ladera sur del volcán Tsonte’vits, Chiapas, México
Authors: Murillo Licea Daniel , Soares Moraes Denise
Published: January 2018

Se identifican los elementos que aparecen en los patrones de manejo y negociación del agua por población tsotsil de algunos parajes de varios municipios situados en la parte sur del volcán Tsonte’vits, en Los Altos de Chiapas, México. Mediante trabajo de campo directo, recorridos por varios manantiales, observación participante y entrevistas se analizan los sistemas de uso, aprovechamiento y negociación entre parajes para otorgar agua para uso doméstico. Dichos patrones de manejo del agua obedecen a reglas consuetudinarias, a negociaciones interparaje, y a un sentido de identidad y de territorialidad tsotsil entre los municipios de la región estudiada.
Repensar los retornos a través de los sistemas de movilidad en Centroamérica. El caso de Nicaragua
Authors: Prunier Delphine
Published: January 2018

En este artículo se propone una reflexión teórica sobre el concepto polisémico de retorno y la relación de los migrantes con su territorio de origen. A partir del caso de un municipio nicaragüense, se analizan las dinámicas de movilidad y circulación desde los sistemas migratorios dispersos, considerando la diversidad de destinos y de temporalidades de desplazamiento dentro y fuera de la región centroamericana. Se busca demostrar que las lógicas de retorno abarcan realidades y experiencias múltiples dentro del proyecto migratorio. Con este objetivo, se discuten dos nociones sobre la articulación entre circulación, territorio y retorno: "reversibilidad" y "recurso espacial".
Rivera Farfán, Carolina (coord.) (2014). Trabajo y vida cotidiana de centroamericanos en la frontera suroccidental de México. México: CIESAS.
Authors: Marín Valadez Blanca Mónica
Published: January 2018

.
Flores Vidales, Alfredo (coord.) (2011). Adolescentes en conflicto con la ley. ¿Lo residual del sistema? México: Grupo Metonimia/INDESOL
Authors: Basail Rodríguez Alain
Published: January 2018

.
El teatro como intervención feminista antirracista. Reflexiones en torno a las obras de teatro Raíz de ébano y Flores amarillas
Authors: Cuero Montenegro Astrid Yulieth
Published: January 2018

Se reflexiona sobre la relación entre cultura, arte y política feminista antirracista a partir de mi participación en el Teatro-Foro Género y Racismo (Bogotá,  2011). A través del análisis de dos obras de teatro y de reflexiones teóricas sobre las articulaciones entre sexismo y racismo, sugiero la posibilidad de pensar el teatro como una forma de intervención feminista antirracista, como una forma de crear conciencia sobre el racismo que experimentamos como mujeres y como cuerpos racializados. Sitúo el teatro como un acto estético y político, con potencial para cuestionar las relaciones de poder y los mecanismos de opresión.
Mujeres centroamericanas que transitan y laboran en la frontera sur de México. Una reconstrucción analítica
Authors: García Aguilar María del Carmen
Published: January 2018

Se analizan experiencias de mujeres centroamericanas que transitan por México y que se quedan a trabajar en la frontera sur. Se ofrece una perspectiva analítica con miras a desestructurar la parálisis en la comprensión de su problemática, y con ello propiciar alternativas de dignificación de sus condiciones de vida y trabajo a través de políticas públicas de género. Utilizando como método la fenomenología, se recupera la experiencia de vida cotidiana de estas mujeres migrantes que encaran realidades múltiples y contingentes. Se concluye con el registro de nuevas-viejas formas de representación, proyectos y experiencias que invocan una epistemología del "desengaño".
Ciencia y recursos naturales a través del Periódico Oficial del Gobierno del Territorio de Quintana Roo, 1936-1940
Authors: Vega y Ortega Báez Rodrigo Antonio
Published: January 2018

Entre 1936 y 1940, Rafael E. Melgar gobernó el Territorio de Quintana Roo. En este lapso, se publicaron en el Periódico Oficial del Gobierno del Territorio de Quintana Roo varios escritos sobre la explotación de la flora. El objetivo es comprender la valoración científica de los recursos vegetales de Quintana Roo en dicho periodo. La metodología retoma aspectos de la historia de la ciencia para demostrar algunos de los propósitos del gobierno de Melgar en torno a la exploración científica. En las conclusiones se destaca que el gobierno se interesó en elaborar el inventario botánico para modernizar la economía.
Presentación
Authors: Garzón Martínez María Teresa
Published: January 2018

.
Presentación
Authors: Pinto Durán Astrid Maribel
Published: January 2018

.
Perspectivas y alcances de la vinculación comunitaria. El caso de la Universidad Intercultural de Chiapas, Unidad Oxchuc
Authors: Navarro Martínez Sergio Iván
Published: January 2018

Se reflexiona sobre las perspectivas de la vinculación comunitaria en la Unidad Académica Multidisciplinaria de Oxchuc de la Universidad Intercultural de Chiapas. La investigación se realizó entre 2013 y 2015 desde la metodología del enfoque etnográfico. Entre los hallazgos destaca que la vinculación comunitaria encuentra limitantes al no establecerse mecanismos de interacción sistemática con los actores comunitarios por la visión limitada de cómo se aborda y por restricciones burocráticas. Se realizan aportes para pensar la vinculación como un recurso que puede coadyuvar a los procesos comunitarios desde una perspectiva que contemple la experiencia formativa y reflexiva para alcanzar transformaciones.
Meza Márquez, Consuelo y Aída Toledo Arévalo (2015). La escritura de poetas mayas contemporáneas producida desde excéntricos espacios identitarios. Aguascalientes: Universidad Autónoma de Aguascalientes
Authors: Naranjo Zavala Krishna
Published: January 2018

.
Presentación
Authors: Rodríguez Castillo Luis
Published: January 2018

.
Cultura de la resistencia: una visión desde el zapatismo
Authors: González Aróstegui Mely del Rosario
Published: January 2018

Este trabajo se mueve dentro del discurso de los zapatistas, contenido en comunicados, declaraciones, artículos de opinión, etcétera, sin desatender la práctica política, porque reconocemos su necesidad para poder medir realmente el alcance de un movimiento. La articulación de la rebelión de los indígenas y campesinos de Chiapas con las modernas tecnologías comunicacionales demostró poseer una fuerza expansiva extraordinaria.
La noción de tiempo y espacio en el calendario ritual de Cariquima
Authors: Beltrán Henríquez Patricia
Published: January 2018

El acercamiento al estudio de los rituales en Cariquima sobrellevó la reflexión crítica de sopesar en qué medida el sistema de creencias y los rituales locales eran tributarios de las prácticas cristianas, por cuanto se percibía que la mayor parte de las fiestas y rituales aducían un motivo y una liturgia aparentemente católicos.
Subordinación de género e interculturalidad. Mujeres desplazadas en Chiapas
Authors: Olivera Bustamante Mercedes
Published: January 2018

Mostramos dos situaciones de desplazamiento: los ocasionados por conflictos políticoreligios y el desplazamiento masivo de refugiados guatemaltecos al inicio de la década de los ochenta. Aunque hacemos mención a algunas causas y procesos históricos de estos desplazamientos, hemos puesto el énfasis en los efectos que han ocasionado en la vida e identidad de las mujeres, en las diferentes situaciones de interculturalidad en que han vivido en los lugares en donde se han asentado.
Comunidad diferenciada. Linchamiento por brujería e imaginarios políticos en un pueblo tojolabal
Authors: Pinto Durán Astrid Maribel , López Moya Martín de la Cruz
Published: January 2018

Nos interesa debatir en este artículo las conclusiones a las que Carlos Lenkersdorf llega respecto a la sociedad y cultura tojolabal y el método. Lenkersdorf señala en el texto en discusión que su interés es acceder, a partir del estudio de la lengua, a la cosmovisión de este grupo, es decir, a cómo "lo real" es visto por los tojolabales. Aunque en el texto no es difícil percibir su mirada ajena a esta cultura, propone que para comprender la cosmovisión tojolabal, hay que convertirse irremediablemente en uno de ellos.
Rocío Ortiz Herrera, 2003, Pueblos Indios, Iglesia Católica y Élites Políticas en Chiapas (1824-1901). Una perspectiva comparativa, CONECULTA-El Colegio de Michoacán, Tuxtla Gutiérrez.
Authors: Lisbona Guillén Miguel
Published: January 2018

.
Presentación
Authors: Lisbona Guillén Miguel
Published: January 2018

.