Vico Pascual

Orcid: 0000-0003-3576-0889

According to our database1, Vico Pascual authored at least 47 papers between 1999 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Deep style transfer to deal with the domain shift problem on spheroid segmentation.
Neurocomputing, February, 2024

2023
Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant.
J. Univers. Comput. Sci., May, 2023

Binary and multi-class automated detection of age-related macular degeneration using convolutional- and transformer-based architectures.
Comput. Methods Programs Biomed., February, 2023

MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation.
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.
CoRR, 2022

Text Classification Models for Form Entity Linking.
Proceedings of the Distributed Computing and Artificial Intelligence, 2022

Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books.
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.
Pattern Recognit. Lett., 2021

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

SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation.
Comput. Methods Programs Biomed., 2021

Biomedical image classification made easier thanks to transfer and semi-supervised learning.
Comput. Methods Programs Biomed., 2021

MotilityJ: An open-source tool for the classification and segmentation of bacteria on motility images.
Comput. Biol. Medicine, 2021

Towards Combining Object Detection and Text Classification Models for Form Entity Recognition.
Proceedings of the Advances in Artificial Intelligence, 2021

2020
FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques.
IEEE Access, 2020

The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images.
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.
Soft Comput., 2019

DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks for image classification.
Comput. Biol. Medicine, 2019

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

DeepCompareJ: Comparing Image Classification Models.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Jupyter Notebooks for Simplifying Transfer Learning.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2018
DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains.
BMC Bioinform., 2018

Towards Integrating ImageJ with Deep Biomedical Models.
Proceedings of the Distributed Computing and Artificial Intelligence, 2018

An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis.
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.
Comput. Methods Programs Biomed., 2017

Antibiogramj: A tool for analysing images from disk diffusion tests.
Comput. Methods Programs Biomed., 2017

IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine.
Comput. Biol. Medicine, 2017

DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2016
A survey of tools for analysing DNA fingerprints.
Briefings Bioinform., 2016

Surveying and benchmarking techniques to analyse DNA gel fingerprint images.
Briefings Bioinform., 2016

WekaBioSimilarity - Extending Weka with Resemblance Measures.
Proceedings of the Advances in Artificial Intelligence, 2016

2015
GelJ - a tool for analyzing DNA fingerprint gel images.
BMC Bioinform., 2015

Modelling algebraic structures and morphisms in ACL2.
Appl. Algebra Eng. Commun. Comput., 2015

2014
Obtaining an ACL2 Specification from an Isabelle/HOL Theory.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2011
fKenzo: A user interface for computations in Algebraic Topology.
J. Symb. Comput., 2011

A System for Computing and Reasoning in Algebraic Topology.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

A Certified Module to Study Digital Images with the Kenzo System.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2010
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Integrating Multiple Sources to Answer Questions in Algebraic Topology.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.
Proceedings of the Intelligent Computer Mathematics, 2009

2008
Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology.
Proceedings of the 1st European Lisp Symposium (ELS'08), 2008

Mediated Access to Symbolic Computation Systems.
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.
Proceedings of the Computational Science, 2005

2003
An Object-oriented Interpretation of the EAT System.
Appl. Algebra Eng. Commun. Comput., 2003

XML-Based Interoperability Among Symbolic Computation Systems.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2001
Hidden Specification of a Functional System.
Proceedings of the Computer Aided Systems Theory, 2001

1999
Simplicial sets in the EAT system.
SIGSAM Bull., 1999

Specifying Implementations.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999


  Loading...