Checking the functional equivalence of sequential circuits is an important practical problem. Because general algorithms for solving this problem require a state-space traversal of the product machine, they are computationally expensive. In this paper, we present a new method for sequential equivalence checking which utilizes functionally equivalent signals to prove the equivalence of both circ...

This study investigates the use of directional selection as a technique for implementing a new type of soft keyboard for small mobile devices. This technique is used to implement two different keyboards, with one based on arrows and one on colors. These are then compared against each other using the results from a longitudinal user test to determine if directional selection is feasible as well ...

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-...

To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well. Introduction of concepts In what follows we shall explicitly and constructively demonstrate the equivalence of the empirical logics (i.e., the propositional calculi) associated with the generalized urn models (GUM) suggested by Ron Wright [Wright(1978), Wri...

The aim of this work is to index images in domain specific databases using colors computed from the object of interest only, instead of the whole image. The main problem in this task is the segmentation of the region of interest from the background. Viewing segmentation as a figure/ground segregation problem leads to a new approach eliminating the background leaves the figure or object of inter...

We present a picture of phase transitions of the system with colored multiplicative noise. Considering the noise amplitude as the power– law dependence of the stochastic variable xa we show the way to phase transitions disorder–order and order–disorder. The governed equations for the order parameter and one-time correlator are obtained and investigated in details. The long–time asymptotes in th...

This research was carried out to compare the productivity performance of three lines local quail. The results showed a significant superiority in daily gain weight (3.76 g/day/quail) and marketing (167.2 g/quail) for brown quail over other colors. Also, differences were found dressing ratio between males (67.8%) females (65.76%). As egg production quail, it desert colors number eggs produced, a...

in this work, the feasibility study for design of a laboratory sample rde which has an annular geometry with diameter of 76 mm and length of 101 mm has been performed. detonation engines are expected to be used as propulsion system in aerospace applications in the future. several types of detonation engines are currently under examination, including the rotating detonation engine (rde). first, ...

The frequencies of stochastic noise inherent to the environment can be described as colors. various colors refer disruptive potential energy within and its characteristics. meaning type lies in unpredictability events 'forcing functions' energy. That is strength force a system or population respond. For human activity, color types correlate problem characteristics such leadership-line authority...