• Relational Galois connections between transitive digraphs: Characterization and construction. 

  De-las-Peñas-Cabrera, Inmaculada; Cordero-Ortega, Pablo; Muñoz-Velasco, Emilio José; Ojeda-Aciego, Manuel; De Baets, Bernard (Elsevier, 2020)

  This paper focuses on a twofold relational generalization of the notion of Galois connection. It is twofold because it is defined between sets endowed with arbitrary transitive relations and, moreover, both components of ...

• Relational Galois connections between transitive fuzzy digraphs. 

  De-las-Peñas-Cabrera, Inmaculada; Cordero-Ortega, Pablo; Muñoz-Velasco, Emilio José; Ojeda-Aciego, Manuel; De Baets, Bernard (Wiley, 2020)

  Fuzzy-directed graphs are often chosen as the data structure to model and implement solutions to several problems in the applied sciences. Galois connections have also shown to be useful both in theoretical and in practical ...

• On Coarser Interval Temporal Logics 

  Muñoz-Velasco, Emilio José; Pelegrín, Mercedes; Sala, Pletro; Sciavicco, Guido; Stan, Ionel Eduard (Elsevier, 2019)

  The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, ...

• Fuzzy Halpern and Shoham's interval temporal logics 

  Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio José; Sciavicco, Guido; Stan, Ionel Eduard (Elsevier, 2023)

  The most representative interval temporal logic, called HS, was introduced by Halpern and Shoham in the nineties. Recently, HS has been proposed as a suitable formalism for modern artificial intelligence applications; ...

• A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. 

  Burrieza-Muñiz, Alfredo; Muñoz-Velasco, Emilio José; Ojeda-Aciego, Manuel (Oxford Academic, 2020)

  In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will ...

• On the vanishing of the hyperdeterminant under certain symmetry conditions 

  Arrondo, Enrique; Tocino-Sánchez, Alicia (Elsevier, 2024)

  Given a vector space V over a field K whose characteris tic is coprime with d!, let us decompose the vector spa of multilinear forms V ∗ ⊗ (d) ... ⊗ V ∗ = λ Wλ(X, K) ac cording to the different partitions λ of d, i.e. ...

• On simple evolution algebras of dimension two and three. Constructing simple and semisimple evolution algebras. 

  Cabrera-Casado, Yolanda; Martín-Barquero, Dolores; Martín-González, Cándido; Tocino-Sánchez, Alicia (Taylor & Francis, 2024-05-13)

  This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the ...

• Well-balanced methods for compressible Euler equations with gravitational force that preserve transonic stationary solutions. 

  Gómez Bueno, Irene; Castro-Díaz, Manuel Jesús; Parés-Madroñal, Carlos María (Springer, 2024-06-06)

  In some previous works, the authors introduced a general methodology to design high-order well-balanced finite-volume methods for one-dimensional systems of balance laws based on the use of well-balanced state reconstructions. ...

• Implicit exactly well-balanced finite volume schemes for balance laws with singular source terms 

  Castro-Díaz, Manuel Jesús; Gómez Bueno, Irene; Parés-Madroñal, Carlos María (Springer, 2024)

• Basic ideals in evolution algebras 

  Cabrera-Casado, Yolanda; Siles-Molina, Mercedes; Kanuni, Müge (Elsevier, 2019)

  With the aim of finding useful tools and invariants to classify finite dimensional evolution algebras, we introduce and study the notion of a basic ideal. Every n-dimensional perfect evolution algebra has a maximal basic ...

• On the characterization of the space of derivations in evolution algebras 

  Cabrera Casado, Yolanda; Cadavid, Paula; Rodiño Montoya, Mary Luz; Rodriguez, Pablo M. (Springer Link, 2020)

  We study the space of derivations for some finite-dimensional evolution algebras, depending on the twin partition of an associated directed graph. For evolution algebras with a twin-free associated graph, we prove that the ...

• Classification of three-dimensional evolution algebras 

  Cabrera-Casado, Yolanda; Siles-Molina, Mercedes; Velasco Collado, Mª Victoria (Elsevier, 2017)

  We classify three dimensional evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7.

• Evolution algebras of arbitrary dimension and their decompositions 

  Cabrera-Casado, Yolanda; Siles-Molina, Mercedes; Velasco Collado, Mª Victoria (Elsevier, 2016)

  We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution ...

• Cohomological characterization of universal bundles of G(1,n) 

  Arrondo, Enrique; Tocino-Sánchez, Alicia (Elsevier, 2019-12-15)

  We characterize directs sums of twists of symmetric powers of the universal quotient bundle over the Grassmannian of lines. We use a method that could be used for analogue results on any arbitrary variety, and that should ...

• The hyperdeterminant vanishes on all but two Schur functors 

  Tocino-Sánchez, Alicia (Elsevier, 2016-03-15)

  We recall the notion of hyperdeterminant of a multidimensional matrix (tensor). We prove that if we restrict the hyperdeterminant to a skew-symmetric tensor with then it vanishes. The hyperdeterminant also vanishes when ...

• Automated generation of contrapuntal musical compositions using probabilistic logic in Derive 

  Aguilera-Venegas, Gabriel; Galán-García, José Luis; Madrid, Rafael; Martínez, Antonio Manuel; Padilla-Domínguez, Yolanda; Rodríguez-Cielos, Pedro[et al.] (Elsevier (Mathematics and computers in simulation), 2010)

  In this work, we present a new application developed in Derive 6 to compose counterpoint for a given melody (“cantus firmus”). The result is non-deterministic, so different counterpoints can be generated for a fixed melody, ...

• SFOPDES: A Stepwise First Order Partial Differential Equations Solver with a Computer Algebra System 

  Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodríguez-Cielos, Pedro; Padilla-Domínguez, Yolanda; Galán-García, María Ángeles (Elsevier, 2019)

  Partial Differential Equations (PDE) appear in multiple Physic and Engineering applications. Normally, when modeling an application, the use of well-known and already solved PDE is considered. But what happens if a new PDE ...

• A probabilistic extension to Conway’s Game of Life 

  Aguilera-Venegas, Gabriel; Galán-García, José Luis; Egea-Guerrero, Rocío; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro; Padilla-Domínguez, Yolanda; Galán-Luque, María[et al.] (Springer (Advances in computational mathematics), 2019)

  The “Game of life” model was created in 1970 by the mathematician John Horton Conway using cellular automata. Since then, different extensions of these cellular automata have been used in many applications. In this work, ...

• Best rank-k approximations for tensors: generalizing Eckart–Young 

  Draisma, Jan; Ottaviani, Giorgio; Tocino-Sánchez, Alicia (Springer Link, 2018)

  Given a tensor f in a Euclidean tensor space, we are interested in the critical points of the distance function from f to the set of tensors of rank at most k, which we call the critical rank-at-most-k tensors for f. When ...

• Cohomological characterization of universal bundles of G(1,n) 

  Arrondo, Enrique; Tocino-Sánchez, Alicia (Elsevier, 2019)

  We characterize directs sums of twists of symmetric powers of the universal quotient bundle over the Grassmannian of lines. We use a method that could be used for analogue results on any arbitrary variety, and that should ...

Más