Publikationen

2019

• Cerse-catalog for empirical research in software engineering: A systematic mapping study

  eri, J. S. M., Petersen, K., & Mendes, E. (2019). Cerse-catalog for empirical research in software engineering: A systematic mapping study. Information and Software Technology, 105, 117–149.

  • 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
    • Kai Petersen
    • Emilia Mendes

• 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

• 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

• 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

• 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

• 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

• 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

• System dynamics modeling for sustainable supply chain management: A literature review and systems thinking approach

  Rebs, T., Brandenburg, M., & Seuring, S. (2019). System dynamics modeling for sustainable supply chain management: A literature review and systems thinking approach. Journal of Cleaner Production, 208, 1265–1280. http://doi.org/10.1016/j.jclepro.2018.10.100

  Abstract

  anzeigen ▸

  Globalized economic systems involve complex supply chains (SCs) where environmental and social impacts are to be managed in alignment with diverse stakeholder expectations and to mitigate sustainability-related risks. Quantitative modeling approaches for sustainable supply chain management (SSCM) have gained increasing attention. Compared to analytical models and mathematical programming, simulation methods in SSCM are underrepresented, although system dynamics (SD) modeling is suitable to simulate and examine complex and dynamic systems and to support long-term, strategic decision-making. This paper provides a review of SSCM-related SD models, systematizes SSCM from a systems thinking perspective in a conceptual framework, and proposes guidelines for SD modeling in SSCM research. A content analysis of related literature examines SD models for forward, reverse, and closed-loop SCs that include environmental or social aspects of sustainability. It is found that a majority of models deals with macroscopic levels of analysis while models for intra- and inter-organizational SCs are less prominent. SSCM-related SD models integrate environmental and social sustainability metrics, governmental pressures and incentives or customer expectations, but uncertainties and risks are seldom modeled. Inferences for future SD modeling in SSCM are derived from this review to address strengths and shortcomings of extant SD modeling approaches for SSCM. SSCM-related constructs, model validation and the need of hybrid models, which integrate different simulation, optimization, or multi-criteria decision-making models, are addressed. A framework for a systems thinking perspective on SSCM is conceptualized that may serve as a basis for future research.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Brandenburg, Marcus

  Filter Tags

  • 2019
  • Journal Article
  • • Tobias Rebs
    • Marcus Brandenburg
    • Stefan Seuring
  • • Sustainable supply chain management
    • System dynamics
    • Literature review
    • Conceptual framework
    • Stakeholder influences
    • Risk management