1 code implementation • 3 Feb 2023 • Coen de Vente, Koenraad A. Vermeer, Nicolas Jaccard, He Wang, Hongyi Sun, Firas Khader, Daniel Truhn, Temirgali Aimyshev, Yerkebulan Zhanibekuly, Tien-Dung Le, Adrian Galdran, Miguel Ángel González Ballester, Gustavo Carneiro, Devika R G, Hrishikesh P S, Densen Puthussery, Hong Liu, Zekang Yang, Satoshi Kondo, Satoshi Kasai, Edward Wang, Ashritha Durvasula, Jónathan Heras, Miguel Ángel Zapata, Teresa Araújo, Guilherme Aresta, Hrvoje Bogunović, Mustafa Arikan, Yeong Chan Lee, Hyun Bin Cho, Yoon Ho Choi, Abdul Qayyum, Imran Razzak, Bram van Ginneken, Hans G. Lemij, Clara I. Sánchez
Artificial intelligence (AI) can be used to analyze color fundus photographs (CFPs) in a cost-effective manner, making glaucoma screening more accessible.
no code implementations • 27 Jan 2023 • Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
In this paper we describe the mathematical foundations of a new approach to semi-supervised Machine Learning.
no code implementations • 19 May 2022 • Adrián Inés, Andrés Díaz-Pinto, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
By combining semi-supervised learning methods with compact networks, it is possible to obtain a similar performance to standard size networks.
1 code implementation • 19 May 2022 • Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
In the former, we have used a homological approach that consists in studying the persistence diagrams associated with the data using the Bottleneck and Wasserstein distances.
1 code implementation • 16 Dec 2021 • Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
In this work, we address this challenge by studying both neural style transfer algorithms and unpaired image-to-image translation methods in the context of the segmentation of tumour spheroids.
1 code implementation • 14 Dec 2021 • María Villota, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
Forms are a widespread type of template-based document used in a great variety of fields including, among others, administration, medicine, finance, or insurance.
no code implementations • 11 May 2021 • Afshin Shoeibi, Marjane Khodatars, Mahboobeh Jafari, Parisa Moridian, Mitra Rezaei, Roohallah Alizadehsani, Fahime Khozeimeh, Juan Manuel Gorriz, Jónathan Heras, Maryam Panahiazar, Saeid Nahavandi, U. Rajendra Acharya
In this paper, a complete review of automated MS diagnosis methods performed using DL techniques with MRI neuroimaging modalities are discussed.
1 code implementation • IEEE 2020 • Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
In this work, we present FrImCla, an open-source and free tool that simplifies the construction of robust models for image classification from a dataset of images, and only using the computer CPU.
1 code implementation • 12 Dec 2019 • Ángela Casado-García, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
A correct localisation of tables in a document is instrumental for determining their structure and extracting their contents; therefore, table detection is a key step in table understanding.
no code implementations • 15 Sep 2015 • Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales
Automation and reliability are the two main requirements when computers are applied in Life Sciences.
no code implementations • 28 Jul 2015 • Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
The quantification of synapses is instrumental to measure the evolution of synaptic densities of neurons under the effect of some physiological conditions, neuronal diseases or even drug treatments.
1 code implementation • 26 Mar 2014 • Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
By general case we mean methods able to process simplicial sets and chain complexes not of finite type.
Computational Geometry Symbolic Computation Algebraic Topology
no code implementations • 5 Mar 2013 • Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images.
no code implementations • 26 Feb 2013 • Jónathan Heras, Ekaterina Komendantskaya
ML4PG is a machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development.
no code implementations • 25 Jan 2013 • Jónathan Heras, Ekaterina Komendantskaya
Development of Interactive Theorem Provers has led to the creation of big libraries and varied infrastructures for formal proofs.
no code implementations • 14 Dec 2012 • Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
We present ML4PG - a machine learning extension for Proof General.