Publikationen

Autor*in

Jahr der Veröffentlichung

Publikationsformat

Keyword

Forschungsprojekt

Institut/Einrichtung

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

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

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

2022

Efficient multibody modeling of offshore wind turbines with flexible substructures

Steinacker, H., Lemmer, F., Raach, S., Schlipf, D., & Cheng, P. W. (2022). Efficient multibody modeling of offshore wind turbines with flexible substructures. In Journal of Physics: Conference Series (Bd. 2265, S. 042007). http://doi.org/10.1088/1742-6596/2265/4/042007 (Original work published 2026)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2022

Conference Paper

Heiner Steinacker

Frank Lemmer

Steffen Raach

David Schlipf

Po Cheng
A Resource-Efficient Design for a Flexible Hydraulic-Pneumatic Flywheel in Wind Turbine Blades

Alhrshy, L., & Jauch, C. (2022). A Resource-Efficient Design for a Flexible Hydraulic-Pneumatic Flywheel in Wind Turbine Blades. Journal of Physics: Conference Series, 2265, 032018. http://doi.org/10.1088/1742-6596/2265/3/032018 (Original work published 2026)

Abstract

The utilization of renewable energy resources significantly increases in order to reduce the impact of climate change. Wind turbines are one of the most important renewable energy sources and have an important role to play in power generation. They do, however, have to serve the increasingly variable demands of the grid. Some of these demands cannot be satisfied with the standard control mechanisms of state-of-the-art wind turbines. A hydraulic-pneumatic flywheel in a wind turbine rotor is one mechanism which, in addition to its various grid services, can also reduce the mechanical loads on the structure of a wind turbine. However, the installation of such a flywheel into rotor blades increases the weight of the blades. This paper focusses on the development of a design method for reducing the additional mass of the flywheel. This method incorporates the piston accumulators of the flywheel in the blade support structure, which allows for the replacement of parts of the blade spar caps with composite material from the piston accumulators. This enables the flywheel to be installed into the rotor blades without making the wind turbine significantly heavier.
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Jauch, Clemens
Filter Tags
2022

Journal Article

L Alhrshy

Prof. Dr. Clemens Jauch
LIDAR based multivariable $\mathscrH_\infty$ feedforward control for load reduction in wind turbines

Miquelez-Madariaga, I., Schlipf, D., Elso, J., Guo, F., & de Corcuera, A. D. \iaz. (2022). LIDAR based multivariable $\mathscrH_\infty$ feedforward control for load reduction in wind turbines. In Journal of Physics: Conference Series (Bd. 2265, S. 022070). http://doi.org/10.1088/1742-6596/2265/2/022070 (Original work published 2026)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2022

Conference Paper

I. Miquelez-Madariaga

D. Schlipf

J. Elso

F. Guo

A. de Corcuera
Atmospheric Irrigation with Wind Turbines

Jauch, C., & Emeis, S. (2022). Atmospheric Irrigation with Wind Turbines. Journal of Physics: Conference Series, 2265, 042066. http://doi.org/10.1088/1742-6596/2265/4/042066 (Original work published 2026)

Abstract

In this paper, atmospheric irrigation with wind turbines is proposed. This technology addresses the problem of water scarcity by enhancing the natural water circuit in the atmosphere with wind turbines. There are three different operating modes conceivable for this technology. In two of these the wind turbines interact with the ground in their near wake. The third operating mode is the one which is discussed in this paper, and it aims at transporting water potentially over long distances. The basic working principle, the utilized physical phenomena and the basic design of the technology are introduced. The equations governing the hydraulic and the hydrological effects are presented. The goal of this paper is to quantify the necessary power and the necessary amount of water when wind turbines humidify a certain volume of air in the atmosphere. For this purpose, the power and water demand are assessed, both in a generalized manner and for a realistic scenario. It is concluded that the proposed system can achieve the objective in most wind speed conditions. However, the required amount of water is substantial. Therefore, an alternative source of fresh water has to be found when the system is used on a comparably large scale.
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Jauch, Clemens
Filter Tags
2022

Journal Article

Prof. Dr. Clemens Jauch

S Emeis
Updates on the OpenFAST Lidar Simulator

Guo, F., Schlipf, D., Zhu, H., Platt, A., Cheng, P. W., & Thomas, F. (2022). Updates on the OpenFAST Lidar Simulator. In Journal of Physics: Conference Series (Bd. 2265, S. 042030). http://doi.org/10.1088/1742-6596/2265/4/042030 (Original work published 2026)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2022

Conference Paper

Feng Guo

David Schlipf

Hailong Zhu

Andy Platt

Po Cheng

Florian Thomas
Four-dimensional wind field generation for the aeroelastic simulation of wind turbines with lidars

Chen, Y., Guo, F., Schlipf, D., & Cheng, P. W. (2022). Four-dimensional wind field generation for the aeroelastic simulation of wind turbines with lidars. Wind Energy Science, 7, 539–558. http://doi.org/10.5194/wes-7-539-2022 (Original work published 2026)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2022

Journal Article

Yiyin Chen

Feng Guo

David Schlipf

Po Cheng

Publikationen

2023

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2022

Exportformate

Weiterführende Links

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags