Publikationen

2011

• Measuring and predicting software productivity: A systematic map and review

  Petersen, K. (2011). Measuring and predicting software productivity: A systematic map and review. Information and Software Technology, 53, 317–343.

  • 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

  • 2011
  • Journal Article
  • • Kai Petersen

• Insights supporting the proposal of possible ?symbiotic role? of marine bacteria on macroalgae

  Goecke, F. R., Labes, A., Wiese, J., & Imhoff, J. F. (2011). Insights supporting the proposal of possible ?symbiotic role? of marine bacteria on macroalgae. In MIMAS Symposium. Abgerufen von http://oceanrep.geomar.de/12926/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2011
  • Conference Paper
  • • Franz Goecke
    • Antje Labes
    • Jutta Wiese
    • Johannes Imhoff
  • • Microbiology

• Minimally Strict Polymorphic Functions

  Christiansen, J., & Seidel, D. (2011). Minimally Strict Polymorphic Functions. In Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming - PPDP 11 (S. 53). ACM Press. http://doi.org/10.1145/2003476.2003487

  Abstract

  anzeigen ▸

  In this paper we show how to efficiently check whether a polymorphic function is minimally strict. A function is minimally strict if it is the minimal element of a specific less-strict ordering. We prove that we can check whether two polymorphic functions are related by the less-strict ordering by either checking it a) for an arbitrary monomorphic instance of the functions or b) for all shapes of the functions’ argument type. A shape is a value of a monomorphic instance of a polymorphic data type where each polymorphic component is replaced by an element that identifies its position in the data structure. In contrast to recent publications that characterize polymorphic functions by monomorphic instances we consider non-termination and selective strictness, i.e., a language closer to Haskell.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  Filter Tags

  • 2011
  • Conference Paper
  • • Jan Christiansen
    • Daniel Seidel

• LIDAR assisted collective pitch control

  Schlipf, D., Bossanyi, E., Carcangiu, C. E., Fischer, T., Maul, T., & Rossetti, M. (2011). LIDAR assisted collective pitch control (No. Deliverable D5.1.3). http://doi.org/10.18419/opus-3913

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Schlipf, David

  Filter Tags

  • 2011
  • Report
  • • David Schlipf
    • Ervin Bossanyi
    • Carlo Carcangiu
    • Tim Fischer
    • Timo Maul
    • Michele Rossetti

• Vorgehenssystematik zur Sicherung der ergonomischen Qualität medizinischer Arbeitssysteme

  Stahl, M., Podtschaske, B., & Friesdorf, W. (2011). Vorgehenssystematik zur Sicherung der ergonomischen Qualität medizinischer Arbeitssysteme. In Technik für ein selbstbestimmtes Leben - 5. Deutscher AAL-Kongress 24.01.2011 - 25.01.2012 in Berlin (S. 4). Berlin, Offenbach: VDE Verlag. Abgerufen von https://www.vde-verlag.de/proceedings-de/453400088.html

  Abstract

  anzeigen ▸

  Assistive Technologien bieten ein großes Potenzial auch zukünftig eine bedarfsgerechte (Gesundheits-)Versorgung aufrechtzuerhalten. Für ihren erfolgreichen Einsatz ist aber ein ganzheitlicher Ansatz zur Sicherung der ergonomischen Qualität medizinischer Arbeitssysteme notwendig. Ziel des vorliegenden Beitrags ist, eine ganzheitliche Vorgehenssystematik zur ergonomischen Gestaltung medizinischer Arbeitssysteme zu skizzieren. Eine Analyse identifiziert drei Vorgehensmodelle: Der EQUID-Ansatz verfolgt das Ziel, ergonomische Erkenntnisse und Methoden während der Produktentwicklung systematisch zu integrieren. Normative Vorgaben, wie die DIN EN ISO 6385:2004 definieren das Vorgehen zur ergonomischen Gestaltung von Arbeitssystemen. Für die Entwicklung von Medizinprodukte definieren die DIN EN 60601-1-6 und die DIN EN 62366 einen Ergonomieprozess, mit dem Ziel, die Anwendersicherheit zu erhöhen. Das Vorgehensmodell zur Organisationsgestaltung beschreibt einen standardisierten Ablauf zur Unterstützung von Organisationsveränderungen. Auf Basis dieser drei Vorgehensmodelle wurde eine Vorgehenssystematik für die ergonomische Gestaltung medizinischer Arbeitssysteme entworfen. Sie gliedert sich in drei Ebenen: Die erste Ebene definiert einzelne Gestaltungsphasen. Die zu erfüllenden Aufgaben beschreibt die zweite Ebene. Die dritte Ebene beinhaltet arbeitswissenschaftliche Methoden und Modelle, die speziell auf das medizinische Arbeitssystem ausgerichtet sind: das PAMS-, TaPTa- und das CIPU-Modell. Die beschrieben Systematik könnte helfen, Barriere, die bei der ergonomischen Gestaltung medizinischer Arbeitssysteme derzeit noch bestehen, zu überwinden. Dazu ist die Konkretisierung der Systematik und dessen Evaluierung in Pilotprojekten geplant.

  • Suche auf Google Scholar

  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

  • 2011
  • Conference Paper
  • • Maria Stahl
    • Beatrice Podtschaske
    • Wolfgang Friesdorf

