Artykuły udostępnione publicznie: - Julio RubioWięcej informacji
Niedostępne w żadnym miejscu: 2
Effective homology of filtered digital images
A Romero, J Rubio, F Sergeraert
Pattern Recognition Letters 83, 23-31, 2016
Upoważnienia: Government of Spain
Constructing new spectral systems from simplicial fibrations
D Miguel, A Guidolin, A Romero, J Rubio
ACM Communications in Computer Algebra 55 (3), 87-91, 2022
Upoważnienia: Government of Spain
Dostępne w jakimś miejscu: 20
A systematic review of provenance systems
B Pérez, J Rubio, C Sáenz-Adán
Knowledge and Information Systems 57, 495-543, 2018
Upoważnienia: Government of Spain
Homotopy groups of suspended classifying spaces: an experimental approach
A Romero, J Rubio
Mathematics of computation 82 (284), 2237-2244, 2013
Upoważnienia: Government of Spain
fKenzo: A user interface for computations in Algebraic Topology
J Heras, V Pascual, J Rubio, F Sergeraert
Journal of Symbolic Computation 46 (6), 685-698, 2011
Upoważnienia: Government of Spain
Formalization of a normalization theorem in simplicial topology
L Lambán, FJ Martín–Mateos, J Rubio, JL Ruiz–Reina
Annals of Mathematics and Artificial Intelligence 64 (1), 1-37, 2012
Upoważnienia: Government of Spain
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
L Lambán, J Rubio, FJ Martín-Mateos, JL Ruiz-Reina
Logic Journal of IGPL 22 (1), 39-65, 2014
Upoważnienia: Government of Spain
Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning
G Mata, M Radojević, C Fernandez-Lozano, I Smal, N Werij, M Morales, ...
Neuroinformatics 17 (2), 253-269, 2019
Upoważnienia: Government of Spain
A certified reduction strategy for homological image processing
M Poza, C Domínguez, J Heras, J Rubio
ACM Transactions on Computational Logic 15 (3, paper number 23), 2014
Upoważnienia: UK Engineering and Physical Sciences Research Council
Applying ACL2 to the formalization of algebraic topology: simplicial polynomials
L Lambán, FJ Martín-Mateos, J Rubio, JL Ruiz-Reina
International Conference on Interactive Theorem Proving, 200-215, 2011
Upoważnienia: Government of Spain
Computing the homology of groups: the geometric way
A Romero, J Rubio
Journal of Symbolic Computation 47 (7), 752-770, 2012
Upoważnienia: Government of Spain
Automatic detection of neurons in high-content microscope images using machine learning approaches
G Mata, M Radojevic, I Smal, M Morales, E Meijering, J Rubio
2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI), 330-333, 2016
Upoważnienia: Netherlands Organisation for Scientific Research
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
L Lambán Pardo, FJ Martín Mateos, J Rubio, JL Ruiz Reina
ITP 2017: 8th International Conference on Interactive Theorem Proving (2017 …, 2017
Upoważnienia: Government of Spain
Certified symbolic manipulation: bivariate simplicial polynomials
L Lambán, FJ Martín-Mateos, J Rubio, JL Ruiz-Reina
Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013
Upoważnienia: Government of Spain
A new Kenzo module for computing the Eilenberg-Moore spectral sequence
A Romero, J Rubio, F Sergeraert, M Szymik
ACM Communications in Computer Algebra 54 (2), 57-60, 2020
Upoważnienia: Government of Spain
Effective spectral systems relating Serre and Eilenberg–Moore spectral sequences
D Miguel, A Guidolin, A Romero, J Rubio
Journal of Symbolic Computation 114, 122-148, 2023
Upoważnienia: Knut and Alice Wallenberg Foundation
An implementation of effective homotopy of fibrations
A Romero, J Rubio, F Sergeraert
Journal of Symbolic Computation 94, 149-172, 2019
Upoważnienia: Government of Spain
Obtaining an ACL2 specification from an Isabelle/HOL theory
J Aransay-Azofra, J Divasón, J Heras, L Lambán, MV Pascual, ÁL Rubio, ...
International Conference on Artificial Intelligence and Symbolic Computation …, 2014
Upoważnienia: Government of Spain
Formalizing Alexander duality through BDDs.
J Aransay, L Lambán, J Michaelis, J Rubio
ISAIM, 2022
Upoważnienia: Government of Spain
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
L Lambán Pardo, J Rubio, FJ Martín Mateos, JL Ruiz Reina
Logic Journal of the IGPL, 22 (1), 39-65., 2013
Upoważnienia: Government of Spain
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy