Publikationen

2023

• Algorithmen und Datenstrukturen in Visual Basic

  Cordts, S. ., & Nasutta, M. . (2023). Algorithmen und Datenstrukturen in Visual Basic. mana-Buch Verlag.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2023
  • Book
  • • Sönke Cordts
    • Maren Nasutta

• 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