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

Cyber-Physical Systems

Publications

Page 9 of 9.

Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich
ActiveMath: System Description
In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial …
Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet; Carsten Ullrich
Integration of Mathematical Systems into the ActiveMath Learning Environment
In: Paul Wang; Norbert Kajler; Angel Diaz (Hrsg.). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible …
Erica Melis; Jörg Siekmann
Abschlussbericht Vorprojekt Interaktives Lehrbuch
DFKI GmbH, DFKI Final Reports (FR), Vol. 01-08, 2001.
Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer
Adaptive Course Generation and Presentation
In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on …
Erica Melis; Axel Schairer
Similarities and Reuse of Proofs in Formal Software Verification
In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …
Erica Melis; Claus Sengler
Analogical Transfer of Verification Proofs for State-Based Specifications
DFKI, DFKI Research Reports (RR), Vol. 97-01, 1/1997.