Publikationen

2019

• One Monad to Prove Them All

  Dylus, S. ., Christiansen, J. ., & Teegen, F. . (2019). One Monad to Prove Them All. The Art, Science, and Engineering of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8

  Abstract

  anzeigen ▸

  One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assistant Coq. On the one hand, as a PhD student in computer science Mona observes an increasing demand for correct software products. In particular, because of the large amount of existing software, verifying existing software products becomes more important. Verifying programs in the functional programming language Haskell is no exception. On the other hand, Mona is delighted to see that communities in the area of theorem proving are becoming popular. Thus, Mona sets out to learn more about the interactive theorem prover Coq and verifying Haskell programs in Coq.

  • 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
  • Journal Article
  • • Sandra Dylus
    • Jan Christiansen
    • Finn Teegen

• 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

• Hydropneumatisches Schwungrad zur Energiespeicherung

  Jauch, C. . (2019). Hydropneumatisches Schwungrad zur Energiespeicherung.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Jauch, Clemens

  Filter Tags

  • 2019
  • Patent
  • • Prof. Dr. Clemens Jauch
  • • WETI

• Evaluating a Wearable Camera s Social Acceptability In-the-Wild

  Koelle, M. ., Wallbaum, T. ., Heuten, W. ., & Boll, S. C. (2019). Evaluating a Wearable Camera s Social Acceptability In-the-Wild. In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems (S. 1–6).

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Wallbaum, Torben

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2019
  • Conference Paper
  • • Marion Koelle
    • Torben Wallbaum
    • Wilko Heuten
    • Susanne Boll

• Hydraulic-pneumatic flywheel configurations for controlling the inertia of a wind turbine rotor

  Jauch, C. ., Hippel, S. ., & Ritschel, U. . (2019). Hydraulic-pneumatic flywheel configurations for controlling the inertia of a wind turbine rotor. Wind Engineering, 43(2), 19. http://doi.org/10.1177/0309524X18780386

  • 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
    • S. Hippel
    • U. Ritschel
  • • WETI

• 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