Publikationen

2023

• Embedding Functional Logic Programming in Haskell via a Compiler Plugin

  Prott, K.-O. ., Teegen, F. ., & Christiansen, J. . (2023). Embedding Functional Logic Programming in Haskell via a Compiler Plugin. In Practical Aspects of Declarative Languages. Boston, MA, USA: Springer. http://doi.org/10.1017/978-3-031-24841-2_3

  Abstract

  anzeigen ▸

  We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get many language extensions that GHC provides for free in the embedded language. As a result, we obtain a seamless embedding of a functional logic language, without having to implement a full compiler. We briefly show that our approach can be used to embed other domain-specific languages as well. Furthermore, we can use such a plugin to build a full blown compiler for our language.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Profilbereich

    • Informatik und Gestaltung

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2023
  • Conference Paper
  • • Kai-Oliver Prott
    • Finn Teegen
    • Jan Christiansen

• Investigating acceptance behavior in software engineering—theoretical perspectives

  Börstler, J. ., Bin Ali, N. ., Svensson, M. ., & Petersen, K. . (2023). Investigating acceptance behavior in software engineering—theoretical perspectives. Journal of Systems and Software, 198, 111592.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2023
  • Journal Article
  • • Jürgen Börstler
    • Nauman Bin Ali
    • Martin Svensson
    • Kai Petersen

• vimiLab – Teaching Medical Imaging and Radiological Anatomy in a Virtual Reality Environment

  Mayer, L. ., Süncksen, M. ., Reinhold, S. ., & Teistler, M. . (2023). vimiLab – Teaching Medical Imaging and Radiological Anatomy in a Virtual Reality Environment. In 2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) (S. 1–5). http://doi.org/10.1109/SeGAH57547.2023.10253787

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Teistler, Michael

  • Forschungsprojekt

    • Entwicklung und praktischer Einsatz virtueller und spielbasierter Lernsysteme in der medizinischen Bildgebung

  • Abteilung/Einrichtung

    • CIVU – Center for Interaction, Visualization and Usability

  • Profilbereich

    • Informatik und Gestaltung

  • Forschungsfeld

    • Digitalisierung im Gesundheitswesen
    • Human-Computer-Interaction

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2023
  • Conference Paper
  • • Lukas Mayer
    • Matthias Süncksen
    • Sascha Reinhold
    • Michael Teistler

