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...

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...

We present a variable neighborhood search (VNS) for the 3-staged 2-dimensional cutting stock problem employing “ruin-and-recreate”-based very large neighborhood search in which parts of the incumbent solution are destroyed and rebuilt using construction heuristics and dynamic programming. Experimental results show that for instances where the sizes of the elements are not too small compared to ...

BACKGROUND Multiple and varied benefits have been suggested for increased neighborhood walkability. However, spatial inequalities in neighborhood walkability likely exist and may be attributable, in part, to residential segregation. OBJECTIVE Utilizing a spatial demographic perspective, we evaluated potential spatial inequalities in walkable neighborhood amenities across census tracts in Bost...