The article is a Mizar formalization of [13, 168–169]. We show definition and fundamental theorems from theory of basis of continuous lattices. The following proposition is true (1) For every non empty poset L and for every element x of L holds compactbelow(x) = ↓ ↓ x∩the carrier of CompactSublatt(L). Let L be a non empty reflexive transitive relational structure and let X be a subset of Ids(L)...

Let X be a set. Note that there exists a subset of X which is trivial. Let X be a trivial set. Observe that every subset of X is trivial. Let L be a 1-sorted structure. Note that there exists a subset of L which is trivial. Let L be a relational structure. Note that there exists a subset of L which is trivial. Let L be a non empty 1-sorted structure. Note that there exists a subset of L which i...

Intrusion detection systems are designed to provide security in computer networks, so that if the attacker crosses other security devices, they can detect and prevent the attack process. One of the most essential challenges in designing these systems is the so called curse of dimensionality. Therefore, in order to obtain satisfactory performance in these systems we have to take advantage of app...

This study reports the simple process to synthesis of CuO/CuI nanocomposite in a non-aqueous solution. In the conducted experiments CuI and Dimethyl Sulfoxide (DMSO) were used as the precursors. Moreover, DMSO had role of solvent and ligand simultaneously. In experiments the effects of oleic acid as the particles size modifier, temperature and concentration were investigated. Crystalline struct...