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

Cyber-Physical Systems

Publications

Page 7 of 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 …
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 …
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 …
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 …
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 …
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), …
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. …
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 …
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), …
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.