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.
10594 Publications
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas I, Liebendörfer M. Introducing mathematics undergraduate students to the theorem prover lean. In: ; 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 43051
Farheen H, Yan L-Y, Leuteritz T, et al. Tailoring the directive nature of optical waveguide antennas. In: García-Blanco SM, Cheben P, eds. Integrated Optics: Devices, Materials, and Technologies XXVII. SPIE; 2023:124241E. doi:10.1117/12.2658921
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 46155
Bruns J, Hagena M, Gasteiger H. Professional Development Enacted by Facilitators in the Context of Early Mathematics Education: Scaling up or Dilution of Effects? Teaching and Teacher Education. 2023;132. doi:10.1016/j.tate.2023.104270
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 49111
Ebbers J, Haeb-Umbach R, Serizel R. Post-Processing Independent Evaluation of Sound Event Detection Systems. In: Proceedings of the 8th Detection and Classification of Acoustic Scenes and Events 2023 Workshop (DCASE2023). ; 2023:36–40.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 49318
Tissen D, Koldewey C, Dumitrescu R. A process-model for tailoring prototyping of cyber-physical systems. In: ; 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 47151 | 
Winkelnkemper F, Höper L, Schulte C. ARIadne – An Explanation Model for Digital Artefacts. Informatics in Education. Published online 2023. doi:10.15388/infedu.2024.09
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 57098
Seebauer F, Kuhlmann M, Häb-Umbach R, Wagner P. DISCERNING DIMENSIONS OF QUALITY FOR STATE OF THE ART SYNTHETIC SPEECH. In: Proceedings of the 20th International Congress of Phonetic Sciences. ; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 57086
Kuhlmann M, Meise A, Seebauer F, Wagner P, Häb-Umbach R. Investigating Speaker Embedding Disentanglement on Natural Read Speech. In: Speech Communication; 15th ITG Conference. ; 2023:121–125.
LibreCat
2023 | Patent | LibreCat-ID: 48622
Kruse S, Scheytt JC, Meinecke M-M, Heiko Gustav K. Verfahren zum Betreiben einer elektrooptischen Übertragungsvorrichtung für beliebige Signale, Computerprogrammprodukt sowie Datenübertragungsvorrichtung. Published online 2023.
LibreCat
2023 | Patent | LibreCat-ID: 48625
Kruse S, Scheytt JC. Elektrooptischer Balun und System zur Generierung eines pseudodifferentiellen Signals aufweisend einen solchen elektrooptischen Balun. Published online 2023.
LibreCat
2023 | Patent | LibreCat-ID: 48623
Bahmanian M, Scheytt JC. Einstellbare Signalquelle mit kleinem Phasenrauschen. Published online 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 46572
Gusmita RH, Firmansyah AF, Moussallem D, Ngonga Ngomo A-C. IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran. In: Natural Language Processing and Information Systems. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-35320-8_12
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 46575 |
Baci A, Heindorf S. Accelerating Concept Learning via Sampling. In: CIKM. ; 2023:3733–3737. doi:10.1145/3583780.3615158
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 49890
Lange S, Hilleringmann U, Hedayat C, Kuhn H, Förstner J. Characterization of Various Environmental Influences on the Inductive Localization. In: 2023 IEEE Conference on Antenna Measurements and Applications (CAMA). IEEE; 2023. doi:10.1109/cama57522.2023.10352780
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35083
Dann AP, Hermann B, Bodden E. UpCy: Safely Updating Outdated Dependencies. Published online 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 58097
Mai T, Biehler R. Einblicke in ein Referenzmodell zur Analyse der Einführung von Vektoren in Schulbüchern. In: IDMI-Primar Goethe-Universität Frankfurt, ed. Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik. WTM-Verlag; 2023.
LibreCat
| Files available
2023 | Book Chapter | LibreCat-ID: 58101
Biehler R, Guntermann D, Liebendörfer M, Krämer S, Schlüter S. Fachdidaktisches Design von Begründungsvideos im Projekt studiVEMINTvideos. In: IDMI-Primar Goethe-Universität Frankfurt, ed. Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik. WTM-Verlag; 2023.
LibreCat
| Files available
2023 | Book Chapter | LibreCat-ID: 58099
Lankeit E, Biehler R. Das totale Differential und die Richtungsableitung – Eine Analyse mit Blick in ausgewählte Lehrbücher. In: IDMI-Primar Goethe-Universität Frankfurt, ed. Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik. WTM-Verlag; 2023.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 54632 |
Bentrup LA, Gräßer M, Temmen K, Schmid H-J. Entwicklung eines neuen Konzeptes zur Vermittlung von Lerntechniken und Selbstlernkompetenzen für Studierende des Maschinenbaus an der Universität Paderborn. die hochschullehre. 2023;(9). doi:10.3278/HSL2310W
LibreCat
| DOI
| Download (ext.)