The goal of this research was to investigate the difference in results of prevalence of peer violence when using different measurement approaches (definitional and behavioral) and different data collecting methods (self-rating, peer rating, peer nomination, self-nomination). The article presents results from two different researches on two samples of school-aged children from two towns in Slavo...

This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined representation of definitional trees that handles properly the knowledge about the inductive positions of a pattern. The aim is to take advantage of the new representation of definitional trees to improve the aforementioned kind of ...

this study examines the ideological content of six internationally-used elt textbooks, three british and three american. applying the theory and procedures of critical discourse analysis (cda), three aspects of the conversations in the textbooks, i.e. content, relations, and positions were examined. results suggest that in terms of content, british textbooks tend to entertain the students while...

DEFINITION On-line Analytical Processing (OLAP) describes an approach to decision support, which aims to extract knowledge from a data warehouse (see Data Warehouse definitional entry), or more specifically, from data marts (see Data Mart definitional entry). Its main idea is providing navigation through data to non-expert users, so that they are able to interactively generate ad-hoc queries wi...

Specifying and mechanically verifying type safe programming languages requires significant effort. This effort can in theory be reduced by defining reusing pre-verified, modular components. In practice, however, existing approaches to mechanical verification require many times as much specification code plain, monolithic definitions. makes it hard develop new reusable components, component spec...