Jónathan Heras

发表

A Topological Approach for Semi-Supervised Learning

Adri'an In'es, Gadea Mata, C. Dom'inguez, 2022, ArXiv.

Applications of Deep Learning Techniques for Automated Multiple Sclerosis Detection Using Magnetic Resonance Imaging: A Review

Saeid Nahavandi, Afshin Shoeibi, Roohallah Alizadehsani, 2021, Comput. Biol. Medicine.

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

César Domínguez, Jónathan Heras, Eloy Mata, 2021, Comput. Biol. Medicine.

GelJ – a tool for analyzing DNA fingerprint gel images

César Domínguez, Jónathan Heras, Eloy Mata, 2015, BMC Bioinformatics.

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

Saeid Nahavandi, Navid Ghassemi, Afshin Shoeibi, 2021, Frontiers in Neuroinformatics.

Optimizing the Simplicial-Map Neural Network Architecture

Jónathan Heras, Eduardo Paluzo-Hidalgo, Rocio Gonzalez-Diaz, 2021, J. Imaging.

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

Juan Romero, Carlos Fernandez-Lozano, Adrian Carballal, 2019, Neural Computing and Applications.

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

César Domínguez, Jónathan Heras, Vico Pascual, 2017, Comput. Biol. Medicine.

Antibiogramj: A tool for analysing images from disk diffusion tests

César Domínguez, Jónathan Heras, Eloy Mata, 2017, Comput. Methods Programs Biomed..

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

Jónathan Heras, Felix B. Fritschi, Ángela Casado-García, 2020, Comput. Electron. Agric..

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

J. Heras, M. Zapata, C. Domínguez, 2022, Comput. Methods Programs Biomed..

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

César Domínguez, Eloy Mata, Vico Pascual, 2020, IEEE Access.

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

J. Heras, C. Domínguez, Marina Arredondo-Santoyo, 2019, Soft Computing.

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

César Domínguez, Eloy Mata, Vico Pascual, 2019, Soft Comput..

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

César Domínguez, Jónathan Heras, Eloy Mata, 2018, DCAI.

Effective Homology of the Pushout of Simplicial Sets

Jónathan Heras, 2014, 1410.3651.

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

César Domínguez, Eloy Mata, Vico Pascual, 2019, DAS.

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

J. Heras, V. Pascual, Adri'an In'es, 2022, ArXiv.

Monomial Resolutions for Efficient Computation of Simplicial Homology

Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón, 2019, ISSAC.

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

A Inés, C Domínguez, J Heras, 2020, Comput. Methods Programs Biomed..

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

A. Inés, C. Domínguez, J. Heras, 2019, Comput. Biol. Medicine.

DeepCompareJ: Comparing Image Classification Models

Jónathan Heras, A. Inés, C. Domínguez, 2019, EUROCAST.

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

César Domínguez, Jónathan Heras, Francisco José García Izquierdo, 2019, ACM Trans. Comput. Educ..

Deep Learning Projects from a Regional Council: An Experience Report

Jónathan Heras, 2021, Teaching ML.

Automatic diagnosis of COVID-19 from CT images using CycleGAN and transfer learning pdf

Navid Ghassemi, Afshin Shoeibi, Ram Bilas Pachori, 2021, Applied Soft Computing.

DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms

César Domínguez, Jónathan Heras, Eloy Mata, 2017, EUROCAST.

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

César Domínguez, Eloy Mata, Vico Pascual, 2017, Comput. Methods Programs Biomed..

Ensemble Methods for Object Detection

Jónathan Heras, Ángela Casado-García, Á. Casado-García, 2020, ECAI.

Neuron detection in stack images: a persistent homology interpretation pdf

Jónathan Heras, Gadea Mata, Miguel Morales, 2015, ArXiv.

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

U. Acharya, J. Górriz, A. Khosravi, 2022, ArXiv.

2 Machine Learning in Proof General : Interfacing Interfaces

J. Heras, G. Grov, E. Komendantskaya, 2013 .

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

Ana Sánchez, César Domínguez, Jónathan Heras, 2016, Comput. Hum. Behav..

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

