Reviewerly/exHarmony huggingface dataset:
An approximate tensor singular value decomposition approach for the fast grouping of whole-body human poses

We propose a fast method to group similar human poses from single-view depth maps using an approximate singular value decomposition approach in the tensor domain. To this end, the input tensor is decomposed, and a representation tensor is learned using the tensor-QR decomposition and ℓ2,1 norm minimization. The spatial structure and, thereby, the spatial information in each depth map, vital in performing accurate grouping of human poses, is preserved by adopting the 3D tensor approach in treating the data. For the seamless integration of discriminatory information of each pose, a new dissimilarity measure based on sub-tensors is devised and integrated into the optimization problem. Experimental analysis showcases the ability of the proposed method to achieve 10%–15% improvement in the grouping results compared with the state-of-the-art counterparts. The proposed algorithm also converges in less than ten iterations on average, thereby improving CPU time.
Modern guidelines for training future specialists of the socionomic sphere in the development of vitality and life creativity

The relevance of the problem under study is caused by the need to clarify modern guidelines for training in the development of future specialists’ vitality and life creativity in the socionomic sphere in general, and social educators and primary school teachers in particular. This training is aimed at strengthening and replenishing the vital resources and potentials of future specialists under difficult conditions of the existing wartime. It has been found that a person is able to withstand life's troubles, showing "resilience" as an opportunity to positively adapt to difficult situations, quickly recover, maintain a state of calm and well-being, that is, vitality. At the same time, it was found that a person is also able to show "hardiness," as an ability that allows not only to show vitality, but also to understand that danger is the beginning of new changes in life and it should be perceived as an incentive for the development of personal capabilities, but not as a threat. The analysis of the problem under focus indicates the possibility of increasing the proportion of resources and potentials of an individual in five essential, interrelated spheres. The allocation of the component composition was based both on the scientists’ theoretical heritage in the educational sphere, and on the author's personal long-term experience in the training of future social educators and teachers in pedagogical activity. Among the significant spheres of civil society, influencing the formation and development of vitality and life creativity of future specialists, there are the ones as follows: personal, social, cultural, physical and spiritual. In the process of profession-oriented training, future social educators and primary school teachers are offered to study certain topics aimed at forming awareness of the development of vitality and competence in the development of life creativity of both specialists and students. Theoretical and practical analyses of the problem under study showed the need for further study in the context of developing a holistic system of awareness formation, both awareness of their resources and potentials, and competence, as the ability of future specialists in the socionomic sphere to develop their own vitality and life creativity and the ones of their students.
Artistic and pedagogical design in professional training of future Musical Art teachers

The article describes the method of artistic and pedagogical design in the context of professional training of future music teachers. The relevance of the research is based on the importance of students mastering the latest artistic and pedagogical technologies in the process of studying at a higher education institution. The project method is defined as widespread and relevant in the context of pedagogical activity as one that develops the ability of future music teachers to carry out project activities of various types and subject areas, to carry out a critical analysis of various artistic material, to work on it independently, to navigate in the latest information and communication technologies. The purpose of the article is to reveal the essence and content of artistic and pedagogical design, to analyze its importance in the system of professional training of future music teachers; disclosure of the specifics of artistic and pedagogical design in the context of professional training of future music teachers. The article uses methods of theoretical research: analysis of scientific literature, generalization, systematization of practical experience. It has been established that creatively oriented design activity contributes to the formation of students of higher education, the ability to independently master scientific and methodological and artistic literature, aware and critical work with information, develops thinking, including project thinking, promotes personal and professional development, stimulates creative activity, develops emotional intelligence through interaction with works of musical art, etc. The principles of artistic and pedagogical design are substantiated.
Digitalization and Intergenerational Learning

In this chapter, the terms of learning and teaching are explored, and digitalization of generations. The digital transformation of the world; digital transformation in education and individuals; 21st-century skills; digital literacy; digital fluency; generations in a digitalized world; and the digital transformation of teaching and learning are all discussed. It aims to explore the relationship between information and communication technologies and intergenerational learning applications in the context of research to build more socially and digitally cohesive societies.
The Collections and Catalog of Officer’s Library of the Staff of Trans-Amur Military District of the Separate Corps of Frontier Guards before the First World War

