Abstract:

The results on the creation of methods for managing mathematical knowledge in the context of digital mathematical libraries are presented. The software tools developed on the basis of these methods are part of the OntoMath digital ecosystem, within which they interact. A brief description of the architecture of the OntoMath ecosystem is given, the levels of subject ontologies and external ontologies are highlighted, as well as the level of software tools and services. Semantic services are separated into a separate category. This term denotes software tools, in the functionality of which queries to subject ontologies are used to ensure the management of knowledge objects. General descriptions of developed subject ontologies are given: educational mathematical ontology OntoMath^Edu and ontology of professional mathematics OntoMath^PRO. The development of educational ontology is reflected in the direction of including educational prerequisite links between classes. Among the software tools of the digital ecosystem, search services for mathematical electronic collections, a service for semantic annotation of mathematical documents, tools for semantic marking of educational mathematical documents, as well as a system for automatically generating testing tests in mathematical educational disciplines are highlighted. As part of the OntoMath digital ecosystem, special-purpose recommender systems are being developed. The current version of the ecosystem includes a recommender system for generating a list of related articles based on the OntoMath^PRO ontology, a recommender system for appointing experts to support the scientific review process, and recommender systems for selecting subject classifiers UDC and Mathematics Subject Classification codes for mathematical documents. The results are also presented in the direction of creating a digital library metadata factory, which includes services and tools for extracting, refining, replenishing and normalizing the metadata of electronic mathematical collections. Note that the OntoMath ecosystem is being developed as the technological basis for the Lobachevskii Digital Mathematical Library.