• Diskrepanzen zwischen der institutionell angebotenen Fachsprachendidaktik und den Bedürfnissen der Fachsprachenlehrkräfte. Ein methodischer Ansatz

  Kic-Drgas, J. ., Woźniak, J. ., Bocanegra-Valle, A. ., John, P. ., & Mertelj, D. . (2023). Diskrepanzen zwischen der institutionell angebotenen Fachsprachendidaktik und den Bedürfnissen der Fachsprachenlehrkräfte. Ein methodischer Ansatz. Linguistische Treffen in Wrocław, 24(2023 (II), 14. http://doi.org/https://doi.org/10.23817/lingtreff.24-6

  Abstract

  anzeigen ▸

  In dem Beitrag werden die methodische Herangehensweise und die Teilergebnisse des europäischen Projekts „LSP-Teacher Training Summer School“ (TRAILs)1 vorgestellt, das darauf abzielt, ein innovatives Lehrerausbildungscurriculum im Bereich Fachsprachen zu entwickeln. Das 2018–2020 erarbeitete und 2021 getestete Curriculum zur fachsprachlichen Lehrerausbildung entstand als Resultat der festgestellten Lücken zwischen der bestehenden und der erforderlichen Fach(fremd) sprachen-Lehrerausbildung. Mit dem folgenden Beitrag wird beabsichtigt, den methodischen Weg zur Identifizierung dieser Lücken darzustellen. Ausgegangen wird von der Analyse der bestehenden Ausbildungsprogramme im Europäischen Hochschulraum (EHEA). Anschließend werden die Bedürfnisse der Fachsprachenlehrkraft im tertiären Bildungsbereich behandelt, die infolge einer umfassenden Umfrage unter der Fachsprachenlehrenden in Europa erzielt wurden. Abschließend wird ein Schema besprochen, nach dem der Vergleich zwischen dem IST-ZUSTAND und dem SOLLZUSTAND erfolgte. Die nachgewiesenen Diskrepanzen zwischen der untersuchten Lehrerausbildung im Bereich der Fachsprachendidaktik und den von der Fachsprachenlehrkraft genannten Ausbildungsbedürfnissen ermöglichen, Bereiche der fachbezogenen Fremdsprachendidaktik festzulegen, die mit konkreten Inhalten und Aktivitäten ergänzt werden. Sie dienen dann als Ausgangspunkt für die Erarbeitung eines Aus- und Fortbildungslehrplans für erfahrene und angehende Fachsprachenlehrende. Das präsentierte Schema ist universal und kann auch auf andere Forschungsvorhaben übertragen werden, die die Aktualisierung und Modernisierung der bestehenden Ausbildungslehrpläne bzw. Einführung eines neuen zum Ziel haben.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • John, Peter

  • Abteilung/Einrichtung

    • CIVU – Center for Interaction, Visualization and Usability

  • Forschungsfeld

    • Fachkräfte und Vernetzung

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2023
  • Journal Article
  • • Joanna Kic-Drgas
    • Joanna Woźniak
    • Ana Bocanegra-Valle
    • Peter John
    • Darja Mertelj

• Double-counting in software engineering tertiary studies—An overlooked threat to validity

  Börstler, J. ., Bin Ali, N. ., & Petersen, K. . (2023). Double-counting in software engineering tertiary studies—An overlooked threat to validity. Information and Software Technology, 107174.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2023
  • Journal Article
  • • Jürgen Börstler
    • Nauman Bin Ali
    • Kai Petersen

• Free and Open-Source Teaching: Understanding Exergy Using Thermal Engineering Systems in Python (TESPy)

  Hofmann, M. ., Witte, F. ., Fritz, M. ., Freißmann, J. ., Tuschy, I. ., & Tsatsaronis, G. . (2023). Free and Open-Source Teaching: Understanding Exergy Using Thermal Engineering Systems in Python (TESPy). In 36th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS 2023) (Bd. 2023, S. 195–209). Curran Associates, Inc. http://doi.org/10.52202/069564-0019

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Witte, Francesco
    • Fritz, Malte
    • Freißmann, Jonas
    • Tuschy, Ilja

  • Profilbereich

    • Erneuerbare Energien und nachhaltige Entwicklung

  • Forschungsfeld

    • Wärme

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2023
  • Conference Paper
  • • Mathias Hofmann
    • Francesco Witte
    • Malte Fritz
    • Jonas Freißmann
    • Ilja Tuschy
    • George Tsatsaronis
  • • Thermodynamic Analysis
    • Exergy
    • simulation
    • Python
    • TESPy
    • Teaching

• Lessons learned from replicating a study on information-retrieval-based test case prioritization

  Minhas, N. M., Irshad, M. ., Petersen, K. ., & Börstler, J. . (2023). Lessons learned from replicating a study on information-retrieval-based test case prioritization. Software Quality Journal, 1–33.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2023
  • Journal Article
  • • Nasir Minhas
    • Mohsin Irshad
    • Kai Petersen
    • Jürgen Börstler

• Lumped model for the calculation of harmonic eddy current loss in permanent magnets for homogeneous flux distributions considering eddy current reaction flux

  Königs, M. ., & Löhlein, B. . (2023). Lumped model for the calculation of harmonic eddy current loss in permanent magnets for homogeneous flux distributions considering eddy current reaction flux. e&I Elektrotechnik Und Informationstechnik, 140(2). http://doi.org/10.1007/s00502-023-01147-z

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2023
  • Journal Article
  • • Mike Königs
    • Bernd Löhlein
  • • optional

• Modellierung von Hochtemperaturwärmepumpen in der integrierten Simulation von multivalenten Wärmeversorgungssystemen

  Freißmann, J. ., Fritz, M. ., & Tuschy, I. . (2023). Modellierung von Hochtemperaturwärmepumpen in der integrierten Simulation von multivalenten Wärmeversorgungssystemen. 1. Konferenz Zur Norddeutschen Wärmeforschung Proceedings. http://doi.org/10.48547/202310-024

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Freißmann, Jonas
    • Fritz, Malte
    • Tuschy, Ilja

  • Profilbereich

    • Erneuerbare Energien und nachhaltige Entwicklung

  • Forschungsfeld

    • Wärme
    • Netzintegration

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2023
  • Journal Article
  • • Jonas Freißmann
    • Malte Fritz
    • Ilja Tuschy

• Feedforward pitch control for a 15\,MW wind turbine using a spinner-mounted single-beam lidar

  Fu, W. ., Guo, F. ., Schlipf, D. ., & Pe\~na, A. . (2023). Feedforward pitch control for a 15\,MW wind turbine using a spinner-mounted single-beam lidar. Wind Energy Science, 8, 1893–1907. http://doi.org/10.5194/wes-8-1893-2023

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2023
  • Journal Article
  • • W. Fu
    • F. Guo
    • D. Schlipf
    • A. Pe\~na