Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems

Qualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.

Prime Rational Functions and Integral Polynomials

Let f(x) be a complex rational function. In this work, we study conditions under which f(x) cannot be written as the composition of two rational functions which are not units under the operation of function composition. In this case, we say that f(x) is prime. We give sufficient conditions for complex rational functions to be prime in terms of their degrees and their critical values, and we derive some conditions for the case of complex polynomials. We consider also the divisibility of integral polynomials, and we present a generalization of a theorem of Nieto. We show that if f(x) and g(x) are integral polynomials such that the content of g divides the content of f and g(n) divides f(n) for an integer n whose absolute value is larger than a certain bound, then g(x) divides f(x) in Z[x]. In addition, given an integral polynomial f(x), we provide a method to determine if f is irreducible over Z, and if not, find one of its divisors in Z[x].

Auditoría integral : importancia en la aplicación al sector público.

Tesis (Maestría en Contaduría Pública con Especialidad en Auditoría) UANL

Evaluación del acuitardo somero en la región de Mendéz, Tamaulipas y sus aplicaciones para instalación de un centro integral para el manejo y aprovechamiento de residuos industriales

Tesis (Maestría en Ciencias con Especialidad en Hidrología Subterranea) UANL

Incremento en la participación de los niños a los campamentos infantiles de verano de la Facultad de Organización Deportiva, favorecida por el cambio de programa integral, al programa acuático

Tesis (Maestría en Ciencias del Ejercicio con Especialidad en Alto Rendimiento) UANL

Propuesta de una metodología de evaluación del sistema integral del tránsito metropolitano

Tesis (Maestría en Ciencias con Especialidad en Ingenieria de Tránsito) UANL

Impacto de un programa de atención nutriológica integral en el tratamiento de la obesidad

Tesis (Maestría en Salud Pública con Especialidad en Nutrición Comunitaria) UANL.

Calidad integral [por] Alfonso Gerardo Vargas Bueno

Tesis (Maestría en Ciencias de la Administración, con especialidad en Producción y Calidad) U.A.N.L. - 1993

La cooperación intermunicipal como alternativa de desarrollo integral

UANL

Liderazgo integral [por] Andy Javier Correa Montejo

Tesis (Maestría en Administración de Empresas) U.A.N.L.

Elementos para una auditoría ambiental integral por Gabriela Medellín Palacios

Tesis (Maestría en Ciencias con Especialidad en Ingeniería Ambiental) U.A.N.L.

Evaluación integral de la revista Estratégica como medio difusor de conocimiento [por] Nantli García Piñón

Tesis (Maestría en Ciencias con Especialidad en Formación y Capacitación para Recursos Humanos) U.A.N.L.

Administración de la calidad una visión integral

Tesis (Maestro en Contaduría Pública) U.A.N.L.

Propuesta didáctica diseño de estrategias didácticas que permitan relacionar las unidades de estructura atómica, periodicidad y enlace químico, para lograr un conocimiento integral en el curso de química I [por] Nora Alicia Barbosa Tijerina

Tesis (Maestría en la Enseñanza de las Ciencias con Especialidad en Química) U.A.N.L.

Sistema integral de control de inventarios para mantenimiento en planta industrial

Tesis (Maestro en Ciencias de la Administración con Especialidad en Sistemas ) - Universidad Autónoma de Nuevo León, 2000