Mind change complexity of learning logic programs

The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds for learnability of these classes both from positive facts and from positive and negative facts. Building on Angluin’s notion of finite thickness and Wright’s work on finite elasticity, Shinohara defined the property of bounded finite thickness to give a sufficient condition for learnability of indexed families of computable languages from positive data. This paper shows that an effective version of Shinohara’s notion of bounded finite thickness gives sufficient conditions for learnability with ordinal mind change bound, both in the context of learnability from positive data and for learnability from complete (both positive and negative) data. Let Omega be a notation for the first limit ordinal. Then, it is shown that if a language defining framework yields a uniformly decidable family of languages and has effective bounded finite thickness, then for each natural number m >0, the class of languages defined by formal systems of length <= m: • is identifiable in the limit from positive data with a mind change bound of Omega (power)m; • is identifiable in the limit from both positive and negative data with an ordinal mind change bound of Omega × m. The above sufficient conditions are employed to give an ordinal mind change bound for learnability of minimal models of various classes of length-bounded Prolog programs, including Shapiro’s linear programs, Arimura and Shinohara’s depth-bounded linearly covering programs, and Krishna Rao’s depth-bounded linearly moded programs. It is also noted that the bound for learning from positive data is tight for the example classes considered.

Primary structure of a Thomsen-Friedenreich-antigen-specific lectin, jacalin [Artocarpus integrifolia (jack fruit) agglutinin]. Evidence for the presence of an internal repeat

Jacalin [Artocarpus integrifolia (jack fruit) agglutinin] is made up of two types of chains, heavy and light, with M(r) values of 16,200 +/- 1200 and 2090 +/- 300 respectively (on the basis of gel-permeation chromatography under denaturing conditions). Its complete amino acid sequence was determined by manual degradation using a 4-dimethylaminoazobenzene 4'-isothiocyanate double-coupling method. Peptide fragments for sequence analysis were obtained by chemical cleavages of the heavy chain with CNBr, hydroxylamine hydrochloride and iodosobenzoic acid and enzymic cleavage with Staphylococcus aureus proteinase. The peptides were purified by a combination gel-permeation and reverse-phase chromatography. The light chains, being only 20 residues long, could be sequenced without fragmentation. Amino acid analyses and carboxypeptidase-Y-digestion C-terminal analyses of the subunits provided supportive evidence for their sequence. Computer-assisted alignment of the jacalin heavy-chain sequence failed to show sequence similarity to that of any lectin for which the complete sequence is known. Analyses of the sequence showed the presence of an internal repeat spanning residues 7-64 and 76-130. The internal repeat was found to be statistically significant.

Anomalous behavior of hydrodynamic modes in the two dimensional shear flow of a granular material

The growth rates of the hydrodynamic modes in the homogeneous sheared state of a granular material are determined by solving the Boltzmann equation. The steady velocity distribution is considered to be the product of the Maxwell Boltzmann distribution and a Hermite polynomial expansion in the velocity components; this form is inserted into them Boltzmann equation and solved to obtain the coeificients of the terms in the expansion. The solution is obtained using an expansion in the parameter epsilon =(1 - e)(1/2), and terms correct to epsilon(4) are retained to obtain an approximate solution; the error due to the neglect of higher terms is estimated at about 5% for e = 0.7. A small perturbation is placed on the distribution function in the form of a Hermite polynomial expansion for the velocity variations and a Fourier expansion in the spatial coordinates: this is inserted into the Boltzmann equation and the growth rate of the Fourier modes is determined. It is found that in the hydrodynamic limit, the growth rates of the hydrodynamic modes in the flow direction have unusual characteristics. The growth rate of the momentum diffusion mode is positive, indicating that density variations are unstable in the limit k--> 0, and the growth rate increases proportional to kslash} k kslash}(2/3) in the limit k --> 0 (in contrast to the k(2) increase in elastic systems), where k is the wave vector in the flow direction. The real and imaginary parts of the growth rate corresponding to the propagating also increase proportional to kslash k kslash(2/3) (in contrast to the k(2) and k increase in elastic systems). The energy mode is damped due to inelastic collisions between particles. The scaling of the growth rates of the hydrodynamic modes with the wave vector I in the gradient direction is similar to that in elastic systems. (C) 2000 Elsevier Science B.V. All rights reserved.

Ab initio molecular orbital calculations on ion-molecule and ion pair-molecule complexes of the water-lithium cyanide system

Ab initio molecular orbital (MO) calculations with the 3-21G and 6-31G basis sets were performed on a series of ion-molecule and ion pair-molecule complexes for the H2O + LiCN system. Stabilisation energies (with counter-poise corrections), geometrical parameters, internal force constants and harmonic vibrational frequencies were evaluated for 16 structures of interest. Although the interaction energies are smaller, the geometries and relative stabilities of the monohydrated contact ion pair are reminiscent of those computed for the complexes of the individual ions. Thus, interaction of the oxygen lone pair with lithium leads to a highly stabilised C2v structure, while the coordination of water to the cyanide ion involves a slightly non-linear hydrogen bond. Symmetrical bifurcated structures are computed to be saddle points on the potential energy surface, and to have an imaginary frequency for the rocking mode of the water molecule. On optimisation the geometries of the solvent shared ion pair structures (e.g. Li+cdots, three dots, centered OH2cdots, three dots, centered CN−) revealed a proton transfer from the water molecule leading to hydrogen bonded forms such as Li-O-Hcdots, three dots, centered HCN. The variation in the force constants and harmonic frequencies in the various structures considered are discussed in terms of ion-molecular and ion pair-molecule interactions.

