Automatic error correction in inflected languages

Systems for automatic detection and correction of spelling errors in natural language texts are considered. The development of such systems for both English and Russian (and for inflected languages in general, including all Slavic languages) is discussed. An approach associated with morphological analysis of the wordforms in the given text is described. The topics considered in the paper include the main methods of automatic spelling correction, levels of automation of the spelling error correction process, the effect of the type of computer used, the use of spelling error correctors in a stand-alone mode and in combination with word-processing software, and the maintenance of auxiliary dictionaries.Translated from Itogi Nauki i Tekhniki, Seriya Teoriya Veroyatnostei, Matematicheskaya Statistika, Teoreticheskaya Kibernetika, Vol. 28, pp. 111–139, 1988.     

A dynamical test of phase transition order: New things in old places or old wine in new bottles

We first discuss nonlinear aspects of phase transition theory applied to a particular liquid crystal phase transition. A simple derivation is given to show how two coupled Goldstone modes (one appearing as gauge fluctuations of the ordered phase) can force a phase transition, against all expectations, to take place discontinuously (theory of Halperin, Lubensky, and Ma)-but the discontinuity may be immeasurably small. Then, we describe a new dynamical test of phase transition order, developed by Cladiset al., that turns out to be more sensitive than x-ray diffraction and adiabatic calorimetry. Quantitative data found by this new method are in excellent agreement with the measurements of adiabatic calorimetry and x-ray diffraction as well as expectations implicit in the predictions of HLM.This is the text of an after-banquet talk given at the CNLS Workshop on the Dynamics of Concentrated Systems.     

Some empirical relations for electron mobility in II–VI compound semiconductors

Electron mobility has been calculated in a number of binary II–VI compound semiconductors using a displaced Maxwellian distribution function and taking the various scattering mechanisms into consideration at different lattice temperatures and for various amounts of ionized impurity concentrations. It is observed that the low field mobility values can be expressed by a cubic power relationship with lattice temperature and with ionized impurity concentration using a least mean square fit technique with an accuracy better than 5 per cent. Similarly, the field dependence of mobility can also be expressed as a power series of the applied electric field. It is suggested that these equations can be profitably used for a quick estimation of mobility values as a check on experiments and also as sufficiently accurate formulae for simulation and modelling purposes.     

Universal algebras

A survey of the development of the theory of universal algebras in the years 1976–1988. Such basic directions of development of this theory as classes of universal algebras (varieties, quasivarieties, etc.), Mal'tsev conditions, congruences, sheaves, homomorphisms, subalgebras, products of algebras, clones of operations, completeness, systems of equations in algeberas, and connections with computer mathematics show up in it. Considerable attention is given to concrete classes of algebras (p-algebras, BCK-algebras, unary algebras, etc.).Translated from Itogi Nauki i Tekhniki, Seriya Algebra, Topologiya, Geometriya, Vol. 27, pp. 45–124, 1989.     

Theory of interfacial phase transitions in surfactant systems

The spin-1 Ising model, which is equivalent to the three-component lattice gas model, is used to study wetting transitions in three-component surfactant systems consisting of an oil, water, and a nonionic surfactant. Phase equilibria, interfacial profiles, and interfacial tensions for three-phase equilibrium are determined in mean field approximation, for a wide range of temperature and interaction parameters. Surfactant interaction parameters are found to strongly influence interfacial tensions, reducing them in some cases to ultralow values. Interfacial tensions are used to determine whether the middle phase, rich in surfactant, wets or does not wet the interface between the oil-rich and water-rich phases. By varying temperature and interaction parameters, a wetting transition is located and found to be of the first order. Comparison is made with recent experimental results on wetting transitions in ternary surfactant systems.This paper is dedicated to J. K. Percus in honor of his 65th birthday.     

Polynomial-time computation of the degree of a dominant morphism in zero characteristic. II

Consider a projective algebraic variety W which is an irreducible component of the set of all common zeros of a family of homogeneous polynomials of degrees less than d in n + 1 variables over a field of zero characteristic. Consider a dominant rational morphism from W to W′ given by homogeneous polynomials of degree d′. We suggest algorithms for constructing objects in general position related to this morphism. They generalize some algorithms from the first part of the paper to the case dim W > dim W′. These algorithms are deterministic and polynomial in (dd′)n and the size of the input. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 325, 2005, pp. 181–224.     

Coverings of topological loops

In this paper, we show that in some cases, no proper covering of a locally compact group topologically generated by left translations of a topological loop can occur as the group topologically generated by left translations of a topological loop. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 22, Algebra and Geometry, 2004.