Jónathan Heras | DeepAI

AI Chat

Featured Co-authors

Saeid Nahavandi
51 publications
Abbas Khosravi
36 publications
Roohallah Alizadehsani
24 publications
U. Rajendra Acharya
23 publications
Ekaterina Komendantskaya
19 publications
Afshin Shoeibi
18 publications
Juan M. Gorriz
12 publications
Navid Ghassemi
10 publications
Parisa Moridian
8 publications
Assef Zare
8 publications
Yu-Dong Zhang
7 publications

∙ 01/27/2023

Semi-Supervised Machine Learning: a Homological Approach

In this paper we describe the mathematical foundations of a new approach...

0 Adrián Inés, et al. ∙

∙ 10/26/2022

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

Myocarditis is among the most important cardiovascular diseases (CVDs), ...

6 Mahboobeh Jafari, et al. ∙

∙ 05/19/2022

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

The development of mobile and on the edge applications that embed deep c...

9 Adrián Inés, et al. ∙

∙ 05/19/2022

A Topological Approach for Semi-Supervised Learning

Nowadays, Machine Learning and Deep Learning methods have become the sta...

30 Adrián Inés, et al. ∙

∙ 12/16/2021

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

Background and objectives. Domain shift is a generalisation problem of m...

2 Manuel García-Domínguez, et al. ∙

∙ 12/14/2021

Text Classification Models for Form Entity Linking

Forms are a widespread type of template-based document used in a great v...

5 María Villota, et al. ∙

∙ 09/02/2021

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

Schizophrenia (SZ) is a mental disorder whereby due to the secretion of ...

15 Afshin Shoeibi, et al. ∙

∙ 05/11/2021

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

Multiple Sclerosis (MS) is a type of brain disease which causes visual, ...

4 Afshin Shoeibi, et al. ∙

∙ 04/24/2021

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

The outbreak of the corona virus disease (COVID-19) has changed the live...

16 Navid Ghassemi, et al. ∙

∙ 12/12/2019

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

A correct localisation of tables in a document is instrumental for deter...

0 Ángela Casado-García, et al. ∙

∙ 09/06/2018

Guiding the Creation of Deep Learning-based Object Detectors

Object detection is a computer vision field that has applications in sev...

0 Ángela Casado, et al. ∙

∙ 05/12/2017

Proof Mining with Dependent Types

Several approaches exist to data-mining big corpora of formal proofs. So...

0 Ekaterina Komendantskaya, et al. ∙

∙ 09/15/2015

Neuron detection in stack images: a persistent homology interpretation

Automation and reliability are the two main requirements when computers ...

0 Jónathan Heras, et al. ∙

∙ 07/28/2015

SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons

The quantification of synapses is instrumental to measure the evolution ...

0 Gadea Mata, et al. ∙

∙ 01/25/2013

Recycling Proof Patterns in Coq: Case Studies

Development of Interactive Theorem Provers has led to the creation of bi...

0 Jónathan Heras, et al. ∙

∙ 12/14/2012

Machine Learning in Proof General: Interfacing Interfaces

We present ML4PG - a machine learning extension for Proof General. It al...

0 Ekaterina Komendantskaya, et al. ∙

∙ 07/13/2012

Verifying an algorithm computing Discrete Vector Fields for digital imaging

In this paper, we present a formalization of an algorithm to construct a...

0 Jónathan Heras, et al. ∙

∙ 04/27/2010

Integrating multiple sources to answer questions in Algebraic Topology

We present in this paper an evolution of a tool from a user interface fo...

0 Jónathan Heras, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world