research
∙
01/27/2023
Semi-Supervised Machine Learning: a Homological Approach
In this paper we describe the mathematical foundations of a new approach...
share
research
∙
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), ...
research
∙
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...
research
∙
05/19/2022
A Topological Approach for Semi-Supervised Learning
Nowadays, Machine Learning and Deep Learning methods have become the sta...
research
∙
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...
research
∙
12/14/2021
Text Classification Models for Form Entity Linking
Forms are a widespread type of template-based document used in a great v...
research
∙
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 ...
research
∙
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, ...
research
∙
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...
research
∙
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...
research
∙
09/06/2018
Guiding the Creation of Deep Learning-based Object Detectors
Object detection is a computer vision field that has applications in sev...
research
∙
05/12/2017
Proof Mining with Dependent Types
Several approaches exist to data-mining big corpora of formal proofs. So...
research
∙
09/15/2015
Neuron detection in stack images: a persistent homology interpretation
Automation and reliability are the two main requirements when computers ...
research
∙
07/28/2015
SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons
The quantification of synapses is instrumental to measure the evolution ...
research
∙
01/25/2013
Recycling Proof Patterns in Coq: Case Studies
Development of Interactive Theorem Provers has led to the creation of bi...
research
∙
12/14/2012
Machine Learning in Proof General: Interfacing Interfaces
We present ML4PG - a machine learning extension for Proof General. It al...
research
∙
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...
research
∙
04/27/2010
