Eugenio Roanes-Lozano

发表

A portable knowledge-based system for car breakdown evaluation

Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas, 2015, Appl. Math. Comput..

Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)"

Antonio Hernando, Eugenio Roanes-Lozano, Michael J. Wester, 2016, Math. Comput. Simul..

Computer Algebra-based RBES personalized menu generator

Eugenio Roanes-Lozano, José Luis Galán-García, Gabriel Aguilera-Venegas, 2015 .

A Simple GUI for Developing Applications That Use Mathematical Software Systems

Antonio Hernando, Eugenio Roanes-Lozano, 2014, AISC.

Boole's logic revisited from computer algebra

Aurora Pérez, Luis M. Laita, Eugenio Roanes-Lozano, 2000 .

An accelerated-time simulation of departing passengers' flow in airport terminals

Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macı́as, 2004, Math. Comput. Simul..

A prototype of a RBES for personalized menus generation

Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas, 2017, Appl. Math. Comput..

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2008, AISC/MKM/Calculemus.

Diagnosis in Tennis Serving Technique

Eugenio Roanes-Lozano, Fernando Sánchez-Figueroa, Eduardo A. Casella, 2020, Algorithms.

IMACS Applications of Computer Algebra Conference 1999: summary

Eugenio Roanes-Lozano, Michael J. Wester, 1999, SIGS.

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus

Luis de Ledesma, Luis M. Laita, Eugenio Roanes-Lozano, 1994, AISMC.

Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective

Eugenio Roanes-Lozano, José Luis Galán García, Carmen Solano-Macías, 2019, Math. Comput. Sci..

Optimal Route Finding and Rolling-Stock Selection for the Spanish Railways

Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez, 2012, Computing in Science & Engineering.

A logic approach to decision taking in a railway interlocking system using Maple

Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, 2011, Math. Comput. Simul..

An Approach to Overtaking Station Layout Diagram Design Using Graphs

Eugenio Roanes-Lozano, José Luis Galán-García, Gabriel Aguilera-Venegas, 2020 .

A Methodology for Constructing Expert Systems for Medical Diagnosis

Victor Maojo, Luis de Ledesma, Luis M. Laita, 2001, ISMDA.

The geometry of algebraic systems and their exact solving using Grobner bases

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2004, Computing in Science & Engineering.

A Groebner bases-based approach to backward reasoning in rule based expert systems

Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, 2009, Annals of Mathematics and Artificial Intelligence.

A prototype of a functional approach to personalized menus generation using set operations

Eugenio Roanes-Lozano, José Luis Galán García, Gabriel Aguilera Venegas, 2019, Adv. Comput. Math..

A Computer Approach to Mathematics Curriculum Developments Debugging

Eugenio Roanes-Lozano, Mª José Fernández-Díaz, Angélica Martínez-Zarzuelo, 2016 .

George Boole, a Forerunner of Symbolic Computation

Luis de Ledesma, Luis M. Laita, Eugenio Roanes-Lozano, 2000, AISC.

Possibilities of RutasOptiRed Package

Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez, 2014 .

A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis

Victor Maojo, Luis de Ledesma, Luis M. Laita, 2002, AISC.

3D extension of Steiner chains problem

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, E. Roanes-Lozano, 2007, Math. Comput. Model..

A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria

José Crespo, Victor Maojo, Luis M. Laita, 2000, ISMDA.

Calculating the Exploitation Costs of Trains in the Spanish Railways

Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez, 2013, Computing in Science & Engineering.

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 1996, AISMC.

Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases

Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, 1998, AISC.

An overview of the evolution of the devices running computer algebra systems and their educational implications

Eugenio Roanes-Lozano, 2017 .

Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System

Eugenio Roanes-Lozano, 2020, CASC.

A SHELL FOR RULE-BASED EXPERT SYSTEMS DEVELOPMENT USING GRÖBNER BASES-BASED INFERENCE ENGINES

Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, 2008 .

Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2000, AISC.

Matrix Approach to DC Railway Electrification Verification

Eugenio Roanes-Lozano, Rubén González-Martín, 2017, ICCS.

Artificial Intelligence and Symbolic Computation International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers

Eugenio Roanes-Lozano, John A. Campbell, 2001 .

A computational system for diagnosis of depressive situations

Luis M. Laita, Eugenio Roanes-Lozano, Carlos Rodríguez-Solano, 2006, Expert Syst. Appl..

An Expert System Devoted to Automated Music Identification and Recognition

Luis M. Laita, Eugenio Roanes-Lozano, María Ángeles Fernández de Sevilla, 2008 .

An accelerated-time microscopic simulation of a dedicated freight double-track railway line

Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez, 2010, Math. Comput. Model..

The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods

Eugenio Roanes-Lozano, 2013, Math. Comput. Sci..

An Expert System on Detection, Evaluation and Treatment of Hypertension

Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, 2004, AISC.

Automatic Generation of Diagrammatic Subway Maps for Any Date with Maple

Eugenio Roanes-Lozano, Alberto Almech, 2020, Math. Comput. Sci..

An applicable topology-independent model for railway interlocking systems

Luis M. Laita, Eugenio Roanes-Lozano, 1998 .

Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS

Eugenio Roanes-Lozano, E. Roanes-Lozano, 1999 .

Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2005, CASC.

A knowledge-based system for house layout selection

Eugenio Roanes-Lozano, Ana González-Uriel, 2004, Math. Comput. Simul..

Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria

Victor Maojo, Luis de Ledesma, Luis M. Laita, 1999, EUROVAV.

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 1999, CASC.

Estimating radial railway network improvement with a CAS

Eugenio Roanes-Lozano, José Luis Galán García, Alberto García-Álvarez, 2014, J. Comput. Appl. Math..

A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess

Antonio Hernando, Eugenio Roanes-Lozano, Roberto Maestre, 2018 .

A 3D proposal for the visualization of speed in railway networks

Eugenio Roanes-Lozano, Alberto Almech, 2020 .

Nonstandard applications of computer algebra

Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg, 2011, Math. Comput. Simul..

Revisiting four-valued logics from Maple using the Logics Explorer package

Antonio Hernando, Eugenio Roanes-Lozano, José-Antonio Alonso, 2014, Math. Comput. Simul..

A Computer Algebra Approach to Relational Systems Using Gröbner Bases

Luis de Ledesma, Luis M. Laita, Eugenio Roanes-Lozano, 2001, RelMiCS.

Foreword to the special issue on "Nonstandard applications of computer algebra"

Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg, 2009, Math. Comput. Simul..

A logic and computer algebra-based expert system for diagnosis of anorexia

Luis M. Laita, Eugenio Roanes-Lozano, Laura Laita, 2002, Math. Comput. Simul..

An Application of Computer Algebra to Pharmacokinetics: The Bateman Equation

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Alfonso González-Bermejo, 2006, SIAM Rev..

Tort-Decó: a “turtle geometry”-based package for drawing periodic designs

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, M Garbayo, 2001 .

A Rule-Based Knowledge System for Diagnosis of Mental Retardation

Luis de Ledesma, Luis M. Laita, Eugenio Roanes-Lozano, 2004, ISBMDA.

A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry

Eugenio Roanes-Lozano, 2017, Math. Comput. Sci..

A RBES for Generating Automatically Personalized Menus

Eugenio Roanes-Lozano, José Luis Galán-García, Gabriel Aguilera-Venegas, 2016 .

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma

Victor Maojo, Luis de Ledesma, Luis M. Laita, 2003, ISMDA.

Evolution of railway network flexibility: The Spanish broad gauge case

Luis M. Laita, Eugenio Roanes-Lozano, Michael J. Wester, 2009, Math. Comput. Simul..

Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra

Eugenio Roanes-Lozano, Hoon Hong, Stanly Steinberg, 1998 .

A recommender system for train routing: When concatenating two minimum length paths is not the minimum length path

Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez, 2018, Appl. Math. Comput..

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2002, Math. Comput. Simul..

An algebraic approach for detecting nearly dangerous situations in expert systems

Antonio Hernando, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, 2016, Math. Comput. Simul..

A bridge between dynamic geometry and computer algebra

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, M. Villar-Mena, 2003 .

A logic-algebraic approach to decision taking in a railway interlocking system

