Publikationen

2019

• Proving Inequational Propositions about Haskell Programs in Coq

  Christiansen, J. ., & Dylus, S. . (2019). Proving Inequational Propositions about Haskell Programs in Coq.

  • Suche auf Google Scholar

  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
  • Unpublished
  • • Jan Christiansen
    • Sandra Dylus

• Algorithmen und Datenstrukturen in Visual Basic

  Cordts, S. ., & Nasutta, M. . (2019). Algorithmen und Datenstrukturen in Visual Basic (2. überarbeitete Auflage). 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

• Cycle Detection in Time Series: CyDeTS

  Witte, F. ., & Kaldemeyer, C. . (2019). Cycle Detection in Time Series: CyDeTS. Zenodo. http://doi.org/10.5281/ZENODO.2625698

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Witte, Francesco

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2019
  • Miscellaneous
  • • Francesco Witte
    • Cord Kaldemeyer
  • • cycles
    • time series

• Entrepreneurship Education als Möglichkeits- und Ermöglichungsraum - eine erste theoretische Annäherung aus fachdidaktischer Perspektive

  Ebbers, I. . (2019). Entrepreneurship Education als Möglichkeits- und Ermöglichungsraum - eine erste theoretische Annäherung aus fachdidaktischer Perspektive. Entrepreneurship Education : Begriff - Theorie - Verständnis. Wiesbaden, Germany: Springer Gabler. http://doi.org/10.1007/978-3-658-27327-9_3 [DOI]

  • 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
  • • Ilona Ebbers
  • • Gründungsausbildung
    • Entrepreneurship education
    • Wissenschaftstheorie
    • Philosophy of science

• 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

• 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

• 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

• Using Gaze-Derived Measures to Contrast Mental and Physical Rotation Processes

  Bertel, S. ., & Wetzel, S. . (2019). Using Gaze-Derived Measures to Contrast Mental and Physical Rotation Processes. ECEM 2019. Alicante.

  • Suche auf Google Scholar

  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 Proceedings
  • • Sven Bertel
    • Stefanie Wetzel

• Reasoning about Research Quality Alignment in Software Engineering

  eri, J. S. M., Felderer, M. ., Mendes, E. ., & Petersen, K. . (2019). Reasoning about Research Quality Alignment in Software Engineering. Journal of Systems and Software.

  • 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
  • • Jefferson eri
    • Michael Felderer
    • Emilia Mendes
    • Kai Petersen

• 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