Publikationen

Autor*in

Jahr der Veröffentlichung

Publikationsformat

Keyword

Forschungsprojekt

Institut/Einrichtung

2012

Marine fungi: a rich source for natural products

Silber, J. ., Ohlendorf, B. ., Erhard, A. ., Labes, A. ., & Imhoff, J. F. (2012). Marine fungi: a rich source for natural products. In SUBMARINER Blue Biotechnology Cooperation Event: New Strategies and Future Perspectives. Abgerufen von http://oceanrep.geomar.de/20272/
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2012

Conference Paper

Johanna Silber

Birgit Ohlendorf

Arlette Erhard

Antje Labes

Johannes Imhoff
A consolidated process for software process simulation: State of the art and industry experience

Bin Ali, N. ., & Petersen, K. . (2012). A consolidated process for software process simulation: State of the art and industry experience. In 2012 38th Euromicro Conference on Software Engineering and Advanced Applications (S. 327–336).
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
2012

Conference Paper

Nauman Bin Ali

Kai Petersen

2011

Prospects of optimization of energy production by LIDAR assisted control of wind turbines

Schlipf, D. ., Kapp, S. ., Anger, J. ., Bischoff, O. ., Hofsäß, M. ., Rettenmeier, A. ., … Kühn, M. . (2011). Prospects of optimization of energy production by LIDAR assisted control of wind turbines. In European Wind Energy Association Annual Event. Brussels, Belgium. http://doi.org/10.18419/opus-3916 (Original work published 2024)
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
2011

Conference Paper

David Schlipf

Stefan Kapp

Jan Anger

Oliver Bischoff

Martin Hofsäß

Andreas Rettenmeier

Ursula Smolka

Martin Kühn
A Foundation for Stochastic Bandwidth Estimation of Networks with Random Service

Lübben, R. ., Fidler, M. ., & Liebeherr, J. . (2011). A Foundation for Stochastic Bandwidth Estimation of Networks with Random Service. In IEEE INFOCOM (S. 1817–1825). http://doi.org/10.1109/INFCOM.2011.5934981 ; (Original work published 2024)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Lübben, Ralf

Fachbereich

Fachbereich 4: Wirtschaft
Filter Tags
2011

Conference Paper

Ralf Lübben

M. Fidler

J. Liebeherr
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
Secondary metabolites of fungi associated to the marine sponge Halichondria panacea

Kramer, A. ., Labes, A. ., Wiese, J. ., Ohlendorf, B. ., & Imhoff, J. F. (2011). Secondary metabolites of fungi associated to the marine sponge Halichondria panacea. In MIMAS Symposium. Abgerufen von http://oceanrep.geomar.de/12918/
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2011

Conference Paper

Annemarie Kramer

Antje Labes

Jutta Wiese

Birgit Ohlendorf

Johannes Imhoff

Microbiology

marine sponge Halichondria panacea
Biologically active compounds from microorganisms derived from marine macroorganisms and marine sediments

Wiese, J. ., Schulz, D. ., Stöhr, R. ., Nagel, K. ., Labes, A. ., Schneemann, I. ., … Imhoff, J. F. (2011). Biologically active compounds from microorganisms derived from marine macroorganisms and marine sediments. In NatPharma: Nature Aided Drug Discovery, NADD. Abgerufen von http://oceanrep.geomar.de/12921/
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2011

Conference Paper

Jutta Wiese

Dirk Schulz

Rüdiger Stöhr

Kerstin Nagel

Antje Labes

Imke Schneemann

Herwig Heindl

Nils Jansen

Johanna Silber

Annemarie Kramer

Franz Goecke

Rolf Schmaljohann

Tim Staufenberger

Andrea Gärtner

Heike Baumann

Katrin Kleinschmidt

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
Extracellular bacterial chitinases from marine environments

Staufenberger, T. ., Klokman, V. ., Gärtner, A. ., Heind, H. ., Wiese, J. ., Labes, A. ., & Imhoff, J. F. (2011). Extracellular bacterial chitinases from marine environments. In VAAM-Jahrestagung 2011. Abgerufen von http://oceanrep.geomar.de/12917/
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Filter Tags
2011

Conference Paper

Tim Staufenberger

V. Klokman

Andrea Gärtner

H. Heind

Jutta Wiese

Antje Labes

Johannes Imhoff

Microbiology
Sloth – a Tool for Checking Minimal-Strictness

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

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2011

Conference Paper

Jan Christiansen

Ricardo Rocha

John Launchbury

Publikationen

2012

Exportformate

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2011

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Filter Tags

Exportformate

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags