• A Portable Knowledge Based System for Car Breakdown Evaluation 

      Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel (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.
    • A RBES for Generating Automatically Personalized Menus 

      Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel (2016-07-14)
      Food bought at supermarkets in, for instance, North America or the European Union, give comprehensive information about ingredients and allergens. Meanwhile, the menus of restaurants are usually incomplete and cannot be ...
    • A stepwise Cas course for solving First-Order Partial Diferential Equations 

      Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Padilla-Domínguez, Yolanda; Rodríguez-Cielos, Pedro; [et al.] (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 ...
    • Advanced techniques to compute improper integrals using a CAS 

      Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Padilla-Domínguez, Yolanda; Rodríguez-Cielos, Pedro; [et al.] (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 ...
    • An Accelerated-Time Simulation for Traffic Flow in a Smart City 

      Aguilera-Venegas, Gabriel; Gálan, José Luis; Campos, José Carlos; Rodríguez, Pedro (2013-09-17)
    • 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, ...
    • A fast functional approach to personalized menus generation using set operations 

      Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel (2018-06-14)
      The authors developed some time ago a RBES devoted to preparing personalized menus at restaurants according to the allergies, religious constraints, likes and other diet requirements as well as products availability. A ...
    • Improving CAS Capabilities: New Rules for Computing Improper Integrals 

      Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodríguez-Cielos, Pedro; Galán-García, María Ángeles; Padilla-Domínguez, Yolanda; [et al.] (2016-07-14)
      There are diferent applications in Engineering that require to compute improper integrals of the first kind (integrals defined on an unbounded domain) such as: the work required to move an object from the surface of the ...
    • Introducing probabilistic celular automata. A versatile extension of Game of Live 

      Aguilera-Venegas, Gabriel; Egea-Guerrero, Rocío; Galán-García, José Luis (2018-06-14)
      The "Game of life" model was created in 1970 by the mathematician Jonh Horton Conway using cellular automata. Since then, di erent extensions of these cellular automata have been used in many applications, such as car ...
    • 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 ...
    • Mejoras en los proyectos de simulación de flujo de tráfico en tiempo acelerado 

      Ramírez López, Manuel (2016-05-20)
      Se han desarrollado cuatro mejoras en los proyectos de simulación de flujo de tráfico en tiempo acelerado. Los proyectos [1] y [2] realizan una simulación de flujo de tráfico en un CAS, Maxima, y usan Java, para realizar ...
    • New rules for improving CAS capabilities when computing improper integrals. Applications in Math Education 

      Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodriguez-Cielos, Pedro; Padilla-Domínguez, Yolanda; Galán-García, María Ángeles (2018-06-22)
      In many Engineering applications the computation of improper integrals is a need. In [1] we pointed out the lack of some CAS when computing some types of improper integrals. Even more, the work developed showed that some ...
    • 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 ...
    • Random samples generation with Stata from continuous and discrete distributions 

      Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Padilla-Domínguez, Yolanda; Rodriguez-Cielos, Pedro; [et al.] (2018-03-12)
      Simulations are nowadays a very important way of analyzing new improvements in different areas before the physical implementation, which may require hard resources which could only be affronted in case of a high probability ...
    • 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 ...
    • Server information mechanism in a discrete-time queueing system 

      Atencia-McKillop, Ivan; Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodriguez-Cielos, Pedro; Galán-García, María Ángeles (2018-06-14)
      This paper discusses a discrete-time queueing system in which an arriving customer may adopt four di erent strategies depending on the income information, two of them correspond to a LCFS discipline where displacements ...
    • SFOPDES: A stepwise tutorial for teaching Partial Differential Equations using a CAS 

      Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodriguez-Cielos, Pedro; Padilla-Domínguez, Yolanda; Galán-García, María Ángeles; [et al.] (2019-07-25)
      Partial Differential Equations (PDE) are one of the most difficult topics that Engineering and Sciences students have to study in the different Math subjects in their degree. In this talk we introduce SFOPDES (Stepwise ...
    • Simulación de tejidos cancerígenos utilizando autómatas celulares probabilísticos 

      Egea Guerrero, Rocío (2018-02-22)
      El cáncer es una de las principales causas de muerte a nivel mundial. Este término abarca más de doscientos tipos de enfermedades, las cuales se caracterizan por un crecimiento descontrolado de las células y la posible ...
    • Simulación en tiempo acelerado de una red de autobuses metropolitana usando un CAS 

      Gavilán-Moncada, José Manuel (2016-05-20)
      Se ha realizado una aplicación para simular en tiempo acelerado una red de autobuses metropolitana y de metro usando un CAS. Con esta aplicación se pretende optimizar estos medios de transporte de forma que el uso de estos ...
    • Simulating Realistic Traffic Flow in a Smart City 

      Galán-García, José Luis; Aguilera-Venegas, Gabriel; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro (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 ...