Sampling of Band-Limited Vectors.
Sampling theory for functions with fractal spectrum.
S-bases of proportional algebra.
Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks
This paper investigates the output controllability problem of temporal Boolean networks with inputs (control nodes) and outputs (controlled nodes). A temporal Boolean network is a logical dynamic system describing cellular networks with time delays. Using semi-tensor product of matrices, the temporal Boolean networks can be converted into discrete time linear dynamic systems. Some necessary and sufficient conditions on the output controllability via two kinds of inputs are obtained by providing...
Some nonlinear shift register generators
Some Properties of the Combinational Measure of Complexity of Binary Words
Some remarks on the canonical forms for pseudo-Boolean functions.
Sur la minimisation d'une expression représentant une famille de fonctions booléennes
Synthesis of finite state machines for CPLDs
The paper presents a new two-step approach to FSM synthesis for PAL-based CPLDs that strives to find an optimum fit of an FSM to the structure of the CPLD. The first step, the original state assignment method, includes techniques of twolevel minimization and aims at area minimization. The second step, PAL-oriented multi-level optimization, is a search for implicants that can be shared by several functions. It is based on the graph of outputs. Results of experiments prove that the presented approach...
Synthesis of probability transformers