The task concept is a widely used pattern in reasoning systems. Unified Problemsolving Method Development Language (UPML) is a framework allowing building libraries of generic problem solving components. This paper proposes several improvements in this framework based on observations when modeling a concrete application. It starts from describing in UPML an application intended to solve nonline...

T his journal provides a forum for research on the forefront of mankind's expanding knowledge of the universe. It is devoted to exploration of the unified field of all the laws of nature through the combined approaches of modern science and ancient Vedic science, as brought to light by Maharishi Mahesh Yogi. The identification of the unified field by modern physics is only the first glimpse of ...

By summarizing Khachiyan's algorithm and Karmarkar's algorithm forlinear program (LP) a unified methodology for the design of polynomial-time algorithms for LP is presented in this paper. A key concept is the so-called extended binary search (EBS) algorithm introduced by the author. It is used as a unified model to analyze the complexities of the existing modem LP algorithms and possibly, help ...

Recombinogenic engineering or recombineering is a powerful new method to engineer DNA without the need for restriction enzymes or ligases. We report here a general method for using recombineering to combine overlapping bacterial artificial chromosomes (BACs) to build larger, unified BACs. In order to test the feasibility of using recombineering to combine two large DNA fragments (>20 kb), we co...

We present a unified approach to quantum error correction, called operator quantum error correction. Our scheme relies on a generalized notion of a noiseless subsystem that is investigated here. By combining the active error correction with this generalized noiseless subsystems method, we arrive at a unified approach which incorporates the known techniques--i.e., the standard error correction m...

Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, variance in structures, and the lack of centralised control, introduce significant challenges. These challenges stretch contemporary methods in the social and IT domains. In this paper, we introduce a method that we hav...

With the proliferation of social images, social image tagging is an essential issue for text-based social image retrieval. However, the original tags annotated by web users are always noisy, irrelevant and incomplete to interpret the image visual contents. In this paper, we propose a nonlinear matrix factorization method with the priors of interand intra-correlations among images and tags to ef...

The notions of Lipschitz conditions with L average are introduced to the study of convergence analysis of Gauss-Newton’s method for singular systems of equations. Unified convergence criteria ensuring the convergence of Gauss-Newton’s method for one kind of singular systems of equations with constant rank derivatives are established and unified estimates of radii of convergence balls are also o...

This paper takes an evaluative look into OO methods and especially the evolution of the new Unified method from its ancestors, OMT and OODA. The paper tries to classify the components of the earlier methods and identify the parts that have been taken into the Unified method. The research applies the method metrics approach. For the sake of compactness we limit ourselves to the class diagram tec...

3G-WLAN interworking is an emerging technology for the convergence of heterogeneous wireless networks. Solutions to unified authentication using Universal Subscriber Identity Module (USIM) card are urgent demands for wireless network operators, wireless service providers, and mobile users. However, it is a challenging issue to achieve unified authentication based on current network infrastructu...