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.
9893 Publications
2021 | Book Review | LibreCat-ID: 51555
Hilgert, Joachim. “Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020.” Mathematische Semesterberichte, 2021. https://doi.org/10.1007/s00591-021-00296-6.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” 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, 6340–6348. AAAI Press, 2021. https://doi.org/10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput. 33, no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR abs/2107.12877 (2021).
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 | 
Feldmann, Nadine. Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn, 2021. https://doi.org/10.17619/UNIPB/1-1264.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52849
Podworny, Susanne, Yannik Fleischer, Sven Hüsing, Rolf Biehler, Daniel Frischemeier, Lukas Höper, and Carsten Schulte. “Using Data Cards for Teaching Data Based Decision Trees in Middle School.” In Proceedings of the 21st Koli Calling International Conference on Computing Education Research. ACM, 2021. https://doi.org/10.1145/3488042.3489966.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 22285
Biermeier, Kai, Enes Yigitbas, Nils Weidmann, and Gregor Engels. “Ensuring User Interface Adaptation Consistency through Triple Graph Grammers.” In Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45967
Binz, Tim, and Balázs Kovács. “A Convergent Finite Element Algorithm for Mean Curvature Flow in Higher Codimension.” ArXiv, 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45962
Binz, Tim, and Balázs Kovács. “A Convergent Finite Element Algorithm for Generalized Mean Curvature Flows of Closed Surfaces.” IMA Journal of Numerical Analysis 42, no. 3 (2021): 2545–88. https://doi.org/10.1093/imanum/drab043.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45957
Harder, Paula, and Balázs Kovács. “Error Estimates for the Cahn–Hilliard Equation with Dynamic Boundary Conditions.” IMA Journal of Numerical Analysis 42, no. 3 (2021): 2589–2620. https://doi.org/10.1093/imanum/drab045.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45961
Nick, Jörg, Balázs Kovács, and Christian Lubich. “Correction to: Stable and Convergent Fully Discrete Interior–Exterior Coupling of Maxwell’s Equations.” Numerische Mathematik 147, no. 4 (2021): 997–1000. https://doi.org/10.1007/s00211-021-01196-6.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45959
Kovács, Balázs, Buyang Li, and Christian Lubich. “A Convergent Evolving Finite Element Algorithm for Willmore Flow of Closed Surfaces.” Numerische Mathematik 149, no. 3 (2021): 595–643. https://doi.org/10.1007/s00211-021-01238-z.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34629
Hesse, Kerstin, Ian H. Sloan, and Robert S. Womersley. “Local RBF-Based Penalized Least-Squares Approximation on the Sphere with Noisy Scattered Data.” Journal of Computational and Applied Mathematics 382 (2021). https://doi.org/10.1016/j.cam.2020.113061.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53268
Soleymani, Mohammad, Ignacio Santamaria, and Peter J. Schreier. “Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels.” IEEE Access 9 (2021): 96948–63. https://doi.org/10.1109/access.2021.3094976.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 32006
Guillarmou, Colin, and Benjamin Küster. “Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds.” Annales Henri Poincaré 22, no. 11 (2021): 3565–3617. https://doi.org/10.1007/s00023-021-01068-7.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 46194
Kenter, Tobias, Adesh Shambhu, Sara Faghih-Naini, and Vadym Aizinger. “Algorithm-Hardware Co-Design of a Discontinuous Galerkin Shallow-Water Model for a Dataflow Architecture on FPGA.” In Proceedings of the Platform for Advanced Scientific Computing Conference (PASC). ACM, 2021. https://doi.org/10.1145/3468267.3470617.
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 53363
Rezat, Sebastian, Lianghuo Fan, and Birgit Pepin. “Mathematics Textbooks and Curriculum Resources as Instruments for Change.” ZDM – Mathematics Education 53, no. 6 (2021): 1189–1206. https://doi.org/10.1007/s11858-021-01309-3.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 34161
Rezat, Sebastian, Florian Schacht, and Uta Häsel-Weide. “Challenges of Making Sense of Tasks and Automated Feedback in Digital Mathematics Textbooks.” In Mathematics Education in the Digital Age. Learning, Practice and Theory, edited by A. Clark-Wilson, A. Donevska-Todorova, E. Faggiano, J. Trgalová , and H.-G. Weigang, 168–84. London: Routledge, 2021. https://doi.org/10.4324/9781003137580.
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 44683
Rezat, Sebastian. “How Automated Feedback from a Digital Mathematics Textbook Affects Primary Students’ Conceptual Development: Two Case Studies.” ZDM Mathematics Education 53, no. 6 (2021): 1433–45. https://doi.org/10.1007/s11858-021-01263-0.
LibreCat
| DOI