Spatiality is an important aspect of distributed systems because their computationsdepend both on the dynamic behaviour and on the structure of their components.Spatial logics have been proposed as the formal device for expressing spatial prop-erties of systems.We define CCS||, a CCS-like calculus whose semantics allows one to observe spa-tial aspects of systems on the top o...

A variableband relaxation algorithm for solving large linear systems is developed as an alternative to Gaues-Jacobi relaxation. This algorithm seeks to improve the reliability of Gauss-Jacobi relaxation by extracting a variable-sized band from the matrix and solving that band directly. This leads to a relaxation algorithm with provably better convergence p rop erties. Furthermore, this algorith...

This article describes several natural methods of constructing random probability measures with prescribed mean and variance, and focuses mainly on a technique which constructs a sequence of simple (purely discrete, finite number of atoms) distributions with the prescribed mean and with variances which increase to the desired variance. Basic prop­ erties of the construction are established, inc...

A m yriad of resources can be found on the Web to­ day, and finding (topically) relevant resources for a given inform ation need is a daunting task. Even if relevant resources can be found, they m ay not be apt for the searcher in a given context: some prop­ erties of the resource m ay be "w rong" for his cur­ rent context. Such issues can often be resolved by m eans of transformations. In this...

Let F be a cellular automaton on the space of all sequences from a finite alphabet. From the local description of F a finite labeled digraph is constructed with a distinguished subdi graph. The surjectivity and openness of F are proved to correspond to properties of these digraphs. Similarly, another finite labeled digraph is constructed with a distin guished subset of its vert ex set . Th e in...

Decreased deformability of acetyldamaged cells, in an all-or-none phenylhydrazine-treated erythrocytes, fashion. In mixtures, separation of unmeasured by in vitro filtration experitreated cells from Heinz body-containments, was found to parallel Heinz ing erythrocytes could be accombody formation. The decreased deplished by filtration. There may be a formability seemed unrelated to merelationsh...

In the next section, in a short, the basic propThe frequency response of a high-Q seconderties of the mode 1 are summarized. The proporder ̄lter section is 2Q times more sensitive erties of elliptic-function ̄lters with poles on a to the variations in pole-frequency than it is to circle are presented in the third section. Modivariations in Q-factors. All useful biquad cir̄cations of the mode 1 are...

Maximum principle or positivity-preserving property holds for many mathematical 5 models. When the models are approximated numerically, it is preferred that these important prop6 erties can be preserved by numerical discretizations for the robustness and the physical relevance of 7 the approximate solutions. In this paper, we investigate such discretizations of high order accuracy 8 within the ...

the main purpose of this research is to evaluate the hydrochemical properties, con-trolling processes and metal concentrations in kaka-reza river water (lorestan province). to this end, 15 water samples were collected and physicochemical prop-erties (ph-ec), cation-anion contents along with concentrations of some heavy metals were determined using the standard analytical methods. the results re...

The focus of this study was on the effect channel angle stress distribution in material aluminum alloy 5083. mechanical properties a mate- rial are related to grain size. Equal angular pressing (ECAP) is method for deforming materials such way that strong prop- erties formed while dimensions work piece stay fixed order make ultra-fine-grained materials. One parameters ECAP angle. It’s crucial u...