Trabajos Especiales de Licenciaturas: Recent submissions
Now showing items 181-200 of 432
-
Verificación formal de protocolos distribuidos
(2019)En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ... -
Aspectos de la teoría de nudos
(2019-09)Los nudos, tal cual aparecen en nuestra vida cotidiana, son un objeto de estudio en la Matemática. La Teoría de Nudos es la rama de la Matemática que se encarga de su estudio. Un problema central es el de poder decir si ... -
Verificación de lógicas modales dinámicas en Coq
(2019-03)Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ... -
Análisis de componentes principales aplicado en espectroscopia de emisión K𝛽 de alta resolución
(2019-08)La espectroscopia de emisión de rayos X (XES) es una herramienta muy importante para el análisis elemental de una muestra y para estudiar la estructura atómica de los átomos, actualmente se ha convertido además en una ... -
Estudio de redes neuronales en escalera como método semi-supervisado para reconocimiento de entidades nombradas en textos legales
(2019)En este trabajo se exploró el uso de un método de aprendizaje automático semi-supervisado profundo, conocido como “Redes Neu- ronales en Escalera”. Como caso de estudio, se decidió abordar la tarea de reconocimiento y ... -
Bases de operadores tensoriales esféricos irreducibles
(2017-09)Se estudia la construcción de una base de operadores tensoriales esféricos irreducibles para un espacio de Hilbert de dimensión finita asociado a un sistema cuántico de n espines. Para lograr esto objetivo se usaran ... -
Estudio de laboratorio sobre el rol de diferentes aerosoles como nucleantes de hielo
(2019-09-27)A temperaturas mayores a -36 °C la única manera para que se inicie la fase hielo en la atmósfera, y se formen posteriormente los cristales de hielo en las nubes, es mediante el proceso denominado nucleación heterogénea. ... -
Desarrollo de electrodos para baterías de litio-azufre
(2018)Este trabajo de investigación se basó en el desarrollo de materiales activos para baterı́as litio-azufre. Se hizo principal énfasis en la modificación del separador para mejorar el desempeño electroquı́mico de la baterı́a. ... -
Distribución de dosis en profundidad para un acelerador lineal de uso médico
(2019-09-01)Los aceleradores de tipo linac para usos terapéuticos pueden producir radiación en forma de fotones de alta energía, que los médicos emplean en tratamientos oncológicos. En ese sentido, es fundamental para la planificación ... -
Uso de redes neuronales en el procesamiento de imágenes odontológicas
(2019-03-28)En este trabajo se aborda el problema de la detección de puntos característicos en imágenes médicas bidimensionales obtenidas mediante técnicas de rayos X, para lo cual se hizo uso de aprendizaje automático basado en ... -
Estabilización de órbitas periódicas en hamiltonianos T-periódicos
(2019)En este trabajo se pretende generalizar el método de control desarrollado por Leiva y Briozzo, a fin de hacerlo aplicable a la estabilización de órbitas periódicas inestables (OPIs) en Hamiltonianos periódicos en el tiempo, ... -
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 ... -
Análisis dinámico del grupo de asteroides Hungaria
(2019)Entre el planeta Marte y el borde interno del cinturón principal de asteroides se encuentra la región de asteroides Hungaria (1,77 UA < a < 2,06 UA). Estos objetos se hallan rodeados por las resonancias seculares ν5 , ν6 ... -
Sobre expresiones cerradas para ondas gravitacionales
(2019)En este trabajo presentamos un enfoque novedoso para encontrar expresiones cerradas de alta fidelidad, ab-initio, esto es, sin simplificar el modelo subyacente u original, en caso de existir uno- en el campo de predicción ... -
Dinámica de eyecciones coronales de masa : simulaciones numéricas y su comparación con observaciones
(2019-03)En el presente trabajo de licenciatura se estudia la evolución de las eyecciones coronales de masa (CMEs por su sigla en inglés) de manera observacional y a través de simulaciones numéricas. Dentro del estudio observacional ... -
Mecanismos de transporte superficiales en hielo
(2019)El propósito de este trabajo fue lograr una mejor comprensión de los procesos microscópicos que intervienen en el transporte y la movilidad de sustancias en la superficie de hielo. Para ello se estudió la evolución de los ... -
Localización de grupos compactos en el entorno de vacíos cosmológicos
(2019-03)Los grupos compactos (GCs) son sistemas de galaxias de densidad extrema y bastante aislados, lo quelos convierte en un entorno muy especial para estudiar interacciones de galaxias. La naturaleza de los GCs ha sido un tema ... -
Procesamiento de imágenes médicas para generación automática de reportes
(2019)En el presente trabajo se plantea el problema de la generación automática de reportes médicos a partir de imágenes. La redacción de informes que interpretan las imágenes médicas consume gran parte del tiempo de los ... -
Aprendizaje activo para la extracción de relaciones en textos
(2019)A la hora de realizar un trabajo de aprendizaje automático, podemos encontrarnos con una fuente abundante de datos sin etiquetar y que su etiquetado manual sea un proceso costoso. Una técnica útil en estos casos es permitir ... -
Selección de componentes discretos para un filtro activo mediante programación por restricciones y optimización por colonia de hormigas
(2019)En el diseño actual de filtros activos una de las opciones de implementación es la denominada RC (resistencia/capacitor), en la cual el filtro se construye a partir de amplificadores operacionales, resistencias y capacitores. ...