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.
12161 Publications
2021 | Conference Paper | LibreCat-ID: 24936
N. Sänger and T. Jenert, “Lehrentwicklungs-Netzwerke und institutionelle Ideen der Hochschullehre,” presented at the 7. Lehre^n Netzwerkkonferenz, Hannover (digitales Format), 2021.
LibreCat
2021 | Book Chapter | LibreCat-ID: 52716 | 
T. Jenert and E. Bosse, “Lehrentwicklung an Hochschulen als transferorientierte Netzwerkarbeit: Das Bündnis für Hochschullehre Lehren,” in Transfer von Innovation und Wissen, Wiesbaden: Springer Fachmedien Wiesbaden, 2021.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52928
C. Alrabbaa, W. Hieke, and A.-Y. 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, 2021, vol. 2961, pp. 9–22.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
O. F. Gil and A.-Y. 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, 2021, pp. 6340–6348, doi: 10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner,” CoRR, vol. abs/2107.12877, 2021.
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 |
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.)
2021 | Conference Paper | LibreCat-ID: 22285
K. Biermeier, E. Yigitbas, N. Weidmann, and G. Engels, “Ensuring User Interface Adaptation Consistency through Triple Graph Grammers,” 2021.
LibreCat
2021 | Dissertation | LibreCat-ID: 52665
M. Hillebrand, Entwicklungssystematik zur Integration von Eigenschaften der Selbstheilung in Intelligente Technische Systeme , vol. Band 403. 2021.
LibreCat
2021 | Dissertation | LibreCat-ID: 52664
L. Wu, Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie für Analog-Digital-Wandler mit zeitversetzter Abtastung, vol. 402. 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 53268
M. Soleymani, I. Santamaria, and P. J. Schreier, “Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels,” IEEE Access, vol. 9, pp. 96948–96963, 2021, doi: 10.1109/access.2021.3094976.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 32006
C. Guillarmou and B. Küster, “Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds,” Annales Henri Poincaré, vol. 22, no. 11, pp. 3565–3617, 2021, doi: 10.1007/s00023-021-01068-7.
LibreCat
| DOI
2021 | Book | LibreCat-ID: 52390
A. Ricke, Smaragda Eger-Berg (1886–1954). Bohemienne – Musikerin – Schwester. Bedingungen künstlerischer Emanzipation in der Wiener Moderne, vol. 14. Würzburg, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 46194
T. Kenter, A. Shambhu, S. Faghih-Naini, and V. Aizinger, “Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA,” 2021, doi: 10.1145/3468267.3470617.
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 53363
S. Rezat, L. Fan, and B. Pepin, “Mathematics textbooks and curriculum resources as instruments for change,” ZDM – Mathematics Education, vol. 53, no. 6, pp. 1189–1206, 2021, doi: 10.1007/s11858-021-01309-3.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35757
R. Hochmuth et al., “Fachwissen zur Arithmetik bei Grundschullehramtsstudierenden – Entwicklung im ersten Semester und Veränderungen durch eine Lehrinnovation,” in Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, R. Biehler, A. Eichler, R. Hochmuth, S. Rach, and N. Schaper, Eds. Berlin, Heidelberg: Springer Spektrum, 2021, pp. 611–644.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35746
Y. Fleischmann, R. Biehler, A. Gold, and T. Mai, “Integration digitaler Lernmaterialien in die Präsenzlehre am Beispiel des Mathematikvorkurses für Ingenieure an der Universität Paderborn,” in Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, R. Biehler, A. Eichler, R. Hochmuth, S. Rach, and N. Schaper, Eds. Berlin, Heidelberg: Springer Spektrum, 2021, pp. 321–363.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35755
A. Gold, Y. Fleischmann, T. Mai, R. Biehler, and L. Kempen, “Die Online-Lernmaterialien im Online-Mathematikvorkurs studiVEMINT: Konzeption und Ergebnisse von Nutzer- und Evaluationsstudien,” in Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, R. Biehler, A. Eichler, R. Hochmuth, S. Rach, and N. Schaper, Eds. Berlin, Heidelberg: Springer Spektrum, 2021, pp. 365–397.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35730
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, and N. Schaper, “Einführung: Lehrinnovationen in der Hochschulmathematik – praxisrelevant – didaktisch fundiert – forschungsbasiert,” in Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, R. Biehler, A. Eichler, R. Hochmuth, S. Rach, and N. Schaper, Eds. Berlin, Heidelberg: Springer Spektrum, 2021, pp. 1–6.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35720
R. Biehler, “Mathematikvorkurse als Brücke in das Studium–Einführung,” in Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, R. Biehler, A. Eichler, R. Hochmuth, S. Rach, and N. Schaper, Eds. Berlin, Heidelberg: Springer Spektrum, 2021, pp. 285–290.
LibreCat
| DOI