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
High-Performance Spectral Element Methods on Field-Programmable Gate Arrays : Implementation, Evaluation, and Future Projection
M. Karp, A. Podobas, N. Jansson, T. Kenter, C. Plessl, P. Schlatter, S. Markidis, in: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2021.
LibreCat
| DOI
M. Karp, A. Podobas, N. Jansson, T. Kenter, C. Plessl, P. Schlatter, S. Markidis, in: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2021.
2021 | Journal Article | LibreCat-ID: 31263
High frequency limits for invariant Ruelle densities
C. Guillarmou, J. Hilgert, T. Weich, Annales Henri Lebesgue 4 (2021) 81–119.
LibreCat
| DOI
| arXiv
C. Guillarmou, J. Hilgert, T. Weich, Annales Henri Lebesgue 4 (2021) 81–119.
2021 | Journal Article | LibreCat-ID: 36271
Algebraically Independent Generators for the Algebra of Invariant Differential Operators on SLn(R)/SOn(R)
D. Brennecken, J. Hilgert, L. Ciardo, Journal of Lie Theory 31 (2021) 459--468.
LibreCat
| DOI
D. Brennecken, J. Hilgert, L. Ciardo, Journal of Lie Theory 31 (2021) 459--468.
2021 | Book (Editor) | LibreCat-ID: 51493
Mathematik - Ein Reiseführer 2. Auflage
J. Hilgert, I. Hilgert, eds., Mathematik - Ein Reiseführer 2. Auflage, Springer Spektrum, 2021.
LibreCat
J. Hilgert, I. Hilgert, eds., Mathematik - Ein Reiseführer 2. Auflage, Springer Spektrum, 2021.
2021 | Preprint | LibreCat-ID: 51503 | 
Higher-rank quantum-classical correspondence
J. Hilgert, T. Weich, L. Wolf, (2021).
LibreCat
| Download (ext.)
J. Hilgert, T. Weich, L. Wolf, (2021).
2021 | Book Review | LibreCat-ID: 51556
Philip Ording: 99 Variations on a Proof. Princeton University Press 2019
J. Hilgert, Mathematische Semesterberichte 68 (2021) 171–173.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 68 (2021) 171–173.
2021 | Book Review | LibreCat-ID: 51555
Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020
J. Hilgert, Mathematische Semesterberichte 68 (2021) 175–177.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 68 (2021) 175–177.
2021 | Conference Paper | LibreCat-ID: 52928
Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, 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, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
C. Alrabbaa, W. Hieke, A.-Y. Turhan, 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, CEUR-WS.org, 2021, pp. 9–22.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
O.F. Gil, A.-Y. Turhan, 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, pp. 6340–6348.
LibreCat
| DOI
O.F. Gil, A.-Y. Turhan, 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, pp. 6340–6348.
2021 | Journal Article | LibreCat-ID: 52926
Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
2021 | Journal Article | LibreCat-ID: 52929
Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
2021 | Dissertation | LibreCat-ID: 6563 |
Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers, Universität Paderborn, 2021.
LibreCat
| DOI
| Download (ext.)
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers, Universität Paderborn, 2021.
2021 | Conference Paper | LibreCat-ID: 52849
Using data cards for teaching data based decision trees in middle school
S. Podworny, Y. Fleischer, S. Hüsing, R. Biehler, D. Frischemeier, L. Höper, C. Schulte, in: Proceedings of the 21st Koli Calling International Conference on Computing Education Research, ACM, 2021.
LibreCat
| DOI
S. Podworny, Y. Fleischer, S. Hüsing, R. Biehler, D. Frischemeier, L. Höper, C. Schulte, in: Proceedings of the 21st Koli Calling International Conference on Computing Education Research, ACM, 2021.
2021 | Conference Paper | LibreCat-ID: 22285
Ensuring User Interface Adaptation Consistency through Triple Graph Grammers
K. Biermeier, E. Yigitbas, N. Weidmann, G. Engels, in: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
LibreCat
K. Biermeier, E. Yigitbas, N. Weidmann, G. Engels, in: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
2021 | Journal Article | LibreCat-ID: 45967
A convergent finite element algorithm for mean curvature flow in higher codimension
T. Binz, B. Kovács, ArXiv (2021).
LibreCat
T. Binz, B. Kovács, ArXiv (2021).
2021 | Journal Article | LibreCat-ID: 45962
A convergent finite element algorithm for generalized mean curvature flows of closed surfaces
T. Binz, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2545–2588.
LibreCat
| DOI
T. Binz, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2545–2588.
2021 | Journal Article | LibreCat-ID: 45957
Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions
P. Harder, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2589–2620.
LibreCat
| DOI
P. Harder, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2589–2620.
2021 | Journal Article | LibreCat-ID: 45961
Correction to: Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations
J. Nick, B. Kovács, C. Lubich, Numerische Mathematik 147 (2021) 997–1000.
LibreCat
| DOI
J. Nick, B. Kovács, C. Lubich, Numerische Mathematik 147 (2021) 997–1000.
2021 | Journal Article | LibreCat-ID: 45959
A convergent evolving finite element algorithm for Willmore flow of closed surfaces
B. Kovács, B. Li, C. Lubich, Numerische Mathematik 149 (2021) 595–643.
LibreCat
| DOI
B. Kovács, B. Li, C. Lubich, Numerische Mathematik 149 (2021) 595–643.
2021 | Journal Article | LibreCat-ID: 34629
Local RBF-based penalized least-squares approximation on the sphere with noisy scattered data
K. Hesse, I.H. Sloan, R.S. Womersley, Journal of Computational and Applied Mathematics 382 (2021).
LibreCat
| DOI
K. Hesse, I.H. Sloan, R.S. Womersley, Journal of Computational and Applied Mathematics 382 (2021).