bluuebunny/crossref_metadata_2025 huggingface dataset:
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
Authors: Kekatos Nikolaos , Forets Marcelo , Frehse Goran
Published: January 2018

The wind turbine benchmark is part of the ARCH benchmark repository. It entails closed- loop requirements and encompasses nonlinear and hybrid dynamics. Owing its origin to industry based applications, the benchmark modeling is done with MATLAB/Simulink. Formal verification tools, however, do not operate on simulation models but on formal models, such as hybrid automata. Particularly efficient verification algorithms are known for systems with Piecewise Affine (PWA) dynamics. In this vein, we construct a PWA model of the wind turbine in the SX format, which formally describes a network of hy- brid automata and can be used by several reachability tools. The model transformation follows a four-step approach with the aim of (i) adapting the Simulink model to obtain a verification model (ii) translating the Simulink blocks to equivalent blocks in SX format, (iii) conducting compositional, syntactic hybridization to obtain a PWA approximation of the dynamics of the nonlinear blocks, and (iv) performing model validation. We also report some preliminary experiments on the subsystems (network components) of the wind turbine that we conducted with SpaceEx.
Can a system learn from interactive proofs?
Authors: Freitas Leo , Jones Cliff B. , Velykis Andrius
Published: January 2018

This paper sets out the on-going research in a project which is

investigating how to learn from one interactive proof so that other similar proofs

can be completed automatically.
Minimizing enzymes to diferenciate between species
Authors: Buezas David , Almeida Joao , Barahona Pedro
Published: January 2018

A large number of species cannot be distinguished via standard non genetic analysis in the lab. In this paper we address the problem of finding minimum sets of restriction enzymes that can be used to unequivocally identify the species of a yeast specimen by analyzing the size of digested DNA fragments in gel electrophoresis experiments. The problem is first mapped into set covering and then solved using Constraint Programming techniques. Although the data sets used are relatively small (23 yeast species and 331 enzymes), a similar approach might be applicable to larger ones and to a number of variants as discussed in the conclusion. The subject of this paper has already raised the interest of our biologist partners and may become a benchmark for the application of Constraint Programming techniques to Bioinformatics.
Some Notes on Basic Syntactic Mutation
Authors: Gero Kimberly , Bouchard Chris , Narendran Paliath
Published: January 2018

Unification modulo convergent term rewrite systems is an important research area with many applications. In their seminal paper Lynch and Morawska gave three conditions on rewrite systems that guarantee that unifiability can be checked in polynomial time (P). We show that these conditions are tight, in the sense that relaxing any one of them will "upset the applecart," giving rise to unification problems that are not in P (unless P = NP). We also investigate a related decision problem: we show the undecidability of subterm-collapse for the restricted term rewriting systems that we are considering.
Cocktail II
Authors: Franssen Michael
Published: January 2018

Cocktail II is an interactive tool for deriving programs from specifications. Instead of verifying a program after it was constructed, Cocktail II aids the goal oriented derivation of a program. First, the user provides a pre- and postcondition. Then, the program to fill the gap between these condition is constructed by manually inserting statements between them. The tool computes the sub specifications of the new gaps, which can then be manually refined further. Finally, when a precondition of a gap implies its postcondition, the gap can be closed. Cocktail II also provides support for constructing the required proof. The program is complete when all gaps are closed.
Initial Experiments with External Provers and Premise Selection on HOL Light Corpora
Authors: Kaliszyk Cezary , Urban Josef
Published: January 2018

This paper reports our initial experiments with

using external ATP and premise selection methods

on some corpora built with the HOL Light system.

The testing is done in three different settings,

corresponding to those used earlier for evaluating

such methods on the Mizar/MML corpus.

This is intended to provide the first estimate about

the usefulness of such external reasoning and AI systems for

solving problems over HOL Light and its libraries.
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
Authors: Hamilton Geoff , Sørensen Morten Heine
Published: January 2018

A program transformation technique should terminate, return efficient output programs and be efficient itself.

For positive supercompilation ensuring termination requires memoisation of expressions, and these are subsequently used to determine when to perform generalization and folding. For a first-order language, every infinite

sequence of transformation steps must include function unfolding, so it is sufficient to memoise only those expressions immediately prior to a function unfolding step.

However, for a higher-order language, it is possible for an expression to have an infinite sequence of transformation steps which do not include function unfolding, so memoisation prior to a function unfolding step is not sufficient by itself

to ensure termination. But memoising additional expressions is expensive during transformation and may lead to less efficient output programs due to auxiliary functions. This additional memoisation may happen explicitly during transformation

or implicitly via a pre-processing transformation as outlined in previous work by the first author.

We introduce a new technique for local driving in higher-order positive supercompilation which obliviates the need for memoising other expressions than function unfolding steps, thereby improving efficiency of both the transformation and the generated programs. We exploit the fact, due to the second author in the setting of type-free lambda-calculus that every expression with an infinite sequence of transformation steps not involving function unfolding must have somthing like the term Omega = (lambda x. x x) (lambda x . x x) embedded within it in a certain sense. The technique has proven useful on a host of examples.
Answer Set Programming in a Nutshell
Authors: Eiter Thomas
Published: January 2018

