Search results for "Computation"
showing 2 items of 7362 documents
On the Amount of Nonconstructivity in Learning Recursive Functions
2011
Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…
On the ‘expanded local mode’ approach applied to the methane molecule: isotopic substitutions CH3D ←CH4 and CHD3 ←CH4
2014
Operator perturbation theory and the symmetry properties of the axially symmetric XYZ3 (C3v) type molecules are used for the determination of the spectroscopic parameters in the form of functions of structural parameters and parameters of the intramolecular potential function. Several relations between sets of spectroscopic parameters of these molecules are obtained. The ‘expanded local mode’ model and the general isotopic substitution theory are used to estimate the relations between spectroscopic parameters of CH3D and CHD3, on one hand, and with the Td symmetric isotopic species, CH4, on the other hand. Test calculations with the isotopic relations show that even without including prior …