Current problem solving methodology by computers requires application domain expert to develop programs in a programming language. Software tools designed to ease this task and the expansion of computer use in practically all aspects of human life lead to an increasing software complexity. In this paper we present a solution to the problems resulting from increasing software complexity by devel...

Knowledge space theory was already applied for building adaptive testing and training systems which contain test and training problems including their prerequisite structure, and which offer explanations and help for solving these problems. Normally, however, lessons prepare students for solving problems. In this paper, we present a method for systematically structuring an adaptive eLearning co...

There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources, asynchronously on demand, during its reasoning process. This paper describes how SPASS-XDB’s reasoning is focussed and controlled, its sources of world knowledge, and their use in solving a range of test problems.

Educators seek to develop students’ mathematical knowledge retention to increase student efficacy in follow-on classwork, improvement of test scores, attainment of standards, and preparation for careers. Interactive visuals, feedback during problem solving, and incorporation of higher-order thinking skills are known to increase retention, but a comparison of online and face-to-face learning reg...

Worked examples have been found to be effective tools in reducing cognitive load and supporting learning. Erroneous examples are worked examples that include incorrect steps and are intended to help students learn how to identify important principles and errors to avoid. The current study examines whether using erroneous examples in an online intelligent tutoring system can help middle-school c...

We propose a modeling and optimization framework to cast a broad range of fundamental multiproduct pricing problems as tractable convex optimization problems. We consider the basic setting of a retailer offering an assortment of differentiated substitutable products to a population of customers that are price-sensitive. The retailer selects prices to maximize profits, subject to constraints on ...

Research reported by Sifonis (2008) has demonstrated that the type of comparison made during analogical problem solving affects the quality of the ideas generated. Ideas generated by mapping the differences between domains are rated as less practical than ideas generated by mapping similarities between domains. However, ideas generated by mapping the differences between domains are more creativ...

The ever-increasing demand for heating in different sectors, along with more preventative regulations on greenhouse emissions, has forced different countries to seek new alternatives to heat buildings such as district heating system (DHS). Although rudiments of DHSs can be observed over the centuries, it was not widely implemented until last two decades when the DHS became a strategy to design ...

e electricity supply chain is changing, due to increasing awareness for sustainability and an improved energy e›ciency. e traditional infrastructure where demand is supplied by centralized generation is subject to a transition towards a Smart Grid. In this Smart Grid, sustainable generation from renewable sources is accompanied by controllable distributed generation, distributed storage and dem...

We study the p median problem which is one the classical problems in location theory For p and on a two dimensional mesh we give an O mn p time algorithm for solving the problem where assuming that m n m is the number of rows of the mesh containing demand points n the number of columns containing demand points and p the number of demand points