Instituto Tecnológico Autónomo de México

About: Instituto Tecnológico Autónomo de México is a education organization based out in Mexico City, Mexico. It is known for research contribution in the topics: Politics & Population. The organization has 1098 authors who have published 2532 publications receiving 39083 citations. The organization is also known as: Instituto Tecnologico Autonomo de Mexico & Mexico Autonomous Institute of Technology.

A Decidable Intuitionistic Temporal Logic

Abstract: We introduce the logic $\sf ITL^e$, an intuitionistic temporal logic based on structures $(W,\preccurlyeq,S)$, where $\preccurlyeq$ is used to interpret intuitionistic implication and $S$ is a $\preccurlyeq$-monotone function used to interpret temporal modalities. Our main result is that the satisfiability and validity problems for $\sf ITL^e$ are decidable. We prove this by showing that the logic enjoys the strong finite model property. In contrast, we also consider a `persistent' version of the logic, $\sf ITL^p$, whose models are similar to Cartesian products. We prove that, unlike $\sf ITL^e$, $\sf ITL^p$ does not have the finite model property.

Transnational Imagination and Social Practices: A Transnational Website in a Migrant Community

Abstract: In this article, we examine how collective notions of belonging and imagination become a fertile terrain upon which transnational websites can sustain certain social practices across national boundaries that would be otherwise difficult. Drawing on field work carried out in the United States and Mexico, and using transnational imagination as our analytical lens, we observed three phenomena that are closely related to the use of a transnational website by a migrant community. First, the transnational website under study was a place for a collective imaginary rather than just for the circulation of news. Also, through transnational imagination, migrants can make claims about their status in their community of origin. Moreover, the website is instrumental in harmonizing the various views of the homelands' realities. Finally, the website can inspire us to look beyond dyadic forms of communication.

A Markov gamma random field for modelling disease mapping data

Abstract: In this paper we introduce a Markov gamma random field prior for modelling relative risks in disease mapping data. This prior process allows for a different dependence effect with different neighbours. We describe the properties of the prior process and derive posterior distributions. The model is extended to cope with covariates and a data set of respiratory infections of children in Mexico is used as an illustration.