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