Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9868 Publications
2021 | Conference Paper | LibreCat-ID: 29937
Karp M, Podobas A, Jansson N, et al. High-Performance Spectral Element Methods on Field-Programmable Gate Arrays : Implementation, Evaluation, and Future Projection. In: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS). IEEE; 2021. doi:10.1109/ipdps49936.2021.00116
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31263
Guillarmou C, Hilgert J, Weich T. High frequency limits for invariant Ruelle densities. Annales Henri Lebesgue. 2021;4:81-119. doi:10.5802/ahl.67
LibreCat
| DOI
| arXiv
2021 | Journal Article | LibreCat-ID: 36271
Brennecken D, Hilgert J, Ciardo L. Algebraically Independent Generators for the Algebra of Invariant Differential Operators on SLn(R)/SOn(R). Journal of Lie Theory. 2021;31(2):459--468. doi:10.48550/arXiv.2008.07479
LibreCat
| DOI
2021 | Book (Editor) | LibreCat-ID: 51493
Hilgert J, Hilgert I, eds. Mathematik - Ein Reiseführer 2. Auflage. Springer Spektrum; 2021.
LibreCat
2021 | Preprint | LibreCat-ID: 51503 | 
Hilgert J, Weich T, Wolf L. Higher-rank quantum-classical correspondence. Published online 2021.
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 51556
Hilgert J. Philip Ording: 99 Variations on a Proof. Princeton University Press 2019. Mathematische Semesterberichte. 2021;68:171–173. doi:10.1007/s00591-021-00295-7
LibreCat
| DOI
2021 | Book Review | LibreCat-ID: 51555
Hilgert J. Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020. Mathematische Semesterberichte. 2021;68:175–177. doi:10.1007/s00591-021-00296-6
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa C, Hieke W, Turhan A-Y. Counter Model Transformation for Explaining Non-Subsumption in EL. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021. Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil OF, Turhan A-Y. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. AAAI Press; 2021:6340–6348. doi:10.1609/AAAI.V35I7.16787
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 2021;33(6):885–921. doi:10.1007/S00165-021-00549-0
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR. 2021;abs/2107.12877.
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 |
Feldmann N. Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn; 2021. doi:10.17619/UNIPB/1-1264
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52849
Podworny S, Fleischer Y, Hüsing S, et al. Using data cards for teaching data based decision trees in middle school. In: Proceedings of the 21st Koli Calling International Conference on Computing Education Research. ACM; 2021. doi:10.1145/3488042.3489966
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 22285
Biermeier K, Yigitbas E, Weidmann N, Engels G. Ensuring User Interface Adaptation Consistency through Triple Graph Grammers. In: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use . ; 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45967
Binz T, Kovács B. A convergent finite element algorithm for mean curvature flow in higher codimension. arXiv. Published online 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45962
Binz T, Kovács B. A convergent finite element algorithm for generalized mean curvature flows of closed surfaces. IMA Journal of Numerical Analysis. 2021;42(3):2545-2588. doi:10.1093/imanum/drab043
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45957
Harder P, Kovács B. Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions. IMA Journal of Numerical Analysis. 2021;42(3):2589-2620. doi:10.1093/imanum/drab045
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45961
Nick J, Kovács B, Lubich C. Correction to: Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations. Numerische Mathematik. 2021;147(4):997-1000. doi:10.1007/s00211-021-01196-6
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45959
Kovács B, Li B, Lubich C. A convergent evolving finite element algorithm for Willmore flow of closed surfaces. Numerische Mathematik. 2021;149(3):595-643. doi:10.1007/s00211-021-01238-z
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34629
Hesse K, Sloan IH, Womersley RS. Local RBF-based penalized least-squares approximation on the sphere with noisy scattered data. Journal of Computational and Applied Mathematics. 2021;382. doi:10.1016/j.cam.2020.113061
LibreCat
| DOI