Listar Matemática Aplicada - (MA) por fecha de publicación
Mostrando ítems 1-20 de 217
-
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 ... -
Numerical Implementation of Gradient Algorithms
(Springer, 2013)A numerical method for computational implementation of gradient dynamical systems is presented. The method is based upon the development of geometric integration numerical methods, which aim at preserving the dynamical ... -
Conjugate Points along lightlike geodesics of Lorentzian manifolds
(2013-07-29)En esta charla se muestran algunas propiedades que relacionan la distribución de los puntos conjugados en las geodésicas luz con propiedades globales tanto geométricas como topológicas de la variedad. Los resultados expuestos ... -
Estimating radial railway network improvement with a CAS
(2013-09-17)The Spanish railway network is very complex, with two different track gauges: the broad classic Iberian track gauge and the so called international gauge, the latter used in the extensive high speed network. All new lines ... -
Geometric Numerical Integration of Gradient Systems
(2013-11-12)We construct and analyse numerical methods that preserve a Lyapunov function of a dynamical system. -
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 ... -
Integración geométrica de sistemas de gradiente
(2014-01-21)La integración geométrica es la aproximación numérica de sistemas dinámicos, respetando sus propiedades cualitativas, estructurales y geométricas. En esta conferencia, dictada en el marco del Programa de Doctorado en ... -
Conformal Geometry versus Riemannian Geometry
(2014-02-05)Riemannian and conformal geometry are classical topics of differential geometry. Even though both kinds of geometries are much related and have many common questions and features, they are very different in nature. In ... -
Odd-dimensional spheres: nabla-Einstein manifolds
(2014-03-24)Utilizamos el teorema de Nomizu sobre conexiones afines invariantes para describir variedades de Riemann-Cartan en las esferas impares, vistas como cocientes de grupos unitarios. Esta técnica nos posibilita hallar para qué ... -
Numerical Integration of Lattice Systems with a Lyapunov Function
(2014-06-24)In this contribution we implement and assess numerical methods for gradient systems, i.e. dynamical systems that possess a Lyapunov function, and consequently are stable. In particular, we claim that discrete gradient ... -
2D GPU-based HySEA model for tsunami simulation. Some practical examples.
(2014-07-11)A two-waves TVD-WAF type scheme for solving 2D shallow-water equation is considered together with a first and second order HLL scheme. Comparison among the different schemes will be performed to check the performance for ... -
A Genetic Algorithm and an Exact Algorithm for Classifying the Items of a Questionnaire Into Different Competences
(2014-07-16)A Likert scale is a psychometric response scale primarily used in questionnaires to obtain participant's preferences or degree of agreement with a statement or set of statements. Respondents are asked to indicate their ... -
A stepwise Cas course for solving First-Order Partial Diferential Equations
(2014-07-16)Partial Differential Equations (PDE) is a very important topic in advance Mathematics for Engineering. The three main first-order PDE problems that a basic course must deal with are: \begin{enumerate} \item {\bf Pfaff ... -
Simulating Realistic Traffic Flow in a Smart City
(2014-07-16)Dijkstra's algorithm is one of the most well known algorithm to solve the shortest path problem (SPP). When applied to real situations, although the shortest path can be computed with Dijkstra's algorithm, it is not always ... -
Advanced techniques to compute improper integrals using a CAS
(2014-07-16)Let us consider the following types of improper integrals: $$ \int_0^\infty f(t)\:{\rm d}t \qquad ; \qquad \int_{-\infty}^0 f(t)\:{\rm d}t \qquad {\rm and} \qquad \int_{-\infty}^\infty f(t)\:{\rm d}t $$ \medskip Let ... -
A Portable Knowledge Based System for Car Breakdown Evaluation
(2014-07-16)Desarrollo de un sistema experto para ayudar a conductores a tomar decisiones en el caso que se encienda alguna luz en el salpicadero. -
Metadomotic Optimization Using Genetic Algorithms
(2014-07-17)New technologies applied in domotic allow us to extract plenty of data about the usual behavior of occupants in any installation. Discipline that works with these data for the pursuit of new knowledge is called Metadomotic. To ... -
Geometric integration methods of high order for gradient systems
(2014-07-18)We propose the higher order extension of numerical methods that preserve the energy-diminishing feature of a system with Lyapunov function.