Listar MA - Contribuciones a congresos científicos por título
Mostrando ítems 1-20 de 99
-
2D GPU-based HySEA model for tsunami simulation. Some practical examples.
González-Vida, José Manuel
; Castro-Díaz, Manuel Jesús; 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 changes in the service times and retrial times.
Atencia-McKillop, Iván; Galán-García, José Luis; Aguilera-Venegas, Gabriel; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro; Padilla-Domínguez, Yolanda Carmen; Rodríguez-Padilla, Pablo[et al.] (2024)
This paper investigates a discrete-time retrial queueing system wherein arriving customers can choose between adopting a Last-Come-First-Served (LCFS) discipline or joining the orbit. The potential variability in service ... -
A Discrete-Time retrial queueing system with service upgrade
Fortes-Ruiz, Inmaculada; Sánchez, Sixto; Atencia-McKillop, Iván (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, Iván; Fortes-Ruiz, 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, José Manuel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel (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-Córdoba, Salvador; Martínez-del-Castillo, Javier; De-Aguilera-Moyano, 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, Ángel; 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, Iván; Galán-García, José Luis; Aguilera-Venegas, Gabriel; Rodríguez-Cielos, Pedro; Galán-García, María Ángeles; Padilla-Domínguez, Yolanda Carmen; Rodríguez-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-Domínguez, Yolanda Carmen; Rodríguez-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-Domínguez, Yolanda Carmen; Rodríguez-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-Hernández, 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, Á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 ... -
Celebrative Talk. Enrique's Homemade Algebraic Geometry.
Tocino-Sánchez, Alicia (2023)
During the talk, Enrique Arrondo's life and mathematical research were highlighted, intertwining his career with a touch of history and significant photos that captured important moments in Enrique's life. Enrique's ... -
Challenges in Reservoir Computing.
In this expository talk, we will review the Echo State Network (ESN), a recurrent neural network that has achieved good results in time series tasks, such as forecasting, classification, and encoding-decoding. However, the ... -
CLIL Implementation applied to Mathematics for Engineering
Rodríguez-Sánchez, Francisco Joaquín; Yélamos-Guerra, María Salomé; Ruiz-Rey, Francisco José (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 ... -
Closure Structures as fixed points of some Galois connections.
Ojeda Hernández, Manuel; De-las-Peñas-Cabrera, Inmaculada; Cordero-Ortega, Pablo; Muñoz-Velasco, Emilio José (2023)
The starting point of this work is a published paper where the fuzzy powerset of a fuzzy lattice A, the set of isotone mappings on A and the set of isotone total relations on A were proved to be related by three fuzzy ...