bluuebunny/crossref_metadata_2025 huggingface dataset:
Towards High-Assurance Multiprocessor Virtualisation
Authors: von Tessin Michael
Published: January 2018

Virtualisation is increasingly being used in security-critical systems to provide isolation between system components. Being the foundation of any virtualised system, hypervisors need to provide a high degree of assurance with regards to correctness and isolation. Microkernels, such as seL4, can be used as hypervisors. Functional correctness of seL4's uniprocessor C implementation has been formally verified. The framework employed to verify seL4 is tailored to facilitate reasoning about sequential programs. However, we want to be able to use the full power of multiprocessor/multicore systems, and at the same time, leverage the high assurance seL4 already gives us for uniprocessors.

This work-in-progress paper explores possible multiprocessor designs of seL4 and their amenability to verification. For the chosen design, it contributes a formal multiprocessor execution model to lift seL4's uniprocessor model and proofs into a multiprocessor context using only minor modifications. The theorems proving the validity of the lift operation are machine-checked in Isabelle/HOL and walked-through in the paper.
Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
Authors: Klarman Szymon
Published: January 2018

We develop a practical approach to querying temporal data stored in temporal SQL:2011 databases through the semantic layer of OWL 2 QL ontologies. An interval-based temporal query language (TQL), which we propose for this task, is defined via naturally characterizable combinations of temporal logic with conjunctive queries. This foundation warrants well-defined semantics and formal properties of TQL querying. In particular, we show that under certain mild restrictions the data complexity of query answering remains in AC$^0$, i.e., as in the usual, nontemporal case. On the practical side, TQL is tailored specifically to offer maximum expressivity while preserving the possibility of reusing standard first-order rewriting techniques and tools for OWL 2 QL.
Ground Associative and Commutative Completion Modulo Shostak Theories
Authors: Conchon Sylvain , Contejean Evelyne , Iguernelala Mohamed
Published: January 2018

AC-completion efficiently handles equality modulo associative and commutative function symbols. In the ground case, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension of ground AC-completion for deciding formulas in the combination of the theory of equality with user-defined AC symbols, uninterpreted symbols and an arbitrary signature disjoint Shostak theory X. The main ideas of our algorithm are first to adapt the definition of rewriting in order to integrate the canonizer of X and second, to replace the equation orientation mechanism found in ground AC-completion with the solver for X.
Model Check What You Can, Runtime Verify the Rest
Authors: Hinrichs Timothy L. , Sistla A. Prasad , Zuck Lenore D.
Published: January 2018

Model checking and runtime verification are pillars of formal verification but for the most part are used independently. In this position paper we argue that the formal verification community would be well-served by developing theory, algorithms, implementations, and applications that combine model checking and runtime verification into a single, seamless technology. This technology would allow system developers to carefully choose the appropriate balance between offline verification of expressive properties (model checking) and online verification of important parts of the system's state space (runtime verification). We present several realistic examples where such technology appears necessary and a preliminary formalization of the idea.
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Authors: Livingston Scott , Raman Vasumathi
Published: January 2018

Formal methods refers broadly to techniques for the verification and

automatic synthesis of transition systems that satisfy desirable properties

exactly or within some statistical tolerance. Though historically developed for

concurrent software, recent work has brought these methods to bear on motion

planning in robotics. Challenges specific to robotics, such as uncertainty and

real-time constraints, have motivated extensions to existing methods and

entirely novel treatments. However, compared to other areas within robotics

research, demonstrations of formal methods have been surprisingly small-scale.

The proposed benchmark seeks to motivate advancement of the state of

the art toward practical realization by testing scalability of existing tools, and

motivating improvements.
Propagators and Solvers for the Algebra of Modular Systems
Authors: Bogaerts Bart , Ternovska Eugenia , Mitchell David
Published: January 2018

Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely semantic terms. Many practical systems based on expressive formalisms solve the model expansion task. In this paper, we con- struct a solver for the model expansion task for a complex modular system from an expression in the algebra and black-box propagators or solvers for the primitive modules. To this end, we define a general notion of propagators equipped with an explanation mechanism, an extension of the algebra to propagators, and a lazy conflict-driven learning algorithm. The result is a framework for seamlessly combining solving technology from different domains to produce a solver for a combined system.
Verifying safety of an autonomous spacecraft rendezvous mission
Authors: Chan Nicole , Mitra Sayan
Published: January 2018

A fundamental maneuver in autonomous space operations is known as rendezvous, where a spacecraft navigates to and approaches another spacecraft. In this case study, we present linear and nonlinear benchmark models of an active chaser spacecraft performing rendezvous toward a passive, orbiting target. The system is modeled as a hybrid automaton, where the chaser must adhere to different sets of constraints in each discrete mode. A switched LQR controller is designed accordingly to meet this collection of physical and geometric safety constraints, while maintaining liveness in navigating toward the target spacecraft. We extend this benchmark problem to check for passive safety, which is collision avoidance along a passive, propulsion-free trajectory that may be followed in the event of system failures. We show that existing hybrid verification tools like SpaceEx, C2E2, and our own implementation of a simulation-driven verification tool can robustly verify this system with respect to the requirements, and a variety of relevant initial conditions.
PDT Logic for Stream Reasoning in Multi-agent Systems
Authors: Martiny Karsten , Moeller Ralf
Published: January 2018

We present Probabilistic Doxastic Temporal (PDT) Logic for streams, a formalism to reason about

