Search
Now showing items 51-60 of 159
Optimización del seguimiento de C. elegans en videos de microscopía
(2022-08)
En este trabajo se optimiza un algoritmo que detecta gusanos en imágenes de microscopía. Se comienza con un análisis del algoritmo existente, tanto de su comportamiento como la distribución de los tiempos de ejecución. ...
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 ...
Mapeos de lenguaje de consulta a esquemas XML
(2018-04)
Recientemente se ha estudiado cómo transicionar o mapear modelos de requisitos junto con esquemas de datos a diagramas de interfaz de usuario (UI). Pero no se encontraron trabajos que partan de una etapa previa, o sea desde ...
Inferencia de estructuras gramaticales mediante descomposiciones a estructuras simples
(2007)
Desarrollamos técnicas para inferir etiquetas complejas a partir de poco material de entrenamiento. La idea consiste en separar las etiquetas en partes significativas y entrenar taggers para que infieran en ellas a partir ...
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 ...
Análisis de estructuras de sufijos de strings
(2021)
El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ...
Algoritmos de tableaux para Xpath con datos
(2018-03-28)
En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de ...
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 ...
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)
En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...
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 ...