Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publikationen

Seite 7 von 9.

Erica Melis; Carsten Ullrich
Local and Global Feedback
In: U. Hoppe; F. Verdejo; J. Kay (Hrsg.). AI in Education, AIED-2003. International Conference on Artificial Intelligence in Education (AIED), Pages 476-478, IOS Press, 2003.
Erica Melis; Carsten Ullrich
How to Teach it -- Polya-Inspired Scenarios in ActiveMath
In: U. Hoppe; F. Verdejo; J. Kay (Hrsg.). AI in Education, AIED-2003. International Conference on Artificial Intelligence in Education (AIED), Pages 141-147, IOS Press, 2003.
Erica Melis; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich
Wissensmodellierung und -nutzung in ActiveMath
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 17, No. 1, Pages 12-18, 2003.
Erica Melis; Eric Andres
Global Feedback in ActiveMath
In: Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2003). World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn), 2003.
Giorgi Goguadze; Erica Melis; Viktor Izhutkin; Y. Isulanov
Interactively Learning Operations Research Methhods with ActiveMath
In: H.G.Bock; W. Domschke; R. Fahrion; M. Juenger; H. Kogelschatz; G.D. Liesegang; G. Reinelt; F. Rendl; G. Waescher (Hrsg.). Operations Research 2003, Annual Conference of the german Operations Research Society. Annual Conference of the German Operations Research Society (Operations Research), Heidelberg, Page 159, 2003.
Martin Pollet; Erica Melis; Andreas Meier
User Interface for Adaptive Suggestions for Interactive Proof
In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), Pages 133-142, 2003.
Giorgi Goguadze; Erica Melis; Carsten Ullrich; Paul Cairns
Problems and Solutions for Markup for Mathematical Examples and Exercises
In: A. Asperti; B. Buchberger; J. H. Davenport (Hrsg.). Proceedings of Second International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2003), February 16-18, Bertinoro, Italy, Pages 80-92, Lecture Notes in Computer Science (LNCS), Vol. 2594, ISBN 0302-9743 (Print) 1611-3349 (Online), Springer-Verlag, 2003.
Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing
Towards MultiMedia Instruction in Safe and Secure Systems
In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002), Frauenchiemsee, Germany, Pages 82-117, Lecture Notes in Computer Science, Vol. 2755, Springer, 2003.
Erica Melis; Jochen Büdenbender; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich
Semantics for Web-Based Mathematical Education Systems
In: Martin Frank; Natasha Noy; Steffen Staab (Hrsg.). International Workshop on the Semantic Web. International World Wide Web Conference (WWW), located at The Eleventh International World Wide Web Conference, May 7, Honolulu, Hawaii, USA, 5/2002.
Erica Melis
Knowledge Representation for Web-Based User-Adaptive Education Systems
In: BMBF-Workshop: Standardisierung im eLearning. BMBF-Workshop: Standardisierung im eLearning, Pages 78-81, 4/2002.