Search
Now showing items 31-40 of 161
Evaluación comparativa de modelos de traducción estadística y neuronal
(2018)
En este trabajo evaluaremos la implementación de un sistema de traducción automática en un una empresa privada con necesidades particulares: el Correo Suizo, cuyo departamento de servicios lingüísticos está interesado en ...
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 ...
Generando instrucciones de navegación peatonal usando generación por selección
(2014-09)
En este trabajo describimos un método para desarrollar un instructor virtual de navegación peatonal basado en interacciones reales entre humanos. Un instructor virtual es un agente capaz de cumplir el rol de un instructor ...
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 ...
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.
Comparación de arquitectura AMD e Intel para ejecución de GADGET
(2017)
Realizo una comparación de la ejecución de código de simulaciones cosmológicas Gadget, el cual evoluciona la materia del universo considerando solo la fuerza de gravedad. Estas ejecuciones se realizaron sobre arquitectura ...
Análisis del desempeño de algoritmos aplicados a la selección de monedas sobre Bitcoin
(2023-11)
Este trabajo propone un análisis comparado de algoritmos de selección de monedas en Bitcoin, nuevos y existentes, a partir de su modelado como problemas de Optimización Lineal Binaria y la simulación de su comportamiento ...
Un entorno de ejecución de C para detectar comportamientos indefinidos
(2015)
Con el creciente uso del lenguaje C, se vio la necesidad de crear un estándar que garantice que el mismo código fuente produce el mismo programa, al compilarse con distintos compiladores o en distintas plataformas. No ...
Aplicación de técnicas de predicción automática para operar en el mercado de criptomonedas
(2021)
En este trabajo el objetivo final es la creación de un agente para operar automáticamente en el mercado de criptomonedas. Para ello se explorarán diferentes técnicas de predicción en 4 etapas de experimentos: en una primer ...
Métodos computacionales para el cálculo de la volatilidad implícita del modelo de Black Scholes
(2020)
Las finanzas cuantitativas constituyen, desde hace varias décadas, un área particular de estudio dentro de la matemática. Esta nueva disciplina surge de la necesidad de encontrar modelos cuantitativos que permitan describir ...