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.
11165 Publications
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.
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.
2021 | Book Chapter | LibreCat-ID: 35757
Fachwissen zur Arithmetik bei Grundschullehramtsstudierenden – Entwicklung im ersten Semester und Veränderungen durch eine Lehrinnovation
R. Hochmuth, R. Biehler, W. Blum, K. Achmetli, J. Rode, J. Krawitz, S. Schukajlow, P. Bender, J. Haase, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 611–644.
LibreCat
| DOI
R. Hochmuth, R. Biehler, W. Blum, K. Achmetli, J. Rode, J. Krawitz, S. Schukajlow, P. Bender, J. Haase, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 611–644.
2021 | Book Chapter | LibreCat-ID: 35746
Integration digitaler Lernmaterialien in die Präsenzlehre am Beispiel des Mathematikvorkurses für Ingenieure an der Universität Paderborn
Y. Fleischmann, R. Biehler, A. Gold, T. Mai, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 321–363.
LibreCat
| DOI
Y. Fleischmann, R. Biehler, A. Gold, T. Mai, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 321–363.
2021 | Book Chapter | LibreCat-ID: 35755
Die Online-Lernmaterialien im Online-Mathematikvorkurs studiVEMINT: Konzeption und Ergebnisse von Nutzer- und Evaluationsstudien
A. Gold, Y. Fleischmann, T. Mai, R. Biehler, L. Kempen, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 365–397.
LibreCat
| DOI
A. Gold, Y. Fleischmann, T. Mai, R. Biehler, L. Kempen, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 365–397.
2021 | Book Chapter | LibreCat-ID: 35730
Einführung: Lehrinnovationen in der Hochschulmathematik – praxisrelevant – didaktisch fundiert – forschungsbasiert
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 1–6.
LibreCat
| DOI
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 1–6.