purpose of doing this research is scrutinizing the possibility of charging the circulating assets of debtors, which is done through comparative study of floating charge in common law with the accent on the jurisprudence and legal bases of our country. in this research the question was: “what are the features, regulations and consequences of floating charge in english law?” “is there possibility...

In this paper, we consider the minimum Hamming weight for linear codes over special finite quasi-Frobenius rings. Furthermore, we obtain minimal free $R$-submodules of a finite quasi-Frobenius ring $R$  which contain a linear code and derive the relation between their minimum Hamming weights. Finally, we suggest an algorithm that computes this weight using the Grobner basis and we show that und...

The talk gives a survey on some symbolic algorithmic methods for solving systems of algebraic equations with special emphasis on parametric systems. Besides complex solutions I consider also real solutions of systems including inequalities. The techniques described include the Euclidean algorithm, Grr obner bases, characteristic sets, univariate and multivariate Sturm-Sylvester theorems, compre...

The HPKB programme aims to enable the development of very large knowledge bases which are comprehensive, reusable, maintainable, and address areas of interest to DARPA. These knowledge bases are expected to require foundation knowledge, knowledge acquisition facilities, and efficient problem solving techniques. The programme encourages development of multiple applications which will be tested a...

In this paper we complete the algorithm DISPGB (Discussing Parametric Gröbner Basis) from the last paper by Montes, in order to obtain the Minimal Canonical Comprehensive Gröbner System (MCCGS). Given a parametric ideal, the MCCGS algorithm provides the minimal partition of the parameter space with associated Gröbner bases having the same type of solutions over each segment and provides a canon...