Role of population transfer under strong probe conditions in electromagnetically induced transparency

We analyze theoretically the phenomenon of electromagnetically induced transparency (UT) under conditions where the probe laser is not in the usual weak limit. We consider the effects in both three-level and four-level systems, which are either closed or open (due to losses to an external metastable level). We find that the EIT dip almost disappears in a closed three-level system but survives in an open system. In four-level systems, there is a narrow enhanced-absorption peak (EITA) at line center, which has applications as an optical clock. The peak converts to an EIT dip in a closed system, but again survives in an open system. (C) 2010 Elsevier B.V. All rights reserved.

Phase equilibria and thermodynamics of the system Dy-Mg-Cl at 1073 K

The phase relations in the system Dy–Mg–Cl at 1073 K have been established by isothermal equilibration and chemical analysis of quenched samples. Liquid Mg-rich alloy was found to be in equilibrium with molten DyCl2. Therefore, DyCl2 can be synthesized by reduction of MgCl2 with excess of metallic Dy at 1073 K. The Gibbs energy of formation of DyCl2 at 1073 K was evaluated by two different methods. From voltammetric determination of decomposition voltage, the upper limit for the standard Gibbs energy of formation of DyCl2 was estimated to be −505(±20) kJ mol−1. A value of −543(±10) kJ mol−1 was deduced from phase relations using Gibbs–Duhem integration. The value for the standard Gibbs energy of DyCl2 indicates that the Dy2+ ion has a potential capability for reducing TiCl4 to metal titanium. At the same time, Mg is a reductant for Dy3+ produced during the reduction of TiCl4. Thus, it is thermodynamically confirmed that reduction of TiCl4 by magnesium using a reaction mediator in the salt phase is feasible.

Metabolism traits of 'all-fish' growth hormone transgenic common carp (Cyprinus carpio L.)

Transgenic animals with improved qualities have the potential to upset the ecological balance of a natural environment. We investigated metabolic rates of 'all-fish' growth hormone (GH) transgenic common carp under routine conditions and during starvation periods to determine whether energy stores in transgenic fish would deplete faster than controls during natural periods of starvation. Before the oxygen uptake was measured, the mean daily feed intake of transgenic carp was 2.12 times greater than control fish during 4 days of feeding. The average oxygen uptake of GH transgenic fish was 1.32 times greater than control fish within 96 h of starvation, but was not significantly different from controls between 96 and 144 h of starvation. At the same time, GH transgenic fish did not deplete energy reserves at a faster rate than did the controls, as the carcass energy contents of the two groups following a 60-d starvation period were not significantly different. Consequently, we suggest that increased routine oxygen uptake in GH transgenic common carp over that of control fish may be mainly due to the effects of feeding, and not to an increase in basal metabolism. GH transgenic fish are similar to controls in the regulation of metabolism to normally distribute energy reserves during starvation. (c) 2008 Published by Elsevier B.V.

Influence of rapid thermal annealing on InAs/InAlAs/InP quantum wires with different InAs deposited thickness

We have studied the effect of the post-growth rapid thermal annealing on optical and electrical properties of InAs/InAlAs/InP quantum wires with various InAs deposited thickness. Quite different annealing behaviors in photoluminescence and dark resistance are observed, which can be attributed to dislocations in samples. After annealing at 800 degrees C, quantum wires still exist in the sample with two monolayer InAs deposited thickness, but the temperature-dependent PL properties are changed greatly due to the intermixing of In/Al atoms. (c) 2005 Elsevier B.V. All rights reserved.

糖类衍生物在毛细管区带电泳下的分离研究

以新合成的1-萘基-3-甲基-5-吡唑啉酮（NMP）为柱前衍生试剂，采用毛细管区带电泳模式考察并优化了糖类衍生物的分离条件。实验采用58．5cm×50μmi．d．毛血管（有效柱长50cm），55mmol／L硼酸盐缓冲溶液（pH9．46），柱温20℃，分离电压22kV，进样10s，在不加任何添加剂的情况下，高效、快速地实现了9种糖的基线分离，并在最优化条件下进行了唐古特白刺实际样品的分离分析，结果令人满意。

Construcción de un cubo con papel

En este trabajo presentamos la papiroflexia modular como metodología para el estudio de un poliedro concreto: el cubo. Se presenta una propuesta de actividad para llevar a cabo con los estudiantes así como un análisis de los conceptos implicados en el proceso (paralelismo, simetría, medida,...). Finalmente se presentan algunas reflexiones didácticas.

New wild Brassica oleracea L. germplasm at its western distribution limit in the Iberian Peninsula

An exploration and collection mission for wild Brassica oleracea populations was carried out in spring and summer of 2013. The aim of this collection was to expand the number of accessions of wild Brassica oleracea available for basic and applied research in plant breeding. In this paper we report a new accession of wild Brassica oleracea in an unexplored coastal area of Galicia, NW Iberian Peninsula. Details of population ecology and vegetation, soil, climate and geographic data were recorded for this population. The “Endangered” threat category for the region is proposed, and actions for in situ and ex situ conservation are proposed. Seeds will be added to the germplasm collections of University of Santiago de Compostela and Misión Biológica de Galicia (CSIC) for further research on diverse aspects of the dynamics and ecophysiology of the population along with characterization and evaluation of useful traits.