The article presents an overview of various methods and constructions of mathematical and classical linguistics applied to analysis of texts in a natural language.
New informational technologies in science and education 
Edited by prof. V.N. Kasyanov

To the problem of analysis of texts in a natural language The article presents an overview of various methods and constructions of mathematical and classical linguistics applied to analysis of texts in a natural language. The paper is available in Russian only as PDF document 
Logical methods of the sense representation for a text in a natural language The purpose of the work is the development of various algorithms of mapping the predicates and formulas of the firstorder predicate calculus to the texts in a natural language. Its results can be used in the computeraided systems for processing the texts in a natural language, as well as in constructing the theory of the text sense, which is a subject of research, first of all, in linguistics and also in mathematical logic. The paper is available in Russian only as PDF document 
Some problems of automation of nuclear oilwells carotage The paper presents the mathematical statements of several problems arising in automation of the process of nuclear carotage and the methods of their solution. The paper is available in Russian only as PDF document 
Virtual museum of informatics history in Siberia: the models of a domain and a user The paper presents a project of a virtual museum of informatics history in Siberia developed as online information retrieval adaptive hypermedia system. It briefly describes the methods and techniques of adaptive hypermedia, the architecture of adaptive hypermedia systems and its components (the models of a domain, a user and adaptation); the problems of constructing the domain ontology, domain model and user model are also considered. The paper is available in Russian only as PDF document 
Visualization of genetic information The paper describes some algorithms of the genetic information visualization and presents information on implementation of some programs and tests. The paper is available in Russian only as PDF document 
Application of wavelettransforms to image coding The paper gives the basis of the wavelettransform theory and the main applications of wavelettransforms to image coding, such as waveletdecomposition, packets of wavelets, zerotree construction, zerotree coding. The paper is available in Russian only as PDF document 
Ordered binarydecision diagrams Ordered BinaryDecision Diagrams (OBDDs) represent Boolean functions as directed acyclic graphs. They form a canonical representation, which makes testing of functional properties, such as satisfiability and equivalence, straightforward. In the paper, the OBDD representations are considered, the algorithms used to construct and manipulate them are described, a survey of applications solved by OBDDbased symbolic analysis is given. The paper is available in Russian only as PDF document 
Algorithms for finding dominators in a flow graph Some available algorithms for finding dominators in a flow graph are considered and a new lineartime algorithm for finding dominators is presented. The paper is available in Russian only as PDF document 
Program means of automatic generation of a thematic collection on program transformations for shared use Rapid growth of the worldwide web resulted in the fact that Internet is now the main channel of information exchange of all types, including scientific and technical. So, the problem of accumulation of the scientific documents in collections is becoming actual. The results of investigations in this field allow us to represent a system of scientific communication as an information space and to organize efficient information retrieval through the collections of documents on some specific subject. This article describes an approach intended for automatic accumulation of documents in collections on program transformations. The paper is available in Russian only as PDF document 
Solving "restore the body position by data from 1Dcameras" problem for a 3D optical system of object movement analysis Restoring a body position by data from video cameras is a wellknown task in computer games and cinema. In the paper, an algorithm of restoring a body position by onedimensional cameras is suggested. The work is performed for a realtime system. The paper is available in Russian only as PDF document 
High luminosity raster structures for an autocollimation regime The paper presents an algorithm of constructing high luminosity raster structures for an autocollimation regime with difference autocorrelation functions having very small accessory maximums. The results can be used in constructing raster spectrometers. The paper is available in Russian only as PDF document 
Texture recognition using spatial characterisitics This paper deals with the pattern recognition problem for textures. Three methods are considered: the distribution analysis for brightness difference, the method that uses the autocorrelation function, and the method based on statistic characteristics of series. The texture analysis of characteristics' properties is described. The paper is available in Russian only as PDF document 
Investigation of variation algorithms applied to MIDIfiles The paper considers the problem of finding a degree of similarity between the transformed melody and the melodysample and analysis of a degree of modification depending on the melody transformations. The paper is available in Russian only as PDF document 
On complexity of construction of an optimal linear interval The paper considers the problem of linear interval optimization in the optimizing compiler construction. It discusses the criteria of program optimization and shows that the optimization problem is NPcomplete in a general case. The paper is available in Russian only as PDF document 