Protein structures are much more conserved than sequences during evolution. Based on this observation, we investigate the consequences of structural conservation on protein evolution. We study seven of the most studied protein folds, finding out that an extended neutral network in sequence space is associated to each of them. Within our model, neutral evolution leads to a non-Poissonian substit...

Normal (cv. Keumkang, KK) and waxy-type (cv. Shinmichal, SMC) whole wheat flour was substituted at 20 and 40% for white wheat flour (WF) during bread dough formulation. The flour blends were subjected to dough and baking property measurement in terms of particle size distribution, dough mixing, bread loaf volume and crumb firmness. The particle size of white wheat flour was the finest, with inc...

This paper presents a logical formalization of Tree Adjoining Grammar (TAG). TAG deals with lexicalized trees and two operations are available: substitution and adjunction. Adjunction is generally presented as an insertion of one tree inside another, surrounding the subtree at the adjunction node. This seems to contradict standard logical ability. We prove that some logical formalisms, namely a...

Physicochemical properties of storage starch largely determine rice grain quality and food characteristics. Therefore, modification of starch property is effective to fine-tune cooked rice textures. To obtain new resources with modified starch property as breeding materials, we screened a mutant population of a japonica cultivar Nipponbare and found two independent mutant lines, altered gelatin...

Objectives: Herbal medicine is known as a valid alternative treatment. Salvia Reuterana, which has been used in the Iranian traditional medicine, is mostly distributed in the central highlands of Iran. Salvia Reuterana is a medicinal herb with various therapeutic usages. The aim of the present review is to take account of pharmacological properties of Salvia Reuterana. Materials and Methods: Th...

We present an extension of the ( )-calculus with a case construct that propagates through functions like a head linear substitution, and show that this construction permits to recover the expressiveness of ML-style pattern matching. We then prove that this system enjoys the Church-Rosser property using a semi-automatic `divide and conquer' technique by which we determine all the pairs of commut...

We present in this technical report a non-uniform static analysis for detecting the term-substitution property in systems specified in the language of the applied pi calculus. The analysis implements a denotational framework that has previously introduced analyses for the pi calculus and the spi calculus. The main novelty of this analysis is its ability to deal with systems specified in languag...