Molodstov introduced soft sets to deal with uncertainties and not clear objects. Researchers developed the relationship between soft sets and information systems. Fuzzification of the notions of soft sets and soft topology have been discussed in the literature. In this paper, we define and establish the topological structures of fuzzy soft semi-open sets and fuzzy soft semi-closed sets. We intr...

Objective : To study the efficacy of dual task training with variable priority instructional set and fixed priority instructional set in improving balance and Activities of Daily Living(ADLS) in Patients with Parkinson's Disease. Methodology : 30 Parkinson's disease patients were divided in to two groups with 15 subjects in each group took part in this study. Both of the groups were having prop...

We consider a distributed source coding problem of L correlated Gaussian observations Yi, i = 1, 2, · · · , L. We assume that the random vector Y L = t(Y1, Y2, · · · , YL) is an observation of the Gaussian random vector X = t(X1, X2, · · · , XK), having the form Y L = AX +N , where A is a L×K matrix and N = t(N1, N2, · · · , NL) is a vector of L independent Gaussian random variables also indepe...

We consider cluster structures in a general setting where they do not necessarily contain all singletons of the ground set. Then we provide a direct proof of the bijection between semi-proper robinsonian dissimilarities and indexed pre-pyramids. This result generalizes its analogue proven by Batbedat in the particular case of definite cluster structures. Moreover, the proposed proof shows that ...

In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...

We describe LMHS, an open source weighted partial maximum satisfiability (MaxSAT) solver. LMHS is a hybrid SAT-IP MaxSAT solver that implements the implicit hitting set approach to MaxSAT. On top of the main algorithm, LMHS offers integrated preprocessing, solution enumeration, an incremental API, and the use of a choice of SAT and IP solvers. We describe the main features of LMHS, and give emp...