The use of binary decision diagrams (BDDs) has proliferated in numerous fields. When a
system criterion is formulated in form of a Boolean function, its BDD is constructed. Each node …

With the continuous shrinkage of transistor sizes in very large scale integrated circuits,
power consumption forms a serious concern to be tackled. With their ability to allow for zero …

Several works have been conducted regarding the reduction of the energy consumption in
electrical circuits. Reversible circuit synthesis is considered to be one of the major efforts at …

Reversible logic has recently gained a remarkable interest due to its information lossless
property, which minimizes power dissipation in the circuit. Furthermore, with their natural …

This paper presents a synthesis algorithm, Covering Set Partitions (CSP), for reversible binary
functions with no ancillary (garbage) bits. Existing algorithms are constrained to functions …

We present the results of application of Evolutionary Algorithms to the problem of synthesizing
quantum circuits which belong to the class of reversible circuits, represented as an input/…

Annotation of online documents has become an important practice, allowing the addition of
valuable information to existing resources without corrupting them, thus introducing a novel …

Synthesizing reversible circuits is still an important issue in the area of low power consumption
circuit design. Several algorithms have been proposed in the field in order to synthesize …

Examining network traffic is becoming increasingly important due to the various hacking
methods that are being created every day. Being only aware of the source and destination of the …

The work presented in this paper is related to automation the creation of Arabic ontologies.
We propose an approach to create Arabic linguistic ontologies from a multilingual …