Capítulos de libros:
Rubio García, Julio

Encontrados 40 registros. 1 de 2
Título Autores Libro Año
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
Automatic detection of neurons in high-content microscope images using machine learning approaches

Mata Martínez, GadeaRubio García, Julio; Radojevic, M.; Smal, I.; Morales, M.; Meijering, E.;  Proceedings - International Symposium on Biomedical Imaging 2016
Towards a verifiable Topology of Data

Rubio García, JulioLambán Pardo, Laureano; Ruiz-Reina, José-Luis; Martín-Mateos, Francisco-Jesús;  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
Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actual

Texto completo open access 
Lambán Pardo, LaureanoRubio García, Julio; Martin-Mateos, F.J.; Ruiz-Reina, J.-L.;  Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2013
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
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
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
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
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
Teaching Geometry with TutorMates

Rubio García, Julio; Recio, Tomás; González, María José; Pascual, Abel; González-Vega, Laureano;  Proceedings ICCSA 2011 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
Computing in Coq with infinite algebraic data structures

 Texto completo open access 
Domínguez Pérez, CésarRubio García, Julio Proceedings CICM 2010 2010
TutorMates : La integración del álgebra computacional en una herramienta gráfica de enseñanza de las matemáticas (2 años después)

 
Rubio García, Julio 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
Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP

 
Romero Ibáñez, AnaRubio García, Julio; Ellis, Graham;  Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2009
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
ACL2 verification of simplicial degeneracy programs in the Kenzo system

Texto completo open access 
Rubio García, Julio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis;  Intelligent Computer Mathematics 2009
Formal Modelling of a Coordination System: from Practice to Theory, and back again

 Texto completo open access 
Mata Sotés, Eloy JavierRubio García, Julio; Alvarez, Pedro; Bañares, José A.;  Lecture Notes in Computer Science, 2007, Volume 4457 2007
Functional and Object-Oriented Programming: experiments in-between

Olarte Larrea, Juan JoséRubio García, Julio Functional and Object-Oriented Programming: experiments in-between 2004