In the rendezvous problem, two computing entities (called \emph{agents}) located at different vertices in a graph have to meet same vertex. this paper, we consider synchronous \emph{neighborhood problem}, where agents are initially adjacent vertices. While problem can be trivially solved $O(\Delta)$ rounds ($\Delta$ is maximum degree of graph), it highly challenging reveal whether that $o(\Delt...

urban space has been formed in historical texture of cities under the influence of meaning and shape on the onehand and qualities related to human behaviors on the other hand. among these points, neighborhood centers as themost important areas of social life in urban open space play a critical role in attracting people and improving qualityand vitality of environment. this study presents the re...

Image transforms are used extensively in image processing to convert one image form into another form. These transforms are either point-operation transforms or neighborhood-operation transforms. Injective transforms, also known as reversible or one-to-one transforms, are a subset of point-operation transforms where each intensity value maps to a distinct intensity value. In this paper we prese...

Efficient communication is essential in disasters in order to coordinate a response and assure effective evacuation. This paper focuses on the case study of the Melbourne bushfires in 2009. We first analysed some interviews of the population to know who the population communicates with (neighbours, family, authorities, etc), and using what channel (radio, phone, internet, etc). We then develope...

We introduce the modal system BT which is a multi-modal language designed to talk about trust and belief of two agents. The belief operators are based on modal system KS. This gives the main difference with already known system BA introduced by Churn-Jung Liau [2] and also carries its own intuitive meaning. As a main result we prove that BT is sound and complete with respect to the given semant...

3 We consider commuting squares of nite dimensional von Neumann algebras having the algebra of complex numbers in the lower left corner. Examples include the vertex models, the spin models (in the sense of subfactor theory) and the commuting squares associated to nite dimensional Kac algebras. To any such commuting square we associate a compact Kac algebra and we compute the corresponding subfa...