Global Exponential Stability of Non-autonomous Neural Networks with Variable Delay
The aim of this work is to discuss the exponential stability of the non-autonomous neural networks with delay. By applying the generalized Halanay inequality and Lyapunov second method, several sufficient conditions are obtained ensuring the global exponential stability of the non-autonomous neural networks. Some previous results are improved and extended in this paper. In the end, a example is also given for illustration.

title: Stochastic High-Order Hopfield Neural Networks
abstract: In 1984 Hopfield showed that the time evolution of a symmetric Hopfield neural networks are a motion in state space that seeks out minima in the energy function (i.e., equilibrium point set of Hopfield neural networks). Because high-order Hopfield neural networks have more extensive applications than Hopfield neural networks, and have been discussed on the convergence of the networks. In practice, a neural network is often subject to environmental noise. It is therefore useful and interesting to find out whether the high-order neural network system still approacher some limit set under stochastic perturbation. In this paper, we will give a number of useful bounds for the noise intensity under which the stochastic high-order neural network will approach its limit set. Our result cancels the requirement of symmetry of the connection weight matrix and includes the classic result on Hopfield neural networks, which is a special case of stochastic high-order Hopfield neural networks. In the end, A example is given to verify the effective of our results.

title: Asymptotic behavior of stochastic Cohen-Grossberg neural networks with variable delays
abstract: Using Chebyshev inequality and nonnegative semi-martingale convergence theorem, the paper investigates asymptotic behavior of stochastic Cohen-Grossberg neural networks with delay by constructing suitable Lyapunov functional. Algebraic criteria are given for stochastic ultimate bounded and almost exponential stability. The result in the paper extend the main conclusion. In the end, examples are given to verify the effective of our results.

title: Improved Results on Solving Quadratic Programming Problems with Delayed Neural Network
abstract: In this paper, in terms of a linear matrix inequality (LMI), using a delayed Lagrangian network to solve quadratic programming problems, sufficient conditions on delay-dependent and delay-independent are given to guarantee the globally exponential stability of the delayed neural network at the optimal solution. In addition, exponential convergence rate is estimated by the equation in the paper. Furthermore, the results in this paper improved the ones reported in the existing literatures and the proposed sufficient condition can be checked easily by solving LMI. Two simulation examples are provided to show the effectiveness of the approach and applicability of the proposed criteria.

title: Global Exponential Stability of Cohen-Grossberg Neural Networks with Time-Varying Delays and Continuously Distributed Delays
abstract: In this paper, we investigate the global exponential stability for a class of Cohen-Grossberg neural networks (CGNN) with time-varying delays and continuously distributed delays. CGNN herein is a general neural networks model which includes some well-known neural networks as its special cases. Firstly, applying the homeomorphism theory, we establish the new sufficient condition of existence and uniqueness of the equilibrium point to CGNN. Then, the sufficient criteria of global exponential stability of CGNN, which are easy to verify, are given by M-matrix. Our results imply and generalize some existed ones in previous literature. Furthermore, it is convenient to estimate the exponential convergence rates of the neural networks by using the criteria. Compared with the previous methods, our method does not resort to any Lyapunov functions or functionals. Finally, a example is given to illustrate the effective of our results.

title: A Generalized LMI-Based Approach to the Global Exponential Stability of Recurrent Neural Networks with Delay
abstract: A new theoretical result on the global exponential stability of recurrent neural networks with delay is presented. It should be noted that the activation functions of recurrent neural network do not require to be bounded. The presented criterion, which has the attractive feature of possessing the structure of linear matrix inequality (LMI), is a generalization and improvement over some previous criteria. A example is given to illustrate our results.

title: HUX: handling updates in XML
abstract: We demonstrate HUX (Handling Updates in XML) which provides a reliable and efficient solution for the XML view update problem. Given an update over an XML view, our U-Filter subsytem first determines whether the update is translatable or not by examining potential conflicts in both schema and data. If an update is determined to be translatable, our U-Translator subsystem searches potential translations and finds a "good" one. Our demonstration illustrates the working, as well as the performance, of the two sub-systems within HUX for different application scenarios.

title: Iterative MIMO Channel Estimation for Next Generation Wireless Systems
abstract: The combination of multiple-input multiple-output (MIMO) technology and orthogonal frequency division multiplexing (OFDM) has been considered as an attractive solution for the next generation wireless communication networks. In comparison with single-input single-output (SISO) systems, channel estimation in the MIMO scenario becomes more challenging, owing to the increased number of independent transmitter-receiver links to be estimated. In this paper, we introduce an enhanced iterative channel estimation method, which is capable of providing genetically optimized channel information for uplink multi-user MIMO OFDM receivers, approaching the optimal benchmark arrangement utilizing perfect channel knowledge. The effectiveness of the proposed scheme is demonstrated by a range of numerical results under realistic scenarios.

title: Convergence Studies on Iterative Algorithms for Image Reconstruction
abstract: We introduce a general iterative scheme for image reconstruction based on Landweber's method. In our configuration, a sequential block-iterative (SeqBI) version can be readily formulated from a simultaneous block-iterative (SimBI) version, and vice versa. This provides a mechanism to derive new algorithms from known ones. It is shown that some widely used iterative algorithms, such as the algebraic reconstruction technique (ART), simultaneous ART (SART), Cimmino's, and the recently designed diagonal weighting and component averaging algorithms, are special examples of the general scheme. We prove convergence of the general scheme under conditions more general than assumed in earlier studies, for its SeqBI and SimBI versions in the consistent and inconsistent cases, respectively. Our results suggest automatic relaxation strategies for the SeqBI and SimBI versions and characterize the dependence of the limit image on the initial guess. It is found that in all cases the limit is the sum of the minimum norm solution of a weighted least-squares problem and an oblique projection of the initial image onto the null space of the system matrix.

title: Convergence of iterative algorithms for image reconstruction
abstract: We introduce a general iterative scheme for image reconstruction based on Landweber's method. Within our configuration, the block-iterative (BI) version can be formulated from its simultaneous version easily, and vice versa. This provides the mechanism to formulate new algorithms from known algorithms. It can be shown that some of the widely used iterative algorithms, such as the ART, SART, Cimmino's Algorithm and recently designed DWE and CAV, are special examples of the general scheme or its BI version. By applying the convergence results of the general scheme, the corresponding convergence in the consistent or inconsistent cases, for the block-iterative or simultaneous versions, of those specific algorithms can be established under mild conditions on the relaxation parameters.

title: Robust Document Image Authentication
abstract: In this paper, we propose a novel method for robust document image authentication. In the proposed method, characters and symbols on a binary document are first grouped into different classes based on k-means clustering in the feature space. Labels are then assigned to the different classes. An ordered sequence of labels formed from the characters and symbols on the document is then used to compute a digital signature. This is achieved by using a cryptographic hash function and a secret key. The computed signature can be appended at the end of an electronic document file, or printed on a hardcopy document in the form of a bar code. Using this method, we will be able to detect any intentional content alteration to the document, but at the same time tolerate moderate amount of noise introduced by printing, scanning, and photocopying of the document. Experimental results demonstrate the effectiveness of the proposed approach.