In this paper, we analyze complemented group Cellular Automata (CA) derived from Linear Hybrid Group CA with rules 60, 102 and 204. We analyze some properties of the CA. And we give rule vectors which determine the state transition of the CA dividing the entire state space into smaller spaces of equal lengths, and find conditions for the complement vectors corresponding to the rule vectors. And...

We demonstrate that Schonhage storage modi cation machines are equivalent, in a strong sense, to unary abstract state machines. We also show that if one extends the Schonhage model with a pairing function and removes the unary restriction, then equivalence between the two machine models survives.

Analysis of foundational problems like “What is computation?” leads to a sketch of the paradigm of abstract state machines (ASMs). This is followed by a brief discussion on ASMs applications. Then we present some theoretical problems that bridge between the traditional LICS themes and abstract state machines.

The purpose of this article is to solicit comments from the solid state lighting (SSL) industry on the Color Quality Scale (CQS) developed by National Institute of Standards and Technology (NIST). The CQS is being discussed as one of the proposals in the International Commission on Illumination (CIE) Technical Committee (TC) 1-69 and final discussions are in progress in the TC toward selecting ...

We present a general construction of the spin content of the BetheSalpeter amplitudes (covariant wave functions) for heavy hadrons with arbitrary orbital excitations, using representations of L ⊗ O(3, 1). These wave functions incorporate the symmetries manifest in the heavy quark limit. In the baryonic sector we clearly differentiate between the Λ and Σ-type excited baryons. We then use the tra...

A rat cyborg system refers to a biological rat implanted with microelectrodes in its brain, via which the outer electrical stimuli can be delivered into the brain in vivo to control its behaviors. Rat cyborgs have various applications in emergency, such as search and rescue in disasters. Prior to a rat cyborg becoming controllable, a lot of effort is required to train it to adapt to the electri...

With the proliferation of portable devices and increasing levels of chip integration, reducing power consumption is becoming of paramount importance. We describe a technique to automatically synthesize gated clocks for nite-state machines (FSMs) to reduce power in the nal implementation. This technique recognizes self-loops in the FSM (either from the state diagram or from a synchronous network...