Search
Now showing items 1-10 of 13
Construcciones geométricas asociadas a álgebras de Lie conformes
(2022-12)
Así como las álgebras de Lie poseen álgebras asociativas universales envolventes, las álgebras de Lie conformes poseen álgebras de vértice universales envolventes. Motivados por esta analogía, en esta tesis definimos un ...
Mecanismos de transporte superficial en hielo: energia relativa de borde de grano en hielo puro
(2022-03)
La evolución de la superficie del hielo depende de los procesos físicos de transporte de materia en la superficie del hielo y de las condiciones ambientales existentes. A lo largo del trabajo se estudió experimentalmente ...
Estructura de álgebra de Poisson de la cohomología de ciertas álgebras de Lie nilpotentes
(2022-07-29)
Si g es un álgebra de Lie, la cohomología H**(g) tiene una estructura de súper-álgebra de
Poisson con producto asociativo súper-conmutativo V y un súper-corchete de Lie {-,-} que se
compatibiliza con el producto \vee en ...
Electrocatálisis en la nanoescala : simulaciones y modelización
(2022-11)
Con el fin de contribuir a la comprensión del rol del ambiente electroquímico en los diversos procesos electrocatalíticos, se investigaron los mecanismos fundamentales involucrados en los procesos de nanoestructuración ...
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
(2023-06-29)
Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ...
Medidas de distinguibilidad entre distribuciones de probabilidad : aspectos teóricos y aplicaciones al estudio de las series temporales
(2020)
Esta tesis se encuadra en el marco de la Teoría de la Información. Como aporte original, introducimos una nueva entropía que generaliza la entropía de Shannon. Realizamos un exhaustivo estudio de sus propiedades y exploramos ...
Asimilación de datos por ensambles y tratamiento de errores: aplicaciones en modelos epidemiológicos
(2022-07)
En esta tesis abordamos uno de los desafíos principales dentro de la disciplina de la asimilación de datos: la especificación de las incertezas inherentes al modelo y a las observaciones en los sistemas parcialmente ...
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
(2022-09)
En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ...
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)
La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...
Q-curvas y caracteres de Hecke en el método modular
(2023-02-22)
Esta tesis se focaliza en el estudio de las ecuaciones de Fermat generalizadas. Para ello, se utilizará el método modular, y se profundizará en el uso de las Q-curvas y los caracteres de Hecke en él.