date_range Duración del 01 de enero de 2015 al 31 de diciembre de 2018 (48 meses)
euro 22.385,00 EUR

De ámbito Nacional.

Investigadores/as

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

Publicaciones relacionadas con el proyecto (17)

Mostrar por anualidad

Artículo

  1. A Systematic Review of Provenance Systems 2018

    Knowledge and Information Systems

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

    BMC Bioinformatics

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

    Journal of Automated Reasoning

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

    Communications in Computer and Information Science

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

    Computer Methods and Programs in Biomedicine

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

    Computers in Biology and Medicine

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

    Formal Aspects of Computing

  8. A survey of tools for analysing DNA fingerprints 2016

    Briefings in Bioinformatics

  9. Effective homology of filtered digital images 2016

    Pattern Recognition Letters

  10. QR Decomposition 2015

    Archive of Formal Proofs

  11. Echelon Form 2015

    Archive of Formal Proofs

  12. Hermite Normal Form 2015

    Archive of Formal Proofs

  13. GelJ - a tool for analyzing DNA fingerprint gel images 2015

    BMC Bioinformatics

  14. Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images 2015

    Briefings in Bioinformatics

  15. Zigzag persistent homology for processing neuronal images 2015

    Pattern Recognition Letters

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

    Journal of Functional Programming

Tesis

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

    Divasón Mallagaray, Jose