Listar MA - Contribuciones a congresos científicos por título
Mostrando ítems 1-20 de 87
-
2D GPU-based HySEA model for tsunami simulation. Some practical examples.
Gonzalez-Vida, Jose Manuel
; Castro-Diaz, Manuel Jesus; Macías-Sánchez, Jorge; De la Asunción, Marc; Ortega, Sergio; Sánchez-Linares, Carlos[et al.] (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 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 ... -
A discrete-time system with uncertainty information
Atencia-McKillop, Ivan; Fortes, Inmaculada; Sánchez, Sixto (2017-02-14)
This paper considers a discrete-time queueing system with uncertainty information, that is, an arriving customer may opt, with a certain probability, to be served under a Last Come First Served (LCFS) discipline or, with ... -
A generalized framework to consider positive and negative attributes in formal concept analysis
Rodríguez Jiménez, Jose Manuel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel (2014-10-23)
In Formal Concept Analysis the classical formal context is analized taking into account only the positive information, i.e. the presence of a property in an object. Nevertheless, the no presence of a property in an object ... -
A Genetic Algorithm and an Exact Algorithm for Classifying the Items of a Questionnaire Into Different Competences
Galán-García, José Luis; Merino-Cordoba, Salvador; Martinez-del-Castillo, Javier; De Aguilera, Miguel (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 logic-based approach to compute a direct basis from implications
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Angel; Ojeda-Aciego, Manuel; Rodríguez-Lorenzo, Estrella (2014-09-19)
Formal Concept Analysis is an emergent area in the topic of data analysis based on lattice theory. In this framework, a context is defined as the relation between a set of objects and a set of attributes and from here it ... -
A Non Markovian Retrial Queueing System
Atencia-McKillop, Ivan; Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodriguez-Cielos, Pedro; Galán-García, María Ángeles; Padilla-Dominguez, Yolanda Carmen; Rodriguez-Padilla, Pablo[et al.] (2022-06-13)
Researches on retrial queues with non-geometrical retrial times is motivated by real computers and telecommunication networks, where retrial times can hardly be geometrical distributed. The inherent difficulty with ... -
A Portable Knowledge Based System for Car Breakdown Evaluation
Desarrollo de un sistema experto para ayudar a conductores a tomar decisiones en el caso que se encienda alguna luz en el salpicadero. -
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-Dominguez, Yolanda Carmen; Rodriguez-Cielos, Pedro; Rodríguez-Cielos, Ricardo[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-Dominguez, Yolanda Carmen; Rodriguez-Cielos, Pedro; Rodríguez-Cielos, Ricardo[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 Approach to Overtaking Station Layout Diagram Design Using Graphs
The authors have approached in the past different railway engineering problems (e.g. [1,2]) and have developed software for the Spanish Railway Foundation [3], mainly using computer algebra systems (CAS). Now a CAS is used ... -
Architecture for Neurological Coordination Tests Implementation
Velazquez-Mariño, Michel; Atencia-Ruiz, Miguel Alejandro; García-Bermúdez, Rodolfo; Sandoval-Hernandez, Francisco; Pupo-Ricardo, Daniel (Springer, 2017-06)
This paper proposes a generic architecture for devising interactive neurological assessment tests, aimed at being implemented on a touchscreen device. The objective is both to provide a set of software primitives that ... -
Basic Ideals in evolution algebras
Cabrera-Casado, Yolanda (2019-11-20)
Recently a new type of genetic algebras, denominated evolution algebras, has emerged to enlighten the study of non-Mendelian genetics, which is the basic language of the molecular Biology. With the aim of finding invariants ... -
CAISL: Simplification Logic for Conditional Attribute Implications
Mora-Bonilla, Angel; 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 ... -
CLIL Implementation applied to Mathematics for Engineering
Rodriguez-Sanchez, Francisco Joaquin; Yelamos-Guerra, Maria Salome; Ruiz-Rey, Francisco Jose (2019-12-20)
CLIL methodology aims to facilitate the learning of contents in a second language. Authors have tested an experience of implementation in English of these methods in subjects of Mathematics for Engineering at the University ... -
Cluster Analysis of Finger-to-nose Test for Spinocerebellar Ataxia Assessment
Velazquez-Mariño, Michel; Atencia-Ruiz, Miguel Alejandro; García Bermúdez, Rodolfo; Pupo-Ricardo, Daniel; Becerra García, Roberto; Velázquez Pérez, Luis; Sandoval-Hernandez, Francisco[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 ... -
Comparing and Tuning Machine Learning Algorithms to Predict Type 2 Diabetes Mellitus
Aguilera-Venegas, Gabriel; López-Molina, Amador; Galán-García, José Luis; Rojo-Martínez, Gemma (2022-06-13)
The main goals of this work is to study and compare machine learning algorithms to predict the development of type 2 diabetes mellitus. Four classifi cation algorithms have been considered, studying and comparing the ... -
Computer Algebra-based RBES personalized menu generator
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, ... -
Conjugate Points along lightlike geodesics of Lorentzian manifolds
Palomo-Ruiz, Francisco Jose (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 ...