Answer Set Programming (ASP) has emerged in the recent years as a powerful paradigm for declarative problem solving, which has its roots in knowledge representation and non-monotonic logic programming. Similar to SAT solving, the basic idea is to encode solutions to a problem in the models of a non-monotonic logic program, which can be computed by reasoning engines off the shelf. ASP is particularly well-suited for modeling and solving problems which involve common sense reasoning or transitive closure, and has been fruitfully applied to a growing range of applications. Among the latter are also problems in testing and verfication, for which efficient core fragments of ASP that embrace Datalog haven been exploited. This talk gives a brief introduction to ASP, covering the basic concepts, some of its properties and features, and solvers. It further addresses some applications in the context of verification and recent developments in ASP, which bring evaluation closer to other formalisms and logics.
Abstractions Before Proofs
Authors: Jones Cliff
Published: January 2018

Proving that programs satisfy their specifications can benefit enormously from tool support but theorem proving tools can also constrain a user's thinking. This talk argues that, for large or complex programs, it is layers of abstraction that make or break the comprehensibility of developments.

However powerful a theorem proving tool is, it will make little long-term contribution to the understanding of programs if the user is forced to bend their steps of development to fit the tool. Abstraction is essential to achieve separation of issues and to help in the understanding of complex systems. The formalism chosen governs the difficulty of completing detailed proofs that can be verified with mechanically checkable rules.

This talk will emphasize abstractions and techniques for reasoning about the development of concurrent programs. In conclusion, the argument will turn to positive recommendations for tool developers.
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon
Authors: Ghourabi Fadoua , Ida Tetsuo , Takahashi Kazuko
Published: January 2018

Making a knot on a rectangular origami or more generally on a tape of a finite length gives rise to a regular polygon. We present an automated algebraic proof that making two knots leads to a regular heptagon. Knot fold is regarded as a double fold operation coupled with Huzita's fold operations. We specify the construction by describing the geometrical constraints on the fold lines to be used for the construction of a knot. The algebraic interpretation of the logical formulas allows us to solve the problem of how to find the fold operations, i.e. to find concrete fold lines. The logical and algebraic framework incorporated in a system called Eos (e-origami system) is used to simulate the knot construction as well as to prove the correctness of the construction based on algebraic proof methods.
A Lightweight Double-negation Translation
Authors: Gilbert Frederic
Published: January 2018

Deciding whether a classical theorem can be proved constructively is a well-known undecidable problem. As a consequence, any computable double-negation translation inserts some unnecessary double negations. This paper shows that most of these unnecessary insertions can be avoided without any use of constructive proof search techniques. For this purpose, we restrict the analysis to syntax-directed double-negation translations, which translate a proposition through a single traversal -- and include most of the usual translations such as Kolmogorov's, Gödel-Gentzen's, and Kuroda's. A partial order among translations are presented to select translations avoiding as many double negations as possible. This order admits a unique minimal syntax-directed translation with noticeable properties.
A Finite Model Property for Gödel Modal Logics
Authors: Caicedo Xavier , Metcalfe George , Rodriguez Ricardo , Rogger Jonas
Published: January 2018

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, indeed co-NP-completeness, for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.
Walker's Cancellation Theorem
Authors: Lubarsky Robert , Richman Fred
Published: January 2018

Walker's cancellation theorem says that if B + Z is

isomorphic to C + Z in the category of abelian

groups, then B is isomorphic to C. We construct an example in

a diagram category of abelian groups where the theorem fails. As a

consequence, the original theorem does not have a constructive

proof. In fact, in our example B and C are subgroups of

Z2. Both of these results contrast with a group whose

endomorphism ring has stable range one, which allows a

constructive proof of cancellation and also a proof in any diagram

category.
SMT-LIB Sequences and Regular Expressions
Authors: Bjorner Nikolaj , Ganesh Vijay , Michel Raphaël , Veanes Margus
Published: January 2018

Strings are ubiquitous in software. Tools for specification,

verification and test-case generation of software rely in various degrees on

representing and reasoning about strings. Reasoning about strings is

particularly important in several security critical applications, such as

web sanitizers. Besides a basic representation of strings, applications

also use string recognizers and transducers.

This paper presents a proposal for an SMT-LIBization of strings and regular

expressions. It introduces a theory of sequences, generalizing strings,

and builds a theory of regular experssions on top of sequences.

The logic QF_BVRE is designed to capture a common substrate among

existing tools for string constraint solving.
Non-linear Continuous Systems for Safety Verification
Authors: Sogokon Andrew , Ghorbal Khalil , Johnson Taylor T
Published: January 2018

Safety verification of hybrid dynamical systems relies crucially on the ability to reason about reachable sets of continuous systems whose evolution is governed by a system of ordinary differential equations (ODEs). Verification tools are often restricted to handling a particular class of continuous systems, such as e.g. differential equations with constant right-hand sides, or systems of affine ODEs. More recently, verification tools capable of working with non-linear differential equations have been developed. The behavior of non-linear systems is known to be in general extremely difficult to analyze because solutions are rarely available in closed-form. In order to assess the practical utility of the various verification tools working with non-linear ODEs it is very useful to maintain a set of verification problems. Similar efforts have been successful in other communities, such as automated theorem proving, SAT solving and numerical analysis, and have accelerated improvements in the tools and their underlying algorithms. We present a set of 65 safety verification problems featuring non-linear polynomial ODEs and for which we have proofs of safety. We discuss the various issues associated with benchmarking the currently available verification tools using these problems.
Perspectives on Constraints, Process Algebras, and Hybrid Systems
Authors: Bortolussi Luca , Policriti Alberto
Published: January 2018