Abstract: An approach is proposed for organizing expert evaluation of a scientific document submitted to a mathematical journal. Domain restriction is associated with the use of the Mathematical Sciences Classification System – MSC. A recommendation system is presented that allows you to create a list of possible experts for conducting scientific peer-reviewing on a mathematical article. The recommender system uses the MSC codes presented by the author of the article on the MSC2020 classifiers. If the codes MSC2000 or MSC2010 are indicated in the article, they are automatically converted to codes MSC2020. For each expert, the system supports a personal profile that contains a set of codes MSC2020, supplemented by numerical characteristics – weights calculated for each code in accordance with the system of accounting for competencies, preferences or refusals to participate in the review procedure. This set is automatically edited if the expert is included in the list of possible reviewers – the weights of several codes increase or decrease, as well as new codes are added. The recommendation system is implemented as an integrated tool (plug-in) of the Open Journal Systems (OJS) platform. The developed method has been tested in the information system of the Lobachevskii Journal of Mathematics (https://ljm.kpfu.ru).

Abstract:

This paper describes the Information extraction system that was presented at SentiRuEval-2015: aspect-based sentiment analysis of users' reviews in Russian. The proposed system uses a conditional random field algorithm to extract aspect terms mentioned in the text. A set of morphological features was used for machine learning. The system intent to perform two subtasks, Task A – automatic extraction of explicit aspects and Task B – automatic extraction of all aspects (explicit, implicit and sentiment facts), and tested on two domains: restaurants and automobiles. Our systems performed competitively and showed the results comparable to those of the other 10 participants.

Abstract:

Modern scientometric systems and citation systems use various mechanisms of thematic search and thematic filtering of information. In most cases, a full-text approach is used for thematic analysis of articles and journals, which has a number of limitations. The use of algorithms based on graph analysis, both independently and in conjunction with full-text algorithms, eliminates these limitations and improves the completeness and accuracy of subject search. The algorithm developed by the authors and presented in this work uses the co-authorship graph to analyze the thematic proximity of journals. The algorithm is insensitive to the language of the journal and selects similar journals in different languages, which is difficult to implement for algorithms based on the analysis of full-text information. The algorithm was tested in the scientometric system IAS ISTINA. In the interface developed for these purposes, the user can select one journal that is close to him on the subject, and the system will automatically generate a selection of journals that may be of interest to the user both in terms of studying the materials available in them and in terms of publishing his own articles. In the future, the developed algorithm can be adapted to search for similar conferences, collections of publications and scientific projects. The presence of such a tool will increase the publication activity of young employees, increase the citation rate of articles and the citation rate between journals. The results of the algorithm for determining thematic proximity between journals, collections, conferences and scientific projects can also be used to build rules in models of differentiating access to data based on domain ontologies.

Abstract: На основе проведенного ранее анализа российских математических электронных ресурсов, а так же опыта зарубежных математических информационных систем описан проект создаваемой математической информационной системы Math-Net.RU. Базовой платформой системы Math-Net.RU является универсальная информационная система ИСИР.
Проект описан в терминах перечня требований и условий, которым должна удовлетворять создаваемая система. Рассмотрены и проанализированы альтернативные варианты реализации различных компонент системы, а также пути решения возникающих при этом проблем. Очерчены категории хранимой информации, целевой круг пользователей системы и требуемая функциональность. Описана общая архитектура, схема данных, пользовательские интерфейсы, а также способы наполнения системы информацией, актуализации и синхронизации данных из других информационных систем и баз данных. Рассмотрены проблемы представления математических текстов и формул в информационных системах, дан сравнительный анализ существующих форматов хранения. Очерчены так же перспективы участия системы Math-Net.RU в создаваемой Всемирной математической информационной системе Math-Net, а также требования к системе-участнику.

Abstract: A number of problems related to the construction of the metadata factory of the digital mathematical library Lobachevskii-DML have been solved. By metadata factory we mean a system of interconnected software tools aimed at creating, processing, storing and managing metadata of digital library objects and allowing integrating created electronic collections into aggregating digital scientific libraries. In order to select the optimal such software tools from existing ones and their modernization:we discussed the features of the presentation of the metadata of documents of various electronic collections related both to the formats used and to changes in the composition and completeness of the set of metadata throughout the entire publication of the corresponding scientific journal;we presented and characterized software tools for managing scientific content and methods for organizing automated integration of repositories of mathematical documents with other information systems;we discussed such an important function of the digital library metadata factory as the normalization of metadata in accordance with the formats of other aggregating libraries.As a result of the development of the metadata factory of the digital mathematical library Lobachevskii-DML, we proposed a system of services for the automated generation of metadata for electronic mathematical collections; we have developed an xml metadata presentation language based on the Journal Archiving and Interchange Tag Suite (NISO JATS); we have created software tools for normalizing metadata of electronic collections of scientific documents in formats developed by international organizations – aggregators of resources in mathematics and Computer Science; we have developed an algorithm for converting metadata to oai_dc format and generating the archive structure for import into DSpace digital storage; we have proposed and implemented methods for integrating electronic mathematical collections of Kazan University into domestic and foreign digital mathematical libraries.

Abstract:

We investigated the current models of the publication and dissemination of scientific knowledge. We describe the modern information management system of scientific publications and services that determine their functionality.

We discuss the concept of the digital infrastructure of the electronic scientific journal. Under this infrastructure, we understand the complex that combines management software platform of electronic journal and a number of specialized information systems. The software platform realizes the basic operating log management processes. Information systems provide the operation of additional services, taking into account the specifics of the journal subject area.

We present an approach to the organization of the digital infrastructure of the scientific journal based on an open platform Open Journal Systems (OJS). We provide software services that extend the functionality of this platform and considering specificity of the subject area of scientific journals. We have created software modules for automating of electronic scientific journal workflow. These modules are an extension of OJS.

We present a system of services for the automated processing of collections of scientific documents. These services provide verification of document compliance to the accepted rules of formation of collections and their conversion to the established formats; structural analysis of documents and extraction of metadata, as well as their integration into the scientific information space. The system allows to automatically performing a set of operations that cannot be realized for acceptable time with the traditional manual processing of electronic content. It is designed for the large collections of scientific documents.

Algorithms style validation of texts at the article registration stage in the information system of electronic scientific journal, the selection of reviewers, alert and control the timing of reviewing were automated. Information gathering algorithm with dedicated news lines of scientific journals, further analysis and distribution of news by categories and degrees of importance were developed. The algorithm automatically extract bibliographic data from a homogeneous array of publications (in particular, the issues of the scientific journal) and the formation of metadata blocks for export to international information and analytical system were created. Methods integration of OJS platform and international databases of science citation were developed.

We present methods of processing documents containing mathematical formulas: in the collections of documents that contain mathematical formulas, algorithm for the search formulas is developed; basic ideas, approaches and results already obtained by the mathematical knowledge management based on ontology are presented; a method of constructing recommender systems based on mathematical knowledge ontologies described. The method of primary processing automated of scientific article using TеX-notation developed.

The new direction of researches of scientific communications in the environment of Web 2.0 – altmetrics – is considered. We have analyzed the content of the notion «altmetrics», we conducted a comparison of traditional (bibliometric and scientometric) and alternative indicators. We describe the use of world experience informetric services on scientific journals sites. We discussed options for implementing these approaches to create an electronic scientific journal management platform. 

Abstract:

In the modern world, the problems arising in the field of traffic are of great importance. In order to solve existing problems, various intelligent systems are being developed, one of which is the Smart City system. This work is devoted to the development of an information and analytical system (IAS) for controlling an intelligent traffic light. The presented system consists of two levels, each of which contains a set of specific operations. The first level is responsible for detecting objects, in particular pedestrians and cars at the intersection, and the second level calculates the operating time of traffic light signals for the control signal that is transmitted to the device. For comparative analysis, the combined method (HOG+SVM) Histogram of oriented gradients was chosen, based on counting the number of gradient directions on individual image areas and Support Vector Machines, which are used to construct hyperplanes in n-dimensional space in order to separate objects belonging to different classes. The results of an experimental study, during which the recognition of objects in images was carried out, showed the superiority of the developed information and analytical system over existing methods. The average accuracy of detecting pedestrians and cars through the IAS was 69.4%. In addition, according to the experiment, it was concluded that the accuracy of detecting objects in images is directly proportional to the distance from the video camera to the object.

Abstract:

The article describes a typical object-oriented WEB-system designed for storing and providing various reference and statistical data on the scientific works of employees of an institution (group of institutions), developed by specialists of the JSCC RAS. The system contains information about publications of employees and reports made by them at scientific conferences, symposiums, and seminars. The system is focused on working with objects belonged to classes connected between each other, such as "author", "organization", "publication", "report", "event". The metadata profile of objects of each class includes attributes that are necessary to get detailed information about both an individual object of this class and a group of objects associated with the specified attribute values of objects of other classes. For example, you have to get a list of articles by employees of a given organization published articles in a given journal for a given period of time. A distinctive feature of the system is the introduced concept of "equivalent" objects. Such objects are "persons" corresponding to the same author with different spellings of the last name in the bibliographic descriptions of publications; organizations with different versions of names; articles which are published without changes in different languages. This article describes in detail the features of the system, its user interface, and provides examples of performing specific queries.

Abstract:

We present a set of semantic services developed by us to support the educational process in mathematics. The functionality of these services is based on the use of mathematical ontologies OntoMath^Edu and OntoMath^PRO. The ontology of professional mathematical knowledge OntoMath^PRO is designed to classify and systematize the concepts of professional mathematics and includes several important areas of mathematics. Educational mathematical ontology OntoMath^Edu systematically represents knowledge on the training course “Planimetry”. For the use of ontologies in educational applications, an approach to the design of prerequisite relations in these ontologies has been developed. To support mathematical education, we have developed: a service for semantic search by mathematical formulas, a service for semantic annotation of educational materials, a service for visualizing subgraphs of the OntoMath^Edu ontology semantic network, a parallel formal/informal corpus of mathematical statements, a system for automatically generating test questions in mathematical disciplines.

We provide examples of successful application of the developed software tools.

The created software tools are built into the OntoMath digital ecosystem. This ecosystem implements the interaction of semantic services for managing mathematical knowledge.

Abstract: В целях формирования единой сетевой инфраструктуры (ЕСИ) поддержки научно-образовательной деятельности необходимо наличие технической и организационной "платформы", которая определит общие правила для создания совместимых с ЕСИ "продуктов", и даст пользователям необходимый инструментарий и/или поддержку для конструирования информационных ресурсов и онлайновых сервисов, интегрированных с ЕСИ.
Система Соционет предлагает разработчикам платформу как для создания собственных информационных ресурсов, интегрированных в единое профессиональное информационное пространство, так и для конструирования онлайновых сервисов, которые будут работать с данными единого информационного пространства.

Abstract: In the given work the program system for restoration and processing’s of images of old-printed texts and manuscripts, and also, the basic approaches and methods for the decision of the given problem is described.

Abstract:

Classification of documents with the assignment of classifier codes is a traditional way of systematizing and searching for documents on a specific topic. The Universal Decimal Classification (UDC) underlies the systematization of knowledge presented in libraries, databases and other information repositories. In Russia, UDC is an obligatory attribute of all book production and information on natural and technical sciences. The choice of classification codes is associated with the analysis of the structure of the classifier tree and is traditionally decided by the author of a scientific article. This article proposes a solution for automating the assigning the UDC classification code for a mathematical article based on a special resource – the OntoMath^PRO ontology for professional mathematics, developed at Kazan Federal University. An approach to solving the problem is to create "code maps" for each classifying code in the UDC tree in the field of mathematics. Under the "code map" is meant a weighted set of all extracted, with the help of OntoMath^PRO ontology, mathematical named entities from the collection of articles with a given UDC code. The creation of "code maps" is based on the hypothesis that the choice of the UDC code is determined by a certain set of classifying features that can be represented by classes from the OntoMath^PRO ontology. The proposed hypothesis was tested and confirmed in the paper. The hypothesis was tested on a collection of mathematical articles An approach to solving the problem is to create "code maps" for each classifying code in the UDC tree in the field of mathematics. Under the "code map" is meant a weighted set of all extracted, with the help of OntoMath^PRO ontology, mathematical named entities from the collection of articles with a given UDC code. The creation of "code maps" is based on the hypothesis that the choice of the UDC code is determined by a certain set of classifying features that can be represented by classes from the OntoMath^PRO ontology. The proposed hypothesis was tested and confirmed in the paper.  The hypothesis was tested on a collection of mathematical articles published during 1999-2009 in the "Izvestiya VUZov. Mathematics" journal. 

Abstract:

The article is devoted to the development of a search and indexing system for audio files using Automatic Speech Recognition (ASR) and Elasticsearch. Current Russian-language audio file transcription systems have been analyzed, and Whisper has been chosen as the best one. An algorithm for optimizing transcription speed using parallelization of file processing processes has been developed, and its effectiveness has been demonstrated. A microservice architecture-based system has been built, capable of indexing audio file content and their metadata for search purposes. The research results show that the proposed approach can be applied to create efficient and flexible systems for searching and analyzing audio information.

Abstract:

This work addresses some of the legal issues emerging in connection with the necessary to implement mandatory testing of final qualifying works for borrowings at realization final attestation on educational programs of higher education, posting these works in electronic library systems educational organizations, but also their use. In particular, the need to comply with legislation on personal data when processing personal information in the course of audit work identifying plagiarism, publishing works in library systems. Paid attention to the enforcement of intellectual property rights of authors of final qualifying works during educational organizations assigned to them defined responsibilities. Analysis of legal issues carried out taking into account introduced by the Government of the Russian Federation the draft law on education the organization of higher education it is proposed to impose a duty on public access on the official website of the educational organization in the Internet the full texts of final qualification works of master's programs and specialist programs.

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: В статье рассмотрены разные подходы к формализации тезаурусов, а также стандарты ISO, ANSI и ГОСТ. Сделан анализ некоторых возможных платформ для такой формализации, описаны особенности работы с тезаурусами в информационных системах, а также проблемы при этом возникающие, требования к реализации тезауруса в рамках SemanticWeb [12].
Рассмотрены особенности и различия классификаторов ресурсов и обычных терминологических и лингвистических тезаурусов. Дан сравнительный анализ существующих схем данных и подходов к реализации тезаурусов для информационных систем на основе RDF. Рассмотрены также вопросы организации пользовательских интерфейсов для работы с тезаурусами, и использования их при поиске в информационной системе, а также интерфейсы администрирования тезаурусов.
Во второй части статьи на основании проделанного анализа сформулированы требования к описанию тезауруса в ИСИР, и приведена общая универсальная схема данных для представления тезауруса в этой информационной системе, удовлетворяющая перечисленным требованиям, и небольшой пример реализации в ней классификатора MSC.
На основании предложенной общей универсальной схемы и сформулированных требований описана реализация тезауруса в ИСИР.

Abstract:

This paper presents a neuro-fuzzy algorithm for high-speed grayscale image segmentation based on a modified defuzzification method using triangular membership functions. The aim of the study is to analyze the effect of simplifying the defuzzification formula on the accuracy and contrast of object selection. The proposed approach includes adaptive learning of the weight coefficient, which allows dynamically adjusting the defuzzification process depending on the target values. The paper compares the basic method of averaging membership values and a modified version taking into account nonlinear weights. Experiments conducted on 1024x720 images demonstrate that the developed algorithm provides high segmentation accuracy and improved object contrast with minimal computational costs. The results confirm the superiority of the proposed method over traditional approaches, emphasizing the prospects for applying artificial intelligence in computer vision problems.

Abstract: Methods of the semantic documents parsing in digital control system of scientific collections, including electronic journals, offered. The methods of processing documents containing mathematical formulas and methods for the conversion of documents from the OpenXML-format in ТеХ-format considered. The search algorithm for the mathematical formulas in the collections of documents stored in OpenXML-format designed. The algorithm is implemented as online-service on platform science.tatarstan.

Abstract: For the past seven to eight years the fundamental library of Herzen University has been a key link in the chain of building effective research activities of the university and its implementation in publications. the creation and development by the library of a software module that operates in the Herzen State Pedagogical University of Russia was a new stage in this activity; this module allows real-time output of structured current and comparative data on scientometric indicators of university teachers and researchers. The program module was created on the basis of database interaction with the API of scientometric resources such as Russian Science Citation Index, Scopus and Web of Science with the goal of further processing and systematization of the data obtained. The authors pay special attention to the development prospects of the created complex and the possibilities of data integration, including the implemented earlier synchronization of information with the profiles of teachers on the university website.

Abstract: The system for automated parallelization SAPFOR (System FOR Automated Parallelization) includes tools for program analysis and transformation. The main goal of the system is to reduce the complexity of program parallelization. SAPFOR system is focused on the investigation of multilingual applications in Fortran and C programming languages. The low-level LLVM IR representation is used in SAPFOR for program analysis. This representation allows us to perform various IR-level optimizations to improve the quality of program analysis. At the same time, it loses some features of the program, which are available in its higher level representation. One of these features is the multi-dimensional structure of the arrays. Data dependence analysis is one of the main problems which should be solved to automate program parallelization. Moreover, such an analysis belongs to the class of NP-hard problems. Knowledge of the multidimensional structure of arrays allows in many cases to take into account the structure of index expressions in calls to arrays and reduce the complexity of the analysis. In addition, the use of multi-dimensional arrays allows us to use multi-dimensional processor matrix and to parallelize a whole loop nests, rather than a single loop in the nest. So, parallelism of a program is going to be increased. These opportunities are natively supported in the DVM system. This paper discusses the approach used in the SAPFOR system to recover the form of multi-dimensional arrays by their linearized representation in LLVM IR. The proposed approach has been successfully evaluated on various applications including performance tests from the NAS Parallel Benchmarks suite.

Abstract: The report is devoted to the analysis of the method of comparison of programming languages, convenient for assessing the expressive power of languages and the complexity of the programming systems. The method is adapted to substantiate practical, objective criteria of program decomposition, which can be considered as an approach to solving the problem of factorization of very complicated definitions of programming languages and their support systems. The article presents the results of the analysis of the most well-known programming paradigms and outlines an approach to navigation in the modern expanding space of programming languages, based on the classification of paradigms on the peculiarities of problem statements and semantic characteristics of programming languages and systems with an emphasis on the criteria for the quality of programs and priorities in decision-making in their implementation.

Abstract: We have studied emotions in various aspects: philosophical, psychological and neurophysiological; taking them into account cognitive architecture has been described. Based on Lovheim “Emotion Cube”, “Wheel of emotions” by Plutchik, Tomkins “Theory of affects” and Marvin Minsky thinking model we describe usage of emotions as influence factors for computing processes. Also indicated the possibility of using emotions in intelligent question-answer systems.

Abstract:

The article is devoted to the consideration of information retrieval strategies in information retrieval systems (IRS). The preparatory stage of information retrieval is analyzed in detail, allocated simple and complex objects and aspects of search; the rule for dividing the request for subqueries is formulated. The role of logical operations for the construction of a search strategy is substantiated, the rules for designing and implementing search strategies in information retrieval systems are proposed. The results of the questioning of students are analyzed, and it’s possible to state that many of them are not ready to use logical operations correctly in the process of information retrieval in information retrieval systems.

Abstract:

We propose a novel framework for steganographic text generation that hides binary messages within semantically coherent natural language using latent-space conditioning of large language models (LLMs). Secret messages are first encoded into continuous vectors via a learned binary-to-latent mapping, which is used to guide text generation through prefix tuning. Unlike prior token-level or syntactic steganography, our method avoids explicit word manipulation and instead operates entirely within the latent semantic space, enabling more fluent and less detectable outputs. On the receiver side, the latent representation is recovered from the generated text and decoded back into the original message. As a key theoretical contribution, we provide a robustness guarantee: if the recovered latent vector lies within a bounded distance of the original, exact message reconstruction is ensured, with the bound determined by the decoder’s Lipschitz continuity and the minimum logit margin. This formal result offers a principled view of the reliability–capacity trade-off in latent steganographic systems. Empirical evaluation on both synthetic data and real-world domains such as Amazon reviews shows that our method achieves high message recovery accuracy (above 91%), strong text fluency and competitive capacity up to 6 bits per sentence element while maintaining resilience against neural steganalysis. These findings demonstrate that latent conditioned generation offers a secure and practical pathway for embedding information in modern LLMs.