Browsing Trabajos Especiales de Licenciaturas by Title
Now showing items 239-258 of 432
-
Una herramienta para chequeo de tipos en Assembly X86
(2023-10-15)Esta tesis aborda el desarrollo de una herramienta diseñada para realizar el chequeo de tipos en programas escritos en el lenguaje de ensamblaje x86. El principal desafío abordado en esta investigación es superar la falta ... -
Herramientas geoespaciales vinculadas a Índices meteorológicos de incendios forestales
(2015)En esta tesis se aborda la puesta operativa del índice de peligrosidad meteorológico - Forest Fire Danger Index (FFDI) (McArthur. 1967) con el objetivo de satisfacer la necesidad de contar con datos de predicción meteorológica, ... -
Hiperpolarización de 13C en diamante inducida por bombeo óptico y relajación de espines electrónicos
(2021-03)La Resonancia Magnética Nuclear (RMN) es una de las técnicas analíticas y de diagnóstico más poderosa, con aplicación en múltiples disciplinas científicas. El principal inconveniente de la RMN es la baja intensidad de las ... -
Ideales de polinomios asociados a estructuras algebráicas de dimensión finita
(2017-03)Fijados un espacio vectorial de dimensión finita y una base, podemos adicionarle un producto bilineal resultando así un álgebra. Si además requerimos que nuestra álgebra se satisfaga alguna propiedad podemos encontrar ... -
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 ... -
Imágenes por resonancia magnética nuclear pesadas por campos locales
(2011-03)La obtención de imágenes utilizando principios de la Resonancia Magnética Nuclear ha sido ampliamente desarrollada en los últimos años debido principalmente a su utilidad médica. En este trabajo se producirá una imagen 1D ... -
Implementación de LogFiles en controles de calidad paciente-específico
(2023-12-18)Investigaciones actuales señalan el uso potencial de los LogFiles para Controles de Calidad Paciente Especifico (PSQA), sin embargo, no todo Sistema de Planificación (TPS) tiene soporte para llevar a cabo cálculos de dosis ... -
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 ... -
Implementación numérica del algoritmo de factorización de Shor
(2023-07-28)A pesar del descubrimiento de muchos algoritmos cuánticos con gran potencial teórico, a la fecha la principal limitación de la Computación Cuántica en la práctica es la poca escalabilidad de las computadoras cuánticas. El ... -
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 ... -
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 ... -
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 ... -
Interpolación de operadores en espacios Lp
(2010-03)En el capítulo I presentamos el 'Teorema de convexidad de Riesz-Thorin' y diferentes aplicaciones. Y concluimos con el 'Teorema de interpolación de Riesz-Stein'. En el capítulo II, hacemos un breve estudio de 'operadores ... -
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. ... -
Inyección de fallas en procesadores RISC-V para caracterizar nodos DTN
(2023-09)Los procesadores RISC-V de código abierto se están popularizando cada vez más aceleradamente en diversos campos de aplicación. El hecho de que son procesadores de arquitectura y de código abierto permite implementar diversas ... -
Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria
(2024-05-10)El propósito de este trabajo es estudiar juegos estocásticos de dos jugadores con multiobjetivo. Uno de los objetivos es de alcanzabilidad de un conjunto de estados considerados exitosos y el otro es de recompensa total ... -
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 ... -
Lentes gravitacionales en el fondo cósmico de microondas: caracterización de halos de materia oscura y alineación con la distribución de masa en gran escala
(2022-12)Se estudiaron las anisotropías relacionadas a los efectos de lentes gravitacionales débiles, mediante la correlación de los cúmulos de galaxias presentes en el Universo actual con la información procedente del mapa de ... -
Lentes gravitacionales fuertes : análisis y detección
(2015-03)En este trabajo especial estudiamos los métodos de detección de las lentes gravitacionales fuertes, enfocándonos principalmente en el análisis y la detección de arcos en estos sistemas. Se expondrán los distintos métodos ... -
Lentes plasmáticas en entornos de objetos compactos
(2022-03-28)La deflexión de la luz por potenciales gravitatorios es un fenómeno clásico de la Relatividad General. Es sabido que objetos compactos generan efectos de lente gravitacional convergente. En este trabajo, estudiaremos como ...