In this paper, we derive a parabolic partial differential equation for the expected exit time of non-autonomous time-periodic non-degenerate stochastic equations. This establishes Feynman–Kac duality between equations and solutions Casting solution as fixed point problem convex optimisation problem, give sufficient conditions in which is well-posed weak classical sense. With no known closed for...

In this contribution, we explore the application of evolutionary algorithms for information filtering. There are two crucial issues we consider in this study: (1) the generation of the user’s profile which is the central task of any information filtering or routing system; (2) self-adaptation and self-evolving of the user’s profile given the dynamic nature of information filtering. Basically th...

In this paper we propose an efficient location management strategy called the profile-based two-level pointer forwarding cache scheme to improve the overall performance of the wireless mobile networks. It uses the two-level pointer for location update and the profile-based cache for call delivery. Location update for each Mobile Terminal (MT) is managed by the nearby Visitor Location Register (...

where EA and EB are the expected outcomes for players A and B, and RA and RB are their ratings. Here we designate a win by 1, a loss by 0, and a draw by 0.5. The spread of the ratings is set by Λ, which for chess ratings is usually taken to be Λ = 400/ log(10) = 173.72. The result of each game updates each player’s rating according to an update rule. The update rule is usually based on the diff...

In this paper, we propose a robust self-triggered real-time scheduling strategy for stabilization of passive or output feedback passive systems under unstructured uncertainties and in the presence of non-trivial actuation update delays. We assume that the unstructured uncertainty is a L2 stable dynamic system in a feedback or feedforward interconnection with the model of the plant, we took the ...

Abstract The abundance of SO dimers (SO) 2 in the upper atmosphere Venus and their implications for enigmatic ultraviolet absorption has been investigated several studies over past few years. However, photochemistry sulfur species is still not well understood identity missing absorber(s) remains unknown. Here we update an existing photochemical model Venus’ by including dimers. Although spectra...

We present two new combinatorial tools for the design of parameterized algorithms. The first is a simple linear time randomized algorithm that given as input a d-degenerate graph G and an integer k, outputs an independent set Y , such that for every independent set X in G of size at most k, the probability that X is a subset of Y is at least (( (d+1)k

Dynamic Software Updating (DSU) is a technique for updating running software systems without incurring downtime. However, a challenging problem is how to design a correct dynamic update so that the system after being updated will run as expected instead of causing any inconsistencies or even crashes. The OTS/CafeOBJ method is an effective and practical approach to specifying and verifying the d...