Publikationen

2019

• Test cases for a coupled powerplant and geostorage model to simulate compressed air energy storage in geological porous media

  Pfeiffer, W. T., Witte, F. ., Tuschy, I. ., & Bauer, S. . (2019). Test cases for a coupled powerplant and geostorage model to simulate compressed air energy storage in geological porous media. In Proceedings of 11th International Conference on Applied Energy, Part 4 (Bd. 05). Västeras, Sweden.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Witte, Francesco
    • Tuschy, Ilja

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2019
  • Conference Paper
  • • Wolf Pfeiffer
    • Francesco Witte
    • Ilja Tuschy
    • Sebastian Bauer

• Detecting and Exploiting Generalized Nonlinear Static Feedback Structures in DAE Systems for MPC

  Frey, J. ., Ouirynen, R. ., Kouzoupis, D. ., Frison, G. ., Geisler, J. ., Schild, A. ., & Diehl, M. . (2019). Detecting and Exploiting Generalized Nonlinear Static Feedback Structures in DAE Systems for MPC. In 18th European Control Conference (ECC) (S. 2756–2762). http://doi.org/10.23919/ECC.2019.8795732

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Geisler, Jens

  Filter Tags

  • 2019
  • Conference Paper
  • • Jonathan Frey
    • Rien Ouirynen
    • Dimitris Kouzoupis
    • Gianluca Frison
    • Jens Geisler
    • Axel Schild
    • Moritz Diehl

• Potential of AR for the Analysis and Training of Spatial Skills: A Case Study

  Dohse, F. ., Nicolaisen, V. ., Wetzel, S. ., & Bertel, S. . (2019). Potential of AR for the Analysis and Training of Spatial Skills: A Case Study. In Proceedings of Mensch Und Computer 2019 (S. 537–541). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3340764.3344453

  Abstract

  anzeigen ▸

  Good spatial skills are of particular importance in STEM domains. For the training of spatial skills, smartphones provide a promising platform because of their high dissemination. Additionally, new frameworks make it easy to develop and use augmented reality (AR) contents. To examine the potential of AR for the training of spatial skills, we developed a prototype of a smartphone app for the solving of cross section tasks.The prototype was tested in a user study with 32 university students. It was compared against a second prototype with a classical Arcball interaction. For both prototypes, success rates were equally high. However, 3D-objects could be rotated faster using the AR-app. For the AR-app, participants reported higher scores regarding innovation and motivation but also for physical demands. This is especially interesting because motor activity and spatial skills are highly connected. Therefore, the physical approach might be promising for the development of spatial skill training apps which might lead to good long-term training results.

  • 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
  • • Friedemann Dohse
    • Vera Nicolaisen
    • Stefanie Wetzel
    • Sven Bertel
  • • augmented reality
    • Grundlagen adaptiver Lernsysteme
    • R aumliches Vorstellungsverm ogen
    • Usability-Studie
    • Schnittbilder

• 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

• 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

• An Odd Couple: Loss-Based Congestion Control and Minimum RTT Scheduling in MPTCP

  Lübben, R. ., & Morgenroth, J. . (2019). An Odd Couple: Loss-Based Congestion Control and Minimum RTT Scheduling in MPTCP. In IEEE Local Computer Networks. http://doi.org/10.1109/LCN44214.2019.8990831

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Lübben, Ralf

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2019
  • Conference Paper
  • • Ralf Lübben
    • Johannes Morgenroth

• The Future of Geographic Information Displays from GIScience, Cartographic, and Cognitive Science Perspectives

  Thrash, T. ., Lanini-Maggi, S. ., Fabrikant, S. I., Bertel, S. ., Brügger, A. ., Credé, S. ., … Richter, K.-F. . (2019). The Future of Geographic Information Displays from GIScience, Cartographic, and Cognitive Science Perspectives. In 14th International Conference on Spatial Information Theory : (Bd. 142, S. 1–19). http://doi.org/10.4230/LIPIcs.COSIT.2019.19

  Abstract

  anzeigen ▸

  With the development of modern geovisual analytics tools, several researchers have emphasized the importance of understanding users cognitive, perceptual, and affective tendencies for supporting spatial decisions with geographic information displays (GIDs). However, most recent technological developments have focused on support for navigation in terms of efficiency and effectiveness while neglecting the importance of spatial learning. In the present paper, we will envision the future of GIDs that also support spatial learning in the context of large-scale navigation. Specifically, we will illustrate the manner in which GIDs have been (in the past) and might be (in the future) designed to be context-responsive, personalized, and supportive for active spatial learning from three different perspectives (i.e., GIScience, cartography, and cognitive science). We will also explain why this approach is essential for preventing the technological infantilizing of society (i.e., the reduction of our capacity to make decisions without technological assistance). Although these issues are common to nearly all emerging digital technologies, we argue that these issues become especially relevant in consideration of a person s current and future locations.

  • 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
  • • Tyler Thrash
    • Sara Lanini-Maggi
    • Sara Fabrikant
    • Sven Bertel
    • Annina Brügger
    • Sascha Credé
    • Cao Do
    • Georg Gartner
    • Haosheng Huang
    • Stefan Münzer
    • Kai-Florian Richter
  • • visual displays
    • geographic information
    • cartography
    • cognitive science

• A novel and easy to use sintering model for practical process optimization - Introduction and first experimental results

  Thomsen, F. ., Ebel, T. ., & Willumeit-Römer, R. . (2019). A novel and easy to use sintering model for practical process optimization - Introduction and first experimental results. In Euro PM 2019 Congress and Exhibition .

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Thomsen, Fritz

  Filter Tags

  • 2019
  • Conference Paper
  • • Fritz Thomsen
    • Thomas Ebel
    • Regine Willumeit-Römer

• 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

• Use of a Smartphone as Virtual Probe for Medical Ultrasound Training: Six Degrees of Freedom Tracking with ARCore

  Jann, F. ., Reinhold, S. ., & Teistler, M. . (2019). Use of a Smartphone as Virtual Probe for Medical Ultrasound Training: Six Degrees of Freedom Tracking with ARCore. In Proceedings of Mensch Und Computer 2019 (S. 759–763). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3340764.3344904

  Abstract

  anzeigen ▸

  Six Degrees of Freedom (6DoF) controllers are usually expensive and/or complex to set up. A smartphone as 6DoF controller could be a cost-effective and simple alternative. Within the scope of this research, the application context of medical ultrasound training is addressed, in which the smartphone could be used to control a virtual probe. For this purpose, the difference in rotation and position tracking has been examined between an HTC Vive Tracker as an established reference system and a smartphone using ARCore. Additionally, the usability of the smartphone for controlling a virtual ultrasound probe has been qualitatively evaluated by nine subjects using a simplified test system. ARCore s 6DoF tracking is generally less reliable and accurate than the HTC Vive tracker. However, both the characteristics of the measured tracking errors and the qualitative evaluation show that an ARCore-based 6DoF tracking can be used as a simple and acceptable solution for controlling a virtual ultrasound probe.

  • 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
  • • Florian Jann
    • Sascha Reinhold
    • Michael Teistler
  • • computer based training
    • 6DoF tracking
    • ARCore
    • simulation
    • smartphone
    • virtual ultrasound probe