Antonio Hernando, Eugenio Roanes-Lozano, Jorge Tejedor, 2012, Annals of Mathematics and Artificial Intelligence.

Some Applications of Algebraic System Solving.

Eugenio Roanes-Lozano, 2011 .

A constructive approach to the quadrics of revolution using 3D dynamic geometry systems with algebraic capabilities

Eugenio Roanes-Lozano, 2017, Comput. Appl. Eng. Educ..

Connecting the 3D DGS Calques3D with the CAS Maple

Nicolas van Labeke, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2010, Math. Comput. Simul..

An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques

Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, 2001 .

A Rule-Based Expert System for Vaginal Cytology Diagnosis

Eugenio Roanes-Lozano, Carlos Gamallo-Chicano, Carlos Gamallo-Amat, 2014, AISC.

An Algebraic Approach to DC Railway Electrification Verification

Javier Montero, Eugenio Roanes-Lozano, Rubén González-Martín, 2019, Math. Comput. Sci..

A fast functional approach to personalized menus generation using set operations

Eugenio Roanes-Lozano, José Luis Galán-García, Gabriel Aguilera-Venegas, 2018 .

An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 1998, IEA/AIE.

A Gröbner bases-based shell for rule-based expert systems development☆

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2000 .

An Algebraic Approach to KBS. Application to Computer Network Selection

Luis M. Laita, Eugenio Roanes-Lozano, L. de Ledesma, 2000 .

A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2013, CASC.

Some applications of Grobner bases

Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2004, Computing in Science & Engineering.

An algebraic model for implementing expert systems based on the knowledge of different experts

Antonio Hernando, Eugenio Roanes-Lozano, 2015, Math. Comput. Simul..

Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation

Eugenio Roanes-Lozano, John A. Campbell, 2000 .

A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, 2006, Automated Deduction in Geometry.

Foreword to the special issue on "Nonstandard Applications of Computer Algebra"

Eugenio Roanes-Lozano, Michael J. Wester, Stanly L. Steinberg, 2010, Math. Comput. Simul..

A Polynomial Model for Logics with a Prime Power Number of Truth Values

Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, 2010, Journal of Automated Reasoning.

A New Approach to Shortest Route Finding in a Railway Network with Two Track Gauges and Gauge Changeovers

Eugenio Roanes-Lozano, Antonio Hernando, Alberto Almech, 2019 .

A natural language for implementing algebraically Expert Systems

Antonio Hernando, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, 2016, Math. Comput. Simul..

A multi-criteria computer package for power transformer fault detection and diagnosis

Carlos Roncero-Clemente, Eugenio Roanes-Lozano, E. Roanes-Lozano, 2018, Appl. Math. Comput..

A Multi-Criteria Computer Package-Based Energy Management System for a Grid-Connected AC Nanogrid

Carlos Roncero-Clemente, Eugenio Roanes-Lozano, Fermin Barrero-Gonzalez, 2021, Mathematics.

A Prototype of a Decision Support System for Equine Cardiovascular Diseases Diagnosis and Management

Eugenio Roanes-Lozano, María Villalba-Orero, 2021, Mathematics.

A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations

Eugenio Roanes-Lozano, Gabriel Aguilera Venegas, José Luis Galán García, 2021, J. Comput. Appl. Math..

Some applications of Grobner bases

Eugenio Roanes-Lozano, E. Roanes-Macias, L. M. Laiti, 2004 .

A survey on the use of computer algebra in Spain in relationship to Its secondary school system

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Justo Cabezas, 1997 .

Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system

Eugenio Roanes-Lozano, Eugenio Roanes-Macías, E. Roanes-Lozano, 2009 .

An algebraic approach to rule based expert systems

Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, 2010 .

A geometric approach to the estimation of radial railway network improvement

Antonio Hernando, Eugenio Roanes-Lozano, Alberto García-Álvarez, 2012 .

A Gröbner bases-based rule based expert system for fibromyalgia diagnosis

Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, 2012, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas.

Automatically obtaining railway maps from a set of historical events

Eugenio Roanes-Lozano, Michael J. Wester, Alberto García-Álvarez, 2011 .