Hui Ying Tang1,2, Daisuke Ishii3, Kumar Sudesh1, Tetsuji Yamaoka4 and Tadahisa Iwata2,5 1School of Biological Sciences, Universiti Sains Malaysia, 11800 Penang, 2Bioengineering Laboratory, RIKEN Institute / Hirosawa 2-1, Wako-shi, Saitama 351-0198, 3Department of Materials Chemistry, Faculty of Science and Engineering, Ryukoku University / 1-5 Yokotani, Seta Oe-cho, Otsu-shi, Shiga 520-2194, 4D...

Partitioning of a graph representation, defined over low-level image features based on Gestalt inspired relations, is an effective strategy for forming coherent perceptual groups in an image. The usual practice, mainly motivated by efficiency considerations, is to approximate the general K-way partitioning solution by recursive bi-partitioning, where at each step the graph is broken into two pa...

multiplicity of positive solutions for a class of semilinear problem. II. Junping Multi-spike stationary solutions of the Cahn-Hilliard equation in higher-dimension and instability. multiplicity of positive solutions for a class of semilinear problems. Existence and instability of spike layer solutions to singular perturbation problems. J.

This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficient...

SPARQL query containment under schema axioms is the problem of determining whether, for any RDF graph satisfying a given set of schema axioms, the answers to a query are contained in the answers of another query. This problem has major applications for verification and optimization of queries. In order to solve it, we rely on the μ-calculus. Firstly, we provide a mapping from RDF graphs into tr...

Dynamin, a microtubule-activated GTPase, has recently been identified as the product of the shibire gene in Drosophila. shi(ts) mutants are defective in synaptic vesicle recycling, which leads to rapid and reversible temperature-sensitive paralysis. In the present study, results from RNase protection assays and analysis of cDNA clones define a complex pattern of developmental- and tissue-specif...

Athanasiadis introduced separating walls for a region in the extended Shi arrangement and used them to generalize the Narayana numbers. In this paper, we fix a hyperplane in the extended Shi arrangement for type A and calculate the number of dominant regions which have the fixed hyperplane as a separating wall; that is, regions where the hyperplane supports a facet of the region and separates t...