Publikationen

2018

• Probabilistic Functional Logic Programming

  Dylus, S., Christiansen, J., & Teegen, F. (2018). Probabilistic Functional Logic Programming. In Practical Aspects of Declarative Languages (S. 3–19). Springer International Publishing.

  Abstract

  anzeigen ▸

  This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming. In fact, the paradigms of functional logic and probabilistic programming are closely connected. That is, we can apply techniques from one area to the other and vice versa. We will see that an implementation based on the concepts of functional logic programming can have benefits with respect to performance compared to a standard list-based implementation.

  • 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

  • 2018
  • Conference Paper
  • • Sandra Dylus
    • Jan Christiansen
    • Finn Teegen

• Mobile Apps mit Xamarin.Forms

  Cordts, S., & Nasutta, M. (2018). Mobile Apps mit Xamarin.Forms. 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

  • 2018
  • Book
  • • Sönke Cordts
    • Maren Nasutta

• A sustainable aggregate production planning model for the chemical process industry

  Hahn, G. J., & Brandenburg, M. (2018). A sustainable aggregate production planning model for the chemical process industry. Computers & Operations Research, 94, 154–168. http://doi.org/10.1016/j.cor.2017.12.011

  Abstract

  anzeigen ▸

  Process industries typically involve complex manufacturing operations and thus require adequate decision support for aggregate production planning (APP). In this paper, we focus on two relevant features of APP in process industry operations: (i) sustainable operations planning involving multiple alternative production modes/routings with specific production-related carbon emission and the social dimension of varying operating rates, (ii) integrated campaign planning with the operational level in order to anticipate production mix/volume/routing decisions on campaign lead times and WIP inventories as well as the impact of variability originating from a stochastic manufacturing environment. We focus on the issue of multi-level chemical production processes and highlight the mutual trade-offs along the triple bottom line concerning economic, environmental and social factors. To this end, production-related carbon emission and overtime working hours are considered as externalized factors as well as internalized ones in terms of resulting costs. A hierarchical decision support tool is presented that combines a deterministic linear programming model and an aggregate stochastic queuing network model. The approach is exemplified at a case example from the chemical industry to illustrate managerial insights and methodological benefits of our approach.

  • 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

  • 2018
  • Journal Article
  • • Gerd Hahn
    • Marcus Brandenburg
  • • Sustainable production
    • Aggregate planning
    • Decision support system
    • Queuing networks
    • Chemical process industry

• Information Push and Pull in Tactile Pedestrian Navigation Support

  von Jan, V., Bertel, S., & Hornecker, E. (2018). Information Push and Pull in Tactile Pedestrian Navigation Support. In Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct (S. 55–62). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3236112.3236120

  Abstract

  anzeigen ▸

  For pedestrian navigation support, we report on how the feeling of being in control about receiving updates impacts navigation efficiency and user experience. In an exploratory field study, 24 participants navigated to previously unknown targets using a wristband which conveyed tactile information about targets bearing. Information was either pulled by the user at times of her choosing via a simple arm gesture, or was pushed by the armband at a regular, preset interval. While the push mode resulted in higher efficiency, more users preferred actively pulling information, possibly as this afforded feeling more in control. Interestingly, mode preference was independent of individual navigation ability. Results suggest that properties of the specific navigation context should be used to determine whether an interface offers push or pull modes for navigation support.

  • 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

  • 2018
  • Conference Paper
  • • Vanessa von Jan
    • Sven Bertel
    • Eva Hornecker
  • • urban navigation
    • user control
    • tactile interface
    • mobile interface

• A preliminary checklist for capturing baseline situations in studying the impacts of Agile practices introduction

  Nurdiani, I., Börstler, J., Fricker, S., & Petersen, K. (2018). A preliminary checklist for capturing baseline situations in studying the impacts of Agile practices introduction. In 2018 IEEE/ACM 6th International Workshop on Conducting Empirical Studies in Industry (CESI) (S. 25–28).

  • 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

  • 2018
  • Conference Paper
  • • Indira Nurdiani
    • Jürgen Börstler
    • Samuel Fricker
    • Kai Petersen

