date_range Duració del 01 de de gener de 2015 al 31 de de desembre de 2018 (48 mesos)
euro 22.385,00 EUR

Dàmbit {0}.

Investigadors/es

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

Publicacions relacionades amb el projecte (17)

Mostra per tipologia

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