HUX: a schemacentric approach for updating XML views
The problem of updating XML views is more complex than in the relational scenario due to its nested hierarchical structure. While several research projects [1, 4] began to explore this XML view updating problem, they typically provide no guarantee for avoiding view side effects. An update translatability analysis can be employed to reason about the potential view side effects before performing the update. Intuitively, such analysis could examine the actual base data [2, 3]. However, as indicated by , this data-centric search for a translation tends to be very expensive, even for relational view updates. Instead, in our HUX project, we have designed a comprehensive solution of exploring schema-knowledge to optimize this analysis. Fig. 1(a) shows a running example of a relational database for a course registration system. A virtual XML view  is defined by the view query in Fig. 1(b). The following examples illustrate cases of classifying updates as translatable or not translatable. Here we only use a delete primitive with the format (delete nodeID), where nodeID is the abbreviated identifier of the element to be deleted. For example, CI1.PS1 represents the first Professor-Student element of the first ClassInfo element.

title: An Optimized Two-Step Solution for Updating XML Views
abstract: View updating is a long standing difficult problem. Given a view defined over base data sources and a view update, there are several different updates over the base data sources, called translations, that perform the update. A translation is said to be correct if it performs the update and at the same time does not update any portion of the view not specified in the update (no view side-effects). The view update problem finds a correct translation for a given view update if one exists. In the relational scenario, previous research has attempted to study the view update problem either by utilizing only the schema knowledge, or by directly examining the base data. While utilizing only the schema knowledge is very efficient, we are not guaranteed to find a correct translation even if one exists. On the other hand, examining the base data is guaranteed to find a correct translation if one exists, but is very time-consuming. The view update problem is even more complex in the XML context due to the nested hierarchical structure of XML and the restructuring capabilities of the XQUERY view specification. In this paper we propose a schema-centric framework, named HUX, for efficiently updating XML views specified over relational databases. HUX is complete (always finds a correct translation if one exists) and is efficient. The efficiency of HUX is achieved as follows. Given a view update, HUX first exploits the schema to determine whether there will never be a correct translation, or there will always be a correct translation. Only if the update cannot be classified using the schema, HUX will examine the base data to determine if there is a correct translation. This data-level checking is further optimized in HUX, by exploiting the schema knowledge extracted in the first step to significantly prune the space of potential translations that is explored. Experiments illustrate the performance benefits of HUX over previous solutions.

title: Updating Views Over Recursive XML
abstract: We study the problem of updating XML views defined over XML documents. A view update is performed by finding the base updates over the underlying data sources that achieve the desired view update. If such base updates do not exist, the view update is said to be untranslatable and rejected. In SQL, determining whether a view update is translatable is performed using schema level analysis, where the view definition and the base schema are used. XML schemas are more complex than SQL schemas, and can specify recursive types and cardinality constraints. In this paper, we propose a solution based on schema level analysis for determining whether an update over XML views is translatable and for finding the translation if one exists, while considering the features of XML schemas.

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: Finite-Time Boundedness Analysis of Uncertain CGNNs with Multiple Delays
abstract: The problem of finite-time boundedness(FTB) for a class of Cohen-Grossberg neural networks(CGNNs) with multiple delays and parameter perturbations is analyzed in this paper By way of extending the concept of FTB for time delay system and constructing a suitable Lyapunov function and using linear matrix inequality(LMI) technique, some delay-dependent criteria are derived to guarantee FTB for uncertain and certain CGNNs with multiple delays Meanwhile, an algorithm is also presented Finally, simulation examples are given to demonstrate the effectiveness of the conclusion.

title: Positive Periodic Solutions of Nonautonomous Lotka-Volterra Dispersal System with Delays
abstract: In this paper, a general class of nonautonomous Lotka-Volterra dispersal system with discrete and continuous infinite delays is investigated. This class of Lotka-Volterra systems model the diffusion of a single species into n patches by discrete dispersal. By using Schauder's fixed point theorem, we prove the existence of positive periodic solutions of system. The global asymptotical stability of positive periodic solution is discussed and the sufficient conditions for exponential stability are also given. we give an example to illustrate the validity of the results in the end. The conditions we obtained are more general and it can be extended to several special systems.

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: 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: Iterative Joint Channel Estimation and Multi-User Detection for Multiple-Antenna Aided OFDM Systems
abstract: Multiple-input-multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems have recently attracted substantial research interest. However, compared to 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 the context of the Bell layered space-time architecture (BLAST) or space division multiple access (SDMA) multi-user MIMO OFDM systems, none of the known channel estimation techniques allows the number of users to be higher than the number of receiver antennas, which is often referred to as a "rank-deficient" scenario, owing to the constraint imposed by the rank of the MIMO channel matrix. Against this background, in this paper we propose a new genetic algorithm (GA) assisted iterative joint channel estimation and multi-user detection (GA-JCEMUD) approach for multi-user MIMO SDMA-OFDM systems, which provides an effective solution to the multi-user MIMO channel estimation problem in the above-mentioned rank-deficient scenario. Furthermore, the GAs invoked in the data detection literature can only provide a hard-decision output for the forward error correction (FEC) or channel decoder, which inevitably limits the system's achievable performance. By contrast, our proposed GA is capable of providing "soft" outputs and hence it becomes capable of achieving an improved performance with the aid of FEC decoders. A range of simulation results are provided to demonstrate the superiority of the proposed scheme.