• A Generic Formulation of Compressed Air Energy Storage as Mixed Integer Linear Program - Unit Commitment of Specific Technical Concepts in Arbitrary Market Environments

  Kaldemeyer, C., Boysen, C., & Tuschy, I. (2018). A Generic Formulation of Compressed Air Energy Storage as Mixed Integer Linear Program - Unit Commitment of Specific Technical Concepts in Arbitrary Market Environments. Materials Today: Proceedings, 5, 22835–22849. http://doi.org/10.1016/j.matpr.2018.07.098

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Tuschy, Ilja

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2018
  • Journal Article
  • • Cord Kaldemeyer
    • Cynthia Boysen
    • Ilja Tuschy

• An elementary simulation model for neck growth and shrinkage during solid phase sintering

  Thomsen, F., Hofmann, G., Ebel, T., & Willumeit-Römer, R. (2018). An elementary simulation model for neck growth and shrinkage during solid phase sintering. Materialia, 3, 9. http://doi.org/https://doi.org/10.1016/j.mtla.2018.08.031

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Thomsen, Fritz

  Filter Tags

  • 2018
  • Journal Article
  • • Fritz Thomsen
    • Götz Hofmann
    • Thomas Ebel
    • Regine Willumeit-Römer

• Open Privacy: Anonymisiertes Live-Feedback für Vortragssituationen

  Nicolaisen, V., Dohse, F., Eickelmann, T., Goldgräbe, Y., Reinhold, S., & Teistler, M. (2018). Open Privacy: Anonymisiertes Live-Feedback für Vortragssituationen. In Mensch und Computer 2018 - Tagungsband. Bonn: Gesellschaft für Informatik e.V. http://doi.org/10.18420/muc2018-mci-0420

  • 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

  • 2018
  • Conference Paper
  • • Vera Nicolaisen
    • Friedemann Dohse
    • Tim Eickelmann
    • Yannik Goldgräbe
    • Sascha Reinhold
    • Michael Teistler

• A Comparison of Mental and Physical Rotation Using Gaze-Based Measures

  Wetzel, S., & Bertel, S. (2018). A Comparison of Mental and Physical Rotation Using Gaze-Based Measures. Spatial Cognition XI. Tübingen. Germany: Springer International Publishing.

  Abstract

  anzeigen ▸

  Over the past few years, a number of studies have reported on procedural similarities and differences between mental rotation and physical (i.e., manual) rotation of Shepard and Metzler-type stimuli. These similarities include comparable angular disparity effects and comparable final angular offsets in problem solving. This paper presents results from further comparisons based on gazed-derived measures obtained across the course of trials. In a within-subject design, participants solved the same tasks as mental and as physical rotation problems. We compare time courses of mean fixation duration and of saccade amplitude, and interpret these with respect to underlying mental processes and loads. The results point to additional specific procedural similarities and differences, which nicely complement the previous findings. The results are of additional, practical use for establishing how and when physical rotation can provide a useful proxy for mental rotation for purposes of process analysis, of ability assessment, and of training.

  • 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

  • 2018
  • Conference Proceedings
  • • Stefanie Wetzel
    • Sven Bertel

• Molecular Networking-Based Metabolome and Bioactivity Analyses of Marine-Adapted Fungi Co-cultivated With Phytopathogens

  E., O.-D., Parrot, D., Blümel, M., Labes, A., & Tasdemir, D. (2018). Molecular Networking-Based Metabolome and Bioactivity Analyses of Marine-Adapted Fungi Co-cultivated With Phytopathogens. Frontiers in Microbiology, 9, 2072.

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2018
  • Journal Article
  • • Oppong-Danquah E.
    • D. Parrot
    • M. Blümel
    • Antje Labes
    • D. Tasdemir