Barney, S., Khurum, M., Petersen, K., Unterkalmsteiner, M., & Jabangwe, R. (2011). Improving students with rubric-based self-assessment and oral feedback. IEEE transactions on Education, 55, 319–325.
Christiansen, J. (2011). Sloth – a Tool for Checking Minimal-Strictness. In R. Rocha & J. Launchbury (Hrsg.), Practical Aspects of Declarative Languages (S. 160–174). Springer Berlin Heidelberg.
Abstract
We present a light-weight tool called Sloth which assists programmers in identifying unnecessarily strict first order functions. Sloth reports counterexamples in form of a partial value, the corresponding result of the tested function and a recommended result. We present examples where the hints reported by Sloth can be used to improve a function with respect to memory behaviour, non-termination, and performance in the context of functional-logic programming. Furthermore we give an example-driven introduction into the basics of the implementation of Sloth. To improve the results in comparison to an existing approach we use additional constraints to assure that Sloth s suggestions are implementable without employing parallelism.
Schlipf, D., Fischer, T., Carcangiu, C. E., Rossetti, M., & Bossanyi, E. (2010). Load analysis of look-ahead collective pitch control using LIDAR. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-3902 (Original work published 2026)
Bischoff, O., Hofsäß, M., Rettenmeier, A., Schlipf, D., & Siegmeier, B. (2010). Statistical load estimation using a nacelle-based lidar system. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-8730 (Original work published 2026)
Trujillo, J. J., Bischoff, O., Hofsäß, M., Rettenmeier, A., Schlipf, D., & Kühn, M. (2010). Validation of a dynamic meandering model with near wake lidar measurements. In German Wind Energy Conference (DEWEK). Bremen, Germany. Abgerufen von http://oops.uni-oldenburg.de/1834/ (Original work published 2026)
Sjöholm, M., Mikkelsen, T., Kristensen, L., Mann, J., Kirkegaard, P., Kapp, S., … Trujillo, J. J. (2010). Spectral analysis of wind turbulence measured by a doppler lidar for velocity fine structure and coherence studies. In International Symposium for the Advancement of Boundary Layer Remote Sensing. Paris, France. Abgerufen von https://orbit.dtu.dk/en/publications/spectral-analysis-of-wind-turbulence-measured-by-a-doppler-lidar- (Original work published 2026)
Schlipf, D., Schuler, S., Grau, P., Allgöwer, F., & Kühn, M. (2010). Look-ahead cyclic pitch control using LIDAR. In The Science of Making Torque from Wind (TORQUE 2010). Heraklion, Greece. http://doi.org/10.18419/opus-4538 (Original work published 2026)
Schlipf, D., Trabucchi, D., Bischoff, O., Hofsäß, M., Mann, J., Mikkelsen, T., … Kühn, M. (2010). Testing of frozen turbulence hypothesis for wind turbine applications with a scanning LIDAR system. In International Symposium for the Advancement of Boundary Layer Remote Sensing. Paris, France. http://doi.org/10.18419/opus-3915 (Original work published 2026)
Schuler, S., Schlipf, D., Kühn, M., & Allgöwer, F. (2010). $\ell_1$- optimal multivariable pitch control for load reduction on large wind turbines. In European Wind Energy Conference. Warsaw, Poland. Abgerufen von http://proceedings.ewea.org/ewec2010/allfiles2/94_EWEC2010presentation.pdf (Original work published 2026)