Electrical properties and local structure of n-type conducting amorphous indium sulphide

An n-type amorphous chalcogenide, In₄₉S₅₁, having a band gap of 1.9eV, has been found. The conductivity in as-prepared films was ～10^?4?S?cm^?1, which increased to 1?×?10^?1?S?cm^?1 on post-annealing at 125°C in vacuum, accompanied by a reduction in the sulphur content of the films. TEM observations showed the amorphous nature of the films before and after annealing. Both Seebeck and Hall coefficients are negative, indicating that the major carriers are electrons. The Hall mobility can be as large as 26?cm²?V^?1?s^?1 at 300?K. No significant changes to the optical absorption were observed upon annealing. Analysis of the X-ray radial distribution function reveals that the sulphur atoms have four-fold coordination, making the structure more rigid than conventional amorphous chalcogenides in which the chalcogen is alloyed to elements of group IV or V of the periodic table. We tentatively associate the electron carrier generation with the formation of sulphur vacancies.     

Light Affine Set Theory: A Naive Set Theory of Polynomial Time

In [7], a naive set theory is introduced based on a polynomial time logical system, Light Linear Logic (LLL). Although it is reasonably claimed that the set theory inherits the intrinsically polytime character from the underlying logic LLL, the discussion there is largely informal, and a formal justification of the claim is not provided sufficiently. Moreover, the syntax is quite complicated in that it is based on a non-traditional hybrid sequent calculus which is required for formulating LLL.In this paper, we consider a naive set theory based on Intuitionistic Light Affine Logic (ILAL), a simplification of LLL introduced by [1], and call it Light Affine Set Theory (LAST). The simplicity of LAST allows us to rigorously verify its polytime character. In particular, we prove that a function over {0, 1}* is computable in polynomial time if and only if it is provably total in LAST.     

Towards a Semantic Characterization of Cut-Elimination

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.     

Asymmetry of force fluctuation during low and moderate intensity isometric knee extensions

The purpose of this study was to investigate the asymmetry of force fluctuation during isometric knee extension at low and moderate intensities. 11 healthy men (M age = 21 yr., SD = 1) performed unilateral force matching tasks; sustained isometric knee extension at 20% and 30% maximal voluntary contraction (MVC). During the tasks, a mechanomyogram was measured by an accelerometer arrangement placed on the vastus lateralis. Although force fluctuation was not significantly different between the two legs at 20% MVC, it was higher in the left (weaker) leg than in the right (stronger) leg at 30% MVC. A significant difference in mean power frequency of the mechanomyographic signal between the two legs was also observed only at 30% MVC. These results suggest that the asymmetry of force fluctuation during isometric knee extension was not statistically significant at low intensity; however, it was significant at moderate intensity. These differences in force fluctuation between intensities might be influenced by different motor-unit firing rates in active muscle.     

Conditioned taste aversion learning in leptin-receptor-deficient db/db mice

The db/db mouse has defective leptin receptors. The defects lead to impairments of leptin regulation of food intake and body weight, and result in the expression of diabetic symptoms such as hyperinsulinemia, hyperglicemia, and extreme obesity. Recent studies have proposed that leptin may also affect memory and learning processes. To examine this possibility, we compared the ability of leptin-receptor-deficient db/db mice and their normal lean litter mates to form and extinguish a conditioned taste aversion (CTA) for saccharin. We used a short-term (10 s) lick test and a long-term (48 h) two bottle preference test for measurement of consumption of test solutions. On the first day after conditioning to avoid saccharin, the db/db mice showed preference scores for saccharin as low, and aversion thresholds for sucrose lower than that of the lean mice. During the extinction test trials beginning from the second up to the 30th day after conditioning, numbers of licks and preference scores for aversive saccharin and sucrose appeared to be larger, and recovered faster to the control levels in db/db mice. These results indicate that db/db mice with leptin-receptor-deficiency may show equal capacity to form CTAs for saccharin, greater generalization from saccharin to sucrose, and a faster rate of extinction. This suggests that disruption of leptin signalling does not inhibit acquisition of CTA learning, but impairs its extinction. This differential contribution of the leptin system on CTA processes may be due to differential distribution of leptin receptors in the CTA-related brain areas.