II Encuentro de Investigación de la Facultad de Ingeniería y Ciencias Básicas – Politécnico Grancolombiano

II Encuentro de Investigación de la Facultad de Ingeniería y Ciencias Básicas – Politécnico Grancolombiano

El Politécnico Grancolombiano invita a la transmisión a través de RENATA del "II Encuentro de Investigación de la Facultad de Ingeniería y Ciencias Básicas" el 13 de octubre a partir de las 09.00 a las 16.00 horas. El evento, que incluirá investigadores de Venezuela, Brasil y Colombia, busca promover el desarrollo de la investigación al interior de las instituciones como una estrategia para el impulso de la cultura investigativa.

Ver transmisión a través de RENATA

URL para la transmisión:
mms://190.15.31.35/srenata

En el encuentro se pretende exponer y desarrollar diferentes temas de interés para la Ingeniería y la Investigación en forma completa y detallada, enfocándolos desde diversos ángulos a través de intervenciones individuales, breves, sintéticas y de sucesión continuada. Los especialistas exponen durante 1.0 hora y al final se realiza un foro de 1 hora, que resume las ideas principales. El auditorio formula preguntas y dudas que los expertos aclaran y responden.

Conferencias

ANÁLISIS DE SEÑALES POR APROXIMACIONES SIMBÓLICAS

Conferencista: Dr. P. Guillén del Centro de Simulación y Modelos (CESIMO), Universidad de Los Andes, Mérida, Venezuela

Resumen: la Minería de Datos puede definirse como el proceso de extraer información implícita en los datos sin previo conocimiento y potencialmente útil. En esta charla se presentarán un conjunto de técnicas de la minería de datos basadas en Aproximaciones Simbólicas (AS), las cuales aplicadas a señales (series temporales) adquiridas de sistemas físicos o biológicos permiten la obtención y descubrimiento de patrones. Las AS se definen mediantes métricas que identifican y cuantifican los cambios de actividad (complejidad) inherentes en las series temporales. Finalmente, aplicaciones de las AS en señales obtenidas de procesos industriales y sistemas biomédicos serán presentadas.

FORMALIZACIÓN DE LA PROPIEDAD DE SEGURANZA DE PROTOCOLOS DE COMUNICACIÓN

Conferenciasta: Dr. M. Ayala, Departments of Computer Science and Mathematics, Brasilia University, Brasil

Resumen: el modelo en cascada de Dolev-Yao es la base de la mayoría de protocolos para comunicación entre pares de agentes en una red de comunicación. Se ilustrará el uso de técnicas de métodos formales para formalizar la caracterización de la seguridad de este modelo utilizando el asistente de demostración PVS.

GENERACIÓN DE NÚMEROS PSEUDO-ALEATORIOS CON AUTÓMATAS CELULARES

Conferencista: Ing. N. Castillo, emQbit: Linux Powered Devices Company, Bogotá, Colombia

Resumen: se trata la generación de estos números desde un punto de vista algorítmico (incluyendo estadística y matemáticas). En la primera parte se presenta un método experimental para encontrar generadores de números pseudoaleatorios y en la segunda parte se muestra un algoritmo para examinar ciclos en el espacio de estados de autómatas.

KNOWLEDGE ENGINEERING IN UBIQUITOUS ELEARNING PLATFORMS

Conferencista: Dr. E. Carrillo, Presidente Sociedad Colombiana de Computación, Bucaramanga, Colombia

Resumen: las Universidades y en general las organizaciones constantemente generan materiales educativos computarizados y objetos virtuales de aprendizaje que plasman el conocimiento generado en forma tangible por medio de diferentes recursos, los cuales pueden ser accedidos desde diversos dispositivos. Estos repositorios de conocimiento pueden ser organizados en forma tal que puedan ser utilizados por la organización y en general por la sociedad. En la charla se describe el estado actual del desarrollo de plataformas de "m-learning" y "ubiquitous learning", así como las consideraciones a tener en cuenta en torno a la organización y gestión de dicho conocimiento.