 There are many methods for the synthesis of logical functions. All these methods can be divided into two classes the first one is Two-Level Logic Synthesis and the second one is Multi-Level Logic Synthesis. The multi-level circuits and their structure are easier for practical realization if there is a large number of variables. In this paper we concentrate on a part of the second class synthe...

The biological and dynamical importance of feedback circuits in regulatory graphs has often been emphasized. The work presented here aims at completely describing the dynamics of isolated elementary regulatory circuits. Our analytical approach is based on a discrete formal framework, built upon the logical approach of R. Thomas. Given a regulatory circuit, we show that the structure of synchron...

MOTIVATION The rational design of biological networks with prescribed functions is limited to gene circuits of a few genes. Larger networks involve complex interactions with many parameters and the use of automated computational tools can be very valuable. We propose a new tool to design transcriptional networks with targeted behavior that could be used to better understand the design principle...

The paper deals with the problem of designing digital circuits based on the current-mode gates novel digital elements operating with constant, continuous power supply current. The purpose is the provision of a high level of the noise immunity of the chips which compose both analog and digital circuits. The logical properties of this gate basis and several identities for conversing expressions f...

Having now produced devices with sufficient Q, thermal stability, aging stability, and manufacturability, vibrating RF MEMS technology is already finding its way into next generation timing and wireless applications. At this juncture, the technology is now poised to take its next logical steps: higher levels of circuit complexity and integration. In particular, as vibrating RF MEMS devices are ...

Boolean circuits are used to represent programs on finite data. Reversible Boolean circuits and quantum Boolean circuits have been introduced to modelize some physical aspects of computation. Those notions are essential in complexity theory, but we claim that a deep mathematical theory is needed to make progress in this area. For that purpose, the recent developments of knot theory is a major s...

Abstract: The aim of this paper is to present the results research carried out in a Mathematics and Science training program for indigenous teachers Kaingang ethnic group by Unochapecó municipality Chapecó, Santa Catarina, Brazil. Based on paradigm ethno mathematics, one objectives look relations between traditional thinking classical mathematics. We propose an analogy logical-mathematical bina...

Most work in quantum circuit optimization has been performed in isolation from the results of quantum fault-tolerance. Here we present a polynomial-time algorithm for optimizing quantum circuits that takes the actual implementation of fault-tolerant logical gates into consideration. Our algorithm re-synthesizes quantum circuits composed of Clifford group and T gates, the latter being typically ...

due to the expected increase of defects in circuits based on deep submicron technologies, reliability has become an important design criterion. although different approaches have been developed to estimate reliability in digital circuits and some measuring concepts have been separately presented to reveal the quality of analog circuit reliability in the literature, there is a gap to estimate re...

Objectives . The problem of circuit implementation incompletely specified (partial) k-valued logic functions given by tabular representations is considered. stage technologically independent optimization studied to obtain minimized systems completely Boolean from partial logic. According these functions, technological mapping performed at the second synthesis circuits. Methods Using additional ...