RCCS-SPIDTEC2 2017
Foundations, Research and Spread of Emerging Technologies in Computing Sciences

Table of Contents

• Preface
  
  
• Table of Contents
  
  
• Program Committee
  
  

Part 1: Foundations

• A Characterization of Propositional Epistemic Logic (Una Caracterización de Lógica Epistémica Proposicional) 1-8
  Edgar Everardo Martinez-Garcia
• Gödel's Theorems on Conditions of Being Incomplete and Consistent Elucidated with Principles of Abstraction Levels, Complementarity, and Self-Reference (Teoremas de Gödel Sobre Condiciones de Ser Incompleto y Consistente Elucidados con Principios de Niveles de Abstracción, Complementariedad, y Auto-Referencia) (invited paper) 9-16
  Eric David Smith
• Consistent Transformations of Knowledge Bases in Answer Set Programming (invited paper) 17-24
  Juan Carlos Acosta-Guadarrama
• Mobile Application for an Online Logic Lab (Aplicación Móvil para Laboratorio de Lógica en Línea) 25-32
  Debora Sarahi Rodriguez-Aguilar, Rosa Maria Quiñones-Arellano, Juan Carlos Acosta-Guadarrama

Part 2: Computing Science and Emerging Technologies

• Biometric Authentication Based on Eye Movements by Using Scan-path Comparison Algorithms 33-38
  Alberto Quintana-Nevárez, Francisco López-Orozco, Rogelio Florencia-Juárez
• Approach of Implementation Using Models of Analysis of Main Component for Breeding and Reproduction of Tilapia 39-45
  Sergio Barrios, Alberto Ochoa
• Algorithm for the Detection of Breast Cancer in Digital Mammograms Using Deep Learning 46-49
  Natalia Pirouzbakht, Jose Mejía
• Simulation of a Master-Slave Tele-Operated System for People with Muscular Atrophy in Upper Limbs 51-55
  Francesco García, Karla Gómez
• Robot Path Planning Using Reinforcement Learning and Nonlinear Approximation Function (Planeación de Trayectoria Utilizando Aprendizaje por Reforzamiento y Función de Aproximación) 56-61
  David Luviano Cruz, Miguel Angel Rodriguez Ruiz, Luis Asuncion Pérez Domínguez, Luis Carlos Mendez Gonzalez

Part 3: Proposal Posters

• An Auxiliary System for Restaurants (Sistema Auxiliar para Restaurantes) (abstract) 62
  Jorge Alberto Medina Franco
• Software Application to Help Students of Middle School with the Admission Test to High School (Aplicación de Software para Ayudar a Alumnos de Secundaria con el Examen de Admisión a Preparatoria) (abstract) 63-64
  Hugo Alejandro González-Herrera
• Optimization of an SBRP Implementing a PSO Algorithm to Resolve Instances (abstract) 65
  Alberto Ochoa, Fabián Ortiz, Ulises Carbajal, Manuel Rivera, Jorge Rodas
• Approach to Cluster Analysis for Decision Making in an Ornamental Japanese Fish Aquarium (abstract) 66
  Luis Pérez, Alberto Ochoa
• Facebook versus Professionals: A Comparison of the Writing of Students at UACJ in Different Written-Communication Environments (Facebook versus Profesionales: Comparación de la Escritura de Estudiantes en la UACJ en Distintos Entornos de Comunicación Escrita) (abstract) 67
  Carlos Esteban Loya-Sánchez
• A Controlled-Access System to Indiobus (Sistema de Acceso Controlado al Indiobus) (abstract) 68
  Omar Ortega
• BookooB (abstract) 69
  Cesar Alexander Pérez-Téllez