Skip to main content Skip to main navigation

Publications

Displaying results 1071 to 1080 of 15139.
  1. Georg Goguadze; Eric Andrès; J. Jeuring; B. Heeren

    Generation of Interactive Exercises Using Domain Reasoners

    In: o.A. (Hrsg.). Proceedings of the Workshop on Technology Enhanced Learning for Mathematics and Science (TELMAS). Technology Enhanced Learning for Mathematics and Science (TELMAS), located at European Conference on Technology Enhanced Learning (EC-TEL 2011), Palermo, Italy, 2011.

  2. Toby Dragon; Bruce M. McLaren; M. Mavrikis; E Geraniou

    Scaffolding Collaborative Learning Opportunities: Integrating Micro-world Use and Argumentation.

    In: Liliana Ardissono; Tsvi Kuflik (Hrsg.). Advances in User Modeling: Selected papers from UMAP 2011 Workshops. International Conference on User Modeling, Adaptation, and Personalization (UMAP), Girona, Spain, Pages 18-30, Springer, 2012.

  3. Toby Dragon; Bruce M. McLaren; M. Mavrikis; E. Geraniou

    Scaffolding Collaborative Learning Opportunities: Integrating Micro-world Use and Argumentation

    In: L. Ardissono; T. Kuflik (Hrsg.). UMAP 2011 Workshops. International Workshop on Adaptive Support for Team Collaboration (ASTC-2011), located at International Conference on User Modeling, Adaption and Personalization (UMAP), July 15, Girona, Spain, Pages 18-30, Lecture Notes in Computer Science (LNCS), Vol. 7138, Springer, Berlin Heidelberg, 2012.

  4. Toby Dragon; S. Gutierrez-Santos; M. Mavrikis; Bruce M. McLaren

    Analysing and Supporting Students; Interactions in Synthesized Learning Environments: A Case Study with a Microworld and a Discussion Tool.

    In: Proceedings of the Workshop on Technology Enhanced Learning for Mathematics and Science (TELMAS), hosted in conjunction with the Sixth European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL), Palermo, Italy, 2011.

  5. Josef Burgard

    Strategies, tools and practical examples to support cooperation between enterprises and schools to stimulate MINT interest.

    In: Proceedings of the 6th IRDO International Conference Social Responsibility and Current Challenges 2011. IRDO International Conference Social Responsibility and Current Challenges, Youth in focus of world changes, March 10-11, Maribor, Slovenia, 2011.

  6. D. Adams; K. Durkin; R.E. Mayer; B. Rittle-Johnson; S. Isotani; M. Van Velsen; Mc Laren Bruce

    Erroneous examples versus problem solving: Can we improve how middle school students learn decimals? 

    In: Naomi Miyake; David Peebles; Richard P. Cooper (Hrsg.). Building Bridges Across Cognitive Sciences Around the World. Annual Conference of the Cognitive Science Society (CogSci-2012), Proceedings of 34th Meeting of the Cognitive Science Society, August 1-4, Sapporo, Japan, ISBN 978-1-62276-304-7, e-media with Curran Associates, Inc. 11/2012.

  7. Giorgi Goguadze; Sergey Sosnovsky; BruceM. McLaren; S. Isotani

    Evaluating a bayesian student model of decimal misconceptions. 

    In: M. Pechenizkiy; T. Calders; C. Conati; S. Ventura; C. Romero; J. Stamper (Hrsg.). Proceedings of the 4th International Conference on Educational Data Mining. International Conference on Educational Data Mining (EDM), Eindhoven, Netherlands, Pages 301-306, 2011.

  8. Heng Luo; Rui Min Shen; Changyong Niu; Carsten Ullrich

    Sparse Group Restricted Boltzmann Machines

    In: W. Burgard; D. Roth (Hrsg.). Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI), August 7-11, San Francisco, California, USA, AAAI Press, 2011.

  9. Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler

    Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs

    In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.

  10. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

    Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

    In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.