We derive general properties of anomalous diffusion and nonexponential relaxation from the theory of tempered -stable processes. The tempering results in the existence of all moments of operational time. The subordination by the inverse tempered -stable process provides diffusion relaxation that occupies an intermediate place between subdiffusion Cole-Cole law and normal diffusion exponential l...

Computer performance modeling of possibly complex computations running on highly concurrent systems is considered. Earlier work in this area either dealt with a very simple program structure or resulted in methods with exponential complexity. An efficient procedure is developed to compute the performance measures for series-parallel-reducible task systems using queueing network models. The proc...

This paper presents the analysis of a continuous review perishable inventory system wherein the life time of each item follows an exponential distribution. The operating policy is (s,S) policy where the ordered items are received after a random time which follows exponential distribution. Primary arrival follows Poisson distribution and they may turnout to be posit...

‎‎In this paper, Solvability nonlinear Volterra integral equations with general vanishing delays is stated. So far sinc methods for approximating the solutions of Volterra integral equations have received considerable attention mainly due to their high accuracy. These approximations converge rapidly to the exact solutions as number sinc points increases. Here the numerical solution of nonlinear...

Bounds on the exponential decay of generalized eigenfunctions of bounded and unbounded selfadjoint Jacobi matrices in l2(N) are established. Two cases are considered separately and lead to different results: (i) the case in which the spectral parameter lies in a general gap of the spectrum of the Jacobi matrix and (ii) the case of a lower semibounded Jacobi matrix with values of the spectral pa...

Studies of safety-critical software-reliant systems developed using the current practices of build-then-test show that requirements and architecture design defects make up approximately 70% of all defects, many system level related to operational quality attributes, and 80% of these defects are discovered late in the development life cycle [Redman 2010]. Exponential growth in software size and ...

Pretty printers are tools for formatting structured text. A recently taken algebraic approach has lead to a systematic design of pretty printers. Wadler has proposed such an algebraic pretty printer together with an implementation for the lazy functional language Haskell. The original design causes exponential complexity when literally used in a strict language. This note recalls some propertie...

review the literature of conservatism in financial reporting indicates the importance of conservatism in accounting profession. researchers have always tried to determine the degree and ways of conservatism in financial reporting and accounting, although this is not done easily, because there is not a direct measure of conservatism. however, conservatism has been one of the key principles in ac...

We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets. The static structure of a Petri net is captured within a B abstract system through a graph structure. This abstract system is then included in another abstract system which captures the evolution semantics...