vol. 10 núm. 1 (2009): revista colombiana de computación (enero-junio)

Recently, some pattern matching algorithms allowing gaps were introduced in Crochemore et al. [Approximate string matching with gaps. Nordic Journal of Computing, 9 (2002):54–65, 2002], where upper-bounded, strict-bounded and unbounded gaps were considered. In this paper we further extend these restrictions on the gaps to permit lower-bounded and (lower-upper)-bounded gaps that we simply refer to as (a,b)-bounded gaps. We give formal definitions for these problems as well as their respective algorithmic solutions.

En este artículo analizamos la complejidad paramétrica de algunos problemas típicos en minería de grafos, específicamente nosotros analizamos la complejidad paramétrica del problema de listado consistente en: Dado G un grafo-input, liste todos los subgrafos frecuentes de G de un tamaño dado. En el artículo se prueban cotas superiores para algunas restricciones adecuadas del problema.

Three nonlinear partial differential equations, namely, the standard KdV equation, the Boussinesq equation and the generalized fifthorder KdV equation are considered here from of point the view of construct exact solutions for them. The equations that we consider here are in its most general form. New exact solutions which include periodic and soliton solutions are formally derived by using the tanh method. The programming language Matematica is used.

En este artículo analizamos la complejidad paramétrica de algunos problemas típicos en minería de grafos, específicamente nosotros analizamos la complejidad paramétrica del problema de listado consistente en: Dado G un grafo-input, liste todos los subgrafos de G de un tamaño dado. En el artículo se prueban algunas cotas inferiores para este problema.

La teoría de la computabilidad está actualmente fundamentada en el paradigma de la Máquinas de Turing, en las funciones recursivas y en la tesis de Church-Turing. El modelo de Turing captura la noción intuitiva de lo que es algorítmicamente computable en un sentido amplio. La interacción es un paradigma emergente que refleja el cambio en la tecnología (redes de agentes inteligentes, interfaces de usuario gráficas, sistemas distribuidos, etc.). La computación interactiva involucra la comunicación con el ambiente durante la computación. Según muchos autores la interacción se basa en modelos que difieren de los modelos algorítmicos tradicionales. Es así como, en las últimas décadas han surgido trabajos que cuestionan los pilares de la teoría de la computabilidad. La cuestión que crece es, si la noción de computación como se entiende todavía puede describirse adecuadamente por ellos. La finalidad de este artículo es presentar cuatro propuestas que se realizaron para abordar la crisis paradigmática por la que está pasando la teoría de la computabilidad, determinar la vigencia de la MT como modelo para cualquier tipo de computación y proporcionar argumentos que permitan establecer si la tesis de Church-Turing es aplicable a la computación interactiva.

La World Wide Web, o simplemente web, es un sistema lógico de acceso y búsqueda de información disponible en Internet cuyas unidades informativas son las páginas web. La web ha facilitado la publicación de gran cantidad de información accesible desde cualquier lugar del mundo; sin embargo, parte del contenido ofrecido como la pornografía, es considerado inapropiado para algunos usuarios.  Para aportar al filtrado de pornografía en la web, este trabajo propone el desarrollo de un clasificador de páginas web basado en la evaluación de las imágenes presentes en el contenido de la página. La evaluación de las imágenes es realizada en tres vías: extracción de características de las regiones de piel, análisis de textura y descriptores de forma de la imagen. Los tres tipos de evaluación del contenido de las imágenes son utilizados para entrenar tres clasificadores con máquinas de soporte vectorial (SVM). Los resultados de clasificación son unidos en un ensamble realizado por un metaclasificador por medio de la siguiente política: si al menos uno de los tres clasificadores concluye que la imagen es pornográfica, entonces la imagen es considerada como tal. Al evaluar todas las imágenes contenidas en una página web, se utiliza la siguiente política: si la página web presenta un porcentaje de imágenes pornográficas superior al 30%, entonces la página es considerada como pornográfica. La implementación realizada es evaluada sobre un conjunto de 5000 páginas web diversas, obteniendo una exactitud del 84.6 % en el reconocimiento de contenido pornográfico a través del contenido de las imágenes.

In this paper, a novel method for image encryption based on a Generalized Chinese Remainder Theorem (GCRT) is presented. The proposed method is based on the work developed by Jagannathan et al. Some modifications are proposed in order to increase the method's encryption quality and its robustness against attacks. Specifically, the inclusion of a vector to reduce the segment pixel space and a Generalized Chinese Remainder Theorem (GCRT) algorithm are proposed. These vectors are generated randomly which allows its use as private keys joining these unrestricted key values generated by the GCRT algorithm.  An analysis to study a system where the RGB channels are independently encrypted is performed. Some experiments were carried out to validate the proposed model obtaining very promising results.

La Universidad Autónoma de Bucaramanga (UNAB) y los miembros del comité editorial de la Revista Colombiana de Computación, presentan a la comunidad científica esta nueva edición, generando un espacio para la difusión de los resultados de investigación tanto en el ámbito colombiano como internacional.  Así mismo presentamos un reconocimiento a los autores, evaluadores y personal de apoyo administrativo por su importante aporte.