The logics treated here are the intermediate propositional logics of the form LJ + Ni(a), where Ni(a)’s are axioms of only one variable studied in Nishimura [6]. As is easily seen, the problem of the disjunction property of LJ+Ni(a) starts from i = 10 and the case of odd i can be trivially neglected. The case of i = 10 was solved by Kreisel and Putnam [5] and other cases except i = 14 were solv...

The cabbage looper, Trichoplusia ni, is one of only two insect species that have evolved resistance to Bacillus thuringiensis in agricultural situations. The trait of resistance to B. thuringiensis toxin Cry1Ac from a greenhouse-evolved resistant population of T. ni was introgressed into a highly inbred susceptible laboratory strain. The resulting introgression strain, GLEN-Cry1Ac-BCS, and its ...

Recent experimental STM studies for the adsorption of Au/Ni(111) display a broken symmetry in the obtained STM pictures. Therefore, we have studied the adsorption phenomena of Au on Ni(111) using the Density Functional Theory, employing a plane wave basis set. To solve the Kohn-Sham equations, we have used the Vienna ab-initio simulation package (VASP). We have concentrated on the investigation...

4,7-Dithiadecane-2,9-dione dioxime forms both violet and purple-black nickel(II) complexes with unexpected structural properties, quite unlike the square-planar chelates formed by its dithiaundecane homologue. Their perchlorate salts were isolated and examined crystallographically. The lilac product [Ni{(Dtox)(CH(3)CNH)(2)}](ClO(4))(2) entails a bis(iminoether) ligand formed by coupling of the ...

The binary A(8)B phase (prototype Pt(8)Ti) has been experimentally observed in 11 systems. A high-throughput search over all the binary transition intermetallics, however, reveals 59 occurrences of the A(8)B phase: Au(8)Zn(dagger), Cd(8)Sc(dagger), Cu(8)Ni(dagger), Cu(8)Zn(dagger), Hg(8)La, Ir(8)Os(dagger), Ir(8)Re, Ir(8)Ru(dagger), Ir(8)Tc, Ir(8)W(dagger), Nb(8)Os(dagger), Nb(8)Rh(dagger), Nb(...

B4C and its composites with TiB2 as second phase continues to be extensively used as the preferred ceramic material in military applications as armor systems for absorbing and dissipating kinetic energy from high velocity projectiles. It also exhibits a high melting point (2427 °C), and high neutron absorption cross section. Pressureless sintering of the B 4C-nanoTiB2 nanocomposite using small ...

Nickel was established as an essential micronutrient for the growth of temperate cereal crops. Grain from barley (Hordeum vulgare L. cv ;Onda'; containing 40 to 80 nanograms of Ni per gram dry weight) grown in solution culture with negligible Ni concentrations (< 30 nanograms of Ni per liter) exhibited greatly reduced germination rates (i.e. 50% less than grain from Ni-adequate plants) and seed...

The major histocompatibility complex (MHC) restriction element for a human Ni(2+) reactive T cell, ANi-2.3, was identified as DR52c. A series of experiments established that the functional ligand for this T cell was a preformed complex of Ni(2+) bound to the combination of DR52c and a specific peptide that was generated in human and mouse B cells, but not in fibroblasts nor other antigen proces...