Publikationen

2013

• Das Meer erforschen und Medizin finden

  Labes, A. (2013). Das Meer erforschen und Medizin finden. In Zukunft Meer - Ein Abend über das Erforschen, die Nutzung und den Schutz der Meere. Abgerufen von http://oceanrep.geomar.de/23010/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2013
  • Conference Paper
  • • Antje Labes

• A Semantics for Weakly Encapsulated Search in Functional Logic Programs

  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

  anzeigen ▸

  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.

  • Suche auf Google Scholar
  • DOI Verweis

  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

  • 2013
  • Conference Paper
  • • Jan Christiansen
    • Michael Hanus
    • Fabian Reck
    • Daniel Seidel

• Marine Biotechnologie in Schleswig-Holstein für die Apotheke aus dem Meer Technologietransfer für die Wirkstoffsuche aus marinen mikrobiellen Ressourcen

  Labes, A. (2013). Marine Biotechnologie in Schleswig-Holstein für die Apotheke aus dem Meer Technologietransfer für die Wirkstoffsuche aus marinen mikrobiellen Ressourcen. In Innovation Camp der FH Kiel. Abgerufen von http://oceanrep.geomar.de/23007/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2013
  • Conference Paper
  • • Antje Labes

• On rapid releases and software testing

  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).

  • 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

  • 2013
  • Conference Paper
  • • Mika Mäntylä V
    • Foutse Khomh
    • Bram Adams
    • Emelie Engström
    • Kai Petersen

• Generalized class invariants with "Thetanullwerte"

  Uzunkol, O. (2013). Generalized class invariants with "Thetanullwerte". Turkish Journal of Mathematics, 37, 165–181. http://doi.org/10.3906/mat-1106-4

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Uzunkol, Osmanbey

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2013
  • Journal Article
  • • Osmanbey Uzunkol

• Das betörende Blühen der Titanenwurz

  Labes, A., Kaiser, H., & Tobin, S. (2013). Das betörende Blühen der Titanenwurz. In Vorträge des Freundeskreis des Botanischen Gartens Kiel. Abgerufen von http://oceanrep.geomar.de/23008/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2013
  • Conference Paper
  • • Antje Labes
    • H. Kaiser
    • S. Tobin

• Improving software security with static automated code analysis in an industry setting

  Baca, D., Carlsson, B., Petersen, K., & Lundberg, L. (2013). Improving software security with static automated code analysis in an industry setting. Software: Practice and Experience, 43, 259–279.

  • 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

  • 2013
  • Journal Article
  • • Dejan Baca
    • Bengt Carlsson
    • Kai Petersen
    • Lars Lundberg

• Meeresschätze heben ? mit angewandter Forschung aus Norddeutschland

  Labes, A., & Claussen, C. (2013). Meeresschätze heben ? mit angewandter Forschung aus Norddeutschland. In Kieler Salon. Abgerufen von http://oceanrep.geomar.de/23005/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2013
  • Conference Paper
  • • Antje Labes
    • C. Claussen

• Development of a miniaturised screening method for fungal mutants with enhanced production of specific natural compounds

  Kramer, A., Paun, L., Labes, A., Kempken, F., & Imhoff, J. F. (2013). Development of a miniaturised screening method for fungal mutants with enhanced production of specific natural compounds. In VAAM Jahrestagung 2013. Abgerufen von http://oceanrep.geomar.de/22029/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2013
  • Conference Paper
  • • Annemarie Kramer
    • Linda Paun
    • Antje Labes
    • Frank Kempken
    • Johannes Imhoff

• Algae as important environment for bacteria - phylogenetic relationships among species isolated from algae

  Goecke, F. R., Thiel, V., Wiese, J., Labes, A., & Imhoff, J. F. (2013). Algae as important environment for bacteria - phylogenetic relationships among species isolated from algae. Phycologia, 52, 14–24. Abgerufen von http://oceanrep.geomar.de/19593/

  Abstract

  anzeigen ▸

  Bacteria are an inherent part of the biotic environment of algae. Recent investigations revealed that bacterial communities associated with algae were generally highly host specific. Several new bacterial species and genera were isolated from algae, which suggested that algae were an interesting environment for discovery of new bacterial taxa; however, the distribution of the different phylogenetic groups among those isolates remained unclear, and this information could help to explain specific associations. We conducted a phylogenetic study based on 16S rRNA gene sequences available in GenBank, including 101 validly described bacterial species that were isolated from eukaryotic macro- and micro-algae from marine and freshwater environments. These species were distributed among six bacterial phyla, including: Bacteroidetes (42 species), Proteobacteria (36 species), and Firmicutes, Actinobacteria, Verrucomicrobia and Planctomycetes (23 species). Bacterial species and strains that carried out similar metabolic functions were found to colonize similar algal taxa or algal groups. This assumption was supported by information available from bacterial species descriptions: (1) Most of the bacteria described from microalgae grouped into the Roseobacter clade (Alphaproteobacteria), which indicated that members of this group were well adapted for life in close association with phytoplankton; and (2) 32\% of the bacterial species, mainly isolates from macroalgae, were able to decompose macroalgal polysaccharides. Because algal-bacterial association are still under-studied in various algal groups, we expect a great number of new bacterial taxa to be discovered in the future.

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2013
  • Journal Article
  • • Franz Goecke
    • Vera Thiel
    • Jutta Wiese
    • Antje Labes
    • Johannes Imhoff
  • • Enzyme
    • Macroalgae
    • Microbe-alga
    • Phytoplankton
    • DINOFLAGELLATE GYMNODINIUM-CATENATUM
    • MARINE ROSEOBACTER LINEAGE
    • DISSOLVED ORGANIC-MATTER
    • IN-SITU HYBRIDIZATION
    • EPIPHYTIC BACTERIAL
    • LAMINARIA-JAPONICA
    • GEN. NOV.
    • COMMUNITY COMPOSITION
    • ALEXANDRIUM SPP.
    • BROWN ALGA