A game semantics of the (−−∗,→)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: functor category models; and the category Cat itself. The game model is not of this kind. Rather, it is based on Hyland-Ong-Nickau-style games and embodies a careful analysis of the notions of resource sharing and separation inhere...

In this paper, the propagation of electromagnetic waves through an infinite slab of uni- or bi- axial chiral medium is analytically formulated for an arbitrary incidence using 4×4 matrix method. In this powerful method, a state vector differential equation is extracted whose solution is given in terms of a transition matrix relating the tangential components of electric and magnetic fields at t...

regarding the recent development in lng production and transportation, lng exports would exhibit a pivotal role in the future of global gas trade. by analyzing the geographical pattern of the world lng trade and the structure of its transportation costs, the lng cost matrix for forum's exporters to main lng importers is presented. using this matrix, the cooperation amongst the forum's...

A new approach to play games quantum mechanically is proposed. We consider two players who perform measurements in an EPR-type setting. The payoff relations are defined as functions of correlations, i.e. without reference to classical or quantum mechanics. Classical bi-matrix games are reproduced if the input states are classical and perfectly anti-correlated, that is, for a classical correlati...

Mass abnormality segmentation is a vital step for the medical diagnostic process and is attracting more and more the interest of many research groups. Currently, most of the works achieved in this area have used the Gray Level Co-occurrence Matrix (GLCM) as texture features with a region-based approach. These features come in previous phase for segmentation stage or are using as inputs to class...

Set functions appear as a useful tool in many areas of decision making and operations research, and several linear invertible transformations have been introduced for set functions, such as the Möbius transform and the interaction transform. The present paper establish similar transforms and their relationships for bi-set functions, i.e. functions of two disjoint subsets. Bi-set functions have ...

A graph   is called integral if all eigenvalues of its adjacency matrix  are integers.  Given a subset $S$ of a finite group $G$, the bi-Cayley graph $BCay(G,S)$ is a graph with vertex set $Gtimes{1,2}$ and edge set ${{(x,1),(sx,2)}mid sin S, xin G}$.  In this paper, we classify all finite groups admitting a connected cubic integral bi-Cayley graph.

the purpose of this paper is to develop a methodology for solving a new type of matrix games in which payoffs are expressed with triangular intuitionistic fuzzy numbers (tifns). in this methodology, the concept of solutions for matrix games with payoffs of tifns is introduced. a pair of auxiliary intuitionistic fuzzy programming models for players are established to determine optimal strategies...