Building on a technique for associating Hybrid Systems (HS) to stochastic programs written in a stochastic extension of Concurrent Constraint Programming (sCCP), we will discuss several aspects of performing such association. In particular, as we proved an sCCP program can be mapped in a HS varying in a lattice at a level depending on the amount of actions to be simulated continuously, we will discuss what are the problems involved in a semi-automatic choice of such level. Decidability, semantic, and efficiency issues will be taken into account, with special emphasis on their links with biological applications. We will also discuss about the role of constraints and of the constraint store is this construction.
Animating Cognitive Models and Architectures: A Rule-Based Approach
Authors: Sharaf Nada , Abdennadher Slim , Fruehwirth Thom , Gall Daniel
Published: January 2018

Computational psychology provides computational models exploring different aspects of cognition. A cognitive architecture includes the basic aspects of any cognitive agent. It consists of different correlated modules. In general, cognitive architectures provide the needed layouts for building intelligent agents. The paper presents the a rule-based approach to visually animate the simulations of models done through cognitive architectures. As a proof of concept, simulations through Adaptive Control of Thought-Rational (ACT-R) were animated. ACT-R is a well-known cognitive architecture. It was deployed to create models in different fields including, among others, learning, problem solving and languages.
Discovering Specifications for Unknown Procedures - Work in Progress
Authors: Craciun Florian , Luo Chenguang , He Guanhua , Qin Shengchao , Chin Wei-Ngan
Published: January 2018

We study automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls or code pointers. Given the specification of a procedure whose body contains calls to an unknown procedure, we try to infer the possible specifications for the unknown procedure from its calling contexts. We employ a forward shape analysis with separation logic and an abductive inference mechanism to synthesize both pre- and postconditions for the unknown procedure. The inferred specification is a partial specification of the unknown procedure. Therefore it is subject to a later verification when the code or the complete specification for the unknown procedure are available. Our inferred specifications can also be used for program understanding.
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks
Authors: Dokhanchi Adel , Yaghoubi Shakiba , Hoxha Bardh , Fainekos Georgios
Published: January 2018

This report presents some preliminary base results from the 2017 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. The benchmarks are available on the ARCH website. In this report, we present results on a powertrain model developed by Toyota Technical Center which contains a complex automatic air-fuel control subsystem
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Authors: Beg Omar , Davoudi Ali , Johnson Taylor T
Published: January 2018

Analog-mixed signal (AMS) circuits are widely used in various mission-critical applications necessitating their formal verification prior to implementation. We consider modeling two AMS circuits as hybrid automata, particularly a charge pump phase-locked loop (CP-PLL) and a full-wave rectifier (FWR). We present executable models for the benchmarks in SpaceEx format, perform reachability analysis, and demonstrate their automatic conversion to MathWorks Simulink/Stateflow (SLSF) format using the HyST tool. Moreover, as a next step towards implementation, we present the VHDL-AMS description of a circuit based on the verified model.
Things You Can't do With a Vampire
Authors: Sutcliffe Geoff
Published: January 2018

The Vampire ATP system has been very successful at proving theorems in

first-order logic.

Vampire has won the FOF division of CASC for all except one of the last 15

years, and many papers highlighting Vampire's strengths have been published.

This talk examines the flip side of the Vampire coin ... what kinds of

problems are difficult or even impossible for the latest incarnation of

Vampire.

The talk will help users decide when to use Vampire, and when to use another

ATP system, will help the Vampire developers direct their work, and provides

the data required to build a portfolio ATP system with Vampire as a component.
Engineering Theories with Z3
Authors: Bjorner Nikolaj
Published: January 2018

Modern Satisfiability Modulo Theories (SMT)

solvers are fundamental to many program

analysis, verification, design and testing tools. They are a good

fit for the domain of software and hardware engineering because

they support many domains that are commonly used by the tools.

The meaning of domains are captured by theories that can be

axiomatized or supported by efficient theory solvers.

Nevertheless, not all domains are handled by all solvers and

many domains and theories will never be native to any solver.

We here explore different theories that extend Microsoft

Research's SMT solver Z3's basic

support. Some can be directly encoded or axiomatized,

others make use of user theory plug-ins.

Plug-ins are a powerful way for tools to supply their custom domains.
Understanding LEO-II’s proofs
Authors: Sultana Nik , Benzmüller Christoph
Published: January 2018

The LEO and LEO-II provers have pioneered the integration of higher-order and first-order automated theorem proving. To date, the LEO-II system is, to our knowledge, the only automated higher-order theorem prover which is capable of generating joint higher-order–first-order proof objects in TPTP format. This paper discusses LEO-II’s proof objects. The target audience are practitioners with an interest in using LEO-II proofs within other systems.
Object-sensitive Deep Reinforcement Learning
Authors: Li Yuezhang , Sycara Katia , Iyer Rahul
Published: January 2018

Deep reinforcement learning has become popular over recent years, showing superiority on different visual-input tasks such as playing Atari games and robot navigation. Although objects are important image elements, few work considers enhancing deep reinforcement learning with object characteristics. In this paper, we propose a novel method that can incorporate object recognition processing to deep reinforcement learning models. This approach can be adapted to any existing deep reinforcement learning frameworks. State-of-the-art results are shown in experiments on Atari games. We also propose a new approach called “object saliency maps” to visually explain the actions made by deep reinforcement learning agents.
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Authors: Brillout Angelo , Kroening Daniel , Rümmer Philipp , Wahl Thomas
Published: January 2018

