Assignment model is a powerful operations research techniques that can be used to solve assignment or allocation problem. This study applies the assignment model to the course allocation problem in Nigeria tertiary institution in order to maximize lecturers’ effectiveness. A well-structured questionnaire was used to obtain data from lecturers and solved with Hungarian method. The study revealed...

University rankings generally present users with the problem of placing the results given for an institution in context. Only a comparison with the performance of all other institutions makes it possible to say exactly where an institution stands. In order to interpret the results of the SCImago Institutions Ranking (based on Scopus data) and the Leiden Ranking (based on Web of Science data), i...

This paper focuses on the integration of reachability and observability concepts within an algebraic, institution-based framework. In the first part of this work, we develop the essential ingredients that are needed to define the constructorbased observational logic institution, called COL, which takes into account both the generationand observation-oriented aspects of software systems. The und...

Background and Objectives: Motivated employees are probably the most valuable resource of the contemporary organizations. Evidence shows the significant impact of perceived organizational justice on the attitudes of employees, including their trust. To further investigate the issue in the context of health organizations, this study aimed to explore the relationship between perceived organizatio...

This paper focuses on the integration of reachability and observability concepts within an algebraic, institution-based framework. In the first part of this work, we develop the essential ingredients that are needed to define the constructorbased observational logic institution, called COL, which takes into account both the generationand observation-oriented aspects of software systems. The und...

In Multi-Agent Systems, Organizations are means to structure cooperation and collaboration between agents. MoiseInst is a normative Organization model giving the possibility to constraint agents behaviour according to four dimensions (structural, functional, contextual and normative). Mabeli as Electronic Institution model allows the supervision of MoiseInst Organizations compliance through an ...

the present research aims to study the role of mosque in increasing social capital from the viewpoint of the quran and islamic narratives. for this reason, specifications of the mosque made in the quran and narratives have been organized based on social capital indicators in order to identify the role of mosque in increasing production of social capital. the research uses a descriptive-analytic...

In the context of proliferation of many logical systems in the area of mathematical logic and computer science, we present a generalization of forcing in institution-independent model theory which is used to prove an abstract Omitting Types Theorem (OTT). We instantiate this general result to many first-order logics, which are, roughly speaking, logics whose sentences can be constructed from at...

cooperation in pastoralism and indigenous knowledge of dairy management had been considered for many years in iran and had been adapted with culture and environment of every region. this research had illustrated the analysis of indigenous knowledge and social cohesion in dairy management of grazing livestock in ghasr e yaghub village. research method was a combination of filed studies, direct o...