The most common uses of negatively weighted bits (negabits), normally assuming the arithmetic value −1 (respectively 0) for logical 1 (0) state, are as the most significant bit of 2’s-complement numbers and as the negative component in binary signed-digit (BSD) representation. More recently, weighted bit-set (WBS) encoding of generalized digit sets and the practice of inverted encoding of negab...

despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. since analytic philosophy is a historical movement the main nature of w...

The probabilistic sentential decision diagram (PSDD) was recently introduced as a tractable representation of probability distributions that are subject to logical constraints. Meanwhile, efforts in tractable learning achieved great success inducing complex joint distributions from data without constraints, while guaranteeing efficient exact probabilistic inference; for instance by learning ari...

A directed logic circuit consisting of two silicon microring resonators which can perform XOR and XNOR operations has been proposed. These two operations are evaluated as the optical signal is directed along the circuit, and the results appear at some specific output ports of the circuit. A potential advantage of this new logical paradigm is that it has markedly less state delay than traditiona...

The smart sensor is the product of the combination of one or more sensitive components, precision analog circuits, digital circuits, microprocessor, communication interface, intelligent software systems and hardware integration in a packaging component. Formal concept analysis is from the given data to automatically extract the classification relationship between the entire hidden concept and c...

This paper proposes the methodology for hardware evolution by genetic programming (GP). By adopting Binary Decision Diagrams (BDDs) as hardware representation, larger circuits can be evolved, and they will be easily verified by utilizing commercial CAD software. The hardware descriptions specified in BDDs are improved by GP operators, to synthesize various combinatorial logical circuits. From t...

This paper reports spreadsheet calculations intended to verify the timing of 6-4 GasP asynchronous Network on Chip (NoC) control circuits. The Logical Effort model used in the spreadsheet estimates the delays of each logic gate in the GasP control. The calculations show how these delays vary in response to differing environmental conditions. The important environmental variable is the physical ...

Reversible circuits are like routine rationale circuits with the exception of that they are worked from reversible doors. In reversible entryways, there is a novel, balanced mapping between the inputs furthermore, yields, not the situation with customary rationale. Likewise, reversible doors require steady ancilla inputs for reconfiguration of door capacities and waste yields that assistance in...

A novel current-estimation approach is developed to support the analysis of electromigration failures in power supply and ground busses of CMOS VLSI circuits. It uses the original concept of probabilistic simulation to e ciently generate accurate estimates of the expected current waveform required for electromigration analysis. As such, the approach is pattern-independent and relieves the desig...

An EPC Class 1 Gen 2 (C1G2) RFID system is composed of a reader and one or several passive tags. Passive tags obtain the required energy from the radio frequency field emitted by the reader. The forward data link (reader to tag) is embedded in this radio frequency field. The backward data link (tag to reader) is achieved by means of backscattering. The RFID tag consists of several analog circui...