Abstract-Today many of the activities are performed online through the Internet. One of the methods used to protect the data while sending it through the Internet is cryptography. In a previous work we proposed the Text-to-Image Encryption algorithm (TTIE) as a novel algorithm for network security. In this paper we investigate the efficiency of (TTIE) for large scale collection.

Abstract

Problem Statement: The efficiency of computer architecture design is affected by the components used. Establishing a relationship between exclusive-or (XOR) and the unique existential quantifier provides alternative system implementations. Approach: Applications of XOR and the unique existential quantifier were explained. Then, prepositional logic was used to establish the relationship between them. Results: Different quantified assertions with two variables that use the unique existential quantifier were represented without quantifiers by using XOR. Conclusions: The unique existential quantifier and XOR were helpful in some computer architecture systems such as multiplexers, decoders and bus systems. The unique existential quantifier and XOR may be used interchangeably in some situations, but not alway

No abstract

A method of proof is presented and used in proving theorems in logic and set theory. Many commonly used methods of proof are rigid and not easy to apply in proving different theorems. This study deductively draws conclusions from rules of logical inference and then, it generalizes the deduction methods to be applied to logic and set theory. Then, it shows how this method of logical inference can be used to prove implications involving conjunction or disjunction of premises and to prove some identities in set theory involving implication or containment