Skip to main content Skip to main navigation

Publications

Displaying results 1481 to 1490 of 15141.
  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. Pascal Reuß; Rotem Stram; Cedric Juckenack; Klaus-Dieter Althoff; Wolfram Henkel; Daniel Fischer; Frieder Henning

    FEATURE-TAK - Framework for Extraction, Analysis, and Transformation of Unstructured Textual Aircraft Knowledge

    In: Ashok Goal; Belen Diaz-Agudo; Thomas Roth-Berghofer (Hrsg.). Case-based Reasoning in Research and Development. International Conference on Case-Based Reasoning (ICCBR-2016), 24th, October 31 - November 2, Atlanta, Georgia, USA, LNCS, Springer, Berlin Heidelberg, 2016.

  9. Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler

    Integrating an SMT-based Model Finder into USE

    In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13), Saint-Malo, France, 2016.

  10. Oliver Wasenmüller; Mohammad Dawud Ansari; Didier Stricker

    DNA-SLAM: Dense Noise Aware SLAM for ToF RGB-D Cameras

    In: Asian Conference on Computer Vision Workshop. Asian Conference on Computer Vision Workshop (ACCV workshop-16), Taipeh, Taiwan, Province of China, Springer, 2016.