Abstract: In the article presents a variant of the methodology of preparation and implementation of the content of the mathematical discipline of one humanitarian direction of training students for the use of ICT. As an example, the use of e-mail and mobile ICT tools of trainees is chosen.

Abstract: The article is devoted to consideration of the services of the platform LEARNIS: web quests “Escape the room”, intellectual game “Your quiz”, terminology game “Explain me”. With their help, teachers of any subject area can conduct educational classes in a fun way. Considered services are elements of the system teaching methods proposed by the authors based on mobile technologies.

Abstract: A system of criteria for evaluating the solution of problems from the subject area while training future teachers of mathematics is described. The criteria are formulated in terms of activities and are aimed at strengthening the professional component of the process of mastering mathematical disciplines. Using this system of forming criteria in the study of basic structures of calculus is proposed.

Abstract:

This paper presents the experience of verifying client implementations of the TLS cryptographic protocol version 1.3. TLS is a widely used cryptographic protocol today, designed to create secure data transmission channels. The protocol provides the necessary functionality for its tasks: confidentiality of transmitted data, data integrity, and authentication of the parties. In the new version 1.3 of the TLS architecture was significantly redesigned, eliminating a number of shortcomings of previous versions that were identified both during the development of implementations and during their operation. We used a new test suite for verifying client implementations of the TLS 1.3 for compliance with Internet specifications, developed on the basis of the RFC8446, using UniTESK technology and mutation testing methods. To test implementations for compliance with formal specifications, UniTESK technology is used, which provides testing automation tools based on the use of finite state machines. The states of the system under test define the states of the state machine, and the test effects are the transitions of this machine. When performing a transition, the specified impact is passed to the implementation under test, after which the implementation's reactions are recorded and a verdict is automatically made on the compliance of the observed behavior with the specification. Mutational testing methods are used to detect non-standard behavior of the system under test by transmitting incorrect data. Some changes are made to the protocol exchange flow created in accordance with the specification: either the values of the message fields formed on the basis of the developed protocol model are changed, or the order of messages in the exchange flow is changed. The protocol model allows one to make changes to the data flow at any stage of the network exchange, which allows the test scenario to pass through all the significant states of the protocol and in each such state to test the implementation in accordance with the specified program. The presented approach has proven effective in several of our projects when testing network protocols, providing detection of various deviations from the specification and other errors. The current work is part of the TLS 1.3 protocol verification project and covers TLS client implementations.

Abstract:

This paper presents the experience of verifying server implementations of the TLS cryptographic protocol version 1.3. TLS is a widely used cryptographic protocol designed to create secure data transmission channels and provides the necessary functionality for this: confidentiality of the transmitted data, data integrity, and authentication of the parties. The new version 1.3 of the TLS protocol was introduced in August 2018 and has a number of significant differences compared to the previous version 1.2. A number of TLS developers have already included support for the latest version in their implementations. These circumstances make it relevant to do research in the field of verification and security of the new TLS protocol implementations. We used a new test suite for verifying implementations of the TLS 1.3 for compliance with Internet specifications, developed on the basis of the RFC8446, using UniTESK technology and mutation testing methods. The current work is part of the TLS 1.3 protocol verification project and covers some of the additional functionality and optional protocol extensions. To test implementations for compliance with formal specifications, UniTESK technology is used, which provides testing automation tools based on the use of finite state machines. The states of the system under test define the states of the state machine, and the test effects are the transitions of this machine. When performing a transition, the specified impact is passed to the implementation under test, after which the implementation's reactions are recorded and a verdict is automatically made on the compliance of the observed behavior with the specification. Mutational testing methods are used to detect non-standard behavior of the system under test by transmitting incorrect data. Some changes are made to the protocol exchange flow created in accordance with the specification: either the values of the message fields formed on the basis of the developed protocol model are changed, or the order of messages in the exchange flow is changed. The protocol model allows one to make changes to the data flow at any stage of the network exchange, which allows the test scenario to pass through all the significant states of the protocol and in each such state to test the implementation in accordance with the specified program. So far, several implementations have been found to deviate from the specification. The presented approach has proven effective in several of our projects when testing network protocols, providing detection of various deviations from the specification and other errors.

Abstract: DVM-system is designed for the development of parallel programs of scientific and technical calculations in the C-DVMH and Fortran-DVMH languages. These languages use a single DVMH-model of parallel programming model and are an extension of the standard C and Fortran languages with parallelism specifications in the form of compiler directives. The DVMH model makes it possible to create efficient parallel programs for heterogeneous computing clusters, in the nodes of which accelerators, graphic processors or Intel Xeon Phi coprocessors can be used as computing devices along with universal multi-core processors. The article presents new features of DVM-system that have been developed recently.

Abstract:

The article discusses the methodology of developing educational algorithm executors using a combined pictographic-text interface in the Python programming language. The relevance of the research is due to the need to improve approaches to teaching algorithms and programming in the school course of computer science. The author presents the toolkit for creating algorithm executors, combining visibility of icons with text programming capabilities. Particular attention is paid to the practical aspects of implementation, including the use of builtin Python routines for processing graphics and text.

Abstract:

Digital resources of Karelian Research Centre of RAS (KarRC RAS) related to digital libraries, repositories and search systems are described in this paper. These resources devoted to the gathering, organization and dissemination of scientific and technical information (scientific papers, archival documents) in order to use this information in theoretical and applied researches. The stages of development of these resources in connection with the history of the Karelian Research Centre of RAS subdivisions (Scientific library, Scientific archives) are presented. Future directions for the development of these resources outlined. This work is being licensed under the Creative Commons Attribution-ShareAlike 4.0.

Abstract:

Recently, such a direction of machine learning as reinforcement learning has been actively developing. As a consequence, attempts are being made to use reinforcement learning for solving computer vision problems, in particular for solving the problem of image classification. The tasks of computer vision are currently one of the most urgent tasks of artificial intelligence.

The article proposes a method for image classification in the form of a deep neural network using reinforcement learning. The idea of ​​the developed method comes down to solving the problem of a contextual multi-armed bandit using various strategies for achieving a compromise between exploitation and research and reinforcement learning algorithms. Strategies such as -greedy, -softmax, -decay-softmax, and the UCB1 method, and reinforcement learning algorithms such as DQN, REINFORCE, and A2C are considered. The analysis of the influence of various parameters on the efficiency of the method is carried out, and options for further development of the method are proposed.

Abstract:

The materials presented at the Conference describe the results of recent years in the following areas: Open access to scientific data and knowledge in Earth Sciences; Data peculiarities in Earth Sciences: new concepts and methods, tools for their collection, integration and processing in different information systems, including systems with intensive use of data; Data mining and mathematical simulation of natural processes in Earth Sciences. Evolution of classical GIS-applications in Earth Sciences; Application to Critical Raw Materials (CRM); social aspects of mining (e.g., the Social Licence to Operate [SLO]); predictive mapping and applications to exploration, landuse and search for extensions of known deposits; Intelligent data analysis, elicitation of facts and knowledge from scientific publications. Thesauruses, ontologies and conceptual modeling. Semantic WEB, linked data. Services. Content semantic structuring. Applications for geosciences, e.g., Ontology-based Dynamic Decision Graphs for Expert systems and decision-aid tools; Application of methods and technologies of the remote sensing in Earth Sciences: from satellites to unmanned aerial vehicles; Information technologies for demonstration and popularization of scientific achievements in Earth Sciences; Applications: environmental risks including mining wastes, natural hazards, water resource management, etc.

Abstract: Доклад рассматривает участие ЮНЕСКО в первом этапе всемирной Встречи на высшем уровне по вопросам информационного общества (ВВУИО) и ее дальнейший двухлетний вклад в подготовку второго этапа саммита в Тунисе. Предлагаются возможные рекомендации для осуществления Плана действий саммита и для определения роли, которую ЮНЕСКО могла бы сыграть в этом процессе.

Abstract:

This paper focuses on the use of a linguistics-based method for automatic object-oriented sentiment analyses. The study was conducted as part of SentiRuEval automatic sentiment analysis system testing cycle. The original task was to extract users’ opinions (positive, negative, neutral) about telecom companies, expressed in tweets and news. In this study news was excluded from the dataset because, being formal texts, news significantly differs from informal ones in its structure and vocabulary and therefore demands a different approach. Only linguistic approach based on syntactic and semantic analysis was used. In this approach, a sentiment-bearing word or expression is linked to its target object at either of two stages, which perform successively. The first stage includes usage of semantic templates matching the dependence tree, and the second stage involves heuristics for linking sentiment expressions and their target objects when syntactic relations between them do not exist. No machine learning was used. The method showed a very high quality, which roughly coincides with the best results of machine learning methods and hybrid approaches.

Abstract:

The paper describes new approaches to collecting data on scientific publications from open access systems with the subject of Earth Science. Based on the developed and adapted approaches, an archive of scientific publications (repository) and a set of programs for accessing scientific publications for collecting, searching, filtering, cataloging and managing publications and their metadata have been created. In order to improve the availability of publications and other related data on the websites of the SGM RAS, the Wiki – Geology of Russia system has been developed. This system is a thematic rubric in the direction of "Mineral deposits of Russia", with an additional topic "Mineralogy". All articles must have a link to the source of information from the archive of scientific publications and, optionally, additional links on similar topics. Wiki – Geology of Russia is the first step in creating a knowledge base on mineral deposits.

Abstract: An approach to automatically generating questions for tests or quizzes using the DBPedia knowledge graph is presented here. The selected knowledge graph has about 5 million entities. DBpedia SPARQL endpoint the ability to make queries to the semantic network using the SPARQL language. The algorithm, the basic queries to the knowledge graph for constructing questions, a non-standard approach to the search for entities are presented in this article.

Abstract: The translation of the school system of knowledge into a formal language to create an ontology of school educational mathematics showed that there are gaps indicating significant shortcomings in the design of the contents of the geometry course. A study among students of N.I. Lobachevsky Institute of mathematics and mechanics of KFU to determine the quality of understanding of generic concepts, graphic representations of geometric figures, the results of which showed the relationship between the problems in the presentation of the content of the school course of Plane geometry and the quality of students' knowledge.

Abstract:

The aggregation of scientific information is essential for a comprehensive analysis of geological objects. This paper explores the potential and possibilities of semantic search to select thematically similar publications in the geological domain. Various language models are examined in the context of identifying similarities and differences in texts describing mineral deposits. After additional training of language models, a significant improvement in search results is demonstrated. Two web services are presented, based on a method for calculating the semantic similarity between texts and providing a quantitative assessment of their similarity.

Abstract: Urban orienteering is a popular activity in Russia that combines physical and intellectual exercises. Many residents of megapolises are keen of it, including students and alumni of mathematical and technical study programs. We organized a similar competition focused on mathematics as a part of Caucasus Mathematical Olympiad. Over 300 people took part in the event, including schoolchildren and general public. This paper provides a guideline on preparing and carrying out such events.

Abstract: Currently, there are a huge number of works dedicated to semantic role labeling of English texts [1–3]. However, semantic role labeling of Russian texts was an unexplored area for many years due to the lack of train and test corpora. Semantic role labeling of Russian Texts was widely disseminated after the appearance of the FrameBank corpus [4]. In this approach, we analyzed the influence of the word embedding models on the quality of semantic role labeling of Russian texts. Micro- and macro- F1 scores on word2vec [5], fastText [6], ELMo [7] embedding models were calculated. The set of experiments have shown that fastText models averaged slightly better than word2vec models as applied to Russian FrameBank corpus. The higher micro- and macro- F1 scores were obtained on deep tokenized word representation model ELMo in relation to classical shallow embedding models.

Abstract:

The paper examines issues related to the presentation of information about publications of KFU researchers, teachers, graduate students and students, as well as about the University’s scientific sources in information and analytical materials of the Scilit system. Specific examples show the advantage of complete and correct setting of metadata for scientific publications, as well as the problems that arise when handling bibliographic information carelessly.

Abstract:

The article describes all stages of the development of an Information system for the creation, development and support of scientific research in geology: from the Information and analytical environment to the Unified Digital Space of geological scientific knowledge. The current stage of the Project under development is a step forward from the traditional geographically distributed geological system to the digital environment of the future.

Abstract:

The article is devoted to the consideration of methods for modeling epidemics in relation to COVID-19 and substantiation of ways to improve the efficiency of management decisions, taking into account the predicted consequences. The paper provides an overview of modeling methods for predicting and assessing the consequences of the epidemiological situation. The scientific novelty of the work lies in the use of decision support tools for the operational assessment of the situation and forecast of its development. For the task at hand, it is proposed to use a multi-agent approach to simulation.

Abstract: Humanitarianization is one of the main attributes of technologies of personality-oriented education. Some ways of implementing of the humanitarian potential of discipline “Differential Equations” are described in the article. The role of the emotional part of the historical component of humanitarian potential of the discipline is substantiated. The way how to make the acquaintance with historical-mathematical facts of emotionally rich and significant for students are considered in detail.

Abstract:

The article describes the main stages of the application of information technologies for scientific research in geology. A number of digital technologies of the near future, which currently have prospects for application in geology, are considered. The first results of the work at the GGM RAS showed the prospects of applying the next steps in the development of OT technologies in the creation of information and computing systems to support geological research.

Abstract: In this paper, we propose a method of machine-generated and non-scientific text detection in a collection of scientific papers. The method is based on lexical and morphological analysis of the document examined with the help of language modeling. This technique enables estimation of probability that the text belongs to the class of scientific documents. Experimental evidence shows feasibility of the approach.

Abstract: Network forms of interaction are gaining momentum in the system of social society, today they are considered in a series of innovations, attributing a significant number of opportunities and advantages. In a modern information society, where information is spreading at a tremendous speed, it is impossible to imagine innovative processes without network interaction. Any organization always experiences shortages - resource, personnel, material and technical. Libraries are not an exception, therefore, the author of the article believes that the creation of various forms of network interaction will significantly increase the activity and prestige of each library in the network.