A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two can be added or composed. Algebraically, identities modelled noncommutative polynomials such proves that the polynomial corresponding to lies ideal generated identities. In order prove an identity, however, just membership is ...

The study was designed to analyze credit receipt and enterprise performance by small scale agro based enterprises in the Niger Delta region of Nigeria. A multistage sampling technique was adopted in selecting 264 agro based enterprises and 96 agro based enterprises that accessed informal and formal credit respectively. The Heckman model was used to examine the factors affecting amount of inform...

Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...

All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...