Publikationen

2019

• 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

• 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

• Secure Delegation of Isogeny Computations and Cryptographic Applications

  Pedersen, R., & Uzunkol, O. (2019). Secure Delegation of Isogeny Computations and Cryptographic Applications. In Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop (S. 29–42). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3338466.3358913

  Abstract

  anzeigen ▸

  We address the problem of speeding up isogeny computation for supersingular elliptic curves over finite fields using untrusted computational resources like third party servers or cloud service providers (CSPs). We first propose new, efficient and secure delegation schemes. This especially enables resource-constrained devices (e.g. smart cards, RFID tags, tiny sensor nodes) to effectively deploy post-quantum isogeny-based cryptographic protocols. To the best of our knowledge, these new schemes are the first attempt to generalize the classical secure delegation schemes for group exponentiations and pairing computation to an isogeny-based post-quantum setting. Then, we apply these secure delegation subroutines to improve the performance of supersingular isogeny-based zero-knowledge proofs of identity. Our experimental results show that, at the 128-bit quantum-security level, the proving party only needs about 3% of the original protocol cost, while the verifying party s effort is fully reduced to comparison operations. Lastly, we also apply our delegation schemes to decrease the computational cost of the decryption step for the NIST postquantum standardization candidate SIKE.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Uzunkol, Osmanbey

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Robi Pedersen
    • Osmanbey Uzunkol
  • • supersingular isogeny cryptography
    • lightweight cryptography
    • post-quantum cryptographic protocols
    • secure computation outsourcing

• Improving Readability of Text in Realistic Virtual Reality Scenarios: Visual Magnification Without Restricting User Interactions

  Knaack, L., Lache, A.-K., Preikszas, O., Reinhold, S., & Teistler, M. (2019). Improving Readability of Text in Realistic Virtual Reality Scenarios: Visual Magnification Without Restricting User Interactions. In Proceedings of Mensch Und Computer 2019 (S. 749–753). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3340764.3344902

  Abstract

  anzeigen ▸

  The resolution of current head-mounted displays leads to poor readability of text inrealistic virtual reality (VR) simulations. This results in unnatural user behavior. Here, three approaches for improving the readability of text in VR have been investigated:1) constantly magnifying a part of the screen (version "lens"), 2) magnifying sceneelements such as signs depending on the gaze direction (version "magnify") and3) augmenting the scene by adding floating texts (version "AR"). These approaches havebeen implemented as prototypes and tested by twelve users, using a virtual supermarketas an exemplary VR scene. The participants filled out a questionnaire, rating theirexperience with the different approaches. Additionally, the time required for readinggiven texts (price tags) has been measured and compared for each approach. With theAR version, the reading time was significantly shorter than the reading time without anyaids. The other versions offered no advantages. The AR version was also rated best in thequalitative evaluation. However, the other versions offer potential for improvement, which can be addressed in future research.

  • 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
  • • Lars Knaack
    • Ann-Karolin Lache
    • Oliver Preikszas
    • Sascha Reinhold
    • Michael Teistler
  • • realistic simulation
    • readability
    • Virtual Reality
    • magnification
    • usability
    • head-mounted display

• Investigation of Laminar–Turbulent Transition on a Rotating Wind-Turbine Blade of MultimegawattClass with Thermography and Microphone Array

  Jauch, C., Reichstein, T., Schaffarczyk, A. P., Dollinger, C., Balaresque, N., Schülein, E., & Fischer, A. (2019). Investigation of Laminar–Turbulent Transition on a Rotating Wind-Turbine Blade of MultimegawattClass with Thermography and Microphone Array . Energies, 12. http://doi.org/10.3390/en12112102

  • 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
  • Journal Article
  • • Prof. Dr. Clemens Jauch
    • T. Reichstein
    • A. Schaffarczyk
    • C. Dollinger
    • N. Balaresque
    • E. Schülein
    • A. Fischer
  • • WETI

• Aus-und Weiterbildung für die Energiewende Qualifizierungsstudie mit Angebots-und Bedarfsanalyse für den Energiesektor

  von Düsterlho, D. J.-E., & Faber, P. D.-I. T. (2019). Aus-und Weiterbildung für die Energiewende Qualifizierungsstudie mit Angebots-und Bedarfsanalyse für den Energiesektor. Abgerufen von https://www.new4-0.de/wp-content/uploads/2019/07/NEW-4.0-AP-7-Aus-und-Weiterbildung_Qualifizierungsstudie.pdf

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Faber, Torsten

  • Abteilung/Einrichtung

    • Wind Energy Technology Institute

  Filter Tags

  • 2019
  • Miscellaneous
  • • Prof. Dr. von Düsterlho
    • Prof. Dr.-Ing. Torsten Faber
  • • WETI

• 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

• 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

• New work - wie die Digitalisierung die Arbeitswelt verändert : Potenzial- und Risikoanalyse für produzierende Unternehmen

  Sextro, H. kleine, Sauer, D., & Albert, T. (2019). New work - wie die Digitalisierung die Arbeitswelt verändert : Potenzial- und Risikoanalyse für produzierende Unternehmen. Berlin : LIT.

  • Suche auf Google Scholar

  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
  • • Hannes Sextro
    • Dirk Sauer
    • Till Albert
  • • Arbeitswelt
    • World of work
    • Digitalisierung
    • Digitization
    • Industrie 4.0
    • Industry 4.0
    • Wirkungsanalyse
    • Impact assessment
    • Unternehmensanalyse
    • Business analysis
    • Risiko
    • Risk
    • Produktivität
    • Productivity
    • Arbeitszufriedenheit
    • Job satisfaction
    • Risikoanalyse

• Verifying Effectful Haskell Programs in Coq

  Christiansen, J., Dylus, S., & Bunkenburg, N. (2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125–138). ACM Press. http://doi.org/10.1145/3331545.3342592

  Abstract

  anzeigen ▸

  We show how various Haskell language features that are related to ambient effects can be modeled in Coq. For this purpose we build on previous work that demonstrates how to reason about existing Haskell programs by translating them into monadic Coq programs. A model of Haskell programs in Coq that is polymorphic over an arbitrary monad results in non-strictly positive types when transforming recursive data types likes lists. Such non-strictly positive types are not accepted by Coq’s termination checker. Therefore, instead of a model that is generic over any monad, the approach we build on uses a specific monad instance, namely the free monad in combination with containers, to model various kinds of effects. This model allows effect-generic proofs.

  • 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
  • Conference Paper
  • • Jan Christiansen
    • Sandra Dylus
    • Niels Bunkenburg