Craig interpolation has become a versatile tool in formal verification, in particular for generating intermediate assertions in safety analysis and model checking. In this paper, we present a novel interpolation procedure for the theory of arrays, extending an interpolating calculus for the full theory of quantifier-free Presburger arithmetic, which will be presented at IJCAR this year. We investigate the use of this procedure in a software model checker for C programs. A distinguishing feature of the model checker is its ability to faithfully model machine arithmetic with an encoding into Presburger arithmetic with uninterpreted predicates. The interpolation procedure allows the synthesis of quantified invariants about arrays. This paper presents work in progress; we include initial experiments to demonstrate the potential of our method.
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
Authors: Louhichi Asma , Mraihi Olfa , Labed Jilani Lamia , Mili Ali
Published: January 2018

Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are related to them. In this paper we discuss these three concepts and analyze their relationships. The study of invariant functions and invariant relations is interesting not only because it provides alternative means to analyze loops, but also because it gives us insights into the structure of invariant assertions, and may help us enhance techniques for generating invariant assertions.
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Authors: Ben Makhlouf Ibtissem , Kowalewski Stefan
Published: January 2018

A practical benchmark for testing analysis and verification methods for continuous as well as hybrid systems is suggested. It consists of a platoon of controlled vehicles. The vehicles exchange information via a communication network that is subject to failure of single nodes or a complete loss of communication. The worst case scenario corresponding to the transition from a fully functioning communication between the vehicles to a total loss of communication is considered in particular. The safety properties of the considered networked platoon are investigated. The system is modeled as a hybrid automaton. The continuous part represents the dynamical behavior of the platoon and the

discrete part are spontaneous events related to the switching communication topology. The proposed example is a linear time invariant system.
Uso de la leña y conservación del bosque en el volcán Huitepec, Chiapas, México
Authors: Santos González Arelí , Estrada Lugo Erin Ingrid Jane , Rivas Lechuga Gerardo
Published: January 2018

Se analiza la dinámica de uso de leña en ocho colonias alrededor del volcán Huitepec, Chiapas, aledañas a dos áreas naturales protegidas de manejo privado (Reserva Huitepec- Pronatura) y colectivo (Reserva Zapatista), así como a una población urbana creciente: San Cristóbal de las Casas. En la zona de estudio es evidente la preocupación de conservar el bosque, sus recursos naturales y servicios ambientales fundamentales. De acuerdo al uso y manejo de la leña, se tipificaron a las colonias en cuatro  categorías: atención prioritaria, atención básica, atención significativa y atención media.
Asentamientos arqueológicos del municipio de las Choapas, Veracruz
Authors: Hernández Jiménez María de Lourdes
Published: January 2018

Los recorridos extensivos que se derivan de la supervisión de obras sísmicas, paradójicamente suelen  ser coyunturales para el conocimiento de una región,  como es el caso de la obra de exploración de  hidrocarburos, en la cuenca media del río Uxpanapa, cuya cobertura nos permitió registrar una serie de asentamientos prehispánicos que datan desde el  preclásico olmeca hasta el Posclásico. Esta región, al estar ubicada en el centro del istmo y contener una red hidrológica amplia, permitió el desarrollo y los  movimientos poblacionales entre la costa de Golfo y del Pacífico.
Padilla, Ignacio (2010), La isla de las tribus perdidas : la incógnita del mar latinoamericano, Barcelona-México: Random House Mondadori.
Authors: Rodríguez Castillo Luis
Published: January 2018

.
La idea del "indio" en Chiapas, 1794-1821
Authors: Torres Freyermuth Amanda Úrsula
Published: January 2018

Este artículo se enfonca en el análisis del discurso creado en torno a la figura del "indio" chiapaneco desde finales del siglo XVIII hasta 1821. El propósito es enfatizar el modo en que era visto el indio así como las políticas que se adoptaron respecto a él en una época de ebullición política y social. Se pretende entender cómo pensaban y actuaban los grupos de poder frente a esta población dilucidando su concepción del indio, lo que ayudará a explicar mejor las condiciones de vida de este sujeto en una coyuntura de transición.
En busca de la Iglesia autóctona: la nueva pastoral indígena en las cañadas tojolabales
Authors: Valtierra Zamudio Jorge
Published: January 2018

El artículo explica el proceso de transformación de la acción pastoral de la diócesis de San Cristóbal de Las Casas y la nueva fase en la pastoral diocesana, heredera de la "catequesis integradora" y de la teología de la liberación que ha llevado a una "nueva pastoral indígena". A través de un ejercicio etnográfico de la Misión de Guadalupe y su labor en las cañadas tojolabales, proporcionaré un acercamiento sobre la forma en que los agentes de pastoral han implementado estrategias frente a las dificultades para integrar esta pastoral y la meta de construir una Iglesia autóctona.
Presentación
Authors: Pinto Durán Astrid Maribel , Vázquez Olivera Mario
Published: January 2018

.
Refresco y diabetes entre los mayas de Tenejapa, San Cristóbal de Las Casas y Chamula, Chiapas
Authors: Page Pliego Jaime Tomás
Published: January 2018

