Listar MA - Tesis por fecha de publicación
Mostrando ítems 1-15 de 15
-
Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3
(1997)Esta tesis estudia la demostración automática de teoremas en lógicas trivaluadas. Concretamente se presenta un demostrador denominado tas-m3 para la lógica trivaluada completa m3. Esta tesis cuenta con una orientación ... -
Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud
(2003)Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la Lógica Formal como parte de los Fundamentos Matemáticos de la Computación. Sin embargo, su motivación ha partido de un área ... -
Métodos de integración geométrica para sistemas con función de Lyapunov
(Universidad de Málaga, Servicio de Publicaciones y Divulgación Científica, 2014)Esta tesis estudia métodos de integración numérica geométrica, específicamente, métodos numéricos diseñados para conservar la función de Lyapunov de un sistema dinámico. En otras palabras, se proponen aproximaciones numéricas ... -
La ecuación de Legendre ax^2+by^2+cz^2=0 en los Enteros de Gauss y en el Anillo de los Polinomios Racionales
(UMA Editorial, 2015)En este trabajo se desarrolla todo lo que se conoce acerca de la ecuaci on de Legendre en los Enteros. Son posibles las siguientes generalizaciones que pruebo: 1. La generalizaci on del teorema de Legendre en Q[t]. 2. ... -
Conexiones de Galois y técnicas de tratamiento de la información
(Servicio de Publicaciones y Divulgación Científica, 2016)En el ámbito de las estructuras ordenadas, Ø. Ore introdujo en 1944 el concepto de conexión de Galois como un par de funciones antítonas entre dos conjuntos parcialmente ordenados, generalizando así la teoría de polaridades ... -
Extracción de conocimiento usando atributos negativos en el Análisis de Conceptos Formales. Aplicaciones en la Ingeniería.
(UMA Editorial, 2017-06-19)El objetivo principal de esta tesis es desarrollar un marco general que permita, de una forma uniforme y eficiente, extraer, tratar y representar conocimiento a partir de información positiva y negativa de un conjunto de ... -
Un enfoque lógico a los sistemas de implicaciones y las bases directas
(UMA Editorial, 2017-06-20)El tratamiento de la información y el conocimiento es uno de los muchos campos en los que confluyen los métodos matemáticos y computacionales. Una de las áreas donde encontramos de forma clara esta concurrencia es en el ... -
Optimización en el diseño de torres
(UMA Editorial, 2018-09-12)En este trabajo se presenta la formalización de las técnicas de optimización sobre un sistema de cálculo, diseño y fabricación de torres metálicas de transmisión eléctrica y telecomunicación. Su desarrollo e implementaci ... -
Numerical analysis of some nonlinear hyperbolic systems of Partial Differential Equations arising from Fluid Mechanics
(UMA Editorial, 2021-11-10)En esta tesis se abordan cuatro problemas diferentes relacionados con el análisis numérico de sistemas de ecuaciones en derivadas parciales hiperbólicos no lineales. Estos problemas están relacionados con la resolución ... -
Theory and applications of Distributionally Robust Optimization with side data
(UMA Editorial, 2022)Nowadays, a large amount of varied data is being generated which, when made available to the decision maker, constitutes a valuable resource in optimization problems. These data, however, are not free from uncertainty ... -
Prescriptive Analytics in Electricity Markets
(UMA Editorial, 2022-11-03)Decision making is critical for any business to survive in a market environment. Examples of decision making tasks are inventory management, resource allocation or portfolio selection. Optimization, understood as the ... -
Análisis de la relación entre el gasto militar, el desarrollo y el nivel de paz de un país. Una perspectiva multicriterio.
(UMA Editorial, 2023)El desarrollo, el bienestar, la seguridad y la paz son objetivos fundamentales para cualquier país. Así mismo, y especialmente en los tiempos actuales, se debate cómo debe ser el gasto militar de las naciones para alcanzar ... -
Estructuras de clausura y elementos cuasi-cerrados sobre retículos completos difusos.
(UMA Editorial, 2023)Esta tesis doctoral se enmarca en el campo de la lógica difusa. El tema principal de la disertación es la extensión de las estructuras de clausura difusas y los elementos cuasi-cerrados a un retículo completo difuso ... -
Información desconocida en análisis de conceptos formales.
(UMA Editorial, 2024)Esta tesis está enmarcada en el área de Análisis de Conceptos Formales (FCA, Formal Concept Analysis). FCA extrae, representa y manipula conocimiento implícito en un contexto formal, que es una relación binaria entre objetos ... -
Semi-implicit well-balanced schemes for 1D shallow flows.
(UMA Editorial, 2024)En esta tesis se abordan algunos problemas relacionados con la resolución numérica de sistemas hiperbólicos de leyes de equilibrio. En particular, se tratan el sistema constituido por las ecuaciones de aguas someras o aguas ...