Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 91 bis 100 von 377
  1. S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis

    Authoring Presentation for OpenMath

    In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised …

  2. Andreas Meier; Erica Melis

    Impasse-Driven Reasoning in Proof Planning

    In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …

  3. K. Morik; Martin Mühlenbrock

    Scientific Discovery Investigating Multi-Step Learning

    In: In Order to Learn, Oxford University Press, New York, NY, 2006.

  4. Martin Mühlenbrock

    Learning group formation based on learner profile and context

    In: International Journal on E-Learning (IJEL), Vol. 5, No. 1, Pages 19-24, 2006.

  5. Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich; Stefan Winterstein

    Semantic-Aware Components and Services of ActiveMath

    In: British Journal of Educational Technology, Vol. 37, No. 3, Pages 405-423, Wiley Blackwell, 5/2006.

  6. Dieter Hutter; Melanie Volkamer

    Information Flow Control for Distributed Usage Control

    In: Proceedings of the 4th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods. International …

  7. Michael Schmitz; Andreas Butz

    SAFIR: Low-Cost Spatial Audio for Instrumented Environments

    In: Proceedings of the 2nd International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE), Athens, …

  8. Jörg Zwicker; Torben Hansen; Peter Loos

    Prozesskennzahlenanalyse auf der Grundlage historischer Datenbestände - ein KI-basierter Methodenansatz

    In: Volker Nissen; Herfried M. Schneider (Hrsg.). Prozessorientiertes Corporate Performance Measurement : Methoden, Konzepte, Anwendungen. …

  9. Dominik Aumer; Katrina Leyking

    Realisierung eines kompetenzbasierten Weiterbildungsmanagements für dezentrale Vertriebsorganisationen

    In: Zeitschrift für E-Learning, Vol. E-Learning im Vertrieb, No. 2, 2006.

  10. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    A method for patching interleaving-replay attacks in faulty security protocols

    In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …