Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution. It extends the traditional least Herbrand model semantics in logic programming to distribution semantics, possible world semantics with a probability distribution which is unconditionally applicable to arbitrary logic programs including ones for HMMs, PCFGs and Bayesian networks. We also propose a new EM algorithm, the graphical EM algorithm, that runs for a class of parameterized logic programs representing sequential decision processes where each decision is exclusive and independent. It runs on a new data structure called support graphs describing the logical relationship between observations and their explanations, and learns parameters by computing inside and outside probability generalized for logic programs. The complexity analysis shows that when combined with OLDT search for all explanations for observations, the graphical EM algorithm, despite its generality, has the same time complexity as existing EM algorithms, i.e. the Baum-Welch algorithm for HMMs, the Inside-Outside algorithm for PCFGs, and the one for singly connected Bayesian networks that have been developed independently in each research field. Learning experiments with PCFGs using two corpora of moderate size indicate that the graphical EM algorithm can significantly outperform the Inside-Outside algorithm

Surface damage resulting from rolling contact operating in magnetic field

This paper describes the effects of magnetic field in rolling contact tests of steel by using a two-disc configuration and the investigation of mechanisms involved. Two contact conditions, namely pure rolling and rolling with 10% sliding were used together with 0.4 and 1.1 Tesla horizontal static magnetic fields created by permanent magnets. Results of optical and scanning electron microscope observations point out that finer wear particles and smoother worn surfaces are produced in the presence of a magnetic field. It is proposed that finer wear particles result from the movement of subsurface crack initiation towards the surface due to the action of magnetic field

Stoichiometry control of the electronic properties of the LaAlO_3/SrTiO_3 heterointerface

We investigate the effect of the laser parameters of pulsed laser deposition on the film stoichiometry and electronic properties of LaAlO_3/SrTiO_3 (001) heterostructures. The La/Al ratio in the LaAlO_3 films was varied over a wide range from 0.88 to 1.15, and was found to have a strong effect on the interface conductivity. In particular, the carrier density is modulated over more than two orders of magnitude. The film lattice expansion, caused by cation vacancies, is found to be the important functional parameter. These results can be understood to arise from the variations in the electrostatic boundary conditions, and their resolution, with stoichiometry.Comment: 4 pages, 3 figures, submitted for publicatio

Interspecific differences in the larval performance of Pieris butterflies (Lepidoptera: Pieridae) are associated with differences in the glucosinolate profiles of host plants

The tremendous diversity of plants and herbivores has arisen from a coevolutionary relationship characterized by plant defense and herbivore counter adaptation. Pierid butterfly species feed on Brassicales plants that produce glucosinolates as a chemical deterrent against herbivory. In turn, the larvae of pierids have nitrile specifier proteins (NSPs) that are expressed in their gut and disarm glucosinolates. Pierid butterflies are known to have diversified in response to glucosinolate diversification in Brassicales. Therefore, each pierid species is expected to have a spectrum of host plants characterized by specific glucosinolate profiles. In this study, we tested whether the larval performance of different Pieris species, a genus in Pieridae (Lepidoptera: Pieridae), was associated with plant defense traits of putative host plants. We conducted feeding assays using larvae of three Pieris species and 10 species of the Brassicaceae family possessing different leaf physical traits and glucosinolate profile measurements. The larvae of Pieris rapae responded differently in the feeding assays compared with the other two Pieris species. This difference was associated with differences in glucosinolate profiles but not with variations in physical traits of the host plants. This result suggests that individual Pieris species are adapted to a subset of glucosinolate profiles within the Brassicaceae. Our results support the idea that the host ranges of Pieris species depend on larval responses to glucosinolate diversification in the host species, supporting the hypothesis of coevolution between butterflies and host plants mediated by the chemical arms race