J. Górriz, A. Shoeibi, Navid Ghassemi, 2022, IWINAC.

Semi-Supervised Machine Learning: a Homological Approach

Adri'an In'es, Gadea Mata, C. Dom'inguez, 2023, ArXiv.

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

J. Heras, V. Pascual, C'esar Dom'inguez, 2021, ArXiv.

Recycling Proof Patterns in Coq: Case Studies

Jónathan Heras, Ekaterina Komendantskaya, E. Komendantskaya, 2013, Math. Comput. Sci..

Machine Learning in Proof General: Interfacing Interfaces

Gudmund Grov, Jónathan Heras, Ekaterina Komendantskaya, 2012, UITP.

Spiral and Project-Based Learning with Peer Assessment in a Computer Science Project Management Course

C. Domínguez, A. Jaime, Imanol Usandizaga, 2016 .

Exploring the differences between low-stakes proctored and unproctored language testing using an Internet-based application

César Domínguez, Jónathan Heras, Javier López-Cuadrado, 2019, Computer Assisted Language Learning.

Application of multi-regression machine learning algorithms to solve ocean water mass mixing in the Atlantic Ocean

J. Heras, X. Álvarez‐Salgado, M. Álvarez, 2022, Frontiers in Marine Science.

César Domínguez, Jónathan Heras, Eloy Mata, 2016, CAEPIA.

Surveying and benchmarking techniques to analyse DNA gel fingerprint images

César Domínguez, Jónathan Heras, Eloy Mata, 2015, Briefings Bioinform..

Exploiting Parallelism in Coalgebraic Logic Programming

Martin Schmidt, Jónathan Heras, Ekaterina Komendantskaya, 2013, WACT.

University of Dundee Exploiting parallelism in coalgebraic logic programming

J. Heras, E. Komendantskaya, Martin Schmidt, 2016 .

Prediction of Epiretinal Membrane from Retinal Fundus Images Using Deep Learning

Jónathan Heras, Ángela Casado-García, Manuel García-Domínguez, 2021, CAEPIA.

Simplicial-Map Neural Networks Robust to Adversarial Examples

Jónathan Heras, Miguel A. Gutiérrez-Naranjo, Eduardo Paluzo-Hidalgo, 2021, Mathematics.

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

César Domínguez, Jónathan Heras, Eloy Mata, 2019, BMC Bioinformatics.

SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons pdf

Jónathan Heras, Ana Romero, Gadea Mata, 2016, BIOIMAGING.

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

Jónathan Heras, Ana Romero, Gadea Mata, 2013, MKM/Calculemus/DML.

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

C. Domínguez, Jónathan Heras, Eloy J. Mata, 2018, BMC Bioinformatics.

Obtaining an ACL2 Specification from an Isabelle/HOL Theory

Jose Divasón, Jesús Aransay, Jónathan Heras, 2014, AISC.

Proof Pattern Search in Coq/SSReflect pdf

Jónathan Heras, Ekaterina Komendantskaya, Jónathan Heras, 2014, ArXiv.

Mediated Access to Symbolic Computation Systems

Jónathan Heras, Vico Pascual, Julio Rubio, 2008, AISC/MKM/Calculemus.

Modelling algebraic structures and morphisms in ACL2

Francisco-Jesús Martín-Mateos, Jónathan Heras, Vico Pascual, 2015, Applicable Algebra in Engineering, Communication and Computing.

Guiding the Creation of Deep Learning-based Object Detectors pdf

Jónathan Heras, Ángela Casado, Jónathan Heras, 2018, ArXiv.

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

C. Domínguez, C. Tarragona-Pérez, Jónathan Heras, 2023, J. Univers. Comput. Sci..

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

Saeid Nahavandi, Navid Ghassemi, Afshin Shoeibi, 2021, ArXiv.

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

César Domínguez, Eloy Mata, Vico Pascual, 2020, Comput. Methods Programs Biomed..

HoTT formalisation in Coq: Dependency Graphs \& ML4PG pdf

Jónathan Heras, Ekaterina Komendantskaya, Jónathan Heras, 2014, ArXiv.