Vico Pascual

Marcos Martínez-Lanchares

Neurocomputing, February, 2024

Semi-supervised Learning Methods for Semantic Segmentation of Polyps.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2024

2023

Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant.

[BibT_eX]

[DOI]

Lucas Fernández-Cedrón

Jon Pellejero-Espinosa

Antonio Rubio-Loscertales

Carlos Tarragona-Pérez

J. Univers. Comput. Sci., May, 2023

Binary and multi-class automated detection of age-related macular degeneration using convolutional- and transformer-based architectures.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., February, 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

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

[BibT_eX]

[DOI]

CoRR, 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]

Pattern Recognit. Lett., 2021

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

[BibT_eX]

[DOI]

Héctor Alfonso Castro-Abril

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

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

[BibT_eX]

[DOI]

Ángela Casado-García

Gabriela Chichón

Comput. Biol. Medicine, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2021

2020

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

[BibT_eX]

[DOI]

Maria Soledad Vázquez-Garcidueñas

IEEE Access, 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

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

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

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

DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms.

[BibT_eX]

[DOI]

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

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

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

Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2011

fKenzo: A user interface for computations in Algebraic Topology.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

A System for Computing and Reasoning in Algebraic Topology.

[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]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2005

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2005

2003

An Object-oriented Interpretation of the EAT System.

[BibT_eX]

[DOI]

Laureano Lambán

Francisco J. García Izquierdo

Appl. Algebra Eng. Commun. Comput., 2003

XML-Based Interoperability Among Symbolic Computation Systems.

[BibT_eX]

Mirian Andrés

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2001

Hidden Specification of a Functional System.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2001

1999

Simplicial sets in the EAT system.

[BibT_eX]

[DOI]

Laureano Lambán

SIGSAM Bull., 1999

Specifying Implementations.

[BibT_eX]

[DOI]

Laureano Lambán