probabilistic beliefs and their infinite temporal evolution in multi-agent systems. Extending previous

work on PDT Logic, this formalism builds on a Markov chain model to represent infinite streams

of possible worlds. Within these streams, it enables the quantification of beliefs through probability

intervals as well as the representation of temporal relations and epistemic actions. We show how

agents can update their beliefs with respect to their observations, provide a model for infinite streams of possible worlds and show how we can map clippings of these streams to finite time windows.

Based on these time windows, we introduce an adoption of the semantics of PDT Logic for finite

time frames, and show how this provides a means to overcome the limitation of finite time domains.
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial
Authors: Leino Rustan
Published: January 2018

A recursive function is well defined if its every recursive call

corresponds a decrease in some well-founded order. Such a function is

said to be _terminating_ and is in many applications the standard way

to define a function. A boolean function can also be defined as

an extreme solution to a recurrence relation, that is, as a least or

greatest fixpoint of some functor. Such _extreme predicates_ are

useful to encode a set of inductive or coinductive inference rules

and are at the core of many a constructive logic. The

verification-aware programming language Dafny supports both

terminating functions and extreme predicates. This tutorial

describes the difference in general terms, and then describes novel

syntactic support in Dafny for defining and proving lemmas with

extreme predicates. Various examples and considerations are given.

Although Dafny's verifier has at its core a first-order SMT solver,

Dafny's logical encoding makes it possible to reason about fixpoints

in an automated way.
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
Authors: Minica Stefan , Khodadadi Mohammad , Schmidt Renate A. , Tishkovsky Dmitry
Published: January 2018

This paper presents two tableau provers for deciding interrogative-epistemic logics. They are both based on a tableau calculus generated using a recently introduced tableau synthesis framework. We have implemented the calculus using two approaches, namely Mettel2 and Qtab Here, we describe and compare these different approaches of implementing a tableau procedure.
Do Portfolio Solvers Harm?
Authors: Weidenbach Christoph
Published: January 2018

I discuss the question whether portfolio solvers support advances in automated reasoning.

A portfolio solver is the combination of a collection of core solvers.

I distinguish syntactic combinations from semantic combinations and argue

that the former are useful for competitions where the latter foster

progress in automated reasoning.
Hierarchic Superposition Revisited
Authors: Waldmann Uwe
Published: January 2018

In 1994,

Bachmair, Ganzinger, and Waldmann introduced the hierarchical

superposition calculus as a generalization of the superposition

calculus for black-box style theory reasoning.

Their calculus works in a framework of hierarchic specifications.

It tries to prove the

unsatisfiability of a set of clauses with respect to interpretations

that extend a background model such as the integers with linear arithmetic

conservatively, that is, without

identifying distinct elements of old sorts ("confusion") and without

adding new elements to old sorts ("junk").

We show how the calculus can be improved,

report on practical experiments,

and present a new completeness result for

non-compact classes of background models

(i.e., linear integer or rational arithmetic restricted to

standard models).
Automated Invention of Strategies and Term Orderings for Vampire
Authors: Jakubuv Jan , Suda Martin , Urban Josef
Published: January 2018

In this work we significantly increase the performance of the Vampire and E automated theorem provers (ATPs) on a set of loop theory problems. This is done by developing EmpireTune, an AI system that automatically invents targeted search strategies for Vampire and E. EmpireTune extends previous strategy invention systems in several ways. We have developed support for the Vampire prover, further extended Vampire by new mechanisms for specifying term orderings, and EmpireTune can now automatically invent suitable term ordering for classes of problems. We describe the motivation behind these additions, their implementation in Vampire and EmpireTune, and evaluate the systems with very good results on the AIM (loop theory) ATP benchmark.
Towards a Simply Typed CALculus for Semantic Knowledge Bases
Authors: Mendler Michael , Scheele Stephan
Published: January 2018

This paper demonstrates how a constructive version of the description logic ALC can serve as a semantic type system for an extension of the simply typed $\lambda$-calculus to express computations in knowledge bases. This cALculus embodies a functional core language which provides static type checking of semantic information for programming with data whose structure is organised under a relational data model. The cALculus arises from a natural interpretation of the tableau rules for constructive ALC following the Curry-Howard-Isomorphism.
Synthesising Functional Invariants in Separation Logic
Authors: Maclean Ewen , Ireland Andrew , Grov Gudmund
Published: January 2018

We describe the CORE system which automatically proves fully functional specifications about pointer programs, generating functional parts of the invariants automatically where necessary.
Building trustworthy refactoring tools
Authors: Thompson Simon
Published: January 2018

The bar for adoption of refactoring tools is high: not only does a refactoring extract information from your source code, it also transforms it, often in a radical way.

After discussing what users require from their tools, we will examine ways in which tool builders can try to increase their users' confidence in the tools. These mechanisms include visualisation, unit testing, property-based testing and verification, and are based on the Kent functional programming group's experience of building the HaRe and Wrangler refactoring systems for Haskell and Erlang.
Metis-based Paramodulation Tactic for HOL Light
Authors: Färber Michael , Kaliszyk Cezary
Published: January 2018

Metis is an automated theorem prover based on ordered paramodulation.

It is widely employed in the interactive theorem provers Isabelle/HOL and HOL4

to automate proofs as well as reconstruct proofs found by automated provers.

For both these purposes, the tableaux-based MESON tactic is frequently used

in HOL Light. However, paramodulation-based provers such as Metis

perform better on many problems involving equality.

