Akselrod, M. ., Fidler, M. ., & Lübben, R. . (2018). Stochastic Guarantees for Rate-Adaptive Streaming. In NetCal. http://doi.org/10.1109/ITC30.2018.10056
Taulien, A. ., Paulsen, A. ., Streland, T. ., Gröfke, L. ., Reinhold, S. ., & Teistler, M. . (2018). Audiorekorder zur kindgerechten Interaktion mit der Stimme. In Mensch und Computer 2018 - Tagungsband. Bonn: Gesellschaft für Informatik e.V. http://doi.org/10.18420/muc2018-mci-0425
Moritz, S. ., & Uzunkol, O. . (2018). A More Efficient Secure Fully Verifiable Delegation Scheme for Simultaneous Group Exponentiations. In Lecture Notes in Computer Science (S. 74–93). Springer International Publishing. http://doi.org/10.1007/978-3-030-03712-3_7
Wallbaum, T. ., Rauschenberger, M. ., Timmermann, J. ., Heuten, W. ., & Boll, S. C. (2018). Exploring Social Awareness: A Design Case Study in Minimal Communication. In Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (S. 1–10).
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.
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
Uzunkol, O. ., Rangasamy, J. ., & Kuppusamy, L. . (2018). Hide the Modulus: A Secure Non-Interactive Fully Verifiable Delegation Scheme for Modular Exponentiations via CRT. In Developments in Language Theory (S. 250–267). Springer International Publishing. http://doi.org/10.1007/978-3-319-99136-8_14
Wallbaum, T. ., Schulze, M. ., Braun, N. ., Philipsen, A. ., & Boll, S. C. (2018). Contextual Assesments and Biomarker in Agitation Prediction for ADHD Patients. In Proceedings of the 3rd International Workshop on Multimedia for Personal Health and Health Care (S. 25–28).
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).
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