SCF LCAO MO studies on the hydration of ions: The system F? � 2H2O

1972 ◽  
Vol 27 (3) ◽  
pp. 265-272 ◽  
Author(s):  
Wolfgang P. Kraemer ◽  
Geerd H. F. Diercksen
Keyword(s):  
System F ◽  
Author(s):  
David Cockayne ◽  
David McKenzie

The technique of Electron Reduced Density Function (RDF) analysis has ben developed into a rapid analytical tool for the analysis of small volumes of amorphous or polycrystalline materials. The energy filtered electron diffraction pattern is collected to high scattering angles (currendy to s = 2 sinθ/λ = 6.5 Å-1) by scanning the selected area electron diffraction pattern across the entrance aperture to a GATAN parallel energy loss spectrometer. The diffraction pattern is then converted to a reduced density function, G(r), using mathematical procedures equivalent to those used in X-ray and neutron diffraction studies.Nearest neighbour distances accurate to 0.01 Å are obtained routinely, and bond distortions of molecules can be determined from the ratio of first to second nearest neighbour distances. The accuracy of coordination number determinations from polycrystalline monatomic materials (eg Pt) is high (5%). In amorphous systems (eg carbon, silicon) it is reasonable (10%), but in multi-element systems there are a number of problems to be overcome; to reduce the diffraction pattern to G(r), the approximation must be made that for all elements i,j in the system, fj(s) = Kji fi,(s) where Kji is independent of s.


2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.


1972 ◽  
Vol 25 (1) ◽  
pp. 54-61 ◽  
Author(s):  
F. Choplin ◽  
G. Kaufmann
Keyword(s):  

1965 ◽  
Vol 43 (5) ◽  
pp. 1569-1576 ◽  
Author(s):  
N. Solony ◽  
F. W. Birss ◽  
John B. Greenshields

The semiempirical SCF–LCAO–MO method of Pariser–Parr–Pople is utilized in the study of the π-electronic structures of thiophene, furan, and pyrrole. The core Hamiltonian expansion contains a Uz++ term, the potential due to the ionized hetero-atom contributing two electrons to the π-system. The γzz, one-center coulomb repulsion integral for the hetero-atom is evaluated from the experimental spectroscopic data only. With the resonance integral βczc as the only variable parameter, the calculated π*–π electronic transitions are in a satisfactory agreement with the experimental data.


Sign in / Sign up

Export Citation Format

Share Document