Publikationen

2011

• 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

• Die Notaufnahme aus Patientensicht: Bedürfnisse und Erfahrungen - Ergebnisse aus der Studie Berlin & seine Notaufnahmen

  Podtschaske, B. ., Fuchs, D. ., Gärtner, J. ., & Friesdorf, W. . (2011). Die Notaufnahme aus Patientensicht: Bedürfnisse und Erfahrungen - Ergebnisse aus der Studie Berlin & seine Notaufnahmen . In H. . Moecke, C. K. Lackner, & T. . Klöss (Hrsg.), Das ZNA-Buch. Konzepte, Methoden, Praxis. (1. Aufl., S. 636). Berlin: MWV Medizinisch Wissenschaftliche Verlagsgesellschaft.

  • 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
  • Book Chapter
  • • Beatrice Podtschaske
    • Daniela Fuchs
    • Julia Gärtner
    • Wolfgang Friesdorf
    • Heinzpeter Moecke
    • Christian Lackner
    • Thomas Klöss

• An exploratory case study of testing in an automotive electrical system release process

  Sundmark, D. ., Petersen, K. ., & Larsson, S. . (2011). An exploratory case study of testing in an automotive electrical system release process. In 2011 6th IEEE International Symposium on Industrial and Embedded Systems (S. 166–175).

  • 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
  • • Daniel Sundmark
    • Kai Petersen
    • Stig Larsson

• 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

• Priorisierung in der Medizin – Verlauf und Ergebnisse der dänischen Priorisierungsdebatte

  Pornak, S. C., Meyer, T. ., & Raspe, H. . (2011). Priorisierung in der Medizin – Verlauf und Ergebnisse der dänischen Priorisierungsdebatte. Das Gesundheitswesen, 73, 680–687.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Pornak, Shirin Caroline

  Filter Tags

  • 2011
  • Journal Article
  • • Shirin Pornak
    • Thorsten Meyer
    • Heiner Raspe

• Extracellular bacterial chitinases from marine environments

  Staufenberger, T. ., Klokman, V. ., Gärtner, A. ., Heind, H. ., Wiese, J. ., Labes, A. ., & Imhoff, J. F. (2011). Extracellular bacterial chitinases from marine environments. In VAAM-Jahrestagung 2011. Abgerufen von http://oceanrep.geomar.de/12917/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2011
  • Conference Paper
  • • Tim Staufenberger
    • V. Klokman
    • Andrea Gärtner
    • H. Heind
    • Jutta Wiese
    • Antje Labes
    • Johannes Imhoff
  • • Microbiology

• Measuring the flow in lean software development

  Petersen, K. ., & Wohlin, C. . (2011). Measuring the flow in lean software development. Software: Practice and Experience, 41, 975–996.

  • 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
    • Claes Wohlin

• 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

• Identifying strategies for study selection in systematic reviews and maps

  Petersen, K. ., & Bin Ali, N. . (2011). Identifying strategies for study selection in systematic reviews and maps. In 2011 International Symposium on Empirical Software Engineering and Measurement (S. 351–354).

  • 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
  • • Kai Petersen
    • Nauman Bin Ali

• Multi-Objective Optimization of Parabolic Trough Receiver Power Plants Under Variable Electricity Pricing Schemes by Different Technical Design Criteria

  Vogelsang, A. ., Tuschy, I. ., & Hohmeyer, O. . (2011). Multi-Objective Optimization of Parabolic Trough Receiver Power Plants Under Variable Electricity Pricing Schemes by Different Technical Design Criteria. In Proceedings SolarPACES2011.

  • 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

  • 2011
  • Conference Paper
  • • Aiko Vogelsang
    • Ilja Tuschy
    • Olav Hohmeyer