Gabriel Aguilera Venegas

Orcid: 0000-0002-5813-6184

Affiliations:
  • University of Malaga, Department of Applied Mathematics, Spain


According to our database1, Gabriel Aguilera Venegas authored at least 38 papers between 1994 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules.
J. Comput. Appl. Math., August, 2023

Comparing and tuning machine learning algorithms to predict type 2 diabetes mellitus.
J. Comput. Appl. Math., August, 2023

SODES: Solving ordinary differential equations step by step.
J. Comput. Appl. Math., August, 2023

Foreword to the Special Issue of ESCO 2022 Conference.
Math. Comput. Sci., June, 2023

A non markovian retrial queueing system.
J. Comput. Appl. Math., 2023

2021
A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations.
J. Comput. Appl. Math., 2021

A discrete-time queueing system with three different strategies.
J. Comput. Appl. Math., 2021

2019
Foreword.
Math. Comput. Sci., 2019

Applications of Partial Differential Equations in Science and Engineering.
Comput. Math. Appl., 2019

SFOPDES: A Stepwise First Order Partial Differential Equations Solver with a Computer Algebra System.
Comput. Math. Appl., 2019

A probabilistic extension to Conway's Game of Life.
Adv. Comput. Math., 2019

A prototype of a functional approach to personalized menus generation using set operations.
Adv. Comput. Math., 2019

An arriving decision problem in a discrete-time queueing system.
Adv. Comput. Math., 2019

Enhancing Cas improper integrals computations using extensions of the residue theorem.
Adv. Comput. Math., 2019

2018
A <i>Geo</i><sup>[<i>X</i>]</sup>/<i>G</i><sup>[<i>X</i>]</sup>/1 retrial queueing system with removal work and total renewal discipline.
Appl. Math. Comput., 2018

Improving CAS capabilities: New rules for computing improper integrals.
Appl. Math. Comput., 2018

2017
Partial differential equations based simulations in multiple space dimensions.
Comput. Math. Appl., 2017

A prototype of a RBES for personalized menus generation.
Appl. Math. Comput., 2017

2015
A portable knowledge-based system for car breakdown evaluation.
Appl. Math. Comput., 2015

A new Probabilistic Extension of Dijkstra's Algorithm to simulate more realistic traffic flow in a smart city.
Appl. Math. Comput., 2015

2014
An accelerated-time simulation of baggage traffic in an airport terminal.
Math. Comput. Simul., 2014

An accelerated-time simulation of car traffic on a motorway using a CAS.
Math. Comput. Simul., 2014

Technology integration into mathematics education and applications.
J. Symb. Comput., 2014

An accelerated-time simulation for traffic flow in a smart city.
J. Comput. Appl. Math., 2014

2013
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.
Fuzzy Sets Syst., 2013

2012
Closure via functional dependence simplification.
Int. J. Comput. Math., 2012

2010
Automated generation of contrapuntal musical compositions using probabilistic logic in Derive.
Math. Comput. Simul., 2010

A New Neural Model for Traffic Simulation.
Proceedings of the Artificial Neural Networks - ICANN 2010, 2010

2009
Performance comparison of MRC and IC under transmit diversity.
IEEE Trans. Wirel. Commun., 2009

2006
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artif., 2006

Performance of MIMO MRC Systems with Co-Channel Interference.
Proceedings of IEEE International Conference on Communications, 2006

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
Proceedings of the Advances in Artificial Intelligence, 2006

2004
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2001
Reductions for non-clausal theorem proving.
Theor. Comput. Sci., 2001

1998
Reducing signed propositional formulas.
Soft Comput., 1998

1995
Increasing the efficiency of automated theorem proving.
J. Appl. Non Class. Logics, 1995

1994
TAS-D<sup>++</sup>: Syntactic Trees Transformations for Automated Theorem Proving.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

TAS-D++ vs tablas semanticas.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...