We created a Metis-based tactic in HOL Light which translates HOL problems

to Metis, runs an OCaml version of Metis, and reconstructs proofs

in Metis' paramodulation calculus as HOL proofs.

We evaluate the performance of Metis as proof reconstruction method

in HOL Light.
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs
Authors: Smolka Steffen Juilf , Blanchette Jasmin Christian
Published: January 2018

Sledgehammer integrates external automatic theorem provers (ATPs) in the Isabelle/HOL proof assistant. To guard against bugs, ATP proofs must be reconstructed in Isabelle. Reconstructing complex proofs involves translating them to detailed Isabelle proof texts, using suitable proof methods to justify the inferences. This has been attempted before with little success, but we have addressed the main issues: Sledgehammer now transforms the proofs by contradiction into direct proofs (as described in a companion paper); it reconstructs skolemization inferences; it provides the right amount of type annotations to ensure formulas are parsed correctly without overwhelming them with types; and it iteratively tests and compresses the output, resulting in simpler and faster proofs.
An Introduction to CORA 2015
Authors: Althoff Matthias
Published: January 2018

The philosophy, architecture, and capabilities of the COntinuous Reachability Analyzer (CORA) are presented. CORA is a toolbox that integrates various vector and matrix set representations and operations on them as well as reachability algorithms of various dynamic system classes. The software is designed such that set representations can be exchanged without having to modify the code for reachability analysis. CORA has a modular design, making it possible to use the capabilities of the various set representations for other purposes besides reachability analysis. The toolbox is designed using the object oriented paradigm, such that users can safely use methods without concerning themselves with detailed information hidden inside the object. Since the toolbox is written in MATLAB, the installation and use is platform independent.
Bounded Higher-order Unification using Regular Terms
Authors: Libal Tomer
Published: January 2018

We present an algorithm for the bounded unification of higher-order terms.

The algorithm extends G. P. Huet's pre-unification algorithm with rules for the generation and folding of regular terms.

The concise form of the algorithm allows the reuse of the pre-unification correctness proof. Furthermore, the regular terms

can be restricted in order to decide the unifiability problem.

Finally, the algorithm avoids re-computation of terms in a non-deterministic search which leads to a better performance in practice when compared to other bounded

unification algorithms.
Theory Exploration: a role for Model Theory?
Authors: Smaill Alan
Published: January 2018

There is an empirical claim that, when exploring a

mathematical theory, after a succession of key results have been

obtained, a point of equilibrium is reached where any query of

interest can be resolved by routine reasoning from the results

already established. Here is suggested some ways of thinking about

the situation, in general. There are at least some situations where

we can establish that all results (of a certain shape) will follow

by routine reasoning from a small number of key properties. An

example is described, and the significance for automated theory

exploration discussed.
De la milpa al field: la experiencia migratoria de jóvenes zapatistas en los campos de cultivo californianos
Authors: Aquino Moreschi Alejandra
Published: January 2018

En el siguiente artículo analizo, desde una perspectiva etnográfica, la experiencia migratoria de un grupo de jóvenes zapatistas convertidos en jornaleros agrícolas en el valle de California. Estos jóvenes, al incorporarse a ese nicho laboral, se convierten en una fuerza de trabajo cautiva a la que, por diferentes mecanismos, se le impide su movilidad geográfica, profesional y social. Frente al control de su movilidad y ante la imposibilidad de la acción colectiva en los campos, los jóvenes zapatistas optan por la "fuga" hacia otras regiones y otros mercados de trabajo.
Juventud indígena en el Totonacapan Veracruzano
Authors: García Martínez Ariel
Published: January 2018

El artículo pretende dar a conocer la especificidad de la juventud  indígena de Totonacapan, su incorporación a la sociedad adulta y su interacción a través de un comparativo que toma como punto de partida la integración de los poblados pertenecientes a la sierra de Papantla, en el norte del estado de Veracruz, con el resto de la sociedad nacional. El trabajo intenta reconstruir el surgimiento de los "jóvenes indígenas" totonacos como producto de la interacción con su propia cultura y la cultura nacional en las cuatro últimas décadas.
Cruzando fronteras. De las comunidades corporadas cerradas a las comunidades transfronterizas de los indígenas chiapanecos
Authors: Robledo Hernández Gabriela
Published: January 2018

El artículo analiza el proceso de transformación social de los pueblos mayas del altiplano chiapaneco en los últimos cincuenta años, a partir del concepto de comunidades transfronterizas. Se destacan tres tipos de cruces de fronteras: las fronteras simbólicas que llevaron a la implantación del protestantismo en las comunidades mayas de la zona, la migración masiva del campo a la ciudad de los campesinos mayas alteños y, por último, la migración a los Estados Unidos que, a partir de la década de los 90, empezó a extenderse entre los pueblos de la región.
Aproximación al problema de la clasificación de la señalización de Yuri Knórozov
Authors: Yershova Galina , Sheseña Hernández Alejandro
Published: January 2018

.
De revoluciones y cambios culturales. Yucatán 1915-1929
Authors: Novelo Oppenheim Victoria
Published: January 2018

El origen del artículo es una reflexión que busca responder a la interrogante de hasta qué punto las ideas de la Revolución mexicana se reflejaron en la cultura regional de Yucatán en la etapa en que se construía una "mexicanidad" distinta para el México posrevolucionario. Se compara el tipo de reconocimiento que las artesanías recibieron en el centro del país y hasta qué punto se repitió en Yucatán.
El miedo conveniente: lucha por la tierra y el control político local en el departamento de Chilón, 1871
Authors: López Hernández Iván Christian
Published: January 2018

