Propositional Dynamic Logic (PDL) has been introduced by M.J. Fischer and R.E. Ladner as an extension of the classical propositional logic and propositional modal logic K for reasoning about partial correctness of structured nondeterministic programs. Many variants of PDL have been studied extensively especially from viewpoint of decidability and axiomatizability. In particular, recently C. Lut...

Ž . ABSTRACT: A computer code was prepared for the molecular dynamics MD simulation of a multimolecular system to atomic resolution. Based on a widely ̃ accepted force field and aided by simulated annealing of single molecules, V ̃ and E were computed for ortho-terphenyl and 1,3,5-tri-a-naphthyl benzene across an extended range of temperatures. Although neither the simulation time Ž . Ž . 40]100 ...

In the strong magnetic elds of typical radio pulsars atomic lines and photoionization edges lie in the soft X-ray part of the spectrum giving the dominant contribution to the opacity. Improved photoionization cross sections are presented for a hydrogen atmosphere and magnetic elds of 10 11 ? 10 13 G, exhibiting novel Beutler{Fano resonance features due to the contribution of autoionizing atomic...

The applicability of Nkel's pair model to metallic 3d surfaces and interfaces is explained in terms of the tight-binding momentstheorem. The Nee1 model reproduces itinerant magnetism so long as the band structure is approximated by third-moment atomic-pair contributions. This establishes an atomic NCel description of interfaces and impurities. The NCel parameter g depends on the d-band filling ...

The creation of the specialized, highly productive workforce was one achievements Soviet atomic project. paper studies formationof national “atomic” personnel training system, from 1940s and up to late 1950s. system built in line with key principle project: solution problems using various alternative approaches simultaneously. author reviews different types levels edu-cational programs (general...

The accurate determination of atomic masses and the high-precision measurement of the bound-electron g factor are prerequisites for the determination of the electron mass, which is one of the fundamental constants of nature. In the 2002 CODATA adjustment [P. J. Mohr and B. N. Taylor, Rev. Mod. Phys. 77, 1 (2005)], the values of the electron mass and the electron-proton mass ratio are mainly bas...

The accurate determination of atomic masses and the high-precision measurement of the bound-electron g factor are prerequisites for the determination of the electron mass, which is one of the fundamental constants of nature. In the 2002 CODATA adjustment [P. J. Mohr and B. N. Taylor, Rev. Mod. Phys. 77, 1 (2005)], the values of the electron mass and the electron-proton mass ratio are mainly bas...