Artículos de revistas:
Heras Vicente, Jonathan

Encontrados 36 registros. 1 de 2
Título Autores Revista Año
Extending GelJ for interoperability: Filling the gap in the bioinformatics resources for population genetics analysis with dominant markers

Domínguez Pérez, CésarHeras Vicente, JonathanMata Sotés, Eloy JavierPascual Martínez-Losa, María Vico; Vázquez-Garcidueñas, M.S.; Vázquez-Marrufo, G.;  Computer Methods and Programs in Biomedicine 2017
Antibiogramj: A tool for analysing images from disk diffusion tests

Alonso Arribas, Carla AndreaDomínguez Pérez, CésarHeras Vicente, JonathanMata Sotés, Eloy JavierPascual Martínez-Losa, María VicoTorres Manrique, CarmenZarazaga Chamorro, Myriam Computer Methods and Programs in Biomedicine 2017
IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine

Domínguez Pérez, CésarHeras Vicente, JonathanPascual Martínez-Losa, María Vico Computers in Biology and Medicine 2017
SynapcountJ: A validated tool for analyzing synaptic densities in neurons

Mata Martínez, GadeaHeras Vicente, JonathanRomero Ibáñez, AnaRubio García, Julio; Cuesto G.; Morales M.;  Communications in Computer and Information Science 2017
Proof mining with dependent types

Heras Vicente, Jonathan; Komendantskaya, E.;  Lecture Notes in Computer Science 2017
A survey of tools for analysing DNA fingerprints

Texto completo open access 
Heras Vicente, JonathanDomínguez Pérez, CésarMata Sotés, Eloy JavierPascual Martínez-Losa, María VicoLozano Fernández, CarmenTorres Manrique, CarmenZarazaga Chamorro, Myriam Briefings in Bioinformatics 2016
Spiral and Project Based Learning with Peer-Assessment in a Computer Science Project Management Course

Domínguez Pérez, CésarJaime Elizondo, ArturoHeras Vicente, Jonathan; USANDIZAGA LOMBANA, IMANOL; BLANCO ARBE, JOSÉ MIGUEL; SÁNCHEZ ORTEGA, ANA;  Journal of Science Education and Technology 2016
A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: the competitive effect

Domínguez Pérez, CésarHeras Vicente, JonathanJaime Elizondo, Arturo; SÁNCHEZ ORTEGA, ANA; BLANCO ARBE, JOSÉ MIGUEL;  Computers in Human Behavior 2016
El grupo de investigación en educación superior en informática de La Rioja y País Vasco: telecolaboración, PBL, valoración por pares y proyectos fin de carrera

Texto completo open access 
Heras Vicente, JonathanGarcía Izquierdo, Francisco JoséOlarte Larrea, Juan JoséDomínguez Pérez, CésarJaime Elizondo, Arturo; SÁNCHEZ ORTEGA, ANA;  ReVisión: Revista de AENUI 2016
Spiral and Project-Based Learning with Peer Assessment in a Computer Science Project Management Course

Jaime Elizondo, ArturoDomínguez Pérez, CésarHeras Vicente, Jonathan; Blanco, JM; Sanchez, A; Usandizaga, I;  Journal of Science Education and Technology 2016
Modelling algebraic structures and morphisms in ACL2

Texto completo open access 
Heras Vicente, JonathanPascual Martínez-Losa, María Vico; Martin-Mateos, F.J.;  Applicable Algebra in Engineering, Communications and Computing 2015
GelJ - a tool for analyzing DNA fingerprint gel images

Texto completo open access 
Heras Vicente, JonathanDomínguez Pérez, CésarMata Sotés, Eloy JavierPascual Martínez-Losa, María VicoLozano Fernández, CarmenTorres Manrique, CarmenZarazaga Chamorro, Myriam BMC Bioinformatics 2015
Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images

Texto completo open access 
Pascual Martínez-Losa, María VicoMata Sotés, Eloy JavierDomínguez Pérez, CésarHeras Vicente, Jonathan Briefings in Bioinformatics 2015
Procesamiento topo-geométrico de imágenes neuronales

Romero Ibáñez, AnaHeras Vicente, JonathanRubio García, Julio; Mata, Gadea; Morales, Miguel;  La Gaceta de la Real Sociedad Matemática Española (RSME) 2014
Obtaining an ACL2 specification from an Isabelle/HOL theory

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, JoséHeras Vicente, JonathanLambán Pardo, LaureanoPascual Martínez-Losa, María VicoRubio García, Angel LuisRubio García, Julio Lecture Notes in Computer Science 2014
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

Aransay Azofra, Jesús MaríaMata Sotés, Eloy JavierOlarte Larrea, Juan JoséRubio García, JulioJaime Elizondo, ArturoPascual Martínez-Losa, María VicoLambán Pardo, LaureanoDomínguez Pérez, CésarSáenz de Cabezón Irigaray, EduardoRomero Ibáñez, AnaGarcía Izquierdo, Francisco JoséPérez Valle, BeatrizHeras Vicente, JonathanMata Martínez, GadeaRubio García, Angel LuisDivasón Mallagaray, José Zubía 2014
A certified reduction strategy for homological image processing

Texto completo open access 
Domínguez Pérez, CésarHeras Vicente, JonathanRubio García, Julio ACM Transactions on Computational Logic 2014
Verifying a plaftorm for digital imaging: A multi-tool strategy

Texto completo open access 
Heras Vicente, JonathanMata Martínez, GadeaRomero Ibáñez, AnaRubio García, Julio; Sáenz, Rubén;  Lecture Notes in Computer Science 2013
fKenzo: a user interface for computations in Algebraic Topology

Texto completo open access 
Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio; Sergeraert, Francis;  Journal of Symbolic Computation 2011
fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica

Texto completo open access 
Rubio García, JulioHeras Vicente, JonathanPascual Martínez-Losa, María Vico; Sergeraert, Francis;  La Gaceta de la Real Sociedad Matemática Española (RSME) 2011