− Informatics knowledge domain has been played two different, and important, roles on Education, especially on globalization context. The first and obvious one has been as a techno tool. The second role has been as a theoretical tool, supporting knowledge modeling, through software engineering development systems. This papers enhances this second informatics role. An overlook on civilization pa...

Two questions are on the mind of many mathematics educators; namely: What is the mathematics that we should teach in school? and how should we teach it? This is the second in a series of two papers addressing these fundamental questions. The first paper (Harel, 2008a) focuses on the first question and this paper on the second. Collectively, the two papers articulate a pedagogical stance oriente...

request to the contrary. Technical papers are unre formed. Committee is open to individuals who demonstrate willingness to actively participate in the various acti vities of the TC. A member of the IEEE Computer Society may join the TC as a full member. A non— member of the Computer Society may join as a par ticipating member, with approval from at least one officer of the TC. Both full members...

service oriented enterprises (soes) are subject to constant change and variation. in this paper, the changes are considered from an economic perspective based on service culture notion. once a change is implemented, the costs of some member services may increase, whereas the costs of some other services may reduce. we construct a game theoretic model trying to capture the possible conflicting i...

emphasizing collective memory and based on bakhtin's idea of the dialogical principle and multi-voice novelistic discourse, as well as considering the idea of the perspectival truth of historical fact, the present paper deals with the capacity of the history-oriented novel genre in introducing multiple perspectives of history. such an emphasize and description can be connected to analyzing...

In this paper we continue to develop the approach to automated search for theorem proofs started in Kyiv in 1960-1970s. This approach presupposes the development of deductive techniques used for the processing of mathematical texts, written in a formal first-order language, close to the natural language used in mathematical papers. We construct two logical calculi, gS and mS, satisfying the fol...

This paper investigates the role of banking supervision in controlling bank risk. Banking supervision is measured in terms of enforcement outputs (i.e., on-site audits and sanctions). Our results show an inverted U-shaped relationship between on-site audits and bank risk, while the relationship between sanctions and risk appears to be linear and negative. We also consider the combined effect of...

Students often face difficulties on the basic programming courses due to several factors. Meanwhile, many papers have presented subjective assessments for diagnosing learning problems to improve the teaching of programming in higher education. In this paper, we propose an Object Oriented conceptual map model, with an approach constructed into three levels: constructing Concept Effect Propagatio...