- idUS
- Browsing by Author
Browsing by Author "Heras, Jónathan"
Now showing items 1-4 of 4
-
Article
Modelling algebraic structures and morphisms in ACL2
Heras, Jónathan; Martín Mateos, Francisco Jesús; Pascual, Vico (Springer, 2015)In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theorem prover. Namely, we ...
-
Article
On automation and certification of a homological method to process biomedical digital images
Heras, Jónathan; Mata, Gadea; Poza, María; Rubio, Julio (Universidad de Sevilla, 2011)In this paper a methodology to extract and compute homological information from biomedical images is proposed; automating ...
-
Article
Optimizing the Simplicial-Map Neural Network Architecture
Paluzo Hidalgo, Eduardo; González Díaz, Rocío; Gutiérrez Naranjo, Miguel Ángel; Heras, Jónathan (MDPI, 2021)Simplicial-map neural networks are a recent neural network architecture induced by simplicial maps defined between ...
-
Article
Simplicial-Map Neural Networks Robust to Adversarial Examples
Paluzo Hidalgo, Eduardo; González Díaz, Rocío; Gutiérrez Naranjo, Miguel Ángel; Heras, Jónathan (MDPI [Commercial Publisher], 2021-01-15)Broadly speaking, an adversarial example against a classification model occurs when a small perturbation on an input data ...