Süncksen, M. ., Teistler, M. ., Hamester, F. ., & Ebert, L. . (2019). Preparing and Guiding Forensic Crime Scene Inspections in Virtual Reality. In Proceedings of Mensch Und Computer 2019 (S. 755–758). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3340764.3344903
Abstract
Computer-based scene reconstruction is a method for answering specific forensic questions in the context of accident or crime scenes. For the resulting 3D reconstruction, the use of virtual reality (VR) technology is a novel presentation form. For the presentation to a prosecutor, the need to put visible content into context awards special significance to the moderator, especially as in a VR presentation the head mounted display (HMD) cuts VR users off from their natural environment. We analyze use cases for the parties involved in the courtroom VR presentation and consider the author, moderator and spectator roles and their corresponding session types for creating, directing and watching the presentation. A prototype system has been implemented to allow for suitable VR interactions for the three roles. An evaluation of the system with 12 participants assuming the role of the spectator yielded positive results with regard to the user experience and utility.
Boysen, C. ., Kaldemeyer, C. ., & Tuschy, I. . (2019). Elektrizitätsnetzgekoppelte Fernwärmeversorgung 2020 - Untersuchung von Flexibilitätsoptionen in der Wärmeversorgung. Forschungsergebnisse, 9.
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.
Fan, B. ., Parrot, D. ., Blümel M. ., Labes, A. ., & Tasdemir, D. . (2019). Influence of OSMAC-Based Cultivation in Metabolome and Anticancer Activity of Fungi Associated with the Brown Alga Fucus vesiculosus, Online-Ressource. http://doi.org/10.3390/md17010067
Brandenburg, M. ., Gruchmann, T. ., & Oelze, N. . (2019). Sustainable Supply Chain Management—A Conceptual Framework and Future Research Perspectives. Sustainability, 11. http://doi.org/10.3390/su11247239
Abstract
Sustainable operations and sustainable supply chain management (SSCM) have become a highly relevant topic for scientific research and management, as well as policy-making practice. Despite surging growth in extant research, the need for theoretical and conceptual substantiation persists, and large opportunities for further research remain unexploited. This paper responds to the need for a conceptual foundation and, therefore, aims at providing a structured agenda for future research areas in SSCM. Based on an abductive reasoning approach, SSCM constructs and concepts are gathered from existing literature and recombined into a comprehensive conceptual SSCM framework. Areas and directions for future SSCM research, as suggested in earlier studies, are summarized, positioned in the framework, and outlined to stimulate further SSCM research activities. To overcome the lack of holistic research in the field, sophisticated techniques and integrated systems to support decision-making are required to tackle related issues’ complexity. Therefore, this paper’s contribution lies in the synthesis of state-of-the-art literature to provide a more comprehensive view of SSCM. Researchers may find promising recommendations and a suitable foundation for future studies, while practitioners may find helpful orientation and guidance for decision- and policy-making.
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.
Jauch, C. ., & Hippel, S. . (2019). Load Analysis of Hydraulic-Pneumatic Flywheel Configurations Integrated in a Wind Turbine Rotor. Wind Energy, 22, 13. http://doi.org/10.1002/we.2349
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
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.