JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosEsta colecciónPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentros

    Mi cuenta

    AccederRegistro

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMASHERPA/RoMEODulcinea
    Preguntas frecuentesManual de usoDerechos de autorContacto/Sugerencias
    Listar MA - Tesis fecha de publicación 
    •   RIUMA Principal
    • Investigación
    • Matemática Aplicada - (MA)
    • MA - Tesis
    • Listar MA - Tesis fecha de publicación
    •   RIUMA Principal
    • Investigación
    • Matemática Aplicada - (MA)
    • MA - Tesis
    • Listar MA - Tesis fecha de publicación

    Listar MA - Tesis por fecha de publicación

    Ordenar por:

    Orden:

    Resultados:

    Mostrando ítems 1-11 de 11

    • título
    • fecha de publicación
    • fecha de envío
    • ascendente
    • descendente
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • 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 

        Muñoz Velasco, Emilio José (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 

        Hernández Solano, Yadira (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 

        Leal-Ruperto, José Luis (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 

        García-Pardo, Francisca (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. 

        Rodríguez Jiménez, José Manuel (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 

        Rodriguez-Lorenzo, Estrella (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 

        Merino-Cordoba, 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 ...
      • Numerical analysis of some nonlinear hyperbolic systems of Partial Differential Equations arising from Fluid Mechanics 

        Pimentel García, Ernesto (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 

        Esteban Perez, Adrian (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 

        Muñoz Diaz, Miguel Angel (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 ...
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
         

         

        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA