In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale’s thesis [Kal07]. One of the main advantages of the new framework is that we can guarantee the convertibility from approximate to exact feasibility in a much more general class of SDPs than previous result. Another advantage is the de...

Imaging is a form of probabilistic belief change which could be employed for both revision and update. In this paper, we propose a new framework for probabilistic belief change based on imaging, called Expected Distance Imaging (EDI). EDI is sufficiently general to define Bayesian conditioning and other forms of imaging previously defined in the literature. We argue that, and investigate how, E...

Back Propagation and its variations are widely used as methods for training artificial neural networks. One such variation, Resilient Back Propagation (RPROP), has proven to be one of the best in terms of speed of convergence. Our SARPROP enhancement, based on Simulated Annealing, is described in this paper and is shown to increase the rate of convergence for some problems. The extension involv...

This paper is on the homotopy classification of maps of (n+1)-dimensional manifolds into the n-dimensional sphere. For a continuous map f : M → S define the degree deg f ∈ H1(M;Z) to be the class dual to f[S], where [S] ∈ H(S;Z) is the fundamental class. We present a short and direct proof of the following specific case of the Pontryagin-Steenrod-Wu theorem: Theorem. Let M be a connected orient...

Read-copy update (RCU) is a light-weight synchronization mechanism that has been used in production for well over a decade, most recently, as part of the Linux kernel. Although RCU is well-understood in the sense that practitioners are able to make good use of it without special training, there are a number of intriguing open questions related to RCU. This paper introduces a number of such ques...

in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...