Extracting data paths in large-scale registertransfer level designs has important usage in automatic verification of synchronous circuits and synthesis of asynchronous circuits. Current tools rely on users to provide the data/control partition or use state-space analyses to extract data paths. Due to the explosion of state-space, the latter method can be used in only small designs. To resolve t...

This paper concerns the metamodel of the XTT rule-based knowledge representation. XTT is a knowledge representation and design method which aims at combining decision trees and decision tables. As the pure XTT method required dedicated tools to design systems, the UML representation has been developed. The abstract syntax of UML is defined by the UML metamodel. This paper introduces the metamod...

Let Γ be the fundamental group of the complement of a K(Γ, 1) hyperplane arrangement (such as Artin’s pure braid group) or more generally a homologically toroidal group as defined below. The subgroup of elements in the complex K-theory of BΓ which arises from complex unitary representations of Γ is shown to be trivial. In the case of real K-theory, this subgroup is an elementary abelian 2-group...

Motivated by a practical interpretation of the Geiringer’s theorem, we define the class of “Pure Crossovers” independently of the solution representation used and explain why they are important for both theorists and practitioners. We then give a geometric characterization of this class of operators and prove some general properties common to all pure crossovers.

We describe the core of a new strongly-typed functional programming language called LEAP, a \Language with Eval And Polymorphism." Pure LEAP is an extension of the !-order polymorphic -calculus (F ! ) by global de nitions that allows the representation of programs and the de nition of versions of reify, reflect, and eval for all of F ! . Pure LEAP is therefore highly re exive and strongly typed...

Interaural level differences (ILDs) are the dominant cue for localizing the sources of high frequency sounds that differ in azimuth. Neurons in the primary auditory cortex (A1) respond differentially to ILDs of simple stimuli such as tones and noise bands, but the extent to which this applies to complex natural sounds, such as vocalizations, is not known. In sufentanil/N2O anesthetized marmoset...

the most current pursuit algorithms for moving targets which are presented so far in the literatureare pure pursuit and pure rendezvous navigations. recently, one of the present authors has introduced ageometric model for the pure pursuit navigation algorithm. here, in this paper, we study a new algorithm forthe pursuit navigation problem which is a combination of both of the above algorithms. ...