This paper looks at the learners’ experiences when learning with CPRODS, an interactive learning environment based on 6 qualitative and quantitative models. The learners spent 2 hours during the study using the learning environment, completing the evaluation questionnaire and tests of knowledge. Analysis of the data has revealed some interesting comments e.g. on the interface design, functional...

The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on propositional abstraction. A lazy satisfiability checker for a given fragment of first-order logic invokes a theory-specific decision procedure (a theory solver) on a (partial) model for the abstraction. If the model is found to be consistent in the given theory, the...

supplier selection is a multi-criteria problem. this study proposes a hybrid model for supporting the suppliers’ selection and ranking. this research is a two-stage model designed to fully rank the suppliers where each supplier has multiple inputs and outputs. first, the supplier evaluation problem is formulated by data envelopment analysis (dea), since the regarded decision deals with uncertai...

vendor selection is dominantly considered to be a multi attribute decision making (madm) problem, since the decision maker needs to evaluate suppliers simultaneously in different and even contrastive evaluation criteria. one shortcoming of madm methods is that they only compare alternatives with each other, and there is no comparison with the requirements of the buying company. a very efficient...

Derived from the well-known Traveling Salesman problem (TSP), the multiple-Traveling Salesman problem (multiple-TSP) with single depot is a straightforward generalization: several salesmen located in a given city (the depot) need to visit a set of interconnected cities, such that each city is visited exactly once (by a single salesman) while the total cost of their tours is minimized. Designed ...

The purpose of this paper is to apply TRIZ for solving the GSC problems in Sobhanoncology pharmaceutical firm. A review of the past papers of TRIZ based methods to GSC problem resolution is presented. The TRIZ contradiction matrix tool which was applied to the specific problem brings many benefits e.g.: being rapid acceleration in solving the problem. Moreover provides repeatability, reliabilit...

Global challenge and the speedy growth of information technologies compel organizations to constantly change their ways. At the present time, associations need IT personnel who create a difference by creative thoughts and who preserve with the rapid amendments. Since the evaluation of IT personnel selection (ITPS) consists of different alternatives and criteria, therefore, IT personnel selectio...