Publikationen

2013

• C++ Der Einstieg

  Willemer, A. . (2013). C++ Der Einstieg (S. 536). Weinheim: Wiley-VCH.

  • 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

  • 2013
  • Book
  • • Arnold Willemer

• A decision support framework for metrics selection in goal-based measurement programs: GQM-DSFMS

  Gencel, C. ., Petersen, K. ., Mughal, A. A., & Iqbal, M. I. (2013). A decision support framework for metrics selection in goal-based measurement programs: GQM-DSFMS. Journal of Systems and Software, 86, 3091–3108.

  • 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
  • • Cigdem Gencel
    • Kai Petersen
    • Aftab Mughal
    • Muhammad Iqbal

• Higher yields of cyclodepsipetides from Scopulariopsis brevicaulis by random mutagenesis

  Paun, L. ., Kramer, A. ., Hihlal, E. ., Labes, A. ., Imhoff, J. F., & Kempken, F. . (2013). Higher yields of cyclodepsipetides from Scopulariopsis brevicaulis by random mutagenesis. In 27. Fungal Genetics Conference. Abgerufen von http://oceanrep.geomar.de/22016/

  Abstract

  anzeigen ▸

  The ascomycete Scopulariopsis brevicaulis, which was isolated from the marine sponge Tethya aurantium, produces two cyclodepsipeptides, scopularides A and B [1]. Both peptides exhibit activity against several tumor cell lines. Within the EU-project MARINE FUNGI (EU FP7, 265926) one of our aims is to enhance the production of these secondary metabolites. We are in the process to establish two ways of random mutagenesis by both UV radiation and transposon-mediated. To this end we created UV-mutants and a miniaturised screening method was developed. UV-radiation was performed at 312 nm and the survival rate was set to 1 \%. With this method a mutant library was established. To screen these mutants for higher secondary metabolites production, we developed a miniaturised screening method which includes decreased cultivation volume, fast extraction and an optimised LC-MS analysis format. Using the UV mutagenesis, we were able to identify several mutants with a higher scopularide production in comparison to the wild type. One of these mutants, which produces three times more biomass and more than double the amount of scopularide A, has been used for another round of mutation. Next generation sequencing is being employed to identify the molecular genetic basis of the observed mutations. In parallel we employ transposable elements to introduce mutants [2]. The impact of transposons on gene expression as well as their ability to cause major mutations within the genome or single genes makes them an interesting tool for random mutagenesis [3, 4, 5]. We employ the Vader transposon in its homologous host and found that Vader mostly integrates within or very close to genes. Thus it appears to be a useful tool for transposon-mediated mutagenesis in A. niger (6). At current we try to enhance its usability by modifying the Vader element.

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

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

• 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

• 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

• 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

• 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

• 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

• 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