The high priority of studying the library collections and reading circle of frontier guards is stipulated by the important role that libraries play in organization leisure time for this category of military servicemen, whose service often takes place in so called “bear corners”, outside of civilization. In connection with the absence of publications on the history of Officer’s Library of the Staff of Trans-Amur Military District of the Separate Corps of Frontier Guards the presented article for the first time gives careful consideration its collection, acquisition of books and periodicals for different departments and underdepartments by January 1, 1911. The results obtained show that the catalog in a bibliographic sense has been prepared professionally. The book collection of the library contributed to the professional development of guards and solution of their official tasks, as well as to the organization of cultural leisure activities. The owner of the catalog served as the base for an analysis of this collection is clearly defined. The editions prepared by the Staff of the District and later presented in the book catalog are specially identified. The fulfilled investigation broadens and advances the understanding of this library, its collection specific features and also of publishing activities of the Staff of District and its participation in book holdings acquisition.
Bibliography at the All-Russian Bibliographic Congress in Murmansk

This article tells about the activities of the Section on bibliography and information service of the Russian Library Association and about the main information content of the 15 reports at the meeting of this section within the framework of the All-Russian Library Congress in Murmansk (June 14, 2023). Special attention is given to the science works out in the sphere of bibliography, including new standards and typology of the bibliographic products.
Development of Bibliographic Activity of the National Library in Complex Reﬂection

The article presents the review of the monograph “Essays on the development of bibliographic activity of the Russian State Library” released by the publishing house “Pashkov Dom” in 2022. The monograph is the first experience of a complex analysis of the history of one of the most important activities of the national library. The new generalizing work was prepared by a team of 18 authors, represented by specialists from the Scientific Research Department of Bibliography, as well as other departments of the Russian State Library (RSL). Disclosed is the structure and content of the monograph consisting of 13 sections-essays. They highlight the stages in the development of the bibliographic activity of the RSL from 1862 to the present day. The issues of organization of bibliographic work, development of reference and bibliographic fund, bibliographic and reference service, preparation of bibliographic publications, research and scientific-methodological activities in the field of bibliography are considered. It is concluded that the publication of the book is an important milestone not only in the study of the history of the RSL, but also in the development of Russian historical and bibliographic knowledge in general.
Editions of Works by A.S. Pushkin in the Contemporary Russian Books Repertory (2017—2022)

On the eve of the 225th anniversary of birthday of the great poet the authors have analysed the publishers repertory of works by A.S. Pushkin for 2017—2022. This bibliological survey is based on the statistics of printing fulfilled by the information complex «Russian Book Chamber» in the structure of the Russian State Library. The article presents information about the very different aspects and concrete figures. They characterize the typology of editions, the number of published titles of poetical and prosaic works by A.S. Pushkin and their print runs as well as the publishers-leaders and all others (totally, their number is 129) from Moscow, Saint-Petersburg and different regions (totally the number of Russian cities is 56). The total amount of titles — nearly 850 and their total print run — 4,4 million copies. The publishers-leaders are «Eksmo», «AST», «Azbuka», «Rosmen». The authors also analyse the reader’s address and aim purpose, the special features of the composition and book design for works by A.S. Pushkin with imprints of the leading Russian publishers. All of these makes it possible to classify abovesaid book production into groups by different age of readers and to highlight the unusual editions from the point of view their quality of editorship and colourness of their art design. Such information is always needed for librarians and bibliophiles. Before jubilee of the poet it is especially useful and actual because it gives an initial basis for comparison with expected rising of publishing activity during preparation for this event and its celebration in Russia and abroad.
The Book about Bookman Alexandre Benoit

The critical review of the album “The Book World of Alexandre Benoit: Sketches of a Researcher and a Collector” (Moscow, 2023) by well-known bibliophile, academician of the Russian Academy of Arts, the leader/chairman of Council of the National Union of Bibliophiles M.V. Seslavinsky is presented. The review reveals the aims and purposes of popularizing of various artistic career and activities of A. Benoit in the book sphere, undertaken in the album. It is shown that this edition in many senses fells out the scope of the scientific and popular type declared by the compilator and represents full-fledged scientific research of the history of book design on the example of A. Benoit. The high rating is given both to the editorial and publisher’s presentation and artistic book design of this edition.
Exploring feasibility maps for trajectory planning of redundant manipulators using RRT

