Dylus, S. ., Christiansen, J. ., & Teegen, F. . (2018). Probabilistic Functional Logic Programming. In Practical Aspects of Declarative Languages (S. 3–19). Springer International Publishing.
Abstract
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.
Byl, B. ., Süncksen, M. ., & Teistler, M. . (2018). A serious virtual reality game to train spatial cognition for medical ultrasound imaging. In 2018 IEEE 6th International Conference on Serious Games and Applications for Health (SeGAH) (S. 1–4). http://doi.org/10.1109/SeGAH.2018.8401365
Cembolista, A. ., Diekmann, S. ., & Nicolai, B. M. (2018). Qualit atsmanagement in kleinen und mittleren Unternehmen: Untersuchungen zu einem Software-Konzept zur Unterst utzung der Implementierung von Management-Standards und Normen in kleinen und mittleren Unternehmen der Lebensmittelbranche (No. 16). Flensburg: Dr. Werner Jackst adt-Zentrum f ur Unternehmertum und Mittelstand. Abgerufen von http://hdl.handle.net/10419/177901
Abstract
Aufgrund des kontinuierlich steigenden Wettbewerbsdrucks, der nicht nur deutschlandweit, sondern weltweit in allen Branchen stark zunimmt, ist die Herstellung qualitativ hochwertiger und sicherer Lebensmittel heute zum integralen Bestandteil des unternehmerischen Handelns geworden. Jedoch ist die Lage aus Qualit atsmanagement-Standards, aber auch Rechtsnormen und Kundenforderungen un ubersichtlich und einer stetigen Ver anderung unterworfen. Die Implementierung von Qualit atsmanagement-Standards, beispielsweise als Forderung von Handelspartnern, stellt dabei insbesondere kleine und mittlere Unternehmen (KMU) vor besondere Herausforderungen. Um den diversen Forderungen und den qualitativ und quantitativ gestiegenen Zertifizierungsanforderungen gerecht zu werden, werden die Standards und Normen h aufig oberfl achlich oder unvollst andig implementiert. Eine pro-aktive Positionierung und nachhaltige Implementierung durch die KMU bleibt in diesem Zusammenhang h aufig aus. Dieses birgt besondere Risiken, beispielsweise einen uberh ohten Personaleinsatz durch Mehrfachausf uhrung oder die Produktion von Fehlprodukten und kann daher massive wirtschaftliche Nachteile haben. Um diesem Risiko zu begegnen, ist zun achst eine gezielte Positionierung des Unternehmens bez uglich der zu implementierenden Standards notwendig. Dabei findet das unternehmenseigene Qualit atsverst andnis, aber auch Forderungen von Kunden, z.B. dem Lebensmittelhandel oder den Konsumenten, Ber ucksichtigung. Daher kann die Positionierung auch zur Notwendigkeit der Einf uhrung und Aufrechterhaltung mehrerer Standards f uhren. Um dies effektiv und sicher zu gestalten, ist oft eine integrierte Implementierung der verschiedenen Standards sinnvoll, eine vorkonfektionierte Losung aber in der Regel nicht verf ugbar. Daher wurde ein Software-Konzept erarbeitet, dass KMU bei der Einhaltung der gesetzlichen Anforderungen und der Implementierung von Standards und Normen aus dem Bereichen Qualit ats-, Umwelt- und Arbeitsschutzmanagement sowie Religion und Nachhaltigkeit unterstutzen soll. Der Nutzen f ur die KMU soll darin liegen, bei der Implementierung von Standards doppelte Arbeitsvorgange oder Dokumentationssysteme f ur ein effizienteres Management zu vermeiden. Um die geplanten Funktionalit aten des Software-Konzepts auf ihre Zustimmung bei potentiellen Anwendern zu uberpr ufen, wurden Studien unter Einbindung von Experten aus der Lebensmittelbranche durchgef uhrt. Die Funktionalit aten des Software-Konzepts wurden durchg angig von ≥ 75% der Befragten positiv bewertet.
Behrends, T. . (2018). Innovationsförderliche Organisationskulturen : über die kulturellen Ursprünge organisationaler Innovativität. Flensburg : Dr. Werner Jackstädt-Zentrum für Unternehmertum und Mittelstand. http://doi.org/hdl:10419/187424 [Handle]
Azari, B. ., Bertel, S. ., & Wüthrich, C. A. (2018). Assessing objective image quality metrics for bidirectional texture functions. 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG 2018). Pilsen, Czech Republic.
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
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.
Usman, M. ., Petersen, K. ., Börstler, J. ., & Neto, P. S. (2018). Developing and using checklists to improve software effort estimation: A multi-case study. Journal of Systems and Software, 146, 286–309.
eri, J. S. M., Bin Ali, N. ., Petersen, K. ., Minhas, N. M., & Chatzipetrou, P. . (2018). Teaching students critical appraisal of scientific literature using checklists. In Proceedings of the 3rd European Conference of Software Engineering Education (S. 8–17).