En Chiapas, entre 1841 y 1886, los ladinos del departamento de Chilón denunciaron ante las autoridades que los indios preparaban una rebelión en su contra. Se pretende demostrar que el miedo ladino a un ataque indio fue parte de un proceso de larga duración. Además, sostengo que las denuncias y procesos judiciales en contra de los presuntos sublevados fueron utilizados por los ladinos para confirmar su poder frente a los indios que trataron de defender su autonomía pero sin llegar a la rebelión. Se analizarán las denuncias y los procesos de captura de los presuntos rebeldes de 1871.
Identidad regional y conducta electoral: el caso del PAN en Yucatán
Authors: Figueroa Magaña Jorge Enrique
Published: January 2018

La región es una variable importantes para explicar el comportamiento político mexicano, pero no se sabe qué mecanismos se involucran en este concepto y cuáles son los "efectos regionales". Mediante una encuesta, este trabajo examina si la identidad local yucateca guarda relación con el apoyo electoral hacia el otrora opositor Partido Acción Nacional en Yucatán. Para ello, se analizan el modelo de atención cultural de lealtad panista y el modelo de efectos de política pública. El análisis estadístico revela poca evidencia para el primer modelo, pero sí un apoyo considerable hacia el segundo.
La organización de la Hacienda Real en la provincia de Chiapa (1540-1644): oficiales reales, subdelegados y demás personajes
Authors: Parrilla Albuerne Ana María
Published: January 2018

Este trabajo analiza la organización hacendística de la provincia de Chiapa durante los siglos XVI y XVII para entender el desarrollo de la administración local y cómo se tejieron las relaciones entre los grupos de poder. El aparente aislamiento y la falta de atractivos económicos permitieron a los oficiales reales de la Audiencia de Guatemala nombrar a un subdelegado con el título de teniente de oficiales reales que, según nuestra opinión, es una pieza clave para comprender el desarrollo de la administración provincial y cómo se entrelazaron las relaciones entre los grupos del poder local.
Prospección arqueológica: Okolhuitz, Campeche
Authors: Pacheco Benítez Adán
Published: January 2018

El objetivo principal de este trabajo es mostrar la importancia de la prospección arqueológica como método para ir más allá del simple conocimiento de la distribución de sitios arqueológicos en la región Río Bec. De esta manera, se muestran los trabajos de prospección realizados en el sitio arqueológico de Okolhuitz, Campeche, y sus resultados, con el fin de que permitan avanzar en el conocimiento y análisis del patrón de asentamiento en la región en la que se encuentra situado.
Transformaciones agrícolas en el contexto periurbano de la ciudad de San Cristóbal de Las Casas, Chiapas
Authors: Calderón Cisneros Araceli , Soto Pinto Lorena
Published: January 2018

San Cristóbal de Las Casas ha crecido en las últimas décadas abarcando las zonas rurales circundantes. El objetivo del presente trabajo consistió en identificar las transformaciones que la interacción urbano-rural imprime sobre la actividad agrícola de un área periurbana: el cerro Huitepec. Se revisó información documental y se levantaron 100 entrevistas abiertas y estructuradas entre población de las localidades rurales e informantes clave. Aunque ha perdido relevancia como fuente de ingresos económicos familiares, la agricultura y la cría de animales de traspatio aún tienen un papel significativo para el autoconsumo familiar.
La economía de Tabasco y su impacto en el crecimiento urbano de la ciudad de Villahermosa (1960-2010)
Authors: Capdepont Ballina Jorge Luis , Marín Olán Pablo
Published: January 2018

Se analizan los procesos económicos recientes de Tabasco y su impacto en el crecimiento demográfico y urbano de la ciudad de Villahermosa. La transformación de la economía de Tabasco y su capital tras el descubrimiento de yacimientos de hidrocarburos en el último tercio del siglo XX ocasionó el incremento del índice demográfico y la expansión de la mancha urbana de la ciudad hacia terrenos aptos para la construcción de viviendas y hacia áreas de amortiguamiento o terrenos bajos inundables. Este proceso ha impactado en el ambiente y ha creado condiciones de vulnerabilidad física en los nuevos asentamientos.
Vocabulario en lengua chiapaneca de fines del siglo XVIII
Authors: Del Carpio Penagos Carlos Uriel , Álvarez Vázquez Juan Ramón
Published: January 2018

.
La educación indígena en México: una evaluación de política pública integral, cualitativa y participativa
Authors: Jiménez Naranjo Yolanda , Mendoza Zuany Rosa Guadalupe
Published: January 2018

A finales de 2011 la Dirección General de Educación Indígena expresó su interés por llevar a cabo una evaluación externa integral, cualitativa y participativa sobre las políticas implementadas desde 2009. En este artículo se presenta un breve esbozo histórico de las políticas educativas orientadas a la población indígena, nuestra aproximación metodológica a una evaluación cualitativa de la educación indígena como política pública y una síntesis de los resultados más significativos sobre los siguientes ejes temáticos: percepciones de los sujetos sobre la educación indígena, Parámetros Curriculares, Marcos Curriculares, diálogo y participación, capacitación y formación.
Infancias indígenas. Los centros de atención a la niñez en Chiapas y el reto de la educación intercultural frente a la diversidad
Authors: Núñez Patiño Kathia , Molinari Medina Claudia , Alba Villalobos Cecilia
Published: January 2018