Redundant manipulators offer several advantages, including improved manipulability, singularity avoidance, and obstacle evasion. However, kinematic redundancy also introduces additional challenges, such as the need to solve an underdetermined inverse kinematic problem to control the manipulator. This paper introduces a novel approach for motion planning of redundant manipulators, based on the exploration of feasibility maps. The proposed method is an extension of the RRT algorithm, modified to explore the redundant space in order to find a suboptimal feasible path in the joint space, sacrificing optimality for scalability to higher degrees of redundancy. The method is able to follow a given task trajectory while considering other constraints, such as joint limits, self-collisions, and obstacles.
Towards a Uniform Exchange Format for Home and Building Automation using VDI 3814

Exchanging technical documents in the building automation domain is a complicated process. Files are distributed either as drawings, spreadsheets, or text documents. Each stakeholder has to re-enter the data into their own system, and changes are revised manually, often even without revision control. This paper presents a uniform exchange format based on the ’graphical’ standard VDI 3814. To increase acceptance, the industry standards XSD and XML were chosen. As a result of this work, a model is provided that covers the concepts and exchange files provided in the VDI 3814 standard. Given a supporting tool, data can be entered, revised, and exchanged automatically. Based on this unified representation, it is subsequently possible to transfer the data into one of the already existing ontologies in this domain by using model transformations. Some of these ontologies are also referred to in this paper.
Efficient Path Planning of Warehouse Robots Utilizing Model Predictive Control

With the development of the electronic commerce business, the need for automation of warehouse transport is increasing, and there are high expectations for the improvement of warehouse efficiency with automated transport robots. Conventionally, such systems have often used path planning for each robot based on a predefined graph-based map, and guiding the robots to their destinations by preventing collisions through area exclusive control or other means. However, conventional methods require precise map information of the warehouse for path planning with high degree of freedom. This makes it time-consuming to update the map information when the layout of the warehouse is changed. In this study, path planning with a high degree of freedom for multiple robots in a warehouse is achieved through model predictive control using map information which is easy to maintain. The proposed method uses simple global map and obstacle map to achieve efficient path planning that takes collision avoidance into account for the robots. Numerical simulations are conducted to verify the effectiveness of the proposed method for improving travel efficiency.
Verification of NNs in the IMOCO4.E Project: Preliminary Results

In recent years, there has been growing interest in machine learning and neural networks within research and industrial communities. While neural networks have shown impressive capabilities across various domains, their practical applications are still limited in safety-critical contexts due to a lack of formal guarantees regarding their reliability and behavior. This paper explores the latest advancements in Satisfiability Modulo Theory (SMT) technologies for verifying neural networks with piece-wise linear and transcendent activation functions. Through experimental analysis, we evaluate these technologies using neural networks trained on a real-world predictive maintenance dataset. This research contributes to the ongoing efforts to enhance the safety and reliability of neural networks through formal verification, enabling their deployment in safety-critical domains.
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project

In recent years, the integration of artificial intelligence (AI) techniques has significantly transformed the field of predictive maintenance, enabling businesses to proactively monitor and address potential equipment failures before they occur. One critical aspect of predictive maintenance is the detection of anomalies, which can serve as early warning signs for impending faults or failures. In this paper we present some preliminary results obtained by leveraging autoencoders and the related vector reconstruction error in the scope of the IMOCO4.E Project.
Am I in Good Shape? Flexible Way to Validate Asset Administration Shell Data Entry via Shapes Constraint Language

Digital Twins and their adoption in Industry 4.0 are trending topics. Asset Administration Shell (AAS) has been introduced as a standard metamodel and application programming interface (API) to cope with interoperability issues. The specification discusses possibilities of serializing the AAS meta-model to various formats such as XML, JSON, and RDF. It also introduced various schemas to check the compliance of serialized content with the specification. In this paper, we show that Shapes Constraint Language (SHACL) is not only possible to be used for schema compliance checks but also for data entry validation. Within our use case, we show the flexibility of our solution, which is also platform independent.
Delta Models as a Measurement for Improving the Quality of IEC 61499-based Control Software

