José Raymundo Marcial-Romero

Orcid: 0000-0002-5808-5727

Affiliations:
  • Universidad Autónoma del Estado de México, Toluca, Mexico


According to our database1, José Raymundo Marcial-Romero authored at least 67 papers between 2007 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Method for Counting Models on Cubic Boolean Formulas.
Proceedings of the Pattern Recognition - 15th Mexican Conference, 2023

2022
A method for counting models on grid Boolean formulas.
J. Intell. Fuzzy Syst., 2022

Computing the Clique-Width on Series-Parallel Graphs.
Computación y Sistemas, 2022

Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas, 2022

Virtualizing 3D Real Environments Using 2D Pictures Based on Photogrammetry.
Proceedings of the Pattern Recognition - 14th Mexican Conference, 2022

2021
DBIG-US: A two-stage under-sampling algorithm to face the class imbalance problem.
Expert Syst. Appl., 2021

Approximate the Clique-Width of a Graph Using Shortest Paths.
Proceedings of the Advances in Soft Computing, 2021

2020
A bottom-up algorithm for solving ♯2SAT.
Log. J. IGPL, 2020

A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas.
Proceedings of the Advances in Soft Computing, 2020

Analysis of Repair Costs of Scholar Buildings Affected by Earthquakes Using Data Mining. Case Study: Earthquakes of 2017 in Mexico.
Proceedings of the Pattern Recognition - 12th Mexican Conference, 2020

A Metaheuristic Algorithm to Face the Graph Coloring Problem.
Proceedings of the Hybrid Artificial Intelligent Systems - 15th International Conference, 2020

2019
A comparison between UCB and UCB-Tuned as selection policies in GGP.
J. Intell. Fuzzy Syst., 2019

Some Variations of Upper Confidence Bound for General Game Playing.
Proceedings of the Pattern Recognition - 11th Mexican Conference, 2019

Weighted Complete Graphs for Condensing Data.
Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Preface.
Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Measurements in quantum programming language QML.
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018
Entornos de trabajo para procesamiento de datos masivos y aprendizaje automático.
Res. Comput. Sci., 2018

Upper Confidence Bound o Upper Cofidence Bound Tuned para General Game Playing: Un estudio empírico.
Res. Comput. Sci., 2018

Historial y reversibilidad en el sublenguaje clásico QML.
Res. Comput. Sci., 2018

Belief revision between conjunctive normal forms.
J. Intell. Fuzzy Syst., 2018

A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography.
Int. J. Pattern Recognit. Artif. Intell., 2018

A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas.
Proceedings of the Pattern Recognition - 10th Mexican Conference, 2018

Model counting for #2SAT problem in outerplanar graphs.
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

A history and reversibility for quantum programming language QML.
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

E-health: agent-based models to simulate behavior of individuals during an epidemic outbreak.
Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age, 2018

2017
Generación de posturas corporales en agentes virtuales a partir de evidencia neurocientífica.
Res. Comput. Sci., 2017

Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs.
Computación y Sistemas, 2017

A Linear Time Algorithm for Solving #2SAT on Cactus Formulas.
CoRR, 2017

A Fast and Efficient Method for #2SAT via Graph Transformations.
Proceedings of the Advances in Soft Computing, 2017

Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index.
Proceedings of the Pattern Recognition - 9th Mexican Conference, 2017

2016
Preface.
Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

The Incremental Satisfiability Problem for a Two Conjunctive Normal Form.
Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

Computing the Clique-width of Cactus Graphs.
Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

A Polynomial Time Algorithm for Counting the Number of Independent Sets of Cactus Graphs.
Proceedings of the Fifteenth Mexican International Conference on Artificial Intelligence, 2016

Computing the Clique-Width of Polygonal Tree Graphs.
Proceedings of the Advances in Soft Computing, 2016

An Optimization Approach to the TWPVD Method for Digital Image Steganography.
Proceedings of the Pattern Recognition - 8th Mexican Conference, 2016

A Multiple classifier system for fast an accurate learning in neural network context.
Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016

Approximate the chromatic number of a graph using maximal independent sets.
Proceedings of the 2016 International Conference on Electronics, 2016

2015
Análisis de deserción escolar con minería de datos.
Res. Comput. Sci., 2015

Un algoritmo para calcular #2SAT.
Res. Comput. Sci., 2015

Development of an Interpreter for LRT using the Exact Real Number Paradigm.
Res. Comput. Sci., 2015

A Parametric Polynomial Deterministic Algorithm for #2SAT.
Proceedings of the Advances in Artificial Intelligence and Soft Computing, 2015

A Modification of the TPVD Algorithm for Data Embedding.
Proceedings of the Pattern Recognition - 7th Mexican Conference, 2015

An algorithm to approximate the chromatic number of graphs.
Proceedings of the 25. International Conference on Electronics, 2015

Analysing the Safe, Average and Border Samples on Two-Class Imbalance Problems in the Back-Propagation Domain.
Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2015

2014
Preface.
Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms.
Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

An Approximate Algorithm for the Chromatic Number of Graphs.
Electron. Notes Discret. Math., 2014

An Enumerative Algorithm for #2SAT.
Electron. Notes Discret. Math., 2014

Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns.
Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014

2013
Facial expressions based in emotions for virtual agents.
Proceedings of the 23rd International Conference on Electronics, 2013

2012
Implementing a Knowledge Bases Debugger.
Proceedings of the 11th Mexican International Conference on Artificial Intelligence, 2012

Computing #2SAT and #2UNSAT by Binary Patterns.
Proceedings of the Pattern Recognition - 4th Mexican Conference, 2012

Edge covering of acyclic graphs.
Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

An Approximate Algorithm for the Chromatic Number of a Graph.
Proceedings of the 11th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2012

2011
A Threshold for a Polynomial Solution of #2SAT.
Fundam. Informaticae, 2011

A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT.
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011

2010
Estimating the relevance on Communication Lines Based on the Number of Edge Covers.
Electron. Notes Discret. Math., 2010

Functional first order definability of LRTP.
Inteligencia Artif., 2010

Digital design vercation based on P-stable semantics.
Proceedings of the 20th International Conference on Electronics, 2010

2009
Functional first order de definability of LRTp.
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

A Simulator for Teaching Automatas and Formal Languages - FLyA.
Proceedings of the ICEIS 2009, 2009

An Evolutionary Path Planner for Multiple Robot Arms.
Proceedings of the Applications of Evolutionary Computing, 2009

Comparing Implementations of a Calculator for Exact Real Number Computation.
Proceedings of the 2009 Mexican International Conference on Computer Science, 2009

2008
An Information System for the Shortest Origen-Destination Route in a Transportation Network.
Proceedings of the ICEIS 2008, 2008

2007
Semantics of a sequential language for exact real-number computation.
Theor. Comput. Sci., 2007

Sequential Real Number Computation and Recursive Relations.
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007


  Loading...