La tendencia constantemente en alza de la globalización de empresas, y especialmente de los negocios relacionados con la producción de tecnologías de software, ha producido un profundo impacto tanto en las estrategias de marketing y distribución, como en la manera…

En este trabajo, exploramos la utilización de una lógica temporal lineal de primer orden para la verificación de propiedades de ejecuciones de programas abstractos, escritos en un lenguaje de diseño de programas llamado CommUnity.
CommUnity es un lenguaje cuya semántica…

En esta comunicación se describen resultados preliminares de la línea de investigación sobre el uso de minería de datos aplicadas a la identificación y detección de patrones delictivos, analizando los homicidios dolosos cometidos en la República Argentina., Eje: Ingeniería de…

Los marcadores STRs son de gran utilidad en genética poblacional, y su grado de variación depende en parte de su localización genómica y su modo de herencia. La población mocoví constituye una etnia muy reducida en la actualidad, que presenta…

Las máquinas de búsqueda para la web son motores que requieren de un gran poder computacional y poseen de grandes bases de datos que deben ser indexadas eficientemente para lograr de esta manera reducir los tiempos de respuestas para las…

En el presente reporte se hace una introducción a la validación automática de sistemas, se detallan un conjunto de fundamentos sobre la importancia de la validación; a continuación se citan diferentes autores y sus propuestas sobre automatización; luego de esto…

En el presente trabajo se describe la composición de la Colección Osteológica “Prof. Dr. Rómulo Lambre”, como así tambien los avances en el proceso de acondicionamiento de la misma. La muestra se encuentra depositada en la Facultad de Ciencias Médicas…

El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…

Mientras que en todas las sociedades conocidas las mujeres son más bajas que los hombres, la relación entre el promedio de la altura masculina y la femenina es variable. El dimorfismo sexual en la especie humana puede ser considerado como…

PCVIA (Program Comprehension by Visual Inspection and Animation) es un proyecto de investigación que estudia la construcción de métodos, técnicas y herramientas que ayuden al ingeniero del software en el análisis y comprensión de aplicaciones.
Estos estudios tienen como objetivo…