Browsing Trabajos Especiales de Licenciaturas by Title
Now showing items 221-240 of 431
-
Formación y evolución de exoplanetas
(2011)En este trabajo se estudian principalmente los procesos de formación y evolución planetaria en diferentes etapas. En la etapa temprana, se estudia el proceso desde la formación del disco protoplanetario hasta la formación ... -
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 ... -
Framework para aprendizaje activo
(2018)Muchos proyectos de Machine Learning de la actualidad precisan de un gran número de datos etiquetados para poder entrenar los algoritmos. El etiquetado de los mismos tiene un gran costo tanto económico como de tiempo. Una ... -
Funciones zeta y series armónicas alternantes
(2016)Es este trabajo nos sumergimos en el estudio de la teoría de números. Introduciremos el concepto de la función zeta de Riemann, con propiedades como el producto de Euler. Nos familiarizaramos con los cuerpos de números, y ... -
Función de luminosidad de galaxias a partir de corrimientos al rojo fotométricos
(2014-12)En el presente trabajo se realiza un análisis de la estima de la Función de Luminosidad (FL) de galaxias a partir del uso de redshifts fotométricos como estimadores de distancias. Se estudian dos métodos para estimar la ... -
Fuzzing multiplataforma guiado con ejecucción concólica
(2023)Fuzzing o pruebas de Fuzz, es el proceso de encontrar vulnerabilidades de seguridad en programas, dándole como entrada datos inválidos, inesperados o aleatorios. Como este proceso es altamente dependiente de la interfaz ... -
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 ... -
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 ...