Fachbereich
Matemáticas y Computación
Kongressbeiträge (47) Publikationen, an denen Forscher/innen teilgenommen haben
2018
-
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 Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving
WST 2018 16th International Workshop on Termination
-
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)
-
Agency and integrated information in a minimal sensorimotor model
ALIFE 2018 - 2018 Conference on Artificial Life: Beyond AI
-
An improved statistical methodology for analysis of translocations for biodosimetry purposes
EPR Biodose 2018
-
Ant-based mission planning: Two examples
15th International Conference on Space Operations, 2018
-
Aprendizaje de la demostración por estudiantes con diferentes grados de talento matemático
Investigación en Educación Matemática XXII
-
Atmospheric entry guidance based on Differential Algebra for high elevation mars landing
Space Flight Mechanics Meeting, 2018
-
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)
-
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
-
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
-
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
-
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
-
Dose estimation with uncertainty quantification from the gamma-H2AX assay
EPR Biodose 2018
-
Effective computation of generalized spectral sequences
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
-
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
-
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
-
Evolution of GWAS results through ADNI cohorts
Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018
-
Experiences and new alternatives for teaching formal verification of Java programs
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
-
Famath, ¡a bailar!
Actas del XVII Congreso de Enseñanza y Aprendizaje de las Matemáticas. Matemáticas en tierra de cine