Industrial-scale control software is designed as variability-intensive, i.e., highly configurable and adaptable software, to support diverse hardware capabilities and to fulfill diverse customer requirements. Various control software architectures have been proposed for developing highly configurable and adaptable control software. However, each architecture has its strengths and weaknesses in configurability and adaptability. Measuring the suitability of a given architecture to deal with variability can further guide control software engineers in implementing highly configurable and adaptable control software. In this paper, we propose measurement approaches for IEC 61499-based control software that indicate how well a particular architecture can manage variability. Control software engineers are first encouraged to describe all the functionalities in their system. They can also describe which elements must be added or removed when implementing a particular functionality. They then store these descriptions using a variability mechanism called delta models. Next, we can measure the size of delta models, the cohesion and coupling of the control software modules, and the degree of mapping complexity between features and delta models. We argue that by using our proposed measurements, we can indicate whether the control software’s architecture is suitable for variability-intensive software.
Clone Detection in IEC 61499 using Metainformation

Analyzing and maintaining the quality of control software is pivotal in the plant manufacturing industry. During software development, certain negative patterns frequently occur. These negative patterns are called code smells and are characterized by code that is hard to understand, maintain or expand. One such smell is duplicated code, also known as clones. Clones often result from clone-and-own reuse, which is common in practice. Detecting clones is crucial to avoid bug propagation and keep maintenance efforts low. This work deals with detecting clones in control software written in the domain-specific modeling language IEC 61499.
Tracker-fusion Strategy for Robust Pedestrian Following

The tracking problem remains difficult because trackers may lose the target due to occlusions or changes in the target's appearance and start tracking another one, making it difficult to detect when they fail. To deal with these problems, we design a novel method to track objects robustly by fusing different trackers, using an Extended Kalman Filter, which helps to detect these situations and correct them. We use our tracker-fusion in a mobile robot to follow a pedestrian while also avoiding dynamic obstacles, an aspect not usually analyzed in pedestrian following. The perception of the environment is done with a 3D LiDAR and the tracking is performed on front-view images constructed from the point cloud. We show that by fusing two different trackers, the robot can follow the target during long experimental sessions where there are occlusions of the target by other people. The method is more precise and robust than using the trackers without the fusion.
Towards an Ontology for Technical Security Standards

Security is an important quality attribute of today’s systems and services. Much security knowledge is encoded in technical security standards that define requirements on how to develop secure systems. Applying this knowledge is challenging and strives for the development of intelligent applications supporting developers and security experts in their work. We report on the development of an ontology as the structural basis for a knowledge graph that enables reasoning and AI-based methods. For the development of the ontology, we systematically analyzed technical standards in the field of industrial automation and control systems and industrial internet of things to identify the elements and concepts required to describe the standards in a machine-processable form. In this paper, we describe the systematic development and the structure of an ontology to represent technical security standards. The ontology is available online to facilitate further discussion. In our ongoing work, we use the ontology to populate a KG, which serves as basis for a domain expert evaluation on how semantically encoded security standards can support system developer in practice.
Hybrid Lightweight Deep Learning-Based Error Detection Model on Edge Computing Devices

The cyber-physical systems (CPS) are characterized by a high degree of complexity due to the presence of networked heterogeneous components. This complexity makes it crucial to prevent error propagation in the system. Therefore, error detection and mitigation are necessary requirements in CPS. Recently, DL-based techniques have emerged as popular solutions for error detection in CPS. However, the main concern of DL-based error detection models in power constrained CPS is the trade-off between accuracy and speed. This leads to the necessity of designing optimized, accurate, and lightweight models.This paper proposes an optimized lightweight error detection model based on prediction approach. The paper addresses the limitations of conventional DL-based approaches in error detection for hardware-constrained CPS, particularly an exoskeleton system. The model adopted state-of-the-art efficient architecture that comprises in parallel CNN and LSTM layers, which is then transformed into a lightweight network through data quantization and network pruning techniques. The effectiveness of the proposed method is demonstrated through its application in error detection of the exoskeleton system’s data.
Automatic generation of repair suggestions for overall I&amp;C architecture represented with an ontology

We present an approach for suggesting possible fixes to an overall I&C nuclear architecture during its design phase. Despite the I&C architecture, in our case, being represented with an ontology, we do not aim to change the properties of an ontology per se. Instead, we focus on the subset of ABox triples that do not contain terminological elements in either subject, predicate, or object parts. Such a subset we call the design artifacts. When the ontology is filled with the design artifacts, the analyst runs the check of non-functional requirements using SPARQL queries. The requirements associated with the queries that returned results do not hold. The goal of the current work is to provide support for the next stage when the analyst has to change the design artifacts so that the queries no longer return results. Our method is based on representing the results of queries as graphs, intersecting them, and finding the minimal changes that prevent the results from being mapped on their (or other) queries.