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.
10930 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 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: 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 | 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).
2021 | Journal Article | LibreCat-ID: 53268
Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels
M. Soleymani, I. Santamaria, P.J. Schreier, IEEE Access 9 (2021) 96948–96963.
LibreCat
| DOI
M. Soleymani, I. Santamaria, P.J. Schreier, IEEE Access 9 (2021) 96948–96963.
2021 | Journal Article | LibreCat-ID: 32006
Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds
C. Guillarmou, B. Küster, Annales Henri Poincaré 22 (2021) 3565–3617.
LibreCat
| DOI
C. Guillarmou, B. Küster, Annales Henri Poincaré 22 (2021) 3565–3617.
2021 | Conference Paper | LibreCat-ID: 46194
Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA
T. Kenter, A. Shambhu, S. Faghih-Naini, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Kenter, A. Shambhu, S. Faghih-Naini, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021.
2021 | Journal Article | LibreCat-ID: 53363
Mathematics textbooks and curriculum resources as instruments for change
S. Rezat, L. Fan, B. Pepin, ZDM – Mathematics Education 53 (2021) 1189–1206.
LibreCat
| DOI
S. Rezat, L. Fan, B. Pepin, ZDM – Mathematics Education 53 (2021) 1189–1206.
2021 | Book Chapter | LibreCat-ID: 34161
Challenges of making sense of tasks and automated feedback in digital mathematics textbooks
S. Rezat, F. Schacht, U. Häsel-Weide, in: A. Clark-Wilson, A. Donevska-Todorova, E. Faggiano, J. Trgalová , H.-G. Weigang (Eds.), Mathematics Education in the Digital Age. Learning, Practice and Theory, Routledge, London, 2021, pp. 168–184.
LibreCat
| Files available
| DOI
S. Rezat, F. Schacht, U. Häsel-Weide, in: A. Clark-Wilson, A. Donevska-Todorova, E. Faggiano, J. Trgalová , H.-G. Weigang (Eds.), Mathematics Education in the Digital Age. Learning, Practice and Theory, Routledge, London, 2021, pp. 168–184.