Capítulos de libros:
Heras Vicente, Jonathan

Encontrados 21 registros. 1 de 2
Título Autores Libro Año
DetectionEvaluationJ: a tool to evaluate object detection algorithms

Mata Sotés, Eloy JavierPascual Martínez-Losa, María VicoHeras Vicente, JonathanDomínguez Pérez, César; Inés, Adrián; García, Manuel;  Lecture Notes in Computer Science. Proceedings EUROCAST 2017 2018
SynapCountJ: A tool for analyzing synaptic densities in neurons

Mata Martínez, GadeaHeras Vicente, JonathanRomero Ibáñez, AnaRubio García, Julio; Morales, M.;  BIOIMAGING 2016 - 3rd International Conference on Bioimaging, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016 2016
Foreword

Romero Ibáñez, AnaHeras Vicente, Jonathan XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016
Obtaining an ACL2 sprecification from an Isabelle/HOL theory

Texto completo open access 
Aransay Azofra, Jesús MaríaLambán Pardo, LaureanoRubio García, Angel LuisPascual Martínez-Losa, María VicoHeras Vicente, JonathanRubio García, JulioDivasón Mallagaray, José Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 2014
Spectral sequences for computing persistent homology of digital images

Romero Ibáñez, AnaRubio García, JulioHeras Vicente, Jonathan; SERGERAERT, FRANCIS; Mata Martínez, Gadea;  Proceedings Applications of Computer Algebra ACA 2013 2013
Proof-Pattern Recognition and Lemma Discovery in ACL2

Texto completo open access 
Heras Vicente, Jonathan; Johansson, Moa; Komendantskaya, Ekaterina; Maclean, Ewen;  Lecture Notes in Computer Science. Proceedings LPAR-19 2013
A Certified Module to Study Digital Images with the Kenzo System

Texto completo open access 
Pascual Martínez-Losa, María VicoRubio García, JulioHeras Vicente, Jonathan Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 2012
Towards a certified computation of homology groups for digital images

Texto completo open access 
Mata Martínez, GadeaHeras Vicente, Jonathan; Poza López de Echazarreta, María; Mörtberg, Anders; Dénès, Maxime; Siles, Vincent;  Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings 2012
Verifying an algorithm computing Discrete Vector Fields for digital imaging

Texto completo open access 
Heras Vicente, JonathanRubio García, Julio; Mata Martínez, Gadea; Poza López de Echazarreta, María;  Lecture Notes in Computer Science, Proceedings CICM 2012 2012
An ACL2 formalization of algebraic structures

Heras Vicente, JonathanPascual Martínez-Losa, María Vico Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA2012 2012
Symbolic manipulation and biomedical images

Heras Vicente, JonathanRubio García, Julio; Mata, Gadea; Poza López de Echazarreta, María;  Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA2012 2012
Incidence Simplicial Matrices Formalized in Coq/SSReflect

Texto completo open access 
Heras Vicente, Jonathan; Dénès, Maxime; Poza López de Echazarreta, Eduardo; Rideau, Laurence;  Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings 2011
A System for Computing and Reasoning in Algebraic Topology

Texto completo open access 
Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings 2011
Integrating multiple sources to answer questions in Algebraic Topology

Texto completo open access 
Pascual Martínez-Losa, María VicoRubio García, JulioRomero Ibáñez, AnaHeras Vicente, Jonathan Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 2010
Mediated access to Symbolic Computation Systems: An OpenMath approach

 Texto completo open access 
Heras Vicente, JonathanPascual Martínez-Losa, María Vico Contribuciones científicas en honor de Mirian Andrés Gómez 2010
Effective homology of the pushout of simplicial sets

 
Heras Vicente, Jonathan EACA 2010: XII Encuentro de Álgebra Computacional y Aplicaciones = 12th Meeting on Computer Algebra and Applications : Libro de resúmenes = Book of abstracts : Santiago de Compostela, 19-21 de julio de 2010 2010
Cálculo en paralelo de la homología cúbica con gridMathematica

Rivas Rodríguez, María TeresaRubio García, JulioHernández Paricio, Luis JavierHeras Vicente, JonathanSáenz de Cabezón Irigaray, Eduardo Proceeding III Congreso Mathematica España 2009
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

Texto completo open access 
Rubio García, JulioHeras Vicente, JonathanPascual Martínez-Losa, María Vico Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings 2009