Este trabajo aborda factores asociados a la importancia Del consumo de refresco, específicamente de Coca-Cola, entre los  mayas que habitan en las cabeceras municipales de Tenejapa, Chamula y San Cristóbal de Las Casas, Chiapas, en la obesidad y la diabetes. Los datos de campo arrojan cómo la situación de un número considerable de diabéticos y sus familiares sin antecedentes previos de diabetes se vincula a un intenso consumo de refresco previo a la aparición de la sintomatología. Se revisan las representaciones que los mayas construyen en torno a dicha problemática.
Entre apatía y colaboración: actitudes hacia las escuelas rurales federales en la región de San Bartolomé de Los Llanos, Chiapas, 1926-1940
Authors: Barrera Aguilera Óscar Javier
Published: January 2018

Este estudio permite conocer las particularidades del proyecto de escuelas rurales federales â€”impulsado por la Secretaría de  Educación Públicaâ€” en poblaciones ubicadas en las terrazas en el valle central del río Grijalva en el estado de Chiapas. Para ilustrar las adaptaciones, contrastamos las experiencias que el proyecto afrontó en comunidades tseltales, como Amatenango del Valle y Aguacatenango, y poblaciones mestizas, como Teopisca, Tzimol y Socoltenango. Los casos analizados nos permiten preguntarnos por los conflictos de intereses que surgieron entre las comunidades, los maestros y las autoridades a raíz de la implementación de este proyecto educativo.
Thomas A. Lee Whiting, Davide Domenici, Víctor Manuel Esponda Jimeno y Carlos Uriel del Carpio Penagos (coords.) (2009), Medio ambiente, antropología, historia y poder regional en el occidente de Chiapas y el Istmo de Tehuantepec, Tuxtla Gutiérrez, Chiapa
Authors: Fenner Justus
Published: January 2018

.
La denominada trocha fronteriza en la frontera entre Costa Rica y Nicaragua: breve análisis desde la perspectiva internacional
Authors: Boeglin-Naumovic Nicolás
Published: January 2018

En el siguiente artículo se presenta un análisis desde la perspectiva internacional de las implicaciones que puede tener para Costa Rica la construcción, iniciada en 2011, de la denominada "trocha" paralela a la frontera con Nicaragua, una ruta que incluye en su mayor trayecto el río San Juan, río fronterizo entre ambos países. El objetivo consiste en situar los alcances de esta controversia a la luz del derecho internacional tras la demanda interpuesta por Nicaragua ante la Corte Internacional de Justicia de la Haya en marzo de 2011.
La Liga Mexicana Anti-China de Tapachula y la xenofobia posrevolucionaria en Chiapas
Authors: Lisbona Guillén Miguel
Published: January 2018

.
Los sitios arqueológicos de Chilón, Nachoj, Mukana y Natentsun, municipio de Chilón, Chiapas
Authors: Sheseña Hernández Alejandro , Tovalín Ahumada Alejandro
Published: January 2018

Los sitios arqueológicos de Chilón, Mukana, Natentsun y Nachoj, localizados en el municipio de Chilón, al norte de Chiapas, representan un complejo histórico de relevancia por sus restos arquitectónicos y escultóricos. Dado que las pocas referencias que existen sobre estos monumentos se encuentran olvidadas y dispersas, e incluso inéditas, una buena manera de retomar la discusión sobre estos restos arqueológicos para la discusión actual es reuniendo y sistematizando la información existente para, a continuación, ensayar una nueva valoración histórica sobre ellos a la luz de las últimas ideas sobre la historia de los antiguos mayas.
Elementos de la praxis y del corpus del conocimiento etnoecológico tseltal en comunidades de la Sierra Norte de Chiapas
Authors: Rodríguez Moreno José Ramón
Published: January 2018

Las estrategias de uso y manejo de los ecosistemas como las que practican los tseltales en la Sierra Norte de Chiapas han sido insistentemente descritas por una visión occidental "científica" como sistemas de baja productividad y derrochadoras de recursos naturales. En este estudio se reseñan algunos aspectos del cosmos, corpus y praxis del conocimiento que se posee en comunidades tseltales, a partir del hilo conductor de un rubro específico del campo mexicano, el maíz, y de otras manifestaciones del conocimiento local, que permiten desmontar la marginación del sistema de conocimiento local con que lo ha revestido la visión occidental.
El Programa de la Mujer Agraria en Tabasco: expectativas y resultados
Authors: Solana Villanueva Nélyda , Galmiche Tejeda Ángel , De Los Heros Rondenil Martín
Published: January 2018

El Programa de la Mujer Agraria (PROMUSAG) busca generar empleo para mujeres de áreas rurales y mejorar sus condiciones de vida. Este artículo da cuenta de la evaluación de expectativas y resultados del PROMUSAG en Tabasco en los años 2004 y 2006. Para determinar estos resultados se realizó una encuesta representativa a las beneficiarias. Se encontró que el apoyo recibido representó un ahorro familiar más allá de cambios en sus condiciones de vida. Se comprobó que estas mujeres ceden la operación de sus proyectos productivos. Finalmente, la escasa cobertura da poco margen a resultados positivos.
La mortalidad materna y los nudos en la prestación de los servicios de salud en Chiapas. Un análisis desde la interculturalidad
Authors: Freyermuth Enciso María Graciela
Published: January 2018

