-
1دورية أكاديمية
المؤلفون: Jose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison, Matías Casalongue, Miguel A. Silvestre, Pilar Santolaria, Jesús L. Yániz
المصدر: Sensors, Vol 24, Iss 12, p 3828 (2024)
مصطلحات موضوعية: Varroa mite detection, deep learning, small object detection, Chemical technology, TP1-1185
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Julián Cuevas-Rozo, Jose Divasón, Miguel Marco-Buzunáriz, Ana Romero
المصدر: Mathematics, Vol 9, Iss 7, p 722 (2021)
مصطلحات موضوعية: computer algebra, Kenzo interface, computational algebraic topology, homotopy groups, spectral sequences, Mathematics, QA1-939
وصف الملف: electronic resource
-
3
المصدر: IEEE Transactions on Learning Technologies. :1-18
مصطلحات موضوعية: General Engineering, Computer Science Applications, Education
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f59e5c42b1df7e29d533be0f7de3f3c1
https://doi.org/10.1109/tlt.2023.3246589 -
4
المؤلفون: Jose Divasón, F.J. Martínez-De-Pisón, Alpha Pernia-Espinoza
المصدر: Lecture Notes in Computer Science ISBN: 9783031154706
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8e537b4fe3bc6e80780d0e199dd4ac1b
https://doi.org/10.1007/978-3-031-15471-3_29 -
5
المصدر: ACM Communications in Computer Algebra. 53:61-64
مصطلحات موضوعية: Algebra, Computer science, Interface (Java), Computation, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Computer Science::Symbolic Computation, Algebraic topology (object), General Medicine, Symbolic computation
-
6
المؤلفون: René Thiemann, Jose Divasón
المصدر: Journal of Automated Reasoning. 66:1097-1097
مصطلحات موضوعية: Computational Theory and Mathematics, Artificial Intelligence, Software
-
7
المؤلفون: René Thiemann, Jose Divasón, Ralph Bottesch
المصدر: RIUR. Repositorio Institucional de la Universidad de La Rioja
instnameوصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1119d2e6645005dbb69283e5d76f19d0
https://investigacion.unirioja.es/documentos/6082fe110c9c6b29554039c7 -
8
المؤلفون: Julián Cuevas-Rozo, Jose Divasón, Laureano Lambán, Ana Romero
المصدر: RIUR. Repositorio Institucional de la Universidad de La Rioja
instnameوصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::580ddbbc062a474726ffa78342389785
https://investigacion.unirioja.es/documentos/62972b27d618f30a993b7537 -
9
المؤلفون: Andrea Guidolin, Jose Divasón, Ana Romero, Francesco Vaccarino
المصدر: RIUR. Repositorio Institucional de la Universidad de La Rioja
instnameمصطلحات موضوعية: Pure mathematics, Algebra and Number Theory, Persistent homology, 010102 general mathematics, 010103 numerical & computational mathematics, Homology (mathematics), Topological space, 01 natural sciences, Constructive algebraic topology, Computational Mathematics, Symbolic computation, Spectral sequence, Multipersistence, Spectral systems, Effective homology, Vector field, 0101 mathematics, Invariant (mathematics), Mathematics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba7f2348a564e2cedf9bd42566e49c1d
http://hdl.handle.net/11583/2847490 -
10
المؤلفون: Jesús Aransay, Jose Divasón
المصدر: Formal Aspects of Computing. 28:1005-1026
مصطلحات موضوعية: Discrete mathematics, Ring (mathematics), Correctness, HOL, 020207 software engineering, Field (mathematics), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Ring of integers, Theoretical Computer Science, Algebra, Matrix (mathematics), 010201 computation theory & mathematics, Principal ideal, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, 0202 electrical engineering, electronic engineering, information engineering, Software, Row echelon form, Mathematics