Departamento
Matemáticas y Computación
Publicaciones (168) Publicaciones en las que ha participado algún/a investigador/a
2018
-
1-greedy renormings of Garling sequence spaces
Journal of Approximation Theory, Vol. 230, pp. 13-23
-
A Formalization of the LLL Basis Reduction Algorithm
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A Hardy Inequality for Ultraspherical Expansions with an Application to the Sphere
Journal of Fourier Analysis and Applications, Vol. 2, Núm. 1, pp. 416-430
-
A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving
WST 2018 16th International Workshop on Termination
-
A Systematic Review of Provenance Systems
Knowledge and Information Systems
-
A computational review of spectral sequences and applications
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 21-24
-
A contemporary study of iterative methods: Convergence, dynamics and applications
Elsevier, pp. 1-385
-
A differential algebra-based importance sampling method for impact probability computation on earth resonant returns of near-earth objects
Monthly Notices of the Royal Astronomical Society, Vol. 479, Núm. 4, pp. 5474-5490
-
A formal proof of the computation of hermite normal form in a general setting
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A note on Poisson goodness-of-fit tests for ionizing radiation induced chromosomal aberration samples
International Journal of Radiation Biology, Vol. 94, Núm. 7, pp. 656-663
-
A parametric study of the orbital lifetime of super GTO and SSTO orbits based on semi-analytical integration
Astrophysics and Space Science Proceedings. Stardust Final Conference (Springer), pp. 85-98
-
A statistical framework for radiation dose estimation with uncertainty quantification from the γ-H2AX assay
PLoS ONE, Vol. 13, Núm. 11
-
A study of 16 years old student learning strategies from a neuropsychological perspective: An intervention proposal
Trends in Neuroscience and Education, Vol. 11, pp. 1-8
-
A study of dynamics via Möbius conjugacy map on a family of sixth-order modified Newton-like multiple-zero finders with bivariate polynomial weight functions
Journal of Computational and Applied Mathematics, Vol. 344, pp. 608-623
-
A verified LLL algorithm
Archive of Formal Proofs, pp. 1-251
-
A verified factorization algorithm for integer polynomials with polynomial complexity
Archive of Formal Proofs, pp. 1-80
-
Agency and integrated information in a minimal sensorimotor model
ALIFE 2018 - 2018 Conference on Artificial Life: Beyond AI
-
Algebraic analysis of multistate k-out-of-n systems
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 131-134
-
An acceleration of the continuous Newton's method
Journal of Computational and Applied Mathematics
-
An effective study of serre spectral systems
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 103-106