• On the Use of F-transform on the Reduction of Concept Lattices 

      Madrid, Nicolás; Hodakova, Petra (2015)
      In this paper, we show that F-transform can be used to re- duce relational databases. Subsequently, we show that the respective concept lattice is reduced significantly as well. Moreover, we present a clarifying example ...
    • Simetrías en las formas reales de e6 

      Draper-Fontanals, Cristina (2015-02-13)
      Las graduaciones finas en las 5 posibles formas reales del álgebra de Lie excepcional e6 se discuten, proprocionando construcciones explícitas de algunas de ellas, y evidencias de la no existencia en otros casos.
    • A Discrete-Time retrial queueing system with service upgrade 

      Fortes, Inmaculada; Sánchez, Sixto; Atencia-McKillop, Ivan (2015-06-10)
      We study the Markov chain underlying the considered queueing system obtaining the gen- erating function of the number of customers in the orbit and in the system as well as the stationary distribution of the time that a ...
    • Cluster Analysis of Finger-to-nose Test for Spinocerebellar Ataxia Assessment 

      Velázquez Mariño, Michel; Atencia-Ruiz, Miguel Alejandro; García Bermúdez, Rodolfo; Pupo-Ricardo, Daniel; Becerra García, Roberto; [et al.] (2015-06-18)
      El test Finger-to-nose test (FNT) es una evaluación neurológica para estudiar la coordinación. Se presenta una metodología de análisis de datos de FNT, que permite evaluar la evolución del estado de enfermos de Ataxia ...
    • Hopfield networks: from optimization to adaptive control 

      Atencia-Ruiz, Miguel Alejandro; Joya-Caparrós, Gonzalo (2015-07-08)
      This paper proposes an adaptative control algorithm, which is designed by adding a parametric identification method to a non-linear controller. The identification module is built upon the Hopfield neural network, resulting in ...
    • Computer Algebra-based RBES personalized menu generator 

      Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel (2015-07-27)
      People have many constraints concerning the food they eat. These constraints can be based on religious believes, be due to food allergies or to illnesses, or can be derived just from personal preferences. Therefore, ...
    • Teaching improper integrals with CAS 

      Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Padilla, Yolanda; Rodríguez, Pedro; [et al.] (2015-07-28)
      When teaching how to compute improper integrals, the basic approach to compute such improper integrals is by definition. But, what happens if an antiderivative F for f or the above limits do not exist? the definition ...
    • Making more flexible ATISMART+ model for traffic simulations using a CAS 

      Ramírez, Manuel; Gavilán, José Manuel; Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; [et al.] (2015-07-28)
      Traffic simulations usually require the search of a path to join two different points. Dijkstra’s algorithm [1] is one of the most commonly used for this task due to its easiness and quickness. In [2, 3] we developed an ...
    • Maximal abelian diagonalizable groups and fine gradings on simple Lie algebras 

      Draper-Fontanals, Cristina (2015-08-31)
      The oldest and best known grading on a (semisimple) Lie algebra is the root space decomposition with respect to a maximal torus. This is a grading by a free abelian group (the root lattice) and it is \emph{fine} in the ...
    • Extending FuzAtAnalyzer to approach the management of classical negation 

      Rodríguez-Jiménez, J.M.; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel (2015-09-16)
      FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from ...
    • On the notion of fuzzy adjunctions between fuzzy orders 

      Cabrera, Inma P.; Cordero-Ortega, Pablo; García-Pardo, Francisca; Ojeda-Aciego, Manuel (2015-10-21)
      Las adjunciones (también denominadas conexiones de Galois isótonas) entre dos estructuras matemáticas proporcionan una manera de conectar ambas teorías que permite compartir las ventajas de ambas. Hay varios resultados en ...
    • From an implicational system to its corresponding D-basis 

      Rodríguez-Lorenzo, Estrella; Adaricheva, Kira; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Ángel (2015-10-30)
      Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a ...
    • Removing redundancy for attribute implications in data with grades 

      Mora-Bonilla, Ángel; Rodriguez-Lorenzo, Estrella; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel (Cristina Alcalde, Humberto Bustince, Francisco Javier Fernández, 2016)
      Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the ...
    • Three-Sasakian manifolds & the conformal group 

      Draper-Fontanals, Cristina (2016-03-16)
      En este trabajo estudiamos las conexiones afines invariantes métricas con torsión totalmente antisimétrica en las variedades 3-Sasakianas homogéneas, aprovechando el teorema de Nomizu que tralada el problema a un contexto ...
    • Machines must be wrong 

      Madrid, Nicolás (2016-03-31)
      Making mistakes is an intrinsic human feature. But far to be an unwelcome feature, it is useful. For instance it bears us to learn, to review our beliefs and to support our decisions among others. This capability of using ...
    • Fuzzy Adjunctions revisited 

      Cabrera, Inma P.; Cordero-Ortega, Pablo; De Baets, Bernard; García-Pardo, Francisca; Ojeda-Aciego, Manuel (2016-05-30)
      En este trabajo se intenta obtener la noción de adjunción más débil entre estructuras difusas. Este trabajo continúa la línea de investigación en el estudio y construcción d adjunciones que han realizado los autores en ...
    • Queueuing system with failures and priorities 

      Atencia-McKillop, Ivan; Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodríguez, Pedro; Galán-García, María Ángeles (2016-07-07)
      Queueing theory provides models, structural insights, problem solutions and algorithms to many application areas. Due to its practical applicability to production, manufacturing, home automation, communications ...
    • Optimization of Energy Distribution in Solar Panel Array Configurations by Graph Theory and Minkowski’s Paths 

      Merino, Salvador; Sanchez, Francisco; Sidrach, Mariano; Guzmán, Francisco; Guzmán, Rafael (2016-07-22)
      Nowadays, the development of the photovoltaic (PV) technology is consolidated as a source of renewable energy. The research in the topic of maximum improvement on the energy efficiency of the PV plants is today a major ...
    • Phases Dynamic Balancer 

      Martínez, Javier; Guzmán, Francisco; Merino, Salvador; Guzmán, Rafael; Benítez, Mario (2016-07-25)
      Most of the current domestic installations are single phase, with contracted power equal to or less than 15 kW and with a potential difference of 230 V. When consumption is expected to be higher you choose to use three ...
    • CAISL: Simplification Logic for Conditional Attribute Implications 

      Mora Bonilla, Ángel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Rodríguez-Lorenzo, Estrella; Missaoui, Nokia (2016-07-25)
      In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a ...