[2010/2/15 - 2010/6/5] Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification

国立情報学研究所 〒101 8430 東京都千代田区一ツ橋2 1 2

National Institute of Informatics 2 1 2 Hitotsubashi, Chiyoda ku, Tokyo, 101 8430 Japan

• Report
• Paper 信学技報 TECHNICAL REPORT OF IEICE, vol. 110, no. 60, SS2010-11, pp. 63-68, 2010年5月
• Presentation
• Maude Introduction Slides

2009 Presentation

• MSDL Summer Presentation Ark: A Kernel For Multi-Paradigm Modeling

  Thursday 27 August 2009

2008 Fall

• __Auditing__COMP 612 Optimising Compiler

  9:35AM-10:25PM + MWF McConnel103

2008 Fall

• __Auditing__ Distributed Simulation
• COMP 520 Compiler Design

  11:35AM-12:25PM + MWF Trottier Building 0060 + Sep 02, 2008 - Dec 02, 2008

2008 Summer

• Beginner French

2008 Winter

• COMP 763 Modelling and Simulation Based Design - (Personal project:: Domain-specific modelling of Cooking Recipes)
  
• COMP 526 Probabilistic and Reasoning
• REDP610/710 Science Article Writing

2007 Fall

• COMP 655 Distributed Simulation 655
• COMP 652 Machine Learning
• COMP 598 Topics in Computer Science 1

[2007] Can user make better judgment on their performance in the aid of historical record

• Keywords: Educational Technology, Open Learner Model, Editing the Learner Model
• Publication: Bull, S., Dong, X, Britland, M. & Guo, Y. (in press). Can Students Edit their Learner Model Appropriately?, Intelligent Tutoring Systems: 9th International Conference, Springer-Verlag, Berlin Heidelberg.