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.
9939 Publications
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).
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.
2021 | Journal Article | LibreCat-ID: 44683
How automated feedback from a digital mathematics textbook affects primary students’ conceptual development: two case studies
S. Rezat, ZDM Mathematics Education 53 (2021) 1433–1445.
LibreCat
| DOI
S. Rezat, ZDM Mathematics Education 53 (2021) 1433–1445.