Abstract: novel multiple-valued logic clock converters using artificial neural network are proposed. Based on a set of novel neural clock base converters, an essential part of the creative solution to the multiple-valued logic dual-clock or multi-clock circuit synchronization problem is presented in this paper. The multiple-valued logic neuron clock converters are planned to be useful in the mu...

The reverse construction and analysis of the networks of molecular interactions are essential for understanding their functions within cells. In this paper, a logic network model is constructed to investigate the complicated regulation mechanism of shoot genes of Arabidopsis Thaliana in response to stimuli. The dynamics of the complicated logic network is analyzed, discussed and simulated. The ...

In Distributed wireless network, this paper propose the traffic management for controlling the congestion, in which routers are associated with intelligent controllers to manage buffers and transfer packets for wired/wireless networks. By analyzing various existing traffic control protocols, which estimates auxiliary network parameters such as link latency, bottleneck, bandwidth, packet loss ra...

The paper presents the potential of fuzzy logic (FL-I) and neural network techniques (ANN-I) for predicting the compressive strength, for SCC mixtures. Six input parameters that is contents of cement, sand, coarse aggregate, fly ash, superplasticizer percentage and water-to-binder ratio and an output parameter i.e. 28day compressive strength for ANN-I and FL-I are used for modeling. The fuzzy l...

We initiate a program to develop a principled theory of secure systems. Our main technical result is a formal logic for reasoning about a network of shared memory, multi-user systems. The logic is inspired by an existing logic for security protocols. It extends the attacker model and adds shared memory, time, and limited forms of access control. We prove soundness for the proof system in the pr...

Recently, the logic-qubit entanglement shows its potential application in future quantum communication and quantum network. However, the entanglement will suffer from the noise and decoherence. In this paper, we will investigate the first entanglement purification protocol for logic-qubit entanglement. We show that both the bit-flip error and phase-flip error in logic-qubit entanglement can be ...

With the advancement in wireless communication technology, various networks exists simultaneously. The variation in wireless network parameters is imprecise in nature. To handle this imprecise data fuzzy logic can be used as an important tool for wireless network algorithms. Application of fuzzy logic/fuzzy controller in wireless communications is presented in this paper. The objective of this ...

We initiate a program to develop a principled theory of secure systems. Our main technical result is a formal logic for reasoning about a network of shared memory, multi-user systems. The logic is inspired by an existing logic for security protocols. It extends the attacker model and adds shared memory, time, and limited forms of access control. We prove soundness for the proof system in the pr...

AbstractFitting the continuous valid logic of the exclusive OR (XOR) problem requires more than a minimal neural network configuration. This letter shows that the simplest logic to fit the XOR problem involves boundaries that cannot be mapped by a Multi-Layer Perceptron (MLP) with just two hidden nodes. This observation calls into question rule extraction methodologies based on pruning, since t...

Hoare Logic Abstract Hoare LogicHoare Logic Paulo Oliva (joint work with U. Martin and E. A. Mathiesen) Queen Mary, University of London, UK ([email protected]) TMC, Network Algebras, and Applications Wroc law, 15 July 2007 Abstract Hoare LogicHoare Logic