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.
9900 Publications
2021 | Conference Paper | LibreCat-ID: 22218
Krauter, S., Böcker, J., Freitag, C., Hehenkamp, B., Hilleringmann, U., Temmen, K., Klaus, T., Rohrer, N., & Lehmann, S. (2021). Projekt Art-D Grids: Nachhaltige und stabile Microgrids in Afrika - eine Plattform für Forschung und Lehre für die Entwicklung. Tagungsband des 36. PV-Symposiums, 18.-26 Mai 2021, 305–309.
LibreCat
| Files available
2021 | Conference Paper | LibreCat-ID: 29937
Karp, M., Podobas, A., Jansson, N., Kenter, T., Plessl, C., Schlatter, P., & Markidis, S. (2021). High-Performance Spectral Element Methods on Field-Programmable Gate Arrays : Implementation, Evaluation, and Future Projection. 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS). https://doi.org/10.1109/ipdps49936.2021.00116
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31263
Guillarmou, C., Hilgert, J., & Weich, T. (2021). High frequency limits for invariant Ruelle densities. Annales Henri Lebesgue, 4, 81–119. https://doi.org/10.5802/ahl.67
LibreCat
| DOI
| arXiv
2021 | Journal Article | LibreCat-ID: 36271
Brennecken, D., Hilgert, J., & Ciardo, L. (2021). Algebraically Independent Generators for the Algebra of Invariant Differential Operators on SLn(R)/SOn(R). Journal of Lie Theory, 31(2), 459--468. https://doi.org/10.48550/arXiv.2008.07479
LibreCat
| DOI
2021 | Book (Editor) | LibreCat-ID: 51493
Hilgert, J., & Hilgert, I. (Eds.). (2021). Mathematik - Ein Reiseführer 2. Auflage. Springer Spektrum.
LibreCat
2021 | Preprint | LibreCat-ID: 51503 | 
Hilgert, J., Weich, T., & Wolf, L. (2021). Higher-rank quantum-classical correspondence.
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 51556
Hilgert, J. (2021). Philip Ording: 99 Variations on a Proof. Princeton University Press 2019. In Mathematische Semesterberichte (Vol. 68, pp. 171–173). https://doi.org/10.1007/s00591-021-00295-7
LibreCat
| DOI
2021 | Book Review | LibreCat-ID: 51555
Hilgert, J. (2021). Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020. In Mathematische Semesterberichte (Vol. 68, pp. 175–177). https://doi.org/10.1007/s00591-021-00296-6
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, C., Hieke, W., & Turhan, A.-Y. (2021). Counter Model Transformation for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg, & M. Thimm (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, pp. 9–22). CEUR-WS.org.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, O. F., & Turhan, A.-Y. (2021). Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. 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, 6340–6348. https://doi.org/10.1609/AAAI.V35I7.16787
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2021). Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput., 33(6), 885–921. https://doi.org/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. (2021). Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR, abs/2107.12877.
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 |
Feldmann, N. (2021). Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-1264
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52849
Podworny, S., Fleischer, Y., Hüsing, S., Biehler, R., Frischemeier, D., Höper, L., & Schulte, C. (2021). Using data cards for teaching data based decision trees in middle school. Proceedings of the 21st Koli Calling International Conference on Computing Education Research. https://doi.org/10.1145/3488042.3489966
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 22285
Biermeier, K., Yigitbas, E., Weidmann, N., & Engels, G. (2021). Ensuring User Interface Adaptation Consistency through Triple Graph Grammers. Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use .
LibreCat
2021 | Journal Article | LibreCat-ID: 45967
Binz, T., & Kovács, B. (2021). A convergent finite element algorithm for mean curvature flow in higher codimension. ArXiv.
LibreCat
2021 | Journal Article | LibreCat-ID: 45962
Binz, T., & Kovács, B. (2021). A convergent finite element algorithm for generalized mean curvature flows of closed surfaces. IMA Journal of Numerical Analysis, 42(3), 2545–2588. https://doi.org/10.1093/imanum/drab043
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45957
Harder, P., & Kovács, B. (2021). Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions. IMA Journal of Numerical Analysis, 42(3), 2589–2620. https://doi.org/10.1093/imanum/drab045
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45961
Nick, J., Kovács, B., & Lubich, C. (2021). Correction to: Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations. Numerische Mathematik, 147(4), 997–1000. https://doi.org/10.1007/s00211-021-01196-6
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45959
Kovács, B., Li, B., & Lubich, C. (2021). A convergent evolving finite element algorithm for Willmore flow of closed surfaces. Numerische Mathematik, 149(3), 595–643. https://doi.org/10.1007/s00211-021-01238-z
LibreCat
| DOI