Listar MA - Tesis por título
Mostrando ítems 7-15 de 15
-
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 ... -
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 ... -
Optimización en el diseño de torres
Merino-Córdoba, Salvador
(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 ... -
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 ... -
Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3
Aguilera-Venegas, Gabriel (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 ... -
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 ... -
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 ... -
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 ...