eri, J. S. M., Petersen, K. ., & Mendes, E. . (2019). Corrigendum to “CERSE-Catalog for empirical research in software engineering: A Systematic mapping study”[Information and Software Technology 105 (2019) 117—149]. Information and Software Technology, 190–190.
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
Christiansen, J. ., Dylus, S. ., & Bunkenburg, N. . (2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125–138). ACM Press. http://doi.org/10.1145/3331545.3342592
Abstract
We show how various Haskell language features that are related to ambient effects can be modeled in Coq. For this purpose we build on previous work that demonstrates how to reason about existing Haskell programs by translating them into monadic Coq programs. A model of Haskell programs in Coq that is polymorphic over an arbitrary monad results in non-strictly positive types when transforming recursive data types likes lists. Such non-strictly positive types are not accepted by Coq’s termination checker. Therefore, instead of a model that is generic over any monad, the approach we build on uses a specific monad instance, namely the free monad in combination with containers, to model various kinds of effects. This model allows effect-generic proofs.
Ebbers, I. . (2019). Entrepreneurship Education als Möglichkeits- und Ermöglichungsraum - eine erste theoretische Annäherung aus fachdidaktischer Perspektive. Entrepreneurship Education : Begriff - Theorie - Verständnis. Wiesbaden, Germany: Springer Gabler. http://doi.org/10.1007/978-3-658-27327-9_3 [DOI]
Fan, B. ., Parrot, D. ., Blümel M. ., Labes, A. ., & Tasdemir, D. . (2019). Influence of OSMAC-Based Cultivation in Metabolome and Anticancer Activity of Fungi Associated with the Brown Alga Fucus vesiculosus, Online-Ressource. http://doi.org/10.3390/md17010067
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 .
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).
Boysen, C. ., Kaldemeyer, C. ., & Tuschy, I. . (2019). Elektrizitätsnetzgekoppelte Fernwärmeversorgung 2020 - Untersuchung von Flexibilitätsoptionen in der Wärmeversorgung. Forschungsergebnisse, 9.
Casaretto, R. ., Thomsen, F. ., Born, J. ., & Holm-Nielsen, J. B. (2019). Determination of biogas process efficiency - a practice-oriented alternative to the biomethane potential test. Bioresource Technology Reports, 7. http://doi.org/10.1016/j.biteb.2019.100201