Publikationen

2008

• Exploiting the pharmaceutical potential of Marine Microorganisms

  Gärtner, A. ., Krämer, M. ., Kajahn, I. ., Labes, A. ., Nagel, K. ., Stöhr, R. ., … Imhoff, J. F. (2008). Exploiting the pharmaceutical potential of Marine Microorganisms. XXX. Congreso Chileno de Microbiolog\ ia. Abgerufen von http://oceanrep.geomar.de/6763/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2008
  • Unpublished
  • • Andrea Gärtner
    • Marco Krämer
    • Inga Kajahn
    • Antje Labes
    • Kerstin Nagel
    • Rüdiger Stöhr
    • Rolf Schmaljohann
    • Imke Schneemann
    • Vera Thiel
    • Jutta Wiese
    • Johannes Imhoff
  • • Poster

• Denotation by Transformation

  Braßel, B. ., & Christiansen, J. . (2008). Denotation by Transformation. In A. . King (Hrsg.), Logic-Based Program Synthesis and Transformation (S. 90–105). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  It has often been observed that a point-free style of programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languages in a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to point-free programs. The semantics of the resulting programs are strict but, nevertheless, the semantics of the original program is preserved.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Conference Paper
  • • Bernd Braßel
    • Jan Christiansen
    • Andy King

• Marine Microbial Resources

  Wiese, J. ., Gärtner, A. ., Heindl, H. ., Kajahn, I. ., Krämer, M. ., Labes, A. ., … Imhoff, J. F. (2008). Marine Microbial Resources. 2. Bi-Annual Symposium "The Future Ocean". Abgerufen von http://oceanrep.geomar.de/6631/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2008
  • Unpublished
  • • Jutta Wiese
    • Andrea Gärtner
    • Herwig Heindl
    • Inga Kajahn
    • Marco Krämer
    • Antje Labes
    • Gerhard Lang
    • M. Mitova
    • Kerstin Nagel
    • Rolf Schmaljohann
    • Imke Schneemann
    • Rüdiger Stöhr
    • Vera Thiel
    • Z. Ju
    • Johannes Imhoff
  • • Poster

• UNIX – das umfassende Handbuch

  Willemer, A. . (2008). UNIX – das umfassende Handbuch (S. 1027). Bonn: Galileo Press.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Willemer, Arnold

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Book
  • • Arnold Willemer

• Quantifizierung von Wertbeiträgen aus Änderungen von Supply Chain Kosten und Working Capital

  Brandenburg, M. ., & Menke, T. . (2008). Quantifizierung von Wertbeiträgen aus Änderungen von Supply Chain Kosten und Working Capital . Zeitschrift für Controlling Und Management, 3, 168–174. http://doi.org/10.1007/s12176-008-0048-x

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Brandenburg, Marcus

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2008
  • Journal Article
  • • Marcus Brandenburg
    • Torben Menke

• Zur Bemessungs- und Fertigungspraxis geschraubter Ringflansch¬verbindungen bei Windenergieanlagen

  Faber, P. D.-I. T. ., & Seidel, M. . (2008). Zur Bemessungs- und Fertigungspraxis geschraubter Ringflansch¬verbindungen bei Windenergieanlagen. DIBt - Mitteilungen, 39, 2. http://doi.org/10.1002/dibt.200830022

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Faber, Torsten

  Filter Tags

  • 2008
  • Journal Article
  • • Prof. Dr.-Ing. Torsten Faber
    • M. Seidel

• A Relation Algebraic Semantics for a Lazy Functional Logic Language

  Braßel, B. ., & Christiansen, J. . (2008). A Relation Algebraic Semantics for a Lazy Functional Logic Language. In R. . Berghammer, B. . Möller, & G. . Struth (Hrsg.), Relations and Kleene Algebra in Computer Science (S. 37–53). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  We propose a relation algebraic semantics along with a concrete model for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. On the one hand, the high abstraction level of relation algebra allows equational reasoning leading to concise proofs about functional logic programs. On the other hand the proposed approach features, in contrast to former approaches with a comparable level of abstraction, an explicit modeling of sharing. The latter property gives rise to the expectation that the presented framework can be used to clarify notions currently discussed in the field of functional logic languages, like constructive negation, function inversion and encapsulated search. All of these topics have proved to involve subtle problems in the context of sharing and laziness in the past.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Conference Paper
  • • Bernd Braßel
    • Jan Christiansen
    • Rudolf Berghammer
    • Bernhard Möller
    • Georg Struth

• The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment

  Petersen, K. ., Rönkkö, K. ., & Wohlin, C. . (2008). The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment. In Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (S. 139–148).

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2008
  • Conference Paper
  • • Kai Petersen
    • Kari Rönkkö
    • Claes Wohlin

• Marine biotechnology: bio-mining the treasures of the ocean

  Imhoff, J. F., Labes, A. ., Kajahn, I. ., Krämer, M. ., Stöhr, R. ., Thiel, V. ., & Wiese, J. . (2008). Marine biotechnology: bio-mining the treasures of the ocean. European Bioperspectives. Abgerufen von http://oceanrep.geomar.de/6415/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2008
  • Unpublished
  • • Johannes Imhoff
    • Antje Labes
    • Inga Kajahn
    • Marco Krämer
    • Rüdiger Stöhr
    • Vera Thiel
    • Jutta Wiese

• Coding for Fun mit C++

  Willemer, A. . (2008). Coding for Fun mit C++ (S. 354). Bonn: Galileo Computing.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Willemer, Arnold

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Book
  • • Arnold Willemer