Las transformaciones económicas que han impactado en las comunidades indígenas en Chiapas desde los últimos años del siglo XX han generado procesos de migración hacia ciudades como Tuxtla, Tapachula o San Cristóbal de Las Casas.. Se identifican modelos de atención a la niñez indígena con los que operan organizaciones civiles y dependencias públicas, para conocer las concepciones de infancia que subyacen en estas instituciones, su eficacia y su pertinencia cultural. Exponemos las características de los centros que ofrecen atención a la infancia, cómo se asume el contexto intercultural y los retos que enfrenta la educación formal.
Presentación
Authors: Evangelista García Angélica Aremy , Rodríguez Ramos María Isabel
Published: January 2018

.
Violencia institucional hacia las mujeres en la región sur de México
Authors: Evangelista García Angélica Aremy , Tinoco Ojanguren Rolando , Tuñón Pablos Esperanza
Published: January 2018

Para comprender las formas en que se produce y reproduce la violencia contra las mujeres en la región sur de México, se identificaron las relaciones estructurales de desigualdad que la generan, así como las construcciones culturales y simbólicas que la refuerzan. Las violencias vividas por las mujeres tienen como trasfondo estructural la exclusión, la discriminación y la falta de acceso a mejores condiciones de vida, pero la violencia institucional, que no ha sido identificada en su exacta dimensión, se basa en un Estado miope sin contraparte ciudadana y se expresa en la imposibilidad de que las mujeres ejerzan sus derechos.
Milpa y capitalismo: opciones para los campesinos mayas yucatecos contemporáneos
Authors: Martín Castillo Manuel
Published: January 2018

La mayoría de los mayas yucatecos contemporáneos vive en la pobreza. El eje de su economía y cultura es la agricultura de milpa, que los jóvenes no encuentran atractiva como opción económica. La teoría económica convencional explica la pobreza por la escasez de capital, el uso de tecnologías obsoletas y la baja productividad. Aunque se concibe como un sistema productivo arcaico, la milpa tiene características para explorar opciones de vinculación entre las economías campesina y capitalista, para mejorar las condiciones de vida de los campesinos y contribuir al desarrollo de su cultura en el actual contexto de globalización económica.
Rosario Castellanos, feminista a partir de sus propias palabras
Authors: Lamas Marta
Published: January 2018

A partir del análisis de sus escritos periodísticos, se recupera a Rosario Castellanos como una pionera intelectual del feminismo mexicano.  Se defiende la idea de que en sus artículos periodísticos se plasma con fuerza y lucidez un pensamiento feminista moderno, que gira en torno a los efectos del mandato cultural de la feminidad, aportando a la crítica de la situación de las mujeres mexicanas. Castellanos rechaza el victimismo, reivindica la necesidad de terminar con la autocomplacencia femenina y propone que las mujeres se responsabilicen de sus vidas, madurando y puliendo ideas que hoy en día tienen vigencia y radicalidad notables.
Ferrera Balanquet, Raúl Moarquech (comp.) (2015). Andar erótico decolonial. El desprendimiento. Buenos Aires: Ediciones del Signo.
Authors: Rodríguez Moreno Celenis
Published: January 2018

.
Economía e integración en una América Latina que sigue buscando la estabilidad. Una aproximación
Authors: Guerra Borges Alfredo
Published: January 2018

En los años ochenta, abrumada América Latina por la crisis de la deuda externa, la integración pasó al refrigerador. En estos apuntes ensayaremos algunas reflexiones sobre el panorama actual de la integración, pero como la integración no tiene autonomía de vuelo y su alcance depende de las condiciones generales de las economías que se asocian, examinaremos también someramente lo que ha acontecido en la economía latinoamericana en los últimos veinte años.
Globalización y migraciones transfronterizas en Centroamérica
Authors: Morales Gamboa Abelardo
Published: January 2018

En este trabajo se indaga en torno a las diversas expresiones que asume la territorialidad social en el contexto de la planetarización social y desde la dinámica de las migraciones. Se parte de la idea de que la vinculación entre espacios de origen y de destino, a través de las migraciones, hoy en día es una dinámica cada vez más intensa entre países y poblaciones vecinas, dentro de un proceso de reconstrucción de la regionalidad ístmica de las siete sociedades nacionales que conforman Centroamérica.
Las relaciones internacionales de los gobiernos locales: el caso de Chiapas
Authors: Rodríguez Gelfenstein Sergio
Published: January 2018

Como fuerza imperante en la última década del siglo XX, la globalización ha sido dominada por los aspectos económicos y por la expansión de los mercados. Sin embargo, este proceso puede llegar a tener un rostro humano si se logra una nueva aproximación de los gobiernos, una que preserve las ventajas ofrecidas por los  mercados globales y la competencia, pero que permita al mismo tiempo que los recursos humanos, comunitarios y ambientales aseguren que la globalización trabaja para los pueblos y no para las ganancias.
Territorio, pobreza y vida en el estado de Puebla
Authors: Patiño Tovar Elsa
Published: January 2018

La estrategia económica global debe repensarse en términos de eliminar al conjunto de deudas externas y al establecimiento de intercambios más equitativos entre norte y sur, que pongan el punto final a este larguísimo proceso de coloniaje que hemos vivido y que tantas secuelas negativas ha tenido para la humanidad. Generar empleos con salarios decentes, es un reto al que no se ha podido responder porque el mundo está funcionando dentro de la lógica de una división internacional del trabajo, que privilegia la ley del más fuerte.
Las reformas descentralizadoras cubanas de los noventa. Diseño, implementación y resultados
Authors: Hernández Morales Aymara
Published: January 2018

Se analizan las reformas políticas en Cuba durante los años noventa. Con los resultados conseguidos de su análisis es posible sostener que existen claras evidencias de un proceso descentralizador diseñado e implementado para superar la crítica situación económica de los años noventa.
Más allá de la hibridad: los medios televisivos y la producción de identidades indígenas en Oaxaca, México
Authors: Cusi Wortham Erica
Published: January 2018

Esta breve y parcial historia del video indígena y de Radio y Video Tamix, demuestra que el proceso de articular identidades indígenas "en casa" y dentro de los circuitos discursivos fuera de la comunidad, es algo complejo  y que debemos mantener esa complejidad y pluralidad en nuestra comprensión de tales procesos sociales tan dinámicos.
Representaciones y sus impactos: el caso de los lacandones en la Selva Lacandona
Authors: Trench Tim
Published: January 2018

Las representaciones "positivas" de los lacandones les ofrecen ventajas claras a corto plazo, confiriendo cierto capital simbólico y político en sus relaciones con foráneos y en sus diversas luchas, además de variados beneficios económicos. Pero, a final de cuentas, es cuestionable si su imagen como pueblo "originario" y conservacionista "innato" les ayude en el largo plazo, ya que forma parte de un discurso fundamentalmente colonialista y puede limitar las oportunidades de las comunidades lacandonas a decidir su futuro y definir el carácter de su inserción en la sociedad nacional.
Yo adoro a una rubia norteamericana
Authors: Gutiérrez Alfonzo Carlos
Published: January 2018

En este texto se muestra cómo Santiago Serrano â€”poeta chiapaneco de la generación agrupada en torno a la compilación Fiesta de Pájaros, publicada por Héctor Eduardo Paniagua en 1932â€” configura un tipo de mujer en una ciudad alejada de todas aquellas que habían aparecido hasta entonces en la poesía chiapaneca. Se analiza también cómo esa mujer fuera de lo común transforma al yo poético, quien había vivido sumido en el sentimentalismo, en un ser dispuesto a perseguir una vida esforzada.
¿Antropología de la ciudadanía?... étnica. En construcción desde América Latina
Authors: Leyva Solano Xochitl
Published: January 2018

En este artículo tomo como hilo conductor el concepto de ciudadanía cruzándolo desde los campos del derecho y la filosofía hacia el de la antropología. Ello es posible gracias a que cientíicos sociales de varias latitudes han acuñado términos como "ciudadanía cultural", "ciudadanía multicultural", "ciudadanía intercultural" y "ciudadanía étnica". Este último concepto ha sido acuñado atendiendo a la historia y la naturaleza de las  demandas, los reclamos y las luchas que han llevado a cabo, desde el último cuarto del siglo XX, las comunidades, líderes, organizaciones y movimientos indígenas de América Latina.
El arte global y las políticas de la movilidad. Desplazamientos (trans)culturales en el sistema internacional del arte contemporáneo
Authors: Barriendos Rodríguez Joaquín
Published: January 2018

Este artículo explica la importancia de las políticas de la movilidad en el análisis del sistema internacional del arte contemporáneo. Más que en la movilidad de los agentes que forman parte de este sistema (artistas, galeristas, curadores, gestores, etcétera) este trabajo se centra en la movilidad simbólica de las subjetividades, en el desplazamiento de los imaginarios y en las negociaciones transculturales que devinieron tras la inclusión de la diversidad cultural en el interior del sistema del arte global. El énfasis recae en los conlictos transculturales ocasionados por la internacionalización del arte y otros puntos.
El sitio arqueológico de Lagartero, Chiapas
Authors: Rivero Torres Sonia
Published: January 2018

En este artículo se presenta la descripción del sitio de Lagartero, Chiapas, incluidas las diferentes islas que lo forman. Se continúa con los trabajos arqueológicos realizados desde los comienzos del proyecto de investigación en la isla Limonar en 1990, explicando los principales aspectos y hallazgos arqueológicos hasta el 2003. Con base en los materiales arqueológicos obtenidos se da una cronología relativa del sitio sustentada tanto en la tipología cerámica como por el C14.
Vulnerabilidad social de las mujeres y la población indígena en Oaxaca, 2005: restricciones y estrategias
Authors: Reyes Morales Rafael G. , Gijón Cruz Alicia Sylvia
Published: January 2018

La discusión sobre vulnerabilidad de las mujeres y los indígenas en el estado de Oaxaca son: la exclusión de beneficios de las políticas públicas de bienestar, el poder adquisitivo y las estrategias para superar la condición de vulnerabilidad. Los hallazgos del artículo contradicen la situación de relativa precariedad de los hogares con jefatura femenina reportada por la literatura especializada. La migración aparece como un instrumento que contribuye a la equidad de género y permite elevar la escolaridad de la población indígena.
Derechos sexuales y reproductivos: un debate público instalado por mujeres
Authors: Bonaccorsi Nélida , Reybet Carmen
Published: January 2018

El propósito del presente artículo es reflexionar sobre los discursos feministas referentes a sexualidad y derechos reproductivos que circulan tanto en el campo teórico como en las normativas dictadas en un ámbito provincial de Argentina. Nos referimos a la Ley sancionada en la provincia de Neuquén, nº 2222/98 sobre derechos sexuales y reproductivos para mujeres y varones.
Los petroglifos de Pool Balam, Yucatán
Authors: Barrera Rubio Alfredo
Published: January 2018

