Publicaciones (168) Publicaciones en las que ha participado algún/a investigador/a

2018

  1. 1-greedy renormings of Garling sequence spaces

    Journal of Approximation Theory, Vol. 230, pp. 13-23

  2. 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)

  3. 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

  4. A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

    WST 2018 16th International Workshop on Termination

  5. A Systematic Review of Provenance Systems

    Knowledge and Information Systems

  6. 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

  7. A contemporary study of iterative methods: Convergence, dynamics and applications

    Elsevier, pp. 1-385

  8. 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

  9. 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)

  10. 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

  11. 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

  12. A statistical framework for radiation dose estimation with uncertainty quantification from the γ-H2AX assay

    PLoS ONE, Vol. 13, Núm. 11

  13. 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

  14. 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

  15. A verified LLL algorithm

    Archive of Formal Proofs, pp. 1-251

  16. A verified factorization algorithm for integer polynomials with polynomial complexity

    Archive of Formal Proofs, pp. 1-80

  17. Agency and integrated information in a minimal sensorimotor model

    ALIFE 2018 - 2018 Conference on Artificial Life: Beyond AI

  18. 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

  19. An acceleration of the continuous Newton's method

    Journal of Computational and Applied Mathematics

  20. 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