En este trabajo se reflexiona sobre el acceso a los servicios de salud en un contexto multicultural, Los Altos de Chiapas, una de las regiones de México que registra más elevados índices de mortalidad materna: quince municipios con más del 95% de población de las etnias tsotsil y tseltal y con un 54% de población monolingüe que continúa utilizando sus sistemas locales de salud. En este trabajo se muestran las dinámicas familiares y comunitarias que, matizadas por factores generacionales, de género y étnicos, posibilitan o no el acceso de las mujeres a la atención por complicaciones obstétricas.
Posibilidades sociales de prevención de la infección por virus del papiloma humano y de cáncer cervicouterino en San Cristóbal de Las Casas, Chiapas, México
Authors: Luna Blanco Mónica Adriana , Sánchez Ramírez Georgina
Published: January 2018

Se muestran los resultados de un estudio realizado en San Cristóbal de Las Casas, Chiapas, con el fin de obtener información respecto al conocimiento que tenían en torno al virus del papiloma humano y su vínculo con el cáncer cervicouterino. Como resultado, se constató que la información biomédica en torno al cáncer cervical versus las prácticas de prevención reales de la población de estudio discrepan sustancialmente, ya que consideran más importante platicar sobre las prácticas sexuales en pareja, que utilizar protección o realizarse el Papanicolaou. Las campañas de detección oportuna no toman en cuenta estas realidades en su prevención.
Von Grafenstein Gareis, Johanna (coord.), (2006) El Golfo-Caribe y sus puertos. Tomo I, 1600-1850, México: Instituto Mora.
Authors: Gallaga Murrieta Emiliano
Published: January 2018

.
La noción del tiempo en la cultura maya prehispánica
Authors: Voss Alexander Wolfgang
Published: January 2018

La concepción del tiempo de los mayas prehispánicos se estudia mediante el análisis epigráfico y filológico de textos jeroglíficos bajo los planteamientos teóricos de la escuela italiana de historia de las religiones. Los datos indican que el tiempo es animado y formado por unidades discretas tangibles que se representan con un calendario de 365 días. Las características de cada día son fijadas por un oráculo de suertes de 260 unidades que es proyectado sobre el tiempo. El tiempo y el oráculo son pensados como dioses que se alternan en un orden y no como una magnitud física abstracta.
Subjetividades sobre la causalidad de diabetes mellitus entre seis tseltales de la cabecera municipal de Tenejapa, Chiapas
Authors: Page Pliego Jaime Tomás
Published: January 2018

En este trabajo se abordan las subjetividades de seis tseltales de la cabecera municipal de Tenejapa con diabetes sobre las causas de su "azúcar". A través de sus narrativas, se desentraña lo que consideran causas directas y desencadenantes que, además, coadyuvan al agravamiento del padecimiento. Se da cuenta de la clara tendencia de la población del municipio a atribuir la causa a factores de orden natural-biológico, sin soslayar que en menor medida también se debe el daño producido por terceros, ak’chamel (mal echado), así como a factores de orden emocional.
Ts’umbal activo en las transformaciones rurales de Oxchuc, Chiapas
Authors: Sántiz Gómez Abraham
Published: January 2018

En este trabajo se discute y reflexiona sobre las transformaciones rurales, a partir de los sujetos y actores sociales, desde el término ts’umbal, que se vincula con el grupo doméstico patrilineal. Se basa en revisión documental, teórica y empírica, y se contextualiza en la sociedad tseltal de Oxchuc, Chiapas. Se realizó una reflexión crítica sobre la racionalidad instrumental del conocimiento científico, y la conclusión se abocó a la diversidad de racionalidades de la vida rural en constantes trasformaciones y a la relación entre ellas.
Hacerse chinas. Mujeres y nacionalismo en la posrevolución chiapaneca
Authors: Lisbona Guillén Miguel
Published: January 2018

.
Cruz Salazar, Tania (2014), Las pieles que vestimos, corporeidad y prácticas de belleza en jóvenes chiapanecas. México, CESMECA-UNICACH/El Colegio de la Frontera Sur.
Authors: De Ganges López Fabio Alexis
Published: January 2018

.
Pinto Durán, Astrid Maribel (2013), Guerreros de luz. Enseñanzas de don Lauro para una red cósmica de espiritualidad. México: CONACULTA
Authors: Fernandez Poncela Anna María
Published: January 2018

.
Presentación
Authors: Higuera Bonfil Antonio
Published: January 2018

.
Edelberto Torres Rivas: elogio de una vida por las Ciencias Sociales centroamericanas
Authors: Rovira Mas Jorge
Published: January 2018

.
Várguez Pasos, Luis Amílcar (2013). Trabajo, religión e identidad en Yucatán. Mérida: Unidad Autónoma de Yucatán.
Authors: Fortuny Loret de Mola Patricia
Published: January 2018

.
Violencia contra las mujeres en el estado de Campeche. Un análisis desde la perspectiva de género
Authors: Martínez Ortega Juan Iván , Hernández de la Cruz Armando
Published: January 2018

A partir del modelo de Johan Galtung, aplicado desde la perspectiva de género, se analizan las violencias que se ejercen sobre mujeres que interponen denuncias por maltrato en Campeche. Se realizaron entrevistas semiestructuradas a una muestra no probabilística, se hizo análisis descriptivo categorial y se delimitaron unidades de codificación para elaborar inferencias según frecuencia y relevancia de cada categoría. Los resultados destacan la importancia de analizar desde el género las violencias directa, estructural y cultural, la inexistencia de mecanismos para desarticular las formas en que se entrelazan las violencias y la presencia de inhibidores que impiden que las mujeres denuncien.
La migración como aprendizaje social: el desarrollo del Centro Ecoturístico El Madresal en Ponte Duro, Tonalá, Chiapas
Authors: Vila Freyer Ana
Published: January 2018

Se aborda la historia de unos pescadores y sus esposas que, al agotarse el camarón, recurso de reproducción social y económica desde la fundación de su ejido en 1932, se vieron obligados a migrar a Estados Unidos. Esta experiencia se convirtió en un proceso de aprendizaje individual que se transformó en un bien colectivo que les permitió crear sinergias para reconstruir su vida productiva a través de la fundación de un proyecto cooperativo de ecoturismo. Dirigidos por migrantes retornados, los pescadores y sus esposas han aprendido a ser empresarios pequeños, socios, y trabajadores especializados en el nuevo negocio.
Preparando al verdadero ciudadano y centinela ejemplar que velará por el honor de la República. El Salvador, 1933
Authors: Monterrosa Cubías Luis Gerardo
Published: January 2018

.
Rodríguez Castillo, Luis, Sergio Enrique Hernández Loaeza y María del Carmen Ventura Patiño (coords.) (2014). Democracia, cultura política y ciudadanía en el México de hoy. México: PROIMMSE-IIA-UNAM
Authors: Solís Cruz Jesús
Published: January 2018

.
Juventudes, identidades y transculturación. Un acercamiento analítico al rock indígena en Chiapas
Authors: Zebadúa Carbonell Juan Pablo , López Moya Martín de la Cruz , Ascencio Cedillo Efraín
Published: January 2018

Se examina la producción de música rock indígena en Los Altos de Chiapas como reflejo de procesos de cambio identitario juvenil. Se muestra que tales procesos no son adopción (pasiva) de formas musicales que encuentran en su entorno o en medios de comunicación, sino procesos interculturales e intergeneracionales basados en sus raíces culturales en la búsqueda de su posicionamiento en tiempos de cambios radicales. Su música ha sido catalizadora, de oposición o de complementariedad. Se exploran temas como lo sagrado y profano, lo occidental y lo indígena, y se analizan los conflictos entre lo moderno y lo tradicional.
Las muchachas mayas de Yaxcabá, Yucatán
Authors: Pérez Ruiz Maya Lorena
Published: January 2018

El tema de este artículo es el significado de ser mujer y ser joven en la cultura maya de Yucatán, México. Se presentan testimonios de muchachas de bachillerato del pueblo de Yaxcabá con el objetivo de conocer lo que para ellas significa ser mujer joven. Sus percepciones y sus proyectos de futuro se enmarcan en un campo de conflicto, en el que existe un enfrentamiento entre jóvenes y adultos para mantener o transformar los significados y las prácticas de ser joven.
Emergencia de las identidades juveniles en el norte de Veracruz: una reflexión sobre cultura y migración en el Totonacapan
Authors: García Martínez Ariel
Published: January 2018

El propósito de este artículo es reflexionar sobre la emergencia de nuevas identidades juveniles indígenas en el Totonacapan, al norte de Veracruz, como un fenómeno que experimentan los jóvenes tutunakú, o totonaca, ligado a los cambios ocasionados por la progresiva articulación de su sociedad con el resto del país a través de la educación, la tecnología, el trabajo y la migración. Se explora el fenómeno migratorio y sus consecuencias sobre las identidades y la cultura local, particularmente en el grupo doméstico y la comunidad.
Entre la agricultura y el trabajo urbano: dos estudios de caso en la periferia de Xalapa, una ciudad media del estado de Veracruz (México)
Authors: Thiébaut Virginie , Velázquez Hernández Emilia
Published: January 2018

Se estudian las relaciones entre ciudad y campo y su impacto en los paisajes en dos localidades periféricas de Xalapa, Veracruz: Chavarrillo y Tlalnelhuayocan. En el siglo XX, los habitantes de localidades rurales, sobre todo de la periferia de ciudades importantes, complementaban los ingresos del campo diversificando sus actividades, fenómeno que se reforzó en los ochenta y noventa con la crisis del sector agropecuario. Se observa que la pluriactividad y las relaciones con la ciudad adoptan formas distintas y las consecuencias en los paisajes varían en relación con las características naturales, socioeconómicas y culturales de cada localidad.
De Bolivia a México: voces de jóvenes mujeres, sus historias y su identidad
Authors: Canedo Vásquez Gabriela , Ruiz Lagier Verónica , Andrés Francisco María
Published: January 2018

.
Proceder artístico agenciado por mujeres: las tejedoras mayas en Los Altos de Chiapas
Authors: Gil Corredor Claudia Adelaida
Published: January 2018

Se exponen, desde la noción de agenciamiento, descripciones analíticas de una práctica artística milenaria, el tejido, llevada a cabo por las actuales mujeres mayas tsotsiles y tseltales de Los Altos de Chiapas. Se busca evidenciar el carácter interrelacional de la estética cultural de un pueblo originario que hace del tejido una forma de vida en la que vincula aspectos de su herencia histórica, con su sentir colectivo y sus actividades cotidianas. Asimismo, en el tejido se muestran los agenciamientos de las mujeres, quienes a través de su actividad como tejedoras se convierten en agentes de transformación y resistencia.
Desigualdad de género y muerte de niños en Ocotepec, Chiapas
Authors: Cortez Gómez Renata Gabriela
Published: January 2018

El objetivo de este artículo es analizar cómo la desigualdad de género afecta las trayectorias de atención de niños menores de cinco años que fallecieron por causas prevenibles en el periodo 2005-2010 en Ocotepec, Chiapas. Se emplea un enfoque de género constructivista-relacional para demostrar que la atención médica de los niños está mediada por los acuerdos y desacuerdos entre el padre, la madre y la familia extensa, siendo más problemática cuando las mujeres sufren violencia de género.
Entre el mensaje romántico y el etnorock en YouTube: repertorios identitarios en los paisajes virtuales de jóvenes mayas tsotsiles
Authors: De León Pasquel Lourdes
Published: January 2018

Se examina el uso de las tecnologías digitales por jóvenes de origen tsotsil, principalmente a través de mensajes de texto por celular y de intercambios en páginas de YouTube de grupos musicales. Se analizan los "paisajes virtuales" como nuevas formas de afectividad, socialización y sociabilidad desde un enfoque etnográfico, semiótico y sociolingüístico. Estos paisajes se caracterizan por ser el vehículo de expresiones identitarias de culturas juveniles étnicas. La investigación aporta al campo de las juventudes étnicas desde ángulos escasamente investigados en América Latina, el de la sociolingüística de la globalización y el de las literacidades digitales prácticas.
Análisis espacial de la fecundidad adolescente en municipios de Chiapas
Authors: Núñez Medina Gerardo , Jiménez Acevedo Hilda María
Published: January 2018

Se analiza la distribución espacial de la fecundidad de adolescentes entre 10 y 19 años y algunos de sus determinantes en Chiapas en 2015. La importancia de esta investigación radica en tres factores: 1) Chiapas es el estado con mayor proporción de población joven-adolescente en el país; 2) es la tercera entidad con el mayor número de embarazos adolescentes, y 3) 85 de sus 118 municipios fueron catalogados por CONAPO como de alta y muy alta marginación, lo que hace evidente que la entidad presenta importantes problemas de segregación económica, social y espacial.
Ecos del enfrentamiento armado guatemalteco veinte años después del conflicto. El arraigo de la violencia
Authors: Caballero Mariscal David
Published: January 2018

El 29 de diciembre de 1996 marcó un hito en la historia reciente de Guatemala al suscribirse los acuerdos de paz que pusieron fin a 36 años de enfrentamiento. Veinte años después la violencia continúa presente en el país. Se describe la situación actual de la violencia en Guatemala como consecuencia de lo experimentado en el periodo de enfrentamiento. Se utiliza una metodología descriptiva, ilustrada con datos cuantitativos procedentes de diversas fuentes y con el análisis de una encuesta cerrada de elaboración propia. Se concluye que el periodo posconflicto supone la continuación de un paradigma similar de violencia.
Prendas necesarias de las mujeres para el oficio de partear: el manual del Protomedicato
Authors: Luna Blanco Mónica Adriana
Published: January 2018

.
Chiapas: las fronteras del desarrollo
Authors: Villafuerte Solís Daniel
Published: January 2018

En este ensayo nos proponemos plantear una serie de mutaciones que está teniendo la sociedad chiapaneca como resultado de factores endógenos y exógenos que se interiorizan en los diversos grupos de la sociedad y que dan como resultado una reelaboración de sus demandas, las cuales se expresan en posiciones divergentes y hacen ver que se trata de proyectos irreconciliables. Trataremos de mostrar la complejidad de la problemática chiapaneca, que se manifiesta como una serie de laberintos, cuya salida sería muy difícil sin un debate profundo donde participen todos los actores económicos, sociales y políticos.
Nuevos espacios de representación política en la selva fronteriza. La disputa por la remunicipalización en Chiapas, México
Authors: Rodríguez Castillo Luis
Published: January 2018

El reconocimiento a los derechos y autonomías indígenas impulsado por el Ejército Zapatista de Liberación Nacional (EZLN) y sus simpatizantes fue la demanda que sirvió para legitimar las acciones de actores locales y regionales en el contexto de las respuestas operadas por parte de los gobiernos federal y estatal. El argumento central es que las opciones de reorganización territorial han abierto espacios de representación política en la región.
Joan Antón Mellón (coord.), 2002, Las ideas políticas en el siglo XXI, Ariel (Colección Ciencia Política), Barcelona.
Authors: Lisbona Guillén Miguel
Published: January 2018

.
Género y etnicidad: aportes desde una antropología jurídica crítica
Authors: Sierra María Teresa
Published: January 2018

En este texto me propongo abordar la relación entre el género y la etnicidad desde la perspectiva de una antropología jurídica crítica interesada en cuestionar visiones homogéneas y ahistóricas del derecho y la cultura. Me interesa aportar al estudio del derecho en contextos interétnicos, refiriéndome a una experiencia colectiva deinvestigación en distintas regiones indígenas del país donde pretendimos dar cuenta de la manera en que el derecho (consuetudinario y estatal) construye y reproduce roles de género, así como alternativas legales a disposición de las mujeres pararesolver sus controversias.
Choles y chortíes de Karl Sapper, 1907
Authors: Köhler Axel Michael , Esponda Jimeno Víctor Manuel
Published: January 2018

.