Las labores de rescate arqueológico en una carretera del nororiente de Yucatán permitieron el hallazgo de una cueva denominada Pool Balam en maya yucateco. En una de las cámaras se encontraron una serie de petroglifos esculpidos en una estalagmita. El análisis de estos motivos indica una vinculación de estas representaciones con la cosmovisión maya, particularmente con el agua y el jaguar en su advocación del sol en su recorrido nocturno y como guardián, protector, ser sobrenatural del monte y de las cuevas. De acuerdo a los datos cerámicos, existen evidencias de ocupación desde el Preclásico Tardío hasta el Posclásico.
San Miguelito de Soyaló, una caja parlante
Authors: Lisbona Guillén Miguel
Published: January 2018

.
Del posol a la Coca Cola: cambios en las prácticas alimentarias en dos comunidades tojolabales
Authors: Nájera Castellanos Antonio de Jesús , Álvarez Gordillo Guadalupe del Carmen
Published: January 2018

Tras la liberación del yugo finquero, los tojolabales obtuvieron su "libertad" para engancharse a una nueva forma de vida que ha traído consigo modificaciones y cambios en diversas prácticas cotidianas, entre ellas las prácticas alimentarias. Las vías de comunicación y diversos factores sociales y económicos como la iglesia, los servicios de salud, los apoyos y programas gubernamentales y la comercialización, han incidido en las últimas cuatro décadas en los cambios en las prácticas alimentarias de las familias tojolabales, particularmente en el consumo.
González Ponciano, Jorge Ramón y Miguel Lisbona Guillén (coords.), 2009, México y Guatemala: entre el liberalismo y la democracia multicultural azares de una transición política inconclusa”, México: UNAM (Instituto de Investigaciones Filológica
Authors: Basail Rodríguez Alain
Published: January 2018

.
Centroamericanos en el Soconusco: reseña de su presencia a través de sus paradojas
Authors: Rivas Castillo Jaime
Published: January 2018

El artículo destaca la presencia de los centroamericanos en el Soconusco, Chiapas. Discute dos paradojas. La primera se refiere a la situación de esta región, a pie entre Centroamérica y México. La segunda compete a los migrantes centroamericanos, en tanto que resulta paradójico cómo estos no aparecen en las estadísticas oficiales pese a constituir el contingente poblacional extranjero más significativo en la región. Por el contrario, su presencia se pone de relieve indirectamente, revisando las estadísticas de extranjeros asegurados y devueltos a sus países de origen.
Vivir en frontera. Movimientos Socio-religiosos en Chiapas y Guatemala
Authors: Robledo Hernández Gabriela
Published: January 2018

En el presente trabajo se discuten los paralelismos de los movimientos de disidencia religiosa indígena en Chiapas y Guatemala, territorios que comparten, además de una frontera, una tradición histórica y cultural de larga data. Un significado compartido por estos movimientos es la construcción de nuevos proyectos colectivos sustentados en la experiencia del sentimiento numinoso, que al mismo tiempo proporcionan un capital social de suma importancia para estos pueblos quienes atraviesan por períodos de profunda transformación.
Rivera Farfán, Carolina y Elizabeth Juárez Cerdi (eds.) (2007), Más allá del espíritu. Actores, acciones y prácticas en iglesias pentecostales, México: CIESAS-COLMICH.
Authors: Muñoz Vega Alicia
Published: January 2018

.
Presentación
Authors: Morales Bermúdez Jesús Teófilo , Zúñiga Zenteno Magda Estrella , Gutiérrez Alfonzo Carlos
Published: January 2018

.
La castellanización y negación de la lengua materna en la escuela intercultural en Chiapas
Authors: Cruz Pérez Óscar
Published: January 2018

El trabajo es producto de una investigación cualitativa sobre el ejercicio del poder en el acto pedagógico en escuelas interculturales bilingües de educación primaria en comunidades indígenas de los municipios de Ocozocoautla y Berriozábal en Chiapas. Es un acercamiento las prácticas pedagógicas a través de un estudio de caso. Los datos empíricos muestran que en el acto pedagógico subyace una concepción conservadora de la sociedad.
Pueblos indios y propiedad en la Alcaldía Mayor de La Barca durante el Virreinato
Authors: Goyas Mejía Ramón
Published: January 2018

Este trabajo es un análisis sobre el proceso de apropiación de la tierra entre los pueblos indios de la Alcaldía Mayor de La Barca durante los siglos XVII y XVIII. En él destacan las condicionantes económicas, demográficas y de control político que dieron como resultado una forma asimétrica del reparto del espacio. Estas relaciones tendieron a volverse cada vez más problemáticas, sobre todo durante el siglo XVIII con la recuperación demográfica indígena y la necesidad de más tierras para el sustento de las comunidades.
Predicting Customers’ Intention to Revisit A Vintage-Concept Restaurant
Authors: Suhud Usep , Wibowo Arifin
Published: January 2018

Restaurants with a vintage concept become an option for urban people who want to enjoy dining out. To present this vintage atmosphere, restaurant management and owners decorated their stores with antiques and anything vintage, such as signboards, utensils, furniture, posters, and even the menu. The objective of this study is to investigate the impact of perceived value, restaurant atmosphere on satisfaction and revisit intention. This study attracted 200 respondents visiting a vintage-concept restaurant. The data were collected in Jakarta and analysed with exploratory and confirmatory factor analyses. As a result, three hypotheses were accepted and two hypotheses were rejected: customer satisfaction was influenced by perceived value and restaurant atmosphere and revisit intention was significantly influenced by customer satisfaction.
Inventario y mapeo de un bosque bajo manejo de pino con datos del sensor SPOT 6
Authors: Torres-Vivar Juan Esteban , Valdez-Lazalde José René , Ángeles-Pérez Gregorio , De los Santos-Posadas Héctor Manuel , Aguirre-Salado Carlos Arturo
Published: January 2018

El objetivo de la investigación fue cuantificar y mapear las variables de densidad forestal, área basal (Ab), biomasa total (Bt), cobertura de copa (Cob), volumen (Vol) e índice de área foliar (IAF) en un bosque de Pinus patula bajo manejo maderable. Inicialmente, se identificaron las correlaciones existentes entre los datos espectrales derivados del sensor satelital SPOT 6 y datos de campo del inventario. El análisis incluyó el uso de modelos de regresión lineal múltiple, estimadores de razón y regresión y el enfoque tradicional de inventario (solo con datos de campo), con fines comparativos. Las correlaciones más altas para Ab, Bt, Cob y Vol fueron con la banda del infrarrojo cercano; los valores fueron de 0.74, -0.77, -0.50 y -0.77, respectivamente. Mientras que el IAF presentó la mayor correlación en la banda verde con un valor de -0.65. Los mejores ajustes se lograron para los modelos de regresión que predicen las variables Ab, Bt y Vol; R2 adj de 0.66 para cada una de ellas y valores de raíz del error medio cuadrático (REMC) de 5.82 m2 ha-1, 32 Mg ha-1 y 62.3 m3 ha-1 respectivamente. Las estimaciones de inventario se calcularon mediante el método de estimadores de razón y de regresión, y estuvieron dentro de la amplitud del intervalo de confianza del muestreo aleatorio. El estimador de regresión registró valores de precisión: 4.8 % (Ab), 6.7 % (Bt), 5.8 % (Cob), 6.6 % (Vol), 6.9 % (IAF). Este tipo de muestreo resultó el más conservador de todos los realizados.
Primera intercepción del escarabajo rinoceronte asiático del cocotero Oryctes rhinoceros (Linnaeus, 1758) en México
Authors: Jiménez Quiroz Eduardo , Martínez Morales Oscar , Trejo Ramírez Oscar , González Villalobos Gustavo , Guerrero Alarcón María Eugenia , Chávez Nolazquez Oscar
Published: January 2018

El género Oryctes cuenta con 42 especies conocidas en todo el mundo, y en su mayoría corresponden a plagas de la palma. Oryctes rhinoceros es uno de los insectos más dañinos para el cocotero (Cocos nucifera) y para la palma aceitera africana (Elaeis guineensis) en el sur, sureste de Asia y las islas del oeste del Pacífico, aunque puede atacar otras palmas ornamentales. En el presente trabajo se documenta el primer registro de intercepción del Oryctes rhinoceros (escarabajo rinoceronte del cocotero) en el puerto de Manzanillo, Colima; uno de los puntos de ingreso de mercancías más importantes de México. Se colectó un solo espécimen adulto y vivo en muebles de palma, procedentes de Indonesia, cuyo destino final era el estado de Jalisco. La muestra se envió al Laboratorio de Análisis y Referencia en Sanidad Forestal de la Secretaría del Medio Ambiente y Recursos Naturales, para su identificación, posteriormente, se establecieron medidas fitosanitarias para impedir que este insecto, plaga exótica; ingresara al país. Asimismo, se exponen algunas consideraciones acerca de las implicaciones económicas que tendría para México, si O. rhinoceros se estableciera en el territorio nacional.
Factores sociales de uso del suelo y vegetación asociados a los incendios forestales en Hidalgo
Authors: Cruz Espíndola Miguel Ángel , Rodríguez Trejo Dante Arturo , Villanueva Morales Antonio , Santillán Pérez Javier
Published: January 2018

El estudio de los incendios forestales requiere de un análisis integrado del territorio, pues el fuego no se genera por la acción de un factor aislado, sino que se deriva de la acción conjunta de un grupo de factores. En Hidalgo, la alteración de los regímenes de fuego es considerada la tercera causa de pérdida y degradación de los bosques, solo después del cambio de uso de suelo forestal y la tala clandestina. En este trabajo, se identificaron los factores meteorológicos, productivos, de uso del suelo y sociales que mejor explicaron la ocurrencia de incendios forestales en los municipios del estado durante el periodo 2000-2011, con base en el análisis de cuatro variables de siniestralidad y 73 explicatorias. Mediante regresión logística se construyó un modelo de probabilidad en el cual las variables significativas fueron: superficie de bosque, Producto Interno Bruto per cápita, longitud de carreteras y área perturbada, todas relacionadas positivamente con la probabilidad de incendio, excepto la última, con influencia negativa. A partir de la probabilidad de incendio, se estableció una escala de ocurrencia y se plasmó en un mapa. Fueron 39 municipios los que se ubicaron en una categoría media y 10 en alta. Las variables en el modelo estuvieron estrechamente ligadas a las actividades humanas, lo que evidenció la importancia de considerar el factor humano en la evaluación de riesgo de incendios. El manejo del fuego demanda de la comprensión de las causas detrás de las igniciones.