• Analyzing strategy and processes for product customization in large-scale industrial settings

  Mujtaba, S., Feldt, R., & Petersen, K. (2011). Analyzing strategy and processes for product customization in large-scale industrial settings. In 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (S. 369–373).

  • 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

  • 2011
  • Conference Paper
  • • Shahid Mujtaba
    • Robert Feldt
    • Kai Petersen

• Neo-Nature ? die neue Naturkosmetik

  Labes, A. (2011). Neo-Nature ? die neue Naturkosmetik. In Beauty Düsseldorf. Abgerufen von http://oceanrep.geomar.de/15233/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2011
  • Conference Paper
  • • Antje Labes
  • • natural cosmetics

• Sloth – a Tool for Checking Minimal-Strictness

  Christiansen, J. (2011). Sloth – a Tool for Checking Minimal-Strictness. In R. Rocha & J. Launchbury (Hrsg.), Practical Aspects of Declarative Languages (S. 160–174). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  We present a light-weight tool called Sloth which assists programmers in identifying unnecessarily strict first order functions. Sloth reports counterexamples in form of a partial value, the corresponding result of the tested function and a recommended result. We present examples where the hints reported by Sloth can be used to improve a function with respect to memory behaviour, non-termination, and performance in the context of functional-logic programming. Furthermore we give an example-driven introduction into the basics of the implementation of Sloth. To improve the results in comparison to an existing approach we use additional constraints to assure that Sloth s suggestions are implementable without employing parallelism.

  • 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

  • 2011
  • Conference Paper
  • • Jan Christiansen
    • Ricardo Rocha
    • John Launchbury

• Bacteria associated with coexisting macroalgae: seasonal, interspecies variation and antibiotic effects

  Goecke, F. R., Labes, A., Wiese, J., & Imhoff, J. F. (2011). Bacteria associated with coexisting macroalgae: seasonal, interspecies variation and antibiotic effects. In VAAM-Jahrestagung 2011. Abgerufen von http://oceanrep.geomar.de/12920/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2011
  • Conference Paper
  • • Franz Goecke
    • Antje Labes
    • Jutta Wiese
    • Johannes Imhoff
  • • Microbiology
    • Medical Science
    • BACTERIA
    • antibiotic effects
    • Macroalgae

• Simulationsmodell für eine Windenergieanlage sowie Erstellung und Verwendung

  Jauch, C. (2011). Simulationsmodell für eine Windenergieanlage sowie Erstellung und Verwendung.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Jauch, Clemens

  Filter Tags

  • 2011
  • Patent
  • • Prof. Dr. Clemens Jauch
  • • WETI