Automated theorem proving based on proof planning is a new and promising paradigm in the field of automated deduction. The idea is to use methods and heuristics as they are used by human mathematicians and encode this knowledge into so-called methods. Naturally, the question arises whether these methods can be beneficially used in learning mathematics too. This paper investigates and compares t...

The technique for efficiently managing management resources by ERP (Enterprise Resource Planning) and SCM (Supply-Chain Management) has been widely introduced in the manufacturing business before. Recently, PLM (Product Lifecycle Management) to which ERP and SCM is enhanced is spreading. PLM is paid to attention now by the technique for managing the product planning, the design, manufacturing, ...

BACKGROUND Diabetes education presents two major challenges to the U.S. Cooperative Extension System. The first is that the majority of diabetes education services are provided in more populated areas, resulting in large nonurban areas being underserved. The second is that many individuals with diabetes find the meal-planning component of diabetes education confusing. CONTEXT The University o...

BACKGROUND Although teleconsultations have been used for many years in Australia, there has been a recent increase following new government incentives. There is a paucity of literature on enabling medical students to acquire the relevant skills. With a focus on equipping students for practice in rural and remote areas, our medical school has developed an innovative clinical skills lesson to pre...

1. Exam program 1 2. Lesson 1 (Jan. 20, 2015): Convex functions 2 3. Lesson 2 (Feb. 3, 2015): Convex duality 2 4. Lesson 3 (Feb. 10, 2015): Subgradient of expectations I 2 5. Lesson 4 (Feb. 17, 2015): Subgradient of expectations II 3 6. Lesson 5 (March 3, 2015) 3 7. Lesson 6 (March 17, 2015) 3 8. Lesson 7 (March 24, 2015) 3 9. Lesson 8 (last lesson: March 31, 2015) 3 10. Additional material 3 1...

This research was motivated by my personal desire to learn more about reflective teaching, and by the fact that a number of local researchers in the Cayman Islands highlighted the need to accumulate a body of knowledge addressing local issues in all disciplines, including teaching and learning. The purpose of this investigation was to provide a practically adequate understanding of lesson plann...

While many recent curriculum reforms recognise the value of history science (HOS) in teaching, in-depth investigations into teachers’ experiences planning HOS-based lessons have been rare. We present a case study two groups preservice teachers (PSTs) who collaboratively planned high school using HOS. The research aims were to understand what design issues arose and how they unfolded as each gro...

Minimizing work effort in deployment of mathematics educational Web pages calls for an encapsulation of lesson material into self-contained Topic Modules. Methods for creating interoperable content pages, supporting automatic page generation, enabling page configuration, and allowing user customization are presented.

This paper reports a study that evaluated a methodology and tool for eliciting the emotional experience of language learning. It has looked at the relative rate of change of different emotions over the course of a lesson and also the differences between self-report and observer reports of changes in emotion. Implications for the design of affectively intelligent systems are discussed.