Publikationen

2019

• One Monad to Prove Them All

  Dylus, S., Christiansen, J., & Teegen, F. (2019). One Monad to Prove Them All. The Art, Science, and Engineering of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8

  Abstract

  anzeigen ▸

  One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assistant Coq. On the one hand, as a PhD student in computer science Mona observes an increasing demand for correct software products. In particular, because of the large amount of existing software, verifying existing software products becomes more important. Verifying programs in the functional programming language Haskell is no exception. On the other hand, Mona is delighted to see that communities in the area of theorem proving are becoming popular. Thus, Mona sets out to learn more about the interactive theorem prover Coq and verifying Haskell programs in Coq.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Journal Article
  • • Sandra Dylus
    • Jan Christiansen
    • Finn Teegen

• Evaluating a Wearable Camera s Social Acceptability In-the-Wild

  Koelle, M., Wallbaum, T., Heuten, W., & Boll, S. C. (2019). Evaluating a Wearable Camera s Social Acceptability In-the-Wild. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems (S. 1–6).

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Wallbaum, Torben

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Marion Koelle
    • Torben Wallbaum
    • Wilko Heuten
    • Susanne Boll

• Development of a Modular Multilevel Converter Demonstrator with EtherCAT Communication

  Fey, J.-H., Hinrichsen, F., Carstens, G., & Mallwitz, R. (2019). Development of a Modular Multilevel Converter Demonstrator with EtherCAT Communication. In 2019 IEEE 13th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG) (S. 1–6). Sonderborg, Denmark. http://doi.org/10.1109/CPE.2019.8862424

  Abstract

  anzeigen ▸

  The Modular Multilevel Converter (MMC) is a proven topology in HVDC, but it is also a suitable solution for medium voltage applications such as wind turbines. To increase the modularity and the scalability of this topology for medium voltage applications, a real-time communication bus between the submodules and the central control unit is implemented as an efficient way of control. This real-time communication is realized using EtherCAT communication. To verify the advantages of this control strategy a 3-kV 350-kVA demonstrator of a medium voltage MMC topology with EtherCAT communication is constructed and set up. The description and the analysis of this demonstrator with focus on the EtherCAT communication are presented in this paper. The communication path, the synchronization and the control including the modulation method are discussed, investigated and validated within this paper.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Profilbereich

    • Erneuerbare Energien und nachhaltige Entwicklung

  • Forschungsfeld

    • Wind

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2019
  • Conference Paper
  • • Jan-Henrik Fey
    • Frank Hinrichsen
    • Gyde Carstens
    • Regine Mallwitz
  • • Medium voltage
    • Capacitors
    • Topology
    • Synchronization
    • Real-time systems
    • Harmonic analysis
    • MMC demonstrator
    • EtherCAT communication
    • synchronization
    • medium voltage
    • wind turbines
    • phase-shifted PWM

• Characteristics that affect preference of decision models for asset selection: an industrial questionnaire survey

  egroth, E. A., Gorschek, T., Petersen, K., & Mattsson, M. (2019). Characteristics that affect preference of decision models for asset selection: an industrial questionnaire survey. 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

  • 2019
  • Journal Article
  • • Emil egroth
    • Tony Gorschek
    • Kai Petersen
    • Michael Mattsson

• Open Innovation in KMU: Eine empirische Analyse ausgewählter Faktoren

  Messer, J., & Martin, A. (2019). Open Innovation in KMU: Eine empirische Analyse ausgewählter Faktoren. Flensburg : Dr. Werner Jackstädt-Zentrum für Unternehmertum und Mittelstand. http://doi.org/1663668507 [GVK], hdl:10419/196169 [Handle], RePEc:zbw:dwjzhe:18 [RePEc]

  Abstract

  anzeigen ▸

  Die vorliegende Arbeit liefert einen Beitrag zum näheren Verständnis über die Treiber von Open Innovation in kleineren und mittleren Unternehmen (KMU). Im Vordergrund der Überlegungen steht die Frage, welche Faktoren zur Einführung von Open Innovation in KMU führen. Zur Beantwortung der Forschungsfrage wurde in enger Anlehnung an Drechsler und Natter (2012) ein Modell entwickelt, welches Wettbewerbsintensität, F&E-Intensität und Internationalisierung als zentrale Prädiktoren für Open Innovation betrachtet. Zur Überprüfung des Modells wurden drei Hypothesen formuliert und mittels einer hierarchischen Regressionsanalyse empirisch überprüft. Datenbasis bildet das Mannheimer Innovationpanel 2013. Die Stichprobe umfasst 1.514 innovative KMU mit Sitz in Deutschland. Die empirische Analyse konnte die bisherigen Forschungsergebnisse in weiten Teilen bestätigen, zeigt aber auch gewisse Unterschiede zu bisherigen Erkenntnissen auf. Der F&E-Intensität kommt als Treiber von Open Innovation in KMU der größte Einfluss zu, Internationalisierung besitzt hingegen den geringsten Einfluss. Insgesamt ist jedoch festzustellen, dass durch die drei berücksichtigen Faktoren nur 18,5 Prozent der vorgefundenen Varianz in Bezug auf Open Innovation in KMU erklärt werden können. Das heißt, es sind zukünftig weitere Faktoren für das Verständnis über die relevanten Treiber von Open Innovation in KMU heranzuziehen.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Abteilung/Einrichtung

    • Jackstädt-Zentrum Flensburg (JZF)

  Filter Tags

  • 2019
  • Miscellaneous
  • • Julia Messer
    • Alexander Martin

