The representation theory of the unitary groups is of fundamental significance in many areas of physics and chemistry. In order to label states in a physical system with unitary symmetry, it is necessary to have explicit bases for the irreducible representations. One systematic way of obtaining bases is to generalize the ladder operator approach to the representations of SU(2) by using the form...

Introduction: It has been found that the decision-making process in medicine is affected, to a large extent, by one’s experience, individual mentality, previous models, and common habitual approaches, in addition to scientific principles. Evidence-based medicine is an approach attempting to reinforce scientific, systematic and critical thinking in physicians and provide the ground for optimal d...

The concept of comprehensive Grobner bases was introduced by Weispfenning. Montes has proposed an efficient algorithm for computing these bases. But he has not explicitly used Buchberger's criteria in his algorithm. In this paper we prove that we can apply these criteria on Montes algorithm. We propose a modified version of Montes algorithm and evaluate its performance via some examples.

The article discusses the issues related to the decision-making system using dispersed knowledge. By dispersed knowledge we understand knowledge from one domain but stored in a set of knowledge bases. This article focuses on the use of dispersed medical data. A dispersed decision-making system with the negotiation stage was used. The impact of three different approaches to determining the stren...

The paper is devoted to fault diagnosis problems using fuzzy decision making. We investigate dynamic diagnostic systems which can be represented by symptom-fault rule bases. The main question to be answered is what faults produce observable symptoms in the first moments of their appearance. To solve this task we propose to use a set of agents for making fuzzy hypothesis about symptoms and to so...

background: prevalence of obesity in the world, in both developed and developing countries, is growing rapidly. bariatric surgery is now accepted as the treatment for morbid obesity. objective: this study compares laparoscopic sleeve gastrectomy's effectiveness (lsg) with the most common bariatric surgery, laparoscopic roux-en-y (lrygb) gastric bypass.   methods: a systematic review was perform...

This paper reports on the use of tools that statically analyze rule-bases in order to detect logical errors, such as redundancy, inconsistency, and incompleteness. The analysis uses a variant of the KB-Reducer algorithm (Ginsberg 1991). In contrast to accounts of similar tools, which seldom describe tools as used in the field, the experience described in this paper is derived from using tools t...