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

Cyber-Physical Systems

Publications

Page 4 of 9.

Martin Homik; Erica Melis
Interactive Concept Mapping
Deliverable, Vol. D28, 12/2005.
Giorgi Goguadze; Alberto González Palomo; Erica Melis
Interactivity of Exercises in ActiveMath
In: C.-K. Looi; D. Jonassen; M. Ikeda (Hrsg.). Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences Sharing. …
Martin Homik; Erica Melis
ePortfolios in ActiveMath
In: Proceedings of ePortfolio2005. International ePortfolio Conference (ePortfolio), Cambridge, Pages 213-222, EIfEL, 10/2005.
Erica Melis; Philipp Kärger; Martin Homik
Interactive Concept Mapping in ActiveMath (iCMap)
In: Jörg M. Haake; Ulrich Lucke; Djamshid Tavangarian (Hrsg.). Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik. e-Learning Conference of the …
Erica Melis; Jörg Siekmann
e-Learning Logic and Mathematics: What we Have and What we Still Need
In: S. Artemov; H. Barringer; A.d'Avila Garcez; L.C. Lamb; J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. …
Erica Melis; Eric Andres
Global Feedback in ActiveMath
In: Journal of Computers in Mathematics and Science Teaching, Vol. 24, Pages 197-220, 2005.
Erica Melis
Design of Erroneous Examples for ActiveMath
In: Ch.-K. Looi; G. McCalla (Hrsg.). Proceedings of the 12th International Conference on Artificial Intelligence in Education (AIED 2005). …
Andreas Meier; Erica Melis
Failure-Reasoning in Multi-Strategy Proof Planning
In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …
Andreas Maier; Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning
In: Electronic Notes in Theoretical Computer Science, Vol. 125, Pages 67-90, Elsevier, 2005.
Andreas Meier; Erica Melis
MULTI: A Multi-Strategy Proof Planner
In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction …