Listar MA - Tesis por título
Mostrando ítems 12-15 de 15
-
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 ...