• Large Scale Test Bench for Emulating Grid Connected Wind Turbines of Different Sizes

  Rohr, A., & Jauch, C. (2019). Large Scale Test Bench for Emulating Grid Connected Wind Turbines of Different Sizes. 2019 IEEE 13th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG). http://doi.org/10.1109/CPE.2019.8862408

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Jauch, Clemens

  Filter Tags

  • 2019
  • Conference Proceedings
  • • A. Rohr
    • Prof. Dr. Clemens Jauch

• Tangible Browsing for E-Books: Design and Evaluation of a Haptic Approach for Digital Reading

  Sietas, J., Hansen, T., Ali, H., Reinhold, S., & Teistler, M. (2019). Tangible Browsing for E-Books: Design and Evaluation of a Haptic Approach for Digital Reading. In Proceedings of Mensch Und Computer 2019 (S. 737–741). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3340764.3344900

  Abstract

  anzeigen ▸

  Sensory perception is an important part of reading. Physical books are experiencedhaptically, for instance when turning pages using one s fingers. When browsing e-bookson current reader devices, this tangibility is missing. Our research investigates if the userexperience of e-book readers can be improved by adding haptic feedback to the act of browsing. For this purpose an e-book reader with applied nylon wires has beendeveloped, with which browsing becomes tangible. The prototype has been tested withusers and compared to an e-book reader with a common touch-controlled scrollbar usingquantitative and qualitative methods. The results show that the scrollbar version enabledparticipants to navigate faster. However, the prototype with haptic feedback receivedbetter ratings in terms of pragmatic and hedonic quality as well as attractiveness.Additionally, tangible browsing enabled users to navigate more precisely. This wouldexplain, why participants appreciated the pragmatic qualities, even though the act of browsing was slower. Therefore haptic feedback can improve the acceptance of e-books.

  • 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

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Jacob Sietas
    • Torsten Hansen
    • Hajar Ali
    • Sascha Reinhold
    • Michael Teistler
  • • User Experience
    • Browsing
    • Searching
    • Sensory Perception
    • Haptics
    • Scrollbar

• WPF in C# für Anfänger

  Cordts, S., & Nasutta, M. (2019). WPF in C# für Anfänger. mana-Buch Verlag.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

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

• Adapting Gameplay to Eye Movements - An Exploration with TETRIS

  Spiel, K., Bertel, S., & Kayali, F. (2019). Adapting Gameplay to Eye Movements - An Exploration with TETRIS. In Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (S. 687–695). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3341215.3356267

  Abstract

  anzeigen ▸

  Gameplay experience is shaped by players expectations towards the game and how game features are presented to them. We created two modified versions of the classic TETRIS game: one that adapts game difficulty based on players performance and one that additionally adapts to players eye movements. An initial analysis of exploratory study results indicates that eye-movement-based adaptive difficulty in TETRIS might not affect player performance and that framing the use of adaptive difficulty might only have a limited influence on both players game experience and perceived competence.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Bertel, Sven

  • Abteilung/Einrichtung

    • CIVU – Center for Interaction, Visualization and Usability

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Katta Spiel
    • Sven Bertel
    • Fares Kayali
  • • adaptive difficulty
    • player experience
    • framing
    • eye movements

• Usage, retention, and abandonment of agile practices: a survey and interviews results

  Nurdiani, I., Börstler, J., Fricker, S., & Petersen, K. (2019). Usage, retention, and abandonment of agile practices: a survey and interviews results. e-Informatica Software Engineering Journal, 13.

  • 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

  • 2019
  • Journal Article
  • • Indira Nurdiani
    • Jürgen Börstler
    • Samuel Fricker
    • Kai Petersen