Publikationen

2008

• 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

• Systematic mapping studies in software engineering

  Petersen, K. ., Feldt, R. ., Mujtaba, S. ., & Mattsson, M. . (2008). Systematic mapping studies in software engineering. In 12th International Conference on Evaluation and Assessment in Software Engineering (EASE) 12 (S. 1–10).

  • 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
    • Robert Feldt
    • Shahid Mujtaba
    • Michael Mattsson

• Novel members of glycoside hydrolase family 13 derived from environmental DNA

  Labes, A. ., Karlsson, N. ., Fridjonsson, O. ., Turner, P. ., Hreggvidson, G. ., Kristjansson, J. ., … Schönheit, P. . (2008). Novel members of glycoside hydrolase family 13 derived from environmental DNA. Applied and Environmental Microbiology, 74, 1914–1921. Abgerufen von http://oceanrep.geomar.de/7384/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2008
  • Journal Article
  • • Antje Labes
    • Nordberg Karlsson
    • O.H. Fridjonsson
    • P. Turner
    • G.O. Hreggvidson
    • J.K. Kristjansson
    • Olle Holst
    • Peter Schönheit

• Technical Note: Certification of Wind Turbines for Extreme Temperatures (here: Cold Climate)

  Faber, P. D.-I. T. . (2008). Technical Note: Certification of Wind Turbines for Extreme Temperatures (here: Cold Climate).

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Faber, Torsten

  Filter Tags

  • 2008
  • Report
  • • Prof. Dr.-Ing. Torsten Faber

• 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

• Detaillösungen bei Ermüdungsfragen und dem Einsatz hochfester Stähle bei Offshore-Windenergieanlagen

  Faber, P. D.-I. T. . (2008). Detaillösungen bei Ermüdungsfragen und dem Einsatz hochfester Stähle bei Offshore-Windenergieanlagen.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Faber, Torsten

  Filter Tags

  • 2008
  • Report
  • • Prof. Dr.-Ing. Torsten Faber

• Differences and similarities in enzymes from the neopullulanase subfamily isolated from thermophilic species

  Karlsson, E. N., Labes, A. ., Turner, P. ., Fridjonsson, O. H., Wennerberg, C. ., Pozzo, T. ., … Schönheit pages = 1006- 1014 P. (2008). Differences and similarities in enzymes from the neopullulanase subfamily isolated from thermophilic species. Biologia, 63. http://doi.org/10.2478/s11756-008-0171-3

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Filter Tags

  • 2008
  • Journal Article
  • • Eva Karlsson
    • Antje Labes
    • Pernilla Turner
    • Olafur Fridjonsson
    • Christina Wennerberg
    • Tania Pozzo
    • Gudmundur Hreggvidson
    • Jakob Kristjansson
    • pages Schönheit

• Mehr Qualität und Wirtschaftlichkeit im Gesundheitswesen durch genossenschaftliche Kooperationen

  Henke, K.-D. ., Friesdorf, W. ., Bungenstock, J. M., & Podtschaske, B. . (2008). Mehr Qualität und Wirtschaftlichkeit im Gesundheitswesen durch genossenschaftliche Kooperationen. Europäische Schriften zu Staat und Wirtschaft (1. Aufl., Bd. 26, S. 142). Baden-Baden: Nomos. http://doi.org/10.5771/9783845210483

  Abstract

  anzeigen ▸

  Der Wettbewerb veranlasst die Akteure des Gesundheitswesens Qualitäts- und Wirtschaftlichkeitsreserven auszuschöpfen. Dies gelingt durch kooperative Zusammenarbeit zur Überwindung der fragmentierten Patientenversorgung sowie der zerstückelten Finanzierung und Vergütung. Der kooperations- und vertrauensförderliche Ansatz der Genossenschaft bietet hierfür gute Möglichkeiten. Anhand der Analyse des Gesundheitsmarktes und exemplarischer Behandlungspfade werden unterschiedliche Kooperationsmodelle abgeleitet: Die Einkaufs- und Betriebsgenossenschaft im ersten Gesundheitsmarkt, die Einkaufsgenossenschaft im zweiten Gesundheitsmarkt, die Genossenschaft der Leistungsanbieter im Markt für Versorgungsverträge, die Krankenversicherung als Genossenschaft, die Gesundheitsdatenbank als Genossenschaft sowie die Gesundheitsgenossenschaft. Mit Hilfe eigener Überlegungen und anhand ausgewählter Praxisbeispiele werden die Qualitäts- und Wirtschaftlichkeitspotenziale dieser Kooperationsmodelle dargestellt. Neben bereits in Deutschland realisierten Kooperationen werden auch Beispiele aus anderen Ländern vorgestellt, um mögliche ordnungspolitische Weiterentwicklungen des deutschen Gesundheitswesens aufzuzeigen.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Podtschaske, Beatrice

  • Profilbereich

    • Gesundheit und Life Sciences

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2008
  • Book
  • • Klaus-Dirk Henke
    • Wolfgang Friesdorf
    • Jan Bungenstock
    • Beatrice Podtschaske

• EasyCheck — Test Data for Free

  Christiansen, J. ., & Fischer, S. . (2008). EasyCheck — Test Data for Free. In Functional and Logic Programming (S. 322–336). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.

  • 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
  • • Jan Christiansen
    • Sebastian Fischer

• 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