Educational Technology Lab

Page 35 of 36.

1. James H. Davenport; Paul Libbrecht

   The Freedom to Extend OpenMath and its Utility

   In: Manfred Kerber (Hrsg.). Journal of Computer Science and Mathematics, Vol. 59, Pages 1-25, Birkhäuser, Basel, 12/2008.

2. Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow

   Preface. Special Issue on Formal Modeling and Verification of Critical Systems

   In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.

3. Carsten Ullrich

   Pedagogically Founded Courseware Generation for Web-Based Learning -- An HTN-Planning-Based Approach Implemented in PAIGOS

   Lecture Notes in Artificial Intelligence (LNAI), Vol. 5260, ISBN 978-3-540-88213-8, Springer, 11/2008.

4. Paul Libbrecht

   A Model of Re-use of E-Learning Content

   In: Markus Specht; Pierre Dillenbourg (Hrsg.). Times of Convergence. Technologies Across Learning Contexts. 3rd European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-2008), September 16-19, Maastricht, Netherlands, Lecture Notes in Computer Science (LNCS), Vol. 5192, Springer Verlag, 9/2008.

5. Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks

   Cross-Curriculum Search for Intergeo

   In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management (MKM-2008), 7th, July 28-30, Birmingham, United Kingdom, Pages 520-535, Springer Verlag, 7/2008.

6. Eric Andres; Michael Dietrich; Paul Libbrecht

   Discovering How to Write Semantic Math with new Symbols

   In: Proceedings of MathUI'08. Mathematical User-Interfaces Workshop (MathUI-08), located at the Seventh Mathematical Knowledge Management Conference (MKM-2008), July 27 - August 1, Birmingham, United Kingdom, Pages 1-15, MKM Interest Group and Paul Libbrecht, 7/2008.

7. Erica Melis; Arndt Faulhaber; Anja Eichelmann; Susanne Narciss

   Interoperable Competencies Characterizing Learning Objects in Mathematics

   In: Intelligent Tutoring Systems. International Conference on Intelligent Tutoring Systems (ITS-08), 9th, June 23-27, Montréal, Canada, Pages 416-425, Lecture Notes in Computer Science (LNCS), Vol. 5091, Springer, 6/2008.

8. Anja Eichelmann; Susanne Narciss; Arndt Faulhaber; Erica Melis

   Analyzing Computer-Based Fraction Tasks on the Basis of a Two-Dimensional View of Mathematics Competences

   In: J. Zumbach; N. Schwartz; T. Seufert; L. Lester (Hrsg.). Beyond Knowledge: The Legacy of Competence. Meaningfull Coumputer-Based Learning Environments. European Association for Research on Learning and Instruction SIG conferences (EARLI SIG-6 & 7), September 2-4, Salzburg, Australia, Pages 125-134, Springer Verlag, 6/2008.

9. Carsten Ullrich; Paul Libbrecht

   Educational Services in the ActiveMath Learning Environment

   In: S. Salerno; M. Gaeta; P. Ritrovato; N. Capuano; F. Orciuoli; S. Miranda; A. Pierri (Hrsg.). The Learning Grid Handbook: Concepts, Technologies and Applications -- Volume 2 The Future of Learning. Pages 211-236, The Future of Learning, ISBN 978-1-58603-829-8, IOS Press Amsterdam, 3/2008.

10. Matthias Klusch; Zhiguo Xing

    Deployed Semantic Services for the Commmon User of the Web: A Reality Check

    In: Proceedings of the 2nd IEEE International Conference on Semantic Computing. IEEE International Conference on Semantic Computing (ICSC-2008), 2nd, August 4-7, Santa Clara, CA, USA, Pages 347-353, IEEE, 2008.

• previous
• 1
• …
• 34
• 35
• 36