![]() |
Articles |
![]() |
The articles are available in Russian only as
|
Informatics in research and educationEdited by prof. V.N. Kasyanov
|
Kasyanov V.N.
Graph ML language for graph presentation: basic means
![]() |
Kasyanov V.N.
Graph ML language for graph presentation: additional functionalities
![]() |
Kasyanov V.N., Kasyanova E.V.
Tools for graph application support in informatics and programming
![]() |
Idrisov R.I.
Cloud service for research computing and education
![]() |
Idrisov R.I.
Parallelism in JavaScript
![]() |
Nesgovorova G.P.
Bioinformatics: development and prospects
![]() |
Nesgovorova G.P.
Information technologies in humanities research and education
![]() |
Stasenko A.P.
Testing of changes in a software system on the basis of source code coverage
![]() |
Shmanina T.V.
Information system for the support of research based on literary sources
![]() |
Zolotukhin T.A.
Graph visualization using the program tool Visual Graph
![]() |
Gordeev D.S.
Graph algorithm visualization: interpretation of an algorithm as a program
![]() |
Malinina Yu.V.
Automated identification of a document’s topic map
![]() |
The articles are available in Russian only as
PDF document
The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.
Baram E.G. Expert system determining diseases by means of analysis of blood serum chromatogram |
Bushin D.I. Trace equivalences of temporal Petri nets |
Zverev N.B., Poletaev S.A. On realization of hierarchical cluster analysis algorithm on GPU using CUDA technology |
Platonov Yu.G. Employment of CQRS technology in development of corporate applications |
Ryaskina N.A. Stripe-transformation of signals and some computational experiments |
Khairulin S.S. Simulation of biological neural networks with NeuroML technology |
Shmanina T.V. On method of synonymous constructions of natural language revelation and its application to the problem of information retrieval |
Shmanina T.V. Review of methods of text semantics representation and extraction of knowledge from them |
The articles are available in Russian only as
PDF document
This volume is the sixteenth in the series on the problems of program construction and optimization, published by the A.P. Ershov Institute of Informatics Systems. The volume is devoted to problems dealing with methods and tools of parallel system and program construction and optimization.
It may be of interest to system programmers, students and postrgraduates specializing in the area of system and theoretical programming, as well as all those interested in modern informatics and programming.
The articles are available in Russian only as
PDF document
This volume is the fifteenth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document
The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.
Andreeva M.V. Timed configuration structures: equivalence notions and action refinement |
Batura Ya.N. Human-machine model of language of thinking |
Beloglazov D.M. Detection of feature interaction in telephone networks using colored Petri nets |
Botoeva E.Yu. 2D- and 3D-visualization of a solution set in the UniCalc system |
Brazhnik S.A. Formal model of the UML class diagram |
Veretnov S.A. Translation of a language of executable specifications of distributed systems SDL into a language of executable specifications REAL |
Vol'khina N.K. Automatic recovery of program business logic |
Gribovskaya N.S. Open maps and timed testing equivalence for timed automata models |
Demin A.V., Vityaev E.E. The model of adaptive behavior based on the semantic probabilistic inference |
Kal'chenko V.V. XML algebra for XQuery |
Pyatkov A.B. Formal model of the basic concepts of the programming language C# |
The articles are available in Russian only as
PDF document
This volume is the thirteenth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document
The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.
Borovikova O., Bulgakov S., Sidorova E. The knowledge system of informational Internet-portal on scientific subjects |
Gluhankov M.P. Integrated environment SFP for visual functional programming |
Dubranovsky I.V. Exception handling elimination while translating from C#-light into C#-kernel |
Kanius S.S., Nikitin A.G. Implementation of a Closed Set of Boolean Operations over Polygonal Regions on a Discrete Grid |
Koldakov V.V., Panov N.V., Shary S.P. Visual representation of running the algorithms of global interval optimization |
Mashukov M.Yu. Translation of SDL-specifications with dynamic constructions to Coloured Petri Nets by Jensen |
Petrov V.P. Survey of Methods of Application of Ontology and Data Schemes to Integration of Distributed Heterogeneous Information Resources |
Plavenchuk E.A. Extension of capabilities of the FinPlan system using structure models |
Rinskaya N.M. Analysis of timed Petri Nets based on testing equivalences |
СSidorova E.A. Document processing methods based on expert knowledge |
Stasenko A.P. Graphical metalanguage for translator specification |
Shkurko D.V. Graph rewriting systems: leader selection and topology recognition in anonymous nets |
The articles are available in Russian only as
PDF document
This volume is the twelfth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document
This volume is the eleventh one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with software tools and mathematical foundations of informatics.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document
The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems at the school-andcontest "Novel approaches and solutions" which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.
Antontseva M.F.
Coalgebraic investigation of bisimulation parallel processes
![]() |
Argirov V.S.
Automatic constructing the net models of SDL specifications
![]() |
Vinokurov A.A., Ilyin I.V., Lobiv I.V., Murzin F.A., Polovinko O.N., Semich D.F.
The program complex for nuclear oil-wells carotage results processing
![]() |
Gribovskaya N.S.
The category theoretical characterization of the language equivalence for timed concurrent models
![]() |
Zhdanova A.V., Mankevich P.V.
Statistical Approach to Semantic Structuring of Hierarchical Subject Domain for Natural Language Queries
![]() |
Lobiv I.V., Mekhontsev D.Yu., Murzin F.A.
Rigid body tracking for real-time system of object’s motion analyses, data obtains from onedimension optical detectors
![]() |
Ryzhov V.S.
Design and implementation of distributed object-oriented integrated information systems for providing building security
![]() |
The articles are available in Russian only as
PDF document
This volume includes papers on predicate programming. The predicate programming concept and some part of the predicate programming language P is introduced. The predicate programming technology is demonstrated for some concrete problems. An algorithm of variable replacement used in transformation of a predicate program to effective imperative one is described.
The volume may be of interest for researchers in computer science, programmers and students.
The articles are available in Russian only as
PDF document
This volume is the tenth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with using of new information technologies in science and education.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document
This volume is the ninth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. It describes solutions to actual problems of constructing efficient and reliable programs and software systems based on graph-theory methods, functional programming, network processing and visualizing tools.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document
This volume is the seventh one among volumes published in A.P. Ershov Institute of Informatics Systems on problems of programs construction and optimization. The decision of actual problems of methods and tools elaboration increasing efficiency of supercomputers and telecommunication nets is described.
The volume is of interest for system programmers, students and postgratuate students working in the field of system and theoretical programming.
The articles are available in Russian only as
PDF document