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
Sänger N, Jenert T. Lehrentwicklungs-Netzwerke und institutionelle Ideen der Hochschullehre. In: ; 2021.
LibreCat
2021 | Book Chapter | LibreCat-ID: 52716 | 
Jenert T, Bosse E. Lehrentwicklung an Hochschulen als transferorientierte Netzwerkarbeit: Das Bündnis für Hochschullehre Lehren. In: Transfer von Innovation Und Wissen. Springer Fachmedien Wiesbaden; 2021. doi:10.1007/978-3-658-33667-7_15
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa C, Hieke W, Turhan A-Y. Counter Model Transformation for Explaining Non-Subsumption in EL. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, 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. Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil OF, Turhan A-Y. 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. AAAI Press; 2021:6340–6348. doi:10.1609/AAAI.V35I7.16787
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 2021;33(6):885–921. doi:10.1007/S00165-021-00549-0
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR. 2021;abs/2107.12877.
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 |
Feldmann N. Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn; 2021. doi:10.17619/UNIPB/1-1264
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 22285
Biermeier K, Yigitbas E, Weidmann N, Engels G. 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 | Dissertation | LibreCat-ID: 52665
Hillebrand M. Entwicklungssystematik Zur Integration von Eigenschaften Der Selbstheilung in Intelligente Technische Systeme . Vol Band 403.; 2021.
LibreCat
2021 | Dissertation | LibreCat-ID: 52664
Wu L. Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie Für Analog-Digital-Wandler Mit Zeitversetzter Abtastung. Vol 402.; 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 53268
Soleymani M, Santamaria I, Schreier PJ. Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels. IEEE Access. 2021;9:96948-96963. doi:10.1109/access.2021.3094976
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 32006
Guillarmou C, Küster B. Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds. Annales Henri Poincaré. 2021;22(11):3565-3617. doi:10.1007/s00023-021-01068-7
LibreCat
| DOI
2021 | Book | LibreCat-ID: 52390
Ricke A. Smaragda Eger-Berg (1886–1954). Bohemienne – Musikerin – Schwester. Bedingungen künstlerischer Emanzipation in der Wiener Moderne. Vol 14.; 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 46194
Kenter T, Shambhu A, Faghih-Naini S, Aizinger V. 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. doi:10.1145/3468267.3470617
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 53363
Rezat S, Fan L, Pepin B. Mathematics textbooks and curriculum resources as instruments for change. ZDM – Mathematics Education. 2021;53(6):1189-1206. doi:10.1007/s11858-021-01309-3
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35757
Hochmuth R, Biehler R, Blum W, et al. Fachwissen zur Arithmetik bei Grundschullehramtsstudierenden – Entwicklung im ersten Semester und Veränderungen durch eine Lehrinnovation. In: Biehler R, Eichler A, Hochmuth R, Rach S, Schaper N, eds. Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik. Springer Spektrum; 2021:611-644. doi:10.1007/978-3-662-62854-6_24
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35746
Fleischmann Y, Biehler R, Gold A, Mai T. Integration digitaler Lernmaterialien in die Präsenzlehre am Beispiel des Mathematikvorkurses für Ingenieure an der Universität Paderborn. In: Biehler R, Eichler A, Hochmuth R, Rach S, Schaper N, eds. Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik. Springer Spektrum; 2021:321-363. doi:10.1007/978-3-662-62854-6_15
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35755
Gold A, Fleischmann Y, Mai T, Biehler R, Kempen L. Die Online-Lernmaterialien im Online-Mathematikvorkurs studiVEMINT: Konzeption und Ergebnisse von Nutzer- und Evaluationsstudien. In: Biehler R, Eichler A, Hochmuth R, Rach S, Schaper N, eds. Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik. Springer Spektrum; 2021:365-397. doi:10.1007/978-3-662-62854-6_16
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35730
Biehler R, Eichler A, Hochmuth R, Rach S, Schaper N. Einführung: Lehrinnovationen in der Hochschulmathematik – praxisrelevant – didaktisch fundiert – forschungsbasiert. In: Biehler R, Eichler A, Hochmuth R, Rach S, Schaper N, eds. Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik. Springer Spektrum; 2021:1-6. doi:10.1007/978-3-662-62854-6_1
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35720
Biehler R. Mathematikvorkurse als Brücke in das Studium–Einführung. In: Biehler R, Eichler A, Hochmuth R, Rach S, Schaper N, eds. Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik. Springer Spektrum; 2021:285–290. doi:10.1007/978-3-662-62854-6_13
LibreCat
| DOI