Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Title
Now showing items 131-150 of 161
-
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
(2018)Este trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, ... -
Seguimiento de partículas en videos de microscopía
(2017)En este trabajo se presenta un algoritmo modular que tiene como objetivo reconstruir trayectorias de partículas a partir de secuencias de imágenes obtenidas con técnicas de microscopía óptica, y extraer información estadística ... -
Selección de componentes discretos para un filtro activo mediante programación por restricciones y optimización por colonia de hormigas
(2019)En el diseño actual de filtros activos una de las opciones de implementación es la denominada RC (resistencia/capacitor), en la cual el filtro se construye a partir de amplificadores operacionales, resistencias y capacitores. ... -
Semántica estática para un lenguaje Pascal-like
(2021)Este trabajo consiste en el diseño e implementación de un lenguaje de programación estructurado basado en el lenguaje Pascal, orientado al aprendizaje de algoritmos y estructura de datos. El mismo es utilizado actualmente ... -
Simetrías en lógicas de descripción
(2017)En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ... -
Simulaciones avanzadas de los efectos de las drogas utilizadas en el tratamiento del SIDA
(2015-07)Uno de los principales obstáculos para la eliminación del VIH en un paciente es el reservorio de células con infección latente, debido a que los antirretrovirales no actúan en este. Se propone estudiar el tratamiento con ... -
Simulación de eventos raros con Importance Splitting, extendiendo FIG con Fixed Effort y Fixed Sucess
(2018-12-03)Un problema que surge al hacer simulación para validar sistemas críticos es cuando el evento a analizar exhibe una probabilidad muy baja. En este trabajo nos enfocamos en la técnica de Importance splitting (división por ... -
Simulación de incendios forestales
(2010)Los incendios que han acompañado a la provincia de Córdoba desde hace muchos años son un problema cada vez mas difícil de abordar. En parte, por la falta de tecnología que ayude a su prevención y lucha. Proponemos e ... -
Simulación de modelos estadísticos correlacionados para imágenes de radar de apertura sintética
(2015-05)En este trabajo se presentan algoritmos para la simulación de imágenes SAR a partir de modelos estadísticos con distribuciones Gamma, K y G con su caso particular en la familia de estas distribuciones a la distribución G ... -
Sincronización automática de movimientos labiales para programas de animación mediante análisis de audio en español
(2015)En la industria de la animación uno de los principales costos son la horas hombre, es decir, la cantidad de trabajo que hay detrás de varios de los procesos de producción. Uno de dichos procesos es el conocido lip sync o ... -
Sistema de generación de texto automático en dominios acotados
(2015)El presente trabajo consiste en desarrollar un sistema de generación de lenguaje natural basado en templates capaz de producir avisos clasificados bien formados referidos a un producto en proceso de comercialización o de ... -
Sistema de gestión de experimentos y contról de módulo digital para Resonancia Cuadrupolar Nuclear
(2018-12)En el proceso de investigación del fenómeno físico de Resonancia Magnética Cuadrupolar Nuclear el investigador manipula módulos electrónicos digitales de medición precisos y estables, en algunos casos si intervienen mas ... -
Sistema de instrumentación estática de código fuente para mocking de funciones y objetos
(2018)Este trabajo consiste en el desarrollo de una herramienta de unit testing para el lenguaje de programación C. Los principales problemas que poseen este tipo de herramientas es la intrusión en el código de producción y el ... -
Sistema de recomendación para textos legales
(2018)En el presente trabajo realizamos una solución para el desarrollo de un sistema de recomendación de documentos de texto el cual se lo instancia al dominio legal/jurídico, utilizando el corpus de leyes de Argentina, accesible ... -
Sistema de verificación de huellas dactilares
(2007-09-28)Construimos un Sistema Automático de Identificación y verificación de huellas dactilares (AFIS / por sus siglas en inglés), basado en reconocimiento de minucias al que llamamos PULGARCITO. -
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 ... -
Sistemas de navegación de interiores para plataformas autónomas móviles
(2007)El presente trabajo describe un sistema de navegación de interiores para plataformas autónomas móviles. El mismo intenta resolver el problema de trasladar una plataforma de un punto a otro en un ambiente cerrado. El trabajo ... -
Soporte para ARM en un compilador verificado
(2022-12)Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ... -
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El objetivo de este trabajo final es implementar ... -
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...