We present a new method for the eecient veriication of multipliers and other arithmetic circuits. It is based on modular arithmetic like Kimura's approach, and on composition, like Hamaguchi's approach. It diiers from both in several important respects, which make it more robust. The technique builds the residue Algebraic Decision Diagram (ADD) of as many variables as the number of outputs in t...

We study the classical Kimura diffusion operator defined on the n-simplex, L = ∑ 1≤i,j≤n+1 xi[δij − xj ]∂xi∂xj . We give novel constructions for the basis of eigenpolynomials, and the solution to the inhomogeneous Dirichlet problem, which are well adapted to numerical applications. Our solution of the Dirichlet problem is quite explicit and provides a precise description of the singularities th...

35 A Virtual Train with a Container Using Visual and Auditory Representation of Train Movement Kunihiro Nishimura, Graduate School of Information Science and Technology, The University of Tokyo, Tokyo, Japan Yasuhiro Suzuki, Research Center for Advanced Science and Technology, The University of Tokyo, Tokyo, Japan Munehiko Sato, Graduate School of Information Science and Technology, The Univers...

Right This research was originally published in Journal of Biological Chemistry. Young-Min Kim; Wataru Saburi; Shukun Yu; Hiroyuki Nakai; Janjira Maneesan; Min-Sun Kang; Seiya Chiba; Doman Kim; Masayuki Okuyama; Haruhide Mori; Atsuo Kimura. A Novel Metabolic Pathway for Glucose Production Mediated by α-Glucosidase-catalyzed Conversion of 1,5-Anhydrofructose. Journal of Biological Chemistry. 201...

The goal of this manuscript is a comparative study of two WrightFisher-like diffusion processes on the interval, one due to Karlin and the other one due to Kimura. Each model accounts for the evolution of one two-locus colony undergoing random mating, under the additional action of selection in random environment. In other words, we study the effect of disorder on the usual Wright-Fisher model ...

Background: Endoscopic gastric atrophy according to Kimura-Takemoto classification has been shown be closely related histopathological atrophy. Gastric and intestinal metaplasia are considered precancerous lesions that need assessed monitored for early detection of dysplasia cancer, especially in H. pylori infected patients. The aim this study was evaluate the associations between these endosco...

The present study represents a comprehensive molecular assessment of some family of freshwater fishes in Iran. We analyzed cytochrome oxidase I (COI) sequences for five genus of cypriniform fishes from Iran. The present investigation provides data on genetic structure of some species of Nemachilidae including Paraschistura bampurensis, Oxynoemacheilus kiabii and Turcinemacheilus saadii and Leuc...

Eiji Akiyama , Songjie Li , Yuuji Kimura , Kaneaki Tsuzaki , Nobuyoshi Uno c a National Institute for Materials Science 1-2-1 Sengen, Tsukuba, Ibaraki 305-0047, Japan b School of Materials Science and Engineering, University of Science and Technology Beijing, No. 30 Xueyuan Road, Hidian Zone, Beijing 100083, China c Nippon Steel and Sumikin Metal Products Co, Ltd, SA Bldg., 17-12 Kiba 2-chome, ...

Consider the formal power series P [Cp,α(X)]t α (called Motivic Chow Series), where Cp(X) = ∐Cp,α(X) is the Chow variety of X parametrizing the p-dimensional effective cycles on X with Cp,α(X) its connected components, and [Cp,α(X)] its class in K(ChM)A1 , the K-ring of Chow motives modulo A homotopy. Using Picard product formula and Torus action, we will show that the Motivic Chow Series is ra...