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 181 bis 190 von 377
  1. Philipp Kärger; Carsten Ullrich; Erica Melis

    Querying Learning Object Repositories via Ontology-Based Mediation

    In: Kinshuk; Rob Kopers; Piet Kommers; Paul Kirschner; Demetrios G. Sampson; Wim Didderen (Hrsg.). Proceedings of the The 6th IEEE International …

  2. Philipp Kärger

    Ontologie-basierter Mediator zum Zugriff auf heterogene und verteilte Lerninhalte

    Mastersthesis, Universität des Saarlandes, 3/2006.

  3. Erica Melis; Ruimen Shen; Jörg Siekmann; Carsten Ullrich; Fan Yang; Peng Han

    Challenges in Search and Usage of Multi-Media Learning Objects

    In: Journal of Computer Science and Technology, 2006.

  4. Paul Libbrecht; Christian Gross

    Experience Report Writing LeActiveMath Calculus

    In: Jon Borwein; William Farmer (Hrsg.). Proceedings of Mathematical Knowledge Management 2006. International Conference on Mathematical Knowledge …

  5. 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 …

  6. 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 …

  7. K. Morik; Martin Mühlenbrock

    Scientific Discovery Investigating Multi-Step Learning

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

  8. 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.

  9. Automating Proofs of Unwinding Conditions

    In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …

  10. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Use of Word Networks to Mimicry Attack Detection

    In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …