Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Issue Date
Now showing items 21-40 of 158
-
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ... -
Generación de código intermedio usando semántica funtorial
(2010-12-29)Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ... -
Diseño de vacunas atenuadas con menor probabilidad de sufrir reversión a la virulencia
(2011)Las denominadas vacunas vivas o atenuadas han sido ampliamente utilizadas para prevenir enfermedades como la rubeola, la poliomielitis, el sarampión o la fiebre amarilla. Sin embargo, uno de los peligros del uso de este ... -
Ingeniería de requisitos web orientada a aspectos con transformación de modelos
(2011-03-04)Los analistas usualmente describen requisitos usando notaciones involucrando conceptos técnicos que los clientes suelen desconocer. El expresar requisitos con notaciones legibles para los clientes (NLC) - es decir, que ... -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ... -
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
(2011-03-28)Los sistemas tolerantes a fallas son aquellos que son capaces de seguir operando luego de la ocurrencia de una o más fallas. Una falla puede provocar cambios no deseados en el estado interno del sistema, y para que el ... -
Análisis y procesamiento de imágenes de maní para el control del nivel de tostado
(2013)El maní es una planta que produce frutos secos con una o más semillas comestibles. Estas semillas se destinan para la elaboración de aceites o para el consumo ya sea directo o, previa transformación, como pasta de maní. Para ... -
Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural
(2013)Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ... -
Botrix : plugin de bots colaborativos dentro de un juego 3D
(2013)Botrix es un plugin (un módulo de software) que ofrece creación y manejo de bots colaborativos. Un bot es un jugador artificial manejado por la computadora. Originalmente el plugin está hecho para el juego Half-Life 2: ... -
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ... -
Optimización de la traducción funcional para lógicas modales
(2013-08-09)En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ... -
Filtros y técnicas de clasificación en imágenes de teledetección
(2013-09)Una de las tareas más importantes de la teledetección, es la clasificación de imágenes satelitales. Teniendo en cuenta que los ruidos siempre están presentes en ellas, es escencial analizar las mejores formas de preparar ... -
Estudio de semántica categórica para lenguajes Algol-Like
(2013-09)Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ... -
NMR_CORE : un modelo de datos para representar experimentos de resonancia magnética nuclear de baja resolución
(2013-12-20)En respuesta a los requerimientos actuales de la industria de la resonancia magnética nuclear (RMN) de baja resolución, diseñamos un modelo de datos, al que llamamos NMR_CORE, que permite la representación de los experimentos ... -
Registro de imágenes de teledetección espacial
(2014)El registro de imágenes se ha transformado en una de los procesos de mayor interés e importancia en el procesamiento de las mismas. Podemos observar que gran parte del registro, se sigue realizando de manera manual, lo ... -
Iluminación global en DirectCompute
(2014)Los algoritmos de iluminación global aumentan el grado de realismo obtenido en la renderización de escenas tridimensionales al modelar detalladamente el comportamiento de la luz. Su uso en motores de renderizado 3D en ... -
Detección de patrones publicitarios
(2014)El objetivo principal de este trabajo es estudiar distintos algoritmos de reconocimiento de patrones en imágenes para la detección de logos publicitarios. A lo largo del trabajo se describen dos implementaciones en este ... -
Redes convolucionales en comprensión de escenas
(2014-02-17)Presentamos y aplicamos una técnica de extracción no-supervisada de features de imágenes (Redes Neuronales Convolucionales) al problema de comprensión de escenas. Abarcamos las sutilezas tanto para el diseño como para el ... -
Un sistema interactivo para la interpretación de especificaciones
(2014-03-10)En este trabajo estudiamos el problema del tratamiento de una especificación de software expresada en lenguaje natural. Observamos y clasificamos fenómenos lingüísticos sobre un cuerpo de ejemplos de especificaciones. A ... -
CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
(2014-03-20)Presentamos una herramienta para analizar propiedades de seguridad en protocolos distribuidos. La herramienta está construida sobre los schedulers llamados fuertemente distribuidos, donde el secreto también es considerado. ...