Interpolation by a Game

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]).     

Aluminum(III) complexes containing O,O chelating ligand

The stoichiometric reactions of trimethylaluminum with 2,6‐(MeOCH₂)₂C₆H₃OH (LH) revealed compounds L₃Al ( 1 ) and L₂AlMe ( 2 ). On the other hand reaction of 1 equiv. of LH with trimethylaluminum did not lead to the formation of complex LAlMe₂ ( 3 ), rather 2 together with Me₃Al were observed as a result of a disproportionation of 3 . Compounds 1 and 2 were characterized by elemental analysis, ¹H and ¹³C NMR spectroscopy and in the case of 1 by X‐ray diffraction. Derivative 2 underwent transmetalation with Ph₃SnOH, giving LSnPh₃ ( 4 ) as the result of a migration of ligand L from the aluminum to the tin atom. The identity of 4 was established by elemental analysis, ¹H, ¹³C and ¹¹⁹Sn NMR spectroscopy and ¹H, ¹¹⁹Sn HMBC experiments. The system 2 and B(C₆F₅)₃ in a 1:1 molar ratio was shown to be active in the polymerization of propylene oxide and ε‐caprolactone. Copyright © 2007 John Wiley & Sons, Ltd.     

Cyclic deformation of aluminium and its alloys

The formation of slip bands is the main mechanism of cyclic deformation in pure Al. Their density, orientation and heights in polycrystalline Al were investigated during cycling. Types, sizes and densities of precipitates are responsible for the mode of cyclic deformation in AlCu4 pure alloy. In technical Al alloys intermetallic phases have detrimental effects on deformation homogeneity and largely govern the fatigue mechanism of the material and especially microcrack initiation.     

The mass spectra of 2- and 4-monohydroxy- and 2, 4-dihydroxy-1, X-naphthyridines

The mass spectra of 2-and 4-monohydroxy-and 2, 4-dihydroxy-1, 5-, -1, 6-, -1, 7-and 1, 8-naphthyridines are reported. Fragmentation mechanisms are proposed and discussed.     

Some features of solar wind protons, α particles and heavy ions behaviour: The Prognoz 7 and Prognoz 8 experimental results

The paper describes the results of investigations of the solar wind ions, carried out on board the high apogee Prognoz 7 and Prognoz 8 Earth's satellites with the aid of an SKS instrument (USSR) and a Monitor instrument (USSR-SSR). Behaviour of proton and that of components on the front of Earth's bow and interplanetary shock waves were compared by means of the energoanalysis and energy-mass analysis techniques. In several long-term periods of observation the solar wind heavy ions — oxygen, silicon and iron were determined. It enabled us to estimate the solar corona chemical composition and electron temperature.Presented at the 5th General Assembly IAGA/IAMAP August 5–17, 1985, Prague, Czechoslovakia.     

Study of isotope exchange reactions by double labelling

This paper presents the method of double labelling in the study of the kinetics of homogeneous isotope exchange reactions. This method was tested by the determination of the Sn(II)−Sn(IV) exchange rate in hydrochloric acid medium. The system was labelled by the tracer^119mSn [initially in the Sn(IV) state]; when the isotope equilibrium was established, Sn(IV) was again labelled by tracer¹¹³Sn. The separation of Sn(II) and Sn(IV) in the given time of exchange was performed by the extraction of Sn(IV)-hydroxyquinolate into chloroform. The specific activities of the separated components were determined from the ratio of¹¹³Sn and^119mSn activities. The exchange rate was calculated from the time dependence of specific activities. The advantage and possibilities of the method of double labelling in the study of isotope exchange are discussed.