date_range Durée de 01 janvier 2015 à 31 décembre 2018 (48 mois)
euro 22 385,00 EUR

Sphère National.

Chercheurs

Foto de Julio
Julio
Rubio García
Responsable
Foto de Jesús María
Jesús María
Aransay Azofra
Foto de César
César
Domínguez Pérez
Foto de Laureano
Laureano
Lambán Pardo
Foto de María Vico
María Vico
Pascual Martínez-Losa

Publications liées au projet

Montrer par typologie

2018

  1. A Systematic Review of Provenance Systems

    Knowledge and Information Systems

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

    BMC Bioinformatics

2017

  1. A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem

    Journal of Automated Reasoning

  2. SynapcountJ: A validated tool for analyzing synaptic densities in neurons

    Communications in Computer and Information Science

  3. Antibiogramj: A tool for analysing images from disk diffusion tests

    Computer Methods and Programs in Biomedicine

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

    Computers in Biology and Medicine

2016

  1. Formalisation and execution of Linear Algebra: theorems and algorithms

    Divasón Mallagaray, Jose

  2. Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL

    Formal Aspects of Computing

  3. A survey of tools for analysing DNA fingerprints

    Briefings in Bioinformatics

  4. Effective homology of filtered digital images

    Pattern Recognition Letters

2015

  1. QR Decomposition

    Archive of Formal Proofs

  2. Echelon Form

    Archive of Formal Proofs

  3. Hermite Normal Form

    Archive of Formal Proofs

  4. GelJ - a tool for analyzing DNA fingerprint gel images

    BMC Bioinformatics

  5. Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images

    Briefings in Bioinformatics

  6. Zigzag persistent homology for processing neuronal images

    Pattern Recognition Letters

  7. Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm

    Journal of Functional Programming