Jauch, C., Reichstein, T., Schaffarczyk, A. P., Dollinger, C., Balaresque, N., Schülein, E., & Fischer, A. (2019). Investigation of Laminar–Turbulent Transition on a Rotating Wind-Turbine Blade of MultimegawattClass with Thermography and Microphone Array . Energies, 12. http://doi.org/10.3390/en12112102
eri, J. S. M., Felderer, M., Mendes, E., & Petersen, K. (2019). Reasoning about Research Quality Alignment in Software Engineering. Journal of Systems and Software.
Thomsen, F., Ebel, T., & Willumeit-Römer, R. (2019). Simulation of neck growth and shrinkage for realistic temperature profiles – Determination of diffusion coefficients in a practical oriented procedure. Scripta Materialia, 168, 6. http://doi.org/10.1016/j.scriptamat.2019.04.034
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 .
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.
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.
Brandenburg, M., Gruchmann, T., & Oelze, N. (2019). Sustainable Supply Chain Management—A Conceptual Framework and Future Research Perspectives. Sustainability, 11. http://doi.org/10.3390/su11247239
Abstract
Sustainable operations and sustainable supply chain management (SSCM) have become a highly relevant topic for scientific research and management, as well as policy-making practice. Despite surging growth in extant research, the need for theoretical and conceptual substantiation persists, and large opportunities for further research remain unexploited. This paper responds to the need for a conceptual foundation and, therefore, aims at providing a structured agenda for future research areas in SSCM. Based on an abductive reasoning approach, SSCM constructs and concepts are gathered from existing literature and recombined into a comprehensive conceptual SSCM framework. Areas and directions for future SSCM research, as suggested in earlier studies, are summarized, positioned in the framework, and outlined to stimulate further SSCM research activities. To overcome the lack of holistic research in the field, sophisticated techniques and integrated systems to support decision-making are required to tackle related issues’ complexity. Therefore, this paper’s contribution lies in the synthesis of state-of-the-art literature to provide a more comprehensive view of SSCM. Researchers may find promising recommendations and a suitable foundation for future studies, while practitioners may find helpful orientation and guidance for decision- and policy-making.
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
Gloe, A., Jauch, C., Craciun, B., & Winkelmann, J. (2019). Continuous provision of synthetic inertia with wind turbines: implications for the wind turbine and for the grid. IET Renewable Power Generation, 13(5), 8. http://doi.org/10.1049/iet-rpg.2018.5263