Publicaciones (57) Publicaciones de Jose Divasón Mallagaray

2023

  1. In vitro maintenance of drones and development of a new software for sperm quality analysis facilitate the study of honey bee reproductive quality

    Journal of Apicultural Research

  2. Artificial Intelligence Models for Assessing the Evaluation Process of Complex Student Projects

    IEEE Transactions on Learning Technologies, Vol. 16, Núm. 5, pp. 694-707

  3. Effective Homology of Universal Covers

    ACM Communications in Computer Algebra, Vol. 57, Núm. 2, pp. 47-50

  4. HYB-PARSIMONY: A hybrid approach combining Particle Swarm Optimization and Genetic Algorithms to find parsimonious models in high-dimensional datasets

    Neurocomputing, Vol. 560

  5. Hybrid Intelligent Parsimony Search in Small High-Dimensional Datasets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  6. PSO-PARSIMONY: A method for finding parsimonious and accurate machine learning models with particle swarm optimization. Application for predicting force–displacement curves in T-stub steel connections

    Neurocomputing, Vol. 548

  7. Robustness Analysis of a Methodology to Detect Biases, Inconsistencies and Discrepancies in the Evaluation Process

    Lecture Notes in Networks and Systems

  8. Sensitivity analysis of discrete preference functions using Koszul simplicial complexes

    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON SYMBOLIC & ALGEBRAIC COMPUTATION, ISSAC 2023

  9. Varroa Mite Detection Using Deep Learning Techniques

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2022

  1. A Formalization of the Smith Normal Form in Higher-Order Logic

    Journal of Automated Reasoning

  2. Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)

    Journal of Automated Reasoning

  3. Generación semiautomática de rúbricas por medio de Inteligencia Artificial

    Jornadas de Innovación Docente UR-CRIE 2022: #InnovaDocenteUR : Libro de resúmenes

  4. Herramientas personalizadas para asesorar a los estudiantes con sus trabajos y a los profesores en su corrección

    Jornada de Innovación docente de la Universidad de La Rioja 2021: #InnovaDocenteUR: libro de resúmenes

  5. New Hybrid Methodology Based on Particle Swarm Optimization with Genetic Algorithms to Improve the Search of Parsimonious Models in High-Dimensional Databases

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. Computing invariants for multipersistence via spectral systems and effective homology

    Journal of Symbolic Computation, Vol. 104, pp. 724-753

  2. Integration of the kenzo system within sagemath for new algebraic topology computations

    Mathematics, Vol. 9, Núm. 7

  3. Modelos de inteligencia artificial para asesorar el proceso evaluador de trabajos informáticos complejos

    XXVII Jornadas sobre la Enseñanza Universitaria de la Informática - JENUI 2021

  4. Modelos de inteligencia artificial para asesorar el proceso evaluador de trabajos informáticos complejos

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 6, pp. 43-50

  5. Q-learning and MCTS techniques for improving an algorithm to compute discrete vector fields on finite topological spaces

    9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers

  6. Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation

    Archive of Formal Proofs, pp. 1-418