Browsing Trabajos Especiales de Licenciaturas by Title
Now showing items 219-238 of 418
-
G2-Estructuras con divergencia cero en grupos de Lie
(2021)Considerar una G2-estructura definida en una variedad diferenciable de dimensión siete. Hay múltiples maneras de hacerla evolucionar con el objeto de anular su torsión, facilitando la búsqueda de variedades riemannianas ... -
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 ... -
Galaxías débiles en el entorno de grupos fósiles
(2014)En el presente trabajo se llevó a cabo un estudio estadítico sobre grupos fósiles identificados en simulaciones numéricas combinadas con modelos semianalíticos de formación de galaxias. Se construyeron dos muestras de ... -
Generación automática de terapias antivirales para VIH
(2010)Se expone el análisis, diseño y confección de un sistema de ayuda a la toma de decisiones en el tratamiento antirretroviral de pacientes VIH-positivos. El sistema desarrollado es altamente configurable, adaptándose a las ... -
Generación de código intermedio usando semántica funtorial
(2010-12-29)Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ... -
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ... -
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 ... -
Geometría del plano hiperbólico
(2019)En este trabajo estudiamos la geometría del plano hiperbólico siguiendo un esquema axiomático similar al de la geometría euclídea. Ambas geometrías coinciden en sus bases, salvo por reemplazar el Axioma de las paralelas o ... -
Gramáticas mínimas y descubrimiento de patrones
(2010)En este trabajo nos concentramos en dos problemas íntimamente relacionados, por un lado atacamos el problema de la inferencia de gramáticas libres de contexto de tamaño mínimo y por otro, analizamos cómo es que estas pueden ... -
Grupos de Bieberbach y holonomía de solvariedades planas
(2018-12-17)Una solvariedad es una variedad compacta de la forma L/G donde G es un grupo de Lie soluble simplemente conexo y L es un retículo de G. En este trabajo estudiamos solvariedades equipadas con una métrica riemanniana plana, ... -
Grupos de Coxeter y bimódulos de Soergel
(2018-03)En este trabajo se introducen los grupos de Coxeter para un estudio combinatorio de los mismos a través del Orden de Bruhat. A continuación se establecen definiciones y resultados básicos de la Teoría de Kazhdan-Lusztig ... -
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 ...
