In developing of ointment for topical treatment of colds the structural and mechanical properties of the ointment bases contained isopropyl palmitate, beeswax and solid fat in different concentrations have been studied. Amount of isopropyl palmitate 60% remained constant and the ratio of solid fat and bee wax was varied. In order to study thixotropic properties the curve of kinetics deformation...

Generalizations of a collection of concepts can be computed by the least common subsumer (lcs) which is a useful inference for building knowledge bases. For general FL0-TBoxes the lcs need not exist. In this thesis, we devise a condition to check whether a concept is the lcs of two concepts w.r.t. a general FL0-TBox. We also define the characterizations for the existence of the lcs. Last, we sh...

Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very expressive DLs. In order to allow the user to re-use concepts defined in such terminologies and still support the definition of new concepts by computing the lcs, we extend the notion of the lcs of concept descriptions ...

Current merging methods for stratified knowledge bases are often based on the commensurability assumption, i.e. all knowledge bases share a common scale. However, this assumption is too strong in practice. In this paper, we propose a family of operators to merge stratified knowledge bases without commensurability assumption. Our merging operators generalize the quota operators, a family of impo...

Infinite multi-bases can have infinite and multiple type declarations for the same variable. They can be used as a proof-technique to manipulate only one common basis along the proof. However, no proper definition and precise study of typed lambda calculus with infinite multi-bases appear in the literature. This paper introduces type assignment systems with infinite multi-bases and studies the ...

| This paper develops a general and very simple construction for complete orthonormal bases for system identiica-tion. This construction provides a unifying formulation of many previously studied orthonormal bases since the common FIR and recently popular Laguerre and two-parameter Kautz model structures are restrictive special cases of the construction presented here. However, in contrast to t...

insurer companies frequently reinsure part of their risks before reinsurers. the question of right of action of the insured against the reinsurer then arises. the common response to this question is negative because of the principle of the privacy of contracts. however, courts, particularly in the united states, have recognized this direct action on various grounds, especially in case of insolv...

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...