Labes, A. ., & Claussen, C. . (2013). Meeresschätze heben ? mit angewandter Forschung aus Norddeutschland. In Kieler Salon. Abgerufen von http://oceanrep.geomar.de/23005/
Mäntylä, M. . , V, Khomh, F. ., Adams, B. ., Engström, E. ., & Petersen, K. . (2013). On rapid releases and software testing. In 2013 IEEE International Conference on Software Maintenance (S. 20–29).
Paun, L. ., Kramer, A. ., Labes, A. ., Imhoff, J. F., & Kempken, F. . (2013). Random mutagenesis in filamentous fungi for higher yields of secondary metabolites. In 44. Annual Conference of the German Genetics Society (GfG). Abgerufen von http://oceanrep.geomar.de/22018/
Christiansen, J. ., Hanus, M. ., Reck, F. ., & Seidel, D. . (2013). A Semantics for Weakly Encapsulated Search in Functional Logic Programs. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP 13 (S. 49–60). ACM Press. http://doi.org/10.1145/2505879.2505896
Abstract
Encapsulated search is a key feature of (functional) logic languages. It allows the programmer to access and process different results of a non-deterministic computation within a program. Unfortunately, due to advanced operational features (lazy evaluation, partial values, infinite structures), there is no straightforward definition of the semantics of encapsulated search in functional logic languages. As a consequence, various proposals and implementations are available but a rigorous definition covering all semantical aspects does not exist. In this paper, we analyze the requirements of encapsulated search in a functional logic language like Curry and provide a comprehensive definition that covers weak encapsulation, a modular form of encapsulation, as well as nested applications of search operators. We set up a denotational semantics that distinguishes non-termination and different levels of failures in a computation. The semantics is also the basis of a practical implementation of search operators in the functional logic language Curry.
Würth, I. ., Rettenmeier, A. ., Schlipf, D. ., Cheng, P. W., Wächter, M. ., Rinn, P. ., & Peinke, J. . (2012). Determination of stationary and dynamical power curves using a nacelle-based lidar system. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-8137 (Original work published 2024)
Schlipf, D. ., Rettenmeier, A. ., Haizmann, F. ., Hofsäß, M. ., Courtney, M. ., & Cheng, P. W. (2012). Model based wind vector field reconstruction from lidar data. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-8136 (Original work published 2024)
Sandner, F. ., Schlipf, D. ., Matha, D. ., Seifried, R. ., & Cheng, P. W. (2012). Reduced nonlinear model of a spar-mounted floating wind turbine. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-4528 (Original work published 2024)
Lübben, R. ., & Fidler, M. . (2012). On the delay performance of block codes for discrete memoryless channels with feedback. In IEEE Sarnoff Symposium. http://doi.org/10.1109/SARNOF.2012.6222714 (Original work published 2024)
Rettenmeier, A. ., Anger, J. ., Bischoff, O. ., Hofsäß, M. ., Schlipf, D. ., & Würth, I. . (2012). Nacelle-based LIDAR systems. In Summer School in Remote Sensing for Wind Energy. Boulder, CO, USA. Abgerufen von http://breeze.colorado.edu/ftp/RSWE/Andreas_Rettenmeier.pdf (Original work published 2024)
Schlipf, D. . (2012). Lidar Assisted Control of Wind Turbines. In Summer School in Remote Sensing for Wind Energy. Boulder, CO, USA. Abgerufen von http://breeze.colorado.edu/ftp/RSWE/David_Schlipf.pdf (Original work published 2024)