Search
Now showing items 31-40 of 45
Reconocimiento de caracteres en imágenes no estructuradas
(2015)
El que una computadora pueda discernir un carácter de otro en la imagen de un texto no es una tarea sencilla. El objetivo es clasificar caracteres en escenas naturales en donde las técnicas tradicionales de OCR no se pueden ...
Keylogging para el estudio de los procesos cognitivos del traductor
(2015-07)
En este trabajo se extiende una herramienta para adaptarla a la investigación de los procesos cognitivos involucrados en la traducción humana mediante el uso de técnicas de key-logging y de análisis estadístico de datos.
Las ...
Dinámica asintótica de sistemas cuánticos abiertos
(2015-03)
Se estudia el problema de caracterizar el comportamiento asintótico de semigrupos dinámicos cuánticos en dimensión finita. Estos son usados para modelar sistemas cuánticos abiertos en aproximación markoviana. En este trabajo ...
Estudio experimental del efecto de la turbulencia sobre el espectro de tamaño de gotas de nube
(2015-03)
El propósito de este trabajo es estudiar empíricamente el efecto sobre el espectro de tamaños de gotas en una nube cálida sometida perturbaciones que afectan el movimiento de la parcela de aire en donde se encuentra. Con ...
Formalización de la semántica del lenguaje de programacion Lua
(2015)
Los lenguajes de "script" cumplen hoy un papel importante en el desarrollo de aplicaciones, ofreciendo conceptos para la programación, que pueden extender aquellos presentes en el lenguaje empleado para implementar la ...
Verificación formal de código binario
(2015)
Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...
Invariantes de grupos finitos
(2015-03)
En este trabajo se realiza un repaso por la teoría de invariantes de grupos finitos y de grupos racionales. Se introducen las nociones básicas de geometría algebráica y los preliminares de álgebra conmutativa necesarios. ...
Lógicas modales con datos infinitos
(2015-03)
En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es ...
Análisis de diagnosticabilidad en sistemas probabilísticos
(2015-07)
Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas.
Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos ...
G2-estructuras solitones en algebras de Lie nilpotentes
(2015-12)
Una forma natural de evolucionar una estructura G2 en una variedad diferenciable de dimensión 7, con el objeto de estudiar la existencia de métricas con holonomía G2, es el flujo laplaciano, introducido por Bryant. En este ...