Jónathan Heras

Ana Rosa Terroba Reinares

Proceedings of the Annual Conference of the Spanish Association for Natural Language Processing 2023: Projects and System Demonstrations (SEPLN-PD 2023) co-located with the International Conference of the Spanish Society for Natural Language Processing (SEPLN 2023), 2023

Improving Accessibility in PublicWeb Pages.

[BibT_eX]

[DOI]

Automatic Generation of Subtitles for Videos of the Government of La Rioja.

[BibT_eX]

[DOI]

Mirari San Martín

Gadea Mata

Proceedings of the Optimization and Learning - 6th International Conference, 2023

Mixing Data Augmentation Methods for Semantic Segmentation.

[BibT_eX]

[DOI]

Rubén Escobedo

Proceedings of the Optimization and Learning - 6th International Conference, 2023

Semi-supervised Learning for Myopic Maculopathy Analysis.

[BibT_eX]

[DOI]

Proceedings of the Myopic Maculopathy Analysis, 2023

Estimation of Crop Production by Fusing Images and Crop Features.

[BibT_eX]

[DOI]

Xabier Simon Martínez-Goñi

Jon Miranda-Apodaca

Usue Pérez-López

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Image Analysis - 11th Iberian Conference, 2023

2022

Automatic Diagnosis of Myocarditis Disease in Cardiac MRI Modality using Deep Transformers and Explainable Artificial Intelligence.

[BibT_eX]

[DOI]

CoRR, 2022

Semi-Supervised Learning for Image Classification using Compact Networks in the BioMedical Context.

[BibT_eX]

[DOI]

CoRR, 2022

Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using CycleGAN and Deep PreTrained Models.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Neuroscience: Affective Analysis and Health Applications, 2022

Deep Detection Models for Measuring Epidermal Bladder Cells.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Image Analysis - 10th Iberian Conference, 2022

Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

Text Classification Models for Form Entity Linking.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2022

Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books.

[BibT_eX]

[DOI]

Proceedings of the Document Analysis Systems - 15th IAPR International Workshop, 2022

2021

UFOD: An AutoML framework for the construction, comparison, and combination of object detection models.

[BibT_eX]

[DOI]

Miguel Angel Gutiérrez-Naranjo

Pattern Recognit. Lett., 2021

Optimizing the Simplicial-Map Neural Network Architecture.

[BibT_eX]

[DOI]

Eduardo Paluzo-Hidalgo

Rocío González-Díaz

J. Imaging, 2021

Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models.

[BibT_eX]

[DOI]

Frontiers Neuroinformatics, 2021

Neural Style Transfer and Unpaired Image-to-Image Translation to deal with the Domain Shift Problem on Spheroid Segmentation.

[BibT_eX]

[DOI]

CoRR, 2021

Automatic Diagnosis of Schizophrenia using EEG Signals and CNN-LSTM Models.

[BibT_eX]

[DOI]

Héctor Alfonso Castro-Abril

CoRR, 2021

Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning.

[BibT_eX]

[DOI]

CoRR, 2021

SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation.

[BibT_eX]

[DOI]

David Lacalle

Comput. Methods Programs Biomed., 2021

Biomedical image classification made easier thanks to transfer and semi-supervised learning.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2021

Applications of deep learning techniques for automated multiple sclerosis detection using magnetic resonance imaging: A review.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2021

MotilityJ: An open-source tool for the classification and segmentation of bacteria on motility images.

[BibT_eX]

[DOI]

Gabriela Chichón

Comput. Biol. Medicine, 2021

Deep Learning Projects from a Regional Council: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Second Teaching Machine Learning and Artificial Intelligence Workshop, 2021

Towards Combining Object Detection and Text Classification Models for Form Entity Recognition.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2021

LabelDetection: Simplifying the Use and Construction of Deep Detection Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2021

Prediction of Epiretinal Membrane from Retinal Fundus Images Using Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2021

2020

Transfer learning features for predicting aesthetics through a novel hybrid machine learning method.

[BibT_eX]

[DOI]

Adrián Carballal

Carlos Fernandez-Lozano

Ander Yoldi-Achalandabaso

Juan Romero

Neural Comput. Appl., 2020

LabelStoma: A tool for stomata detection based on the YOLO algorithm.

[BibT_eX]

[DOI]

Anna Sillero-Martínez

Maite Lacuesta

Comput. Electron. Agric., 2020

FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques.

[BibT_eX]

[DOI]

IEEE Access, 2020

Ensemble Methods for Object Detection.

[BibT_eX]

[DOI]

Maria Soledad Vázquez-Garcidueñas

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images.

[BibT_eX]

[DOI]

Proceedings of the Document Analysis Systems - 14th IAPR International Workshop, 2020

2019

Automatic characterisation of dye decolourisation in fungal strains using expert, traditional, and deep features.

[BibT_eX]

[DOI]

Marina Arredondo-Santoyo

Gerardo Vázquez-Marrufo

Soft Comput., 2019

The Effects of Adding Non-Compulsory Exercises to an Online Learning Tool on Student Performance and Code Copying.

[BibT_eX]

[DOI]

Arturo Jaime Elizondo

Francisco J. García Izquierdo

ACM Trans. Comput. Educ., 2019

DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks for image classification.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2019

CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks.

[BibT_eX]

[DOI]

Ángela Casado

BMC Bioinform., 2019

Monomial Resolutions for Efficient Computation of Simplicial Homology.

[BibT_eX]

[DOI]

Anna Maria Bigatti

Eduardo Sáenz-de-Cabezón

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

DeepCompareJ: Comparing Image Classification Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Jupyter Notebooks for Simplifying Transfer Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Google Colaboratory for Quantifying Stomata in Images.

[BibT_eX]

[DOI]

Alvaro Sanz-Sáez

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2018

Guiding the Creation of Deep Learning-based Object Detectors.

[BibT_eX]

[DOI]

Ángela Casado

CoRR, 2018

DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains.

[BibT_eX]

[DOI]

BMC Bioinform., 2018

Towards Integrating ImageJ with Deep Biomedical Models.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2018

An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis.

[BibT_eX]

[DOI]

Maria Soledad Vázquez-Garcidueñas

Proceedings of the Distributed Computing and Artificial Intelligence, 2018

2017

Extending GelJ for interoperability: Filling the gap in the bioinformatics resources for population genetics analysis with dominant markers.

[BibT_eX]

[DOI]

Gerardo Vázquez-Marrufo

Comput. Methods Programs Biomed., 2017

Antibiogramj: A tool for analysing images from disk diffusion tests.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2017

IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2017

Proof Mining with Dependent Types.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2016

A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: The competitive effect.

[BibT_eX]

[DOI]

Arturo Jaime Elizondo

Ana Sánchez

José Miguel Blanco

Comput. Hum. Behav., 2016

A survey of tools for analysing DNA fingerprints.

[BibT_eX]

[DOI]

Briefings Bioinform., 2016

Surveying and benchmarking techniques to analyse DNA gel fingerprint images.

[BibT_eX]

[DOI]

Briefings Bioinform., 2016

WekaBioSimilarity - Extending Weka with Resemblance Measures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2016

SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2016

2015

Neuron detection in stack images: a persistent homology interpretation.

[BibT_eX]

[DOI]

CoRR, 2015

GelJ - a tool for analyzing DNA fingerprint gel images.

[BibT_eX]

[DOI]

BMC Bioinform., 2015

Modelling algebraic structures and morphisms in ACL2.

[BibT_eX]

[DOI]

Francisco-Jesús Martín-Mateos

Appl. Algebra Eng. Commun. Comput., 2015

2014

A Certified Reduction Strategy for Homological Image Processing.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Recycling Proof Patterns in Coq: Case Studies.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2014

Defining and computing persistent Z-homology in the general case.

[BibT_eX]

[DOI]

CoRR, 2014

Procesamiento topo-geométrico de imágenes neuronales.

[BibT_eX]

[DOI]

CoRR, 2014

Guarding (Co)Recursion in Coalgebraic Logic Programming.

[BibT_eX]

[DOI]

Martin Schmidt

CoRR, 2014

ACL2(ml): Machine-Learning for ACL2.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

HoTT formalisation in Coq: Dependency Graphs \& ML4PG.

[BibT_eX]

[DOI]

CoRR, 2014

Proof Pattern Search in Coq/SSReflect.

[BibT_eX]

[DOI]

CoRR, 2014

Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Computing persistent homology within Coq/SSReflect.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Exploiting Parallelism in Coalgebraic Logic Programming.

[BibT_eX]

[DOI]

Martin Schmidt

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

Verifying a platform for digital imaging: a multi-tool strategy

[BibT_eX]

[DOI]

CoRR, 2013

Statistical Proof Pattern Recognition: Automated or Interactive?

[BibT_eX]

[DOI]

CoRR, 2013

ML4PG: proof-mining in Coq

[BibT_eX]

[DOI]

CoRR, 2013

Statistical Proof-Patterns in Coq/SSReflect

[BibT_eX]

[DOI]

CoRR, 2013

Proof-Pattern Recognition in ACL2.

[BibT_eX]

[DOI]

Moa Johansson

Ewen Maclean

CoRR, 2013

Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

ML4PG in Computer Algebra Verification.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

Proof-Pattern Recognition and Lemma Discovery in ACL2.

[BibT_eX]

[DOI]

Moa Johansson

Ewen Maclean

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Machine Learning in Proof General: Interfacing Interfaces

[BibT_eX]

[DOI]

Gudmund Grov

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Towards a Certified Computation of Homology Groups for Digital Images.

[BibT_eX]

[DOI]

Proceedings of the Computational Topology in Image Context - 4th International Workshop, 2012

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

[BibT_eX]

[DOI]

María Poza

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

fKenzo: A user interface for computations in Algebraic Topology.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Mathematical knowledge management in algebraic topology.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2011

A System for Computing and Reasoning in Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Incidence Simplicial Matrices Formalized in Coq/SSReflect.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

A Certified Module to Study Digital Images with the Kenzo System.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2010

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Integrating Multiple Sources to Answer Questions in Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

2008

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology.

[BibT_eX]

[DOI]

Proceedings of the 1st European Lisp Symposium (ELS'08), 2008

Mediated Access to Symbolic Computation Systems.

[BibT_eX]

[DOI]