Bisimulation indexes and their applications

Covering Indexes for XML Queries: Bisimulation - Simulation = Negation

Tree Pattern Queries (TPQ), Branching Path Queries (BPQ), and Core XPath (CXPath) are subclasses of the XML query language XPath, TPQ ⊂ BPQ ⊂ CXPath ⊂ XPath. Let TPQ = TPQ ⊂ BPQ ⊂ CXPath ⊂ XPath denote the corresponding subclasses, consisting of queries that do not involve the boolean negation operator not in their predicates. Simulation and bisimulation are two different binary relations on gr...

Magentotactic bacteria and their applications

Magentotactic bacteria are the types of bacteria capable of orientation in an external magnetic field because of the ability to produce structures called magnetosomes. Magnetosomes, nanometer-scale structures, are present in most of the magnetotactice bacteria. They are intracellular organelles composed of magnetic iron mineral crystals individually surrounded by a phospholipid layer. Because o...

Sequential Methods and Their Applications

Network Applications of Graph Bisimulation

Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free synchronising graphs and a novel notion of bisimulation equivalence which is shown to be a congruence with respect to graph composition and node restriction. We use this notion of equivalence to study some sample network applic...

MULTIPLIERS AND THEIR APPLICATIONS IN EARTHQUAKE ENGINEERING

In this paper we shall study the multipliers on Banach algebras and We prove some results concerning Arens regularity and amenability of the Banach algebra M(A) of all multipliers on a given Banach algebra A. We also show that, under special hypotheses, each Jordan multiplier on a Banach algebra without order is a multiplier. Finally, we present some applications of m...