Present kl-one-like knowledge base management systems (KBMS), whilst ooer-ing highly structured description languages aside eecient concepts classiication, have limited capability to manage large amounts of individuals. Data base management systems (DBMS) can, instead, manage large amounts of data eeciently, but give scarce formalism to organize them in a structured way, and to reason with them...

The paper is concerned with a construction for H–bases of polynomial ideals without relying on term orders. The main ingredient is a homogeneous reduction algorithm which orthogonalizes leading terms instead of completely canceling them. This allows for an extension of Buchberger’s algorithm to construct these H–bases algorithmically. In addition, the close connection of this approach to minima...

abstract L-bases and B-bases are two important classes of polynomial bases used for representing surfaces in CAGD. The B ezier and multinomial bases are special cases of both L-bases and B-bases. We establish that certain proper subclasses of bivariate Lagrange and Newton bases are L-bases and certain proper subclasses of power and Newton dual bases are B-bases. A geometric point-line duality b...

supreme jurists have focused on sixth verse of sura tobeh to legitimize refuge in islam and assigned it to unbelievers. however, deliberating on other verses of holy quran, traditions and juristically regulations we can justify new issues which haven’t mentioned by supreme jurists. referring to the juridical books and various interpretations of holy quran to develop the concept of refuge this e...

the establishment of foreign military bases is a key matter to understand the distribution of power in spheres of influence throughout the world. oversea bases are the first mechanism of a mass network, which works to maintain the control exercised by great powers, becoming the infrastructure for wars. normally,  government allows the allies and governments that have similar ideas about common ...