Matemáticas y Computación

2018

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

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

   WST 2018 16th International Workshop on Termination

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

4. Agency and integrated information in a minimal sensorimotor model

   ALIFE 2018 - 2018 Conference on Artificial Life: Beyond AI

5. An improved statistical methodology for analysis of translocations for biodosimetry purposes

   EPR Biodose 2018

6. Ant-based mission planning: Two examples

   15th International Conference on Space Operations, 2018

7. Aprendizaje de la demostración por estudiantes con diferentes grados de talento matemático

   Investigación en Educación Matemática XXII

8. Atmospheric entry guidance based on Differential Algebra for high elevation mars landing

   Space Flight Mechanics Meeting, 2018

9. Automating provenance capture in software engineering with UML2PROV

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

10. Campeonato Robótica Educativa: Un estudio en la secundaria

    Book of abstracts CIVINEDU 2018: 2nd International Virtual Conference on Educational Research and Innovation 24 - 25 October, 2018

11. Creando vídeos de matemáticas para unas clases de película

    Actas del XVII Congreso de Enseñanza y Aprendizaje de las Matemáticas. Matemáticas en tierra de cine

12. Curso Online de Olimpiadas Matemáticas (MOOC - COOM)

    Jornadas Virtuales de Colaboración y Formación Virtual USATIC 2018: ubicuo y Social: Aprendizaje con TIC. actas

13. Dicentric dose estimates for patients undergoing radiotherapy enrolled in the RTGene study to assess 1) blood dosimetric models and 2) the Bayesian zero-inflated Poisson finite mixture method for estimatingpartial body gradient exposure

    EPR Biodose 2018

14. Dose estimation with uncertainty quantification from the gamma-H2AX assay

    EPR Biodose 2018

15. Effective computation of generalized spectral sequences

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

16. Efficient certification of complexity proofs formalizing the Perron-Frobenius theorem (invited talk paper)

    CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018

17. El papel orientador de la obra de Tosca en los libros de texto usados en España durante la primera mitad del siglo XVIII en la enseñanza de las matemáticas en los estudios de náutica

    Ciencia y técnica en la universidad: trabajos de historia de las ciencias y de las técnicas

18. Evolution of GWAS results through ADNI cohorts

    Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018

19. Experiences and new alternatives for teaching formal verification of Java programs

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

20. Famath, ¡a bailar!

    Actas del XVII Congreso de Enseñanza y Aprendizaje de las Matemáticas. Matemáticas en tierra de cine