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

• 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

• Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte

  Adelt, P., Donoth, J., Gausemeier, J., Geisler, J., Henkler, S., Kahl, S., … Znamenshchykov, O. (2008). Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte (Bd. 234). Paderborn: HNI-Verlagsschriftenreihe.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Geisler, Jens

  Filter Tags

  • 2008
  • Book
  • • P. Adelt
    • J. Donoth
    • J. Gausemeier
    • Jens Geisler
    • S. Henkler
    • S. Kahl
    • B. Klöpper
    • A. Krupp
    • E. Münch
    • S. Oberthür
    • C. Paiz
    • H. Podlogar
    • M. Porrmann
    • R. Radkowski
    • C. Romaus
    • A. Schmidt
    • B. Schulz
    • H. Vöcking
    • U. Witkowski
    • K. Witting
    • O. Znamenshchykov

• Druckluftspeicherkraftwerke als Option zur Netzintegration erneuerbarer Energiequellen: Ein Vergleich der Konzepte

  Tuschy, I. (2008). Druckluftspeicherkraftwerke als Option zur Netzintegration erneuerbarer Energiequellen: Ein Vergleich der Konzepte. Tagungsband zum 40. Kraftwerkstechnischen Kolloquium.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Tuschy, Ilja

  • Fachbereich

    • Fachbereich 2: Energy and Life Science

  Filter Tags

  • 2008
  • Journal Article
  • • Ilja Tuschy

• New natural products from marine microorganisms

  Labes, A., Kajahn, I., Krämer, M., Stöhr, R., Thiel, V., Wiese, J., & Imhoff, J. F. (2008). New natural products from marine microorganisms. European Bioperspectives. Abgerufen von http://oceanrep.geomar.de/6849/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

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

• 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

• 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

• Novel glycoside hydrolases for biotechnological application from marine resources

  Labes, A., Staufenberger, T., & Imhoff, J. F. (2008). Novel glycoside hydrolases for biotechnological application from marine resources. BioCat2008-Tagung. Abgerufen von http://oceanrep.geomar.de/691/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2008
  • Unpublished
  • • Antje Labes
    • Tim Staufenberger
    • Johannes Imhoff