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

• Überprüfung der Übergangsregelung zur nachgelagerten Besteuerung nach dem AltEinkG im Hinblick auf eine »doppelte Besteuerung« unter Berücksichtigung der aktuellen BFH-Rechtsprechung

  Kiesewetter, D., Schenke, R. P., Maiterth, R., Brähler, M., Chirvi, M., Weikert, N., & Woitok, N. (2023). Überprüfung der Übergangsregelung zur nachgelagerten Besteuerung nach dem AltEinkG im Hinblick auf eine »doppelte Besteuerung« unter Berücksichtigung der aktuellen BFH-Rechtsprechung.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Chirvi, Malte

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2023
  • Government Report
  • • Dirk Kiesewetter
    • Ralf Schenke
    • Ralf Maiterth
    • Michael Brähler
    • Malte Chirvi
    • Nathalie Weikert
    • Niklas Woitok

• 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

• Value-based Software Engineering: A Systematic Mapping Study

  Salleh, N., Mendes, E., Mendes, F., Lekamlage, C., & Petersen, K. (2023). Value-based Software Engineering: A Systematic Mapping Study. e-Informatica Software Engineering Journal, 17.

  • 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
  • • Norsaremah Salleh
    • Emilia Mendes
    • Fabiana Mendes
    • Charitha Lekamlage
    • Kai Petersen

• CPACS LTA—-Using Common Data Structures for Visualization and Optimization of Airship Designs

  Eissing, C. S., Richter, A., & Schlipf, D. (2023). CPACS LTA—-Using Common Data Structures for Visualization and Optimization of Airship Designs. In D. Shukla (Hrsg.), Lighter Than Air Systems (S. 25–36). Singapore: Springer Nature Singapore. http://doi.org/10.1007/978-981-19-6049-9_2

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Schlipf, David

  Filter Tags

  • 2023
  • Conference Paper
  • • Carl Eissing
    • Alexander Richter
    • David Schlipf
    • Dhwanil Shukla

• Exploring Interaction Techniques for Navigating Medical Images Using a Motion-Tracked Pen

  Süncksen, M., Reinhold, S., & Teistler, M. (2023). Exploring Interaction Techniques for Navigating Medical Images Using a Motion-Tracked Pen. In 2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) (S. 1–5). http://doi.org/10.1109/SeGAH57547.2023.10253799

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Teistler, Michael

  • 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
  • • Matthias Süncksen
    • Sascha Reinhold
    • Michael Teistler

• Assessing lidar-assisted feedforward and multivariable feedback controls for large floating wind turbines

  Guo, F., & Schlipf, D. (2023). Assessing lidar-assisted feedforward and multivariable feedback controls for large floating wind turbines. Wind Energy Science, 8, 1299–1317. http://doi.org/10.5194/wes-8-1299-2023

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Filter Tags

  • 2023
  • Journal Article
  • • F. Guo
    • D. Schlipf

• Determining a core view of research quality in empirical software engineering

  Molleri, J., Mendes, E., Petersen, K., & Felderer, M. (2023). Determining a core view of research quality in empirical software engineering. Computer Standards \& Interfaces, 84, 103688.

  • 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
  • • Jefferson Molleri
    • Emilia Mendes
    • Kai Petersen
    • Michael Felderer

• Lumped model eddy current analysis of influencefactors on PM segmentation effectiveness

  Königs, M., & Löhlein, B. (2023). Lumped model eddy current analysis of influencefactors on PM segmentation effectiveness. e&i Elektrotechnik und Informationstechnik, 140(2). http://doi.org/10.1007/s00502-023-01148-y

  • 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
  • • obligatorisch

• 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