Starch grains from dental calculus reveal ancient plant foodstuffs at Chenqimogou site, Gansu Province

National Natural Science Foundation of China [40771205]; National Science Fund for Distinguished Young Scholars [40625002]; Chinese Academy of Sciences [KZCX2-YW-315]

Metrical dental analysis on golden monkey (Rhinopithecus roxellana)

Dental variation in the Chinese golden monkey (Rhinopithecus roxellana) is here evaluated by univariate, bivariate, and multivariate analyses. Allometric analyses indicate that canines and P3s are positively, but other dimensions negatively scaled to mandible and maxilla, and to body size. With the exception of the mesiodistal dimensions of I-1 and M-3, and the buccolingual dimension of Pq, mandibular dental variables show similar scaling relative to body size. Analysis of residuals shows that males have significantly larger canine, P-3 and buccolingual dimensions of the postcanine teeth (M-2 and M-3) than females. A significant difference in shape between the sexes is found in the buccolingual dimension of the upper teeth, but not in the mandible. Unlike the situation in some other species, Female golden monkeys do nor exhibit relatively larger postcanine teeth than males, in fact, the reverse is true, especially for M(2)s and M(3)s. The fact that most of the dental variables show low negative allometry to body size might be related a cold environment that has led to the development of larger body size with I-educed energy loss. When the raw data are examined by Discriminant Function Analysis the sexes are clearly distinguishable.

Exact quantum master equation via the calculus on path integrals

An exact quantum master equation formalism is constructed for the efficient evaluation of quantum non-Markovian dissipation beyond the weak system-bath interaction regime in the presence of time-dependent external field. A novel truncation scheme is further proposed and compared with other approaches to close the resulting hierarchically coupled equations of motion. The interplay between system-bath interaction strength, non-Markovian property, and required level of hierarchy is also demonstrated with the aid of simple spin-boson systems. (C) 2005 American Institute of Physics.

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.