Publikationen

Autor*in

Jahr der Veröffentlichung

Publikationsformat

Keyword

Forschungsprojekt

Institut/Einrichtung

2011

Identifying strategies for study selection in systematic reviews and maps

Petersen, K., & Bin Ali, N. (2011). Identifying strategies for study selection in systematic reviews and maps. In 2011 International Symposium on Empirical Software Engineering and Measurement (S. 351–354).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2011

Conference Paper

Kai Petersen

Nauman Bin Ali
Insights supporting the proposal of possible ?symbiotic role? of marine bacteria on macroalgae

Goecke, F. R., Labes, A., Wiese, J., & Imhoff, J. F. (2011). Insights supporting the proposal of possible ?symbiotic role? of marine bacteria on macroalgae. In MIMAS Symposium. Abgerufen von http://oceanrep.geomar.de/12926/
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2011

Conference Paper

Franz Goecke

Antje Labes

Jutta Wiese

Johannes Imhoff

Microbiology
Minimally Strict Polymorphic Functions

Christiansen, J., & Seidel, D. (2011). Minimally Strict Polymorphic Functions. In Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming - PPDP 11 (S. 53). ACM Press. http://doi.org/10.1145/2003476.2003487

Abstract

In this paper we show how to efficiently check whether a polymorphic function is minimally strict. A function is minimally strict if it is the minimal element of a specific less-strict ordering. We prove that we can check whether two polymorphic functions are related by the less-strict ordering by either checking it a) for an arbitrary monomorphic instance of the functions or b) for all shapes of the functions’ argument type. A shape is a value of a monomorphic instance of a polymorphic data type where each polymorphic component is replaced by an element that identifies its position in the data structure. In contrast to recent publications that characterize polymorphic functions by monomorphic instances we consider non-termination and selective strictness, i.e., a language closer to Haskell.
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan
Filter Tags
2011

Conference Paper

Jan Christiansen

Daniel Seidel
Neo-Nature ? die neue Naturkosmetik

Labes, A. (2011). Neo-Nature ? die neue Naturkosmetik. In Beauty Düsseldorf. Abgerufen von http://oceanrep.geomar.de/15233/
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2011

Conference Paper

Antje Labes

natural cosmetics

2010

Statistical load estimation using a nacelle-based lidar system

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 2025)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2010

Conference Paper

Oliver Bischoff

Martin Hofsäß

Andreas Rettenmeier

David Schlipf

Björn Siegmeier
Validation of a dynamic meandering model with near wake lidar measurements

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 2025)
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2010

Conference Paper

Juan Trujillo

Oliver Bischoff

Martin Hofsäß

Andreas Rettenmeier

David Schlipf

Martin Kühn
Load analysis of look-ahead collective pitch control using LIDAR

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 2025)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2010

Conference Paper

David Schlipf

Tim Fischer

Carlo Carcangiu

Michele Rossetti

Ervin Bossanyi
Spectral analysis of wind turbulence measured by a doppler lidar for velocity fine structure and coherence studies

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 2025)
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2010

Conference Paper

Mikael Sjöholm

Torben Mikkelsen

Leif Kristensen

Jakob Mann

Peter Kirkegaard

Stefan Kapp

David Schlipf

Juan Trujillo
Look-ahead cyclic pitch control using LIDAR

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 2025)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2010

Conference Paper

David Schlipf

Simone Schuler

Patrick Grau

Frank Allgöwer

Martin Kühn
Testing of frozen turbulence hypothesis for wind turbine applications with a scanning LIDAR system

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 2025)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2010

Conference Paper

David Schlipf

Davide Trabucchi

Oliver Bischoff

Martin Hofsäß

Jakob Mann

Torben Mikkelsen

Andreas Rettenmeier

Juan Trujillo

Martin Kühn

Publikationen

2011

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Filter Tags

2010

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags