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