Informatics in research and education

The paper deals with the current state of the GraphML project, initiated by the graph drawing community in 2000 with a view to developing a standard graph description language based on XML format. Basic GraphML concepts sufficient for graph models presentation in most applications are described.

The paper deals with the current state of the GraphML project, initiated by the graph drawing community in 2000 with a view to developing a standard graph description language based on XML format. Additional functionalities of GraphML like nested graphs, hypergraphs and ports are described.

The paper is devoted to tools for supporting the application of graph-theory methods in informatics and programming which are under development at A.P. Ershov Institute of Informatics Systems. The WikiGRAPP, WEGA, Higres and Visual Graph systems are considered.

Cloud services, offering various capabilities to potential users, are becoming increasingly popular. Of course, often "cloud" service appears due to rebranding. According to the latest definition found in the Russian Wikipedia, cloud service is just a service which can be used without any knowledge of its internal structure and which is available via the internet.

Our system has two purposes: research and educational. Scalability is more significant for research and availability is critical for education. We suppose that it would be wrong to use just one input language for this system, because there is no single opinion about the best computer language for educational purposes. Scalability requires universality of parallelism description, which means that the program should not be adapted to the structure of a specific computing system. According to A.P. Ershov’s works, this is achieved when the language is closer to the task definition language and not to the algorithm language. At our institute, we are developing the dataflow programming language Sisal which sets the same aims.

The advantages of parallel programming are well known today and there is no need to describe them in detail. The current trend is that even cell phones can contain multi-core processors. Another trend is a rapid growth of browser applications. This paper briefly overviews different approaches to concurrency implementation in JavaScript.

This paper deals with the history of origin, development and prospects of the new science of bioinformatics. The paper provides the definition of bioinformatics, enumerates its fundamental fields of research, and determines its place among other areas of biological research.

The authors review the use of information-communication technologies used in humanities research and education.

The development of complex software systems usually requires extensive precommit testing of every change in the source code. The duration of the precommit testing is one of the factors limiting the speed of working on the software project. This paper describes an approach to the testing volume reduction based on comparison between the source code changes and the source code coverage.

Keywords: source code coverage, pre-commit regression testing optimization.

The paper presents an approach to the automation of research based on literary sources. For a local textual document collection, the proposed method constructs a topic interrelation graph. The prototype of the information system based on this approach is described. The system is designed to be able to play the role of a research assistant in finding potential solutions for research problems. Test results showing good performance of the method described are listed.

The paper considers visualization of attributed hierarchical graphs with the interactive system Visual Graph. Several illustrations showing a general view of the system as well as its separate parts are presented.

This paper describes a new method of graph algorithm visualization based on a dynamic approach. By graph algorithms we mean graph processing algorithms. The main advantages of this approach are the possibility of setting an algorithm in a textual form as an input parameter, of setting a graph as an input parameter, and of adjusting visualization flexibly. Visualization of algorithms is carried out by means of a set of configurable visual effects. The class of hierarchical graphs is used as input parameters. This allows us to use input graphs of any type and to represent additional data appearing during the algorithm run as a part of a single visualized graph model. This approach can be used both for research and educational purposes.

The paper considers an approach to convenient organization of textual resources and quick access to information on the basis of automated identification of a document’s topic map using lexical chains. The concepts and associations selected together form a topic map. Thus, the ontology and topic maps are integrated for further development of the information system on program transformations.