Reviewerly/exHarmony huggingface dataset:
The automorphisms and error orbits of Reed – Solomon codes

The purpose of this work with its results presented in the article was to develop and transfer to the class of Reed – Solomon codes (RS-codes) the basic provisions of the theory of syndrome norms (TNS), previously developed for the noise-resistant coding of the class of Bose – Chaudhuri – Hocquenghem codes (BCH-codes), which is actively used in theory and practice. To achieve this goal, a transition has been made in the interpretation of the theory of RS-codes from polynomial to matrix language. This approach allows you to fully use the capabilities of Galois field theory. The main difficulty of RS-codes is that they rely on a non-binary alphabet. The same factor is attractive for practical applications of RS-codes. The matrix language allows you to break the syndromes of errors into components that are elements of the Galois field – the field of definition of RS-codes. The TNS for BCH codes is based on the use of automorphisms of these codes – cyclic and cyclotomic substitutions. Automorphisms of RS-codes are studied in detail. The cyclic substitution belongs to the categories of automorphisms of RS-codes and generates a subgroup Г of order N (code length). The cyclotomic substitution does not belong to the class of automorphisms of RS-codes – the power of the alphabet greater than 2 prevents this. When expanding the concept of automorphism of a code beyond substitutions of coordinates of vectors to automorphisms of RS-codes, homotheties or affine substitutions can be attributed, since they also form a cyclic group A of order N. It is shown that cyclic and affine substitutions commute with each other, which, generally speaking, is not typical for linear operators and substitutions. The group Г of cyclic substitutions, the group A of affine substitutions, and the combined AГ group of order N 2 generate 3 types of error orbits in RS-codes. The structure of the orbits of errors with respect to the action of groups A, Г and the combined group AГ is studied {231 words}.
Negation handling for Amharic sentiment classification

User generated content is bringing new aspects of processing data on the web. Due to the advancement of World Wide Web technology, users are not only consumer of web contents but also they are producers of contents in the form of text, audio, video and picture. This study focuses on the analysis of textual contents with subjective information (referring to sentiment analysis). Most of conventional approaches of sentiment analysis do not effectively capture negation in languages where there are limited computational linguistic resources (e.g. Amharic). For this research, we proposed Amharic negation handling framework for Amharic sentiment classification. The proposed framework combines the lexicon based sentiment classification approach and character ngram based machine learning algorithms. Finally, the performance of framework is evaluated using the annotated Amharic news comments. The system is performing the best of all models and the baselines with accuracy of 98.0. The result is compared with the baselines (without negation handling and word level ngram model).
Fine‐grained management of cloud‐native applications, based on <scp>TOSCA</scp>

Containers and container‐based orchestrators allow deploying and managing multi‐service applications over cloud platforms, by coupling the lifecycle of each application service to that of its hosting container. In this use case letter, we demonstrate how the OASIS standard TOSCA and Toskose allow overcoming such a coupling by enabling to exploit Docker containers as system containers where to independently deploy and manage application services. More precisely, we show how TOSCA and Toskose enable a fine‐grained, service‐aware management of a third‐party multi‐service application on top of existing Docker‐based container orchestrators (such as Docker Compose and Kubernetes) and independently of whether the application is deployed on premises or on a public cloud (such as MS Azure).
Aspect Level Sentiment Classification with Section Interactive Attention Neural Networks

The aim of aspect-level affective classification is to identify the affective polarity of a certain aspect of a text. Most of the attention mechanisms only focus on the distribution of attention in the context of the target words, which lacks the analysis of the target. Based on human reading habits, this paper divides the text into three parts: the target word, the left text and the right text, and calculates the interaction between the target and the left text and the right text. The global attention distribution is introduced to obtain the key distribution of the paper. At last, the global part of the interactive attention is integrated to get the distribution of attention. This paper proposes a more detailed and comprehensive mechanism of mind distribution than the previous analysis of attention mechanism. Three open data sets were used to carry out experiments on the algorithm proposed in this paper. The experimental results showed that the three data sets were improved to different degrees. Compared with IAN algorithm, the classification accuracy of the algorithm in this paper increased by 2.69% on average, indicating that the algorithm in this paper is effective.
Eliminating bugs with dependent Haskell (experience report)

Using dependent types in production code is a practical way to eliminate errors. While there are many examples of using dependent Haskell to prove invariants about code, few of these are applied to large scale production systems. Critics claim that dependent types are only useful in toy examples and that they are impractical for use in the real world. This experience report analyzes real world examples where dependent types have enabled us to find and eliminate bugs in production Haskell code.
Homomorphic Encryption and Some Black Box Attacks

This paper is a compressed summary of some principal definitions and concepts in the approach to the black box algebra being developed by the authors [6–8]. We suggest that black box algebra could be useful in cryptanalysis of homomorphic encryption schemes [11], and that homomorphic encryption is an area of research where cryptography and black box algebra may benefit from exchange of ideas.
Chaotic state as an output of vacuum state evolving in diffusion channel and generation of displaced chaotic state for quantum controlling

We show that chaotic state can be produced as an output of vacuum state evolving in diffusion channel, while displaced chaotic state is output of a coherent state evolving in diffusion channel. We also introduce the thermo vaccum state for the displaced chaotic state and evaluate the average photon number. The displaced chaotic state may be used exhibiting quantum controlling.
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry

Domain of mathematical logic in computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both of these are hard to access by AI from the human-imitation approach: ATPs often use human-unfriendly logical foundations while ITPs are meant for formalizing existing proofs rather than problem solving. We aim to create a simple human-friendly logical system for mathematical problem solving. We picked the case study of Euclidean geometry as it can be easily visualized, has simple logic, and yet potentially offers many high-school problems of various difficulty levels. To make the environment user friendly, we abandoned strict logic required by ITPs, allowing to infer topological facts from pictures. We present our system for Euclidean geometry, together with a graphical application GeoLogic, similar to GeoGebra, which allows users to interactively study and prove properties about the geometrical setup.
Combining Siamese Network and Regression Network for Visual Tracking

We combine the siamese network and the recurrent regression network, proposing a two-stage tracking framework termed as SiamReg. Our method solves the problem that the classic siamese network can not judge the target size precisely and simplifies the procedures of regression in the training and testing process. We perform experiments on three challenging tracking datasets: VOT2016, OTB100, and VOT2018. The results indicate that, after offline trained, SiamReg can obtain a higher expected average overlap measure.
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices

We propose a new algorithm to synthesise quantum circuits for phase polynomials, which takes into account the qubit connectivity of the quantum computer.We focus on the architectures of currently available NISQ devices.Our algorithm generates circuits with a smaller CNOT depth than the algorithms currently used in Staq and t|ket⟩, while improving the runtime with respect the former.
An Application Of Stock-Trak In ‘Investments’: What Common Mistakes Do Students Make While Studying Socioeconomic Processes?

The main purpose of this study is to review practical experience and provide guidance on the use of Stock-Trak software (trading virtual assets of various types of investment assets) by students to make investment decisions under uncertainty. The article uses such scientific methods of analysis as analysis, synthesis, comparison, abstraction, and modeling. The information base for the study is students enrolled in bachelor’s degree programs in economics at Northeastern State University (USA). Based on the analysis of students’ reports for the period 2014-2017, it is established that the most common mistakes in the study of socio-economic processes include the neglect of transaction costs and the non-accounting of dividends in the calculations. For the most part, students have difficulty calculating financial ratios correctly because they are not sufficiently familiar with the procedure for acquiring investment assets using margin, and are unable to determine the initial amount of investment when purchasing assets using margin and have difficulty separating the profit option. Previous studies of methods and models of mastering knowledge of investment activities show that gamification of the educational process, an interactive form of practical exercises helps to improve the quality of communication of learning subjects, improve the overall level of learning effectiveness, as well as better mastering of knowledge through their practical use in the beginning. mode and subsequently in further professional activity. The results of the study may be useful to teachers in the financial and economic disciplines in terms of a detailed analysis of the major difficulties encountered by students in using the program and avoiding these errors in their activities. Keywords: investments, mutual fund, options, portfolio, stock, Stock-Trak.
A Dynamic Two-Layers MI and Clustering-based Ensemble Feature Selection for Multi-Labels Text Classification

Multi-label text classification deals with the issue that arises from each sample being related to multiple labels.The text data suffers from high dimensionality.In order to resolve this issue, a feature selection (FS) method can be implemented for efficiently removing the noisy, irrelevant, and redundant features.Multi-label FS is a powerful tool for solving the highdimension problem.With regards to handling correlation and high dimensionality problems in multi-label text classification, this paper investigates the various heterogeneous FS ensemble schemes.In addition, this paper proposes an enhanced FS method called dynamic multi-label two-layers MI and clusteringbased ensemble feature selection algorithm (DMMC-EFS).The proposed method considers the: 1) dynamic global weight of feature, 2) heterogeneous ensemble, and 3) maximum dependency and relevancy and minimum redundancy of features.This method aims to overcome the high dimensionality of multilabel datasets and acquire improved multi-label text classification.We have conducted experiments based on three benchmark datasets: Reuters-21578, Bibtex, and Enron.The experimental results show that DMMC-EFS has significantly outperformed other state-of-the-art conventional and ensemble multi-label FS methods.
Information Resources of the State Historical Public Library of Russia for Slavists: The Practice of Using

The round table, “Information resources of the State Historical Public Library of Russia for Slavists: the practice of using” was held on 25 February 2020 at the State Historical Public Library of Russia. It was opened by the director of the Historical Public Library, Mikhail D. Afanasiev, and by the director of the Institute of Slavic Studies, Konstantin V. Nikiforov, who underscored the importance of libraries for education, historical science, and Slavic studies in Russia. Specialists from the Historical Public Library discussed ways of acquiring foreign literature for Slavic studies and of networking with colleagues, libraries, and science centres in other Slavic countries; and provided information regarding Slavic studies in Belarus, Bulgaria, Bosnia and Herzegovina, Macedonia, Poland, Serbia, Slovenia, Slovakia, Ukraine, Croatia, Montenegro, and the Czech Republic. For the Round table, an exhibition of foreign literature for Slavic studies was opened, which included items acquired by the Historical Public Library in 2018 and 2019. The exhibition contained more than 700 publications. Colleagues from the Institute of Slavic Studies presented some books published by the Institute of Slavic Studies, including “Slaves and Russia”. They have been publishing since 2013, when they released the translation of M. Sekulich’s book “Knin failed in Belgrad. Why did the Serb Republic of Krajina die?” and N. Vujović’s memoirs “The last ﬂ ight from Dayton. Closed-door negotiations”.
On the Issue of Forming Abilities of Interpersonal Interaction of Students under the Conditions of Musical-Theater Activity

Interpersonal interactions of people in society not only regulate the processes of communication, but also have a significant impact on the formation of their personality traits. It is for this reason that the problems associated with interpersonal interaction do not lose their relevance, and the process of forming their skills in various aspects is studied by scientists and practitioners in the field of psychology and pedagogy. The first active and conscious interpersonal interaction skills begin to form in older preschool and primary school ages. This is due to the flexibility of perception, exceptional sensitivity to the emotional context and artistic creativity. However, older students at a new level of development of their affective and cognitive functions also encounter difficulties in interpersonal communication. The process of development and restructuring of interpersonal interaction skills lasts a lifetime. As is highlighted in the article, these skills are updated in a new way within the framework of university education, including in the preparation of future young teachers for organizing communication between schoolchildren. This article discusses the possibilities and functions of musical and theatrical activities of students at different levels of education as a contribution to the formation of baggage of interpersonal interaction skills, reveals the psychological mechanisms of their implementation in educational musical theater. A review of modern research aimed at studying the educational and developmental potential of musical and theatrical activities of children is presented, discussion questions are raised on organizing interpersonal interaction in the face of the challenges of the digital era, prompting the search for new forms in musical education in general and in musical and theatrical activities students.
MylynSDP — Process - aware artifact filtering based on interest

Abstract A software development process is used by software engineers to guide their activities during all phases of the software product development. When executing a software development process, software engineers may lose time and effort while searching for artifacts or changing contexts. This happens, for example, when they need to search for a specific code file in a list of hundreds of files or when they interrupt an activity to execute another but forget specific details and need to re-execute searches related to the previous activity. This impacts their productivity negatively, because extra time and effort are spent into non-productive work. Therefore, automated assistance is required to mitigate or avoid these issues. The Degree of Interest (DOI) function infers an element’s importance in a context, helping software engineers to handle many artifacts. Mylyn, an Eclipse IDE plugin, uses a DOI function on Java documents to assist programmers when looking for code documents during development. However, Mylyn’s DOI function is limited to the implementation phase of software processes and relies on manual task creation. This paper presents MylynSDP, a software Process-aware extension to Mylyn’s DOI function. MylynSDP’s DOI function infers an artifact’s importance during an activity and filters uninteresting artifacts, reducing the time taken to search items and improving productivity. Mylyn code was augmented, and an evaluation study was performed. Seven subjects executed a software process with many artifacts. Exercise times were recorded for productivity analysis. Subjects answered a Technology Acceptance Model (TAM) questionnaire. New task and artifact creation wizards link tasks and artifacts to specification activities and artifacts, respectively. A new interaction event handles context creation, and the DOI function was extended to other software process phases. Exercise time reduction shows a productivity increase. TAM questionnaire answers show a positive overall willingness to adopt MylynSDP and provide evidence that using a DOI function in different software process phases increases productivity. This work advances the state of the art in software engineering by providing additional methods to support artifact search and discovery, context change management, and artifact relevance mechanisms.
Humanization of educational internet technologies in the pedagogical process

The issue of the influence of digital technologies on the development of traditional and humanistic education is analyzed. The digitalization process is considered as a stage in the replacement of the industrial-educational system with a new information-digital education system. The problems of dehumanization of education are substantiated and ways to overcome them are proposed.
A Fuzzy Control of Peltier-Based Thermal Chamber for Reliability Tests

This article studies possibilities of applying some artificial intellect techniques to control the thermal cycling modes of a thermal chamber for reliability tests. Peltier elements are used to be achieved consecutive heating/cooling cycles. A fuzzy logic approach is applied to control the temperature inside the chamber according to previous given requirements.
Visual Causality: Investigating Graph Layouts for Understanding Causal Processes

Causal diagrams provide a graphical formalism indicating how statistical models can be used to study causal processes. Despite the extensive research on the efficacy of aesthetic graphic layouts, the causal inference domain has not benefited from the results of this research. In this paper, we investigate the performance of graph visualisations for supporting users’ understanding of causal graphs. Two studies were conducted to compare graph visualisations for understanding causation and identifying confounding variables in a causal graph. The first study results suggest that while adjacency matrix layouts are better for understanding direct causation, node-link diagrams are better for understanding mediated causation along causal paths. The second study revealed that node-link layouts, and in particular layouts created by a radial algorithm, are more effective for identifying confounder and collider variables.
Experience of Developing Reflexive Competence in a Future Teacher at a University

The theoretical and methodological foundations for the prospective teachers’ reflexive competence formation, modeling the development process and its implementation in the educational space of the university are examined in the article. The idea of the research is that the effective formation of the student's reflexive competence, considered in the mainstream of reflexive activity is based on subjective relationships, interaction in dialogue, diversity of positions and individualization. It is emphasized that these pedagogical conditions are implemented in non-linear and collective learning at the university, based on a conscious choice of forms, content, teaching aids and methods in the educational space of the university. Purpose of the research is to check the theoretical and conceptual foundations for the development of the prospective teachers’ reflexive competence in the framework of higher education. The research results show that the development of the reflexive competence of a prospective teacher in the educational space is a very long process and needs a special pedagogical organization. The author comes to the conclusion that the meaning of the process of developing of a prospective teacher’s reflexive competence can be considered self-movement in the professional and personal terms.
Shortest path problem and computer algorithms

Linear programming was developed during World War II, when a system with which one wanted to maximize the efficiency of resources was of utmost importance. The word “programming” was a military term that referred to activities such as planning schedules efficiently or deploying men optimally. George Dantzig, a member of the US Air Force, developed the simplex method of optimization in 1947 in order to provide an efficient algorithm for solving programming problems that had linear structures. Since then, experts from a variety of fields, especially mathematics and economics, have developed the theory behind “linear programming” and explored its applications (Bollobás, 2001). Although the simplex method is an excellent method for solving general linear problems, there are some that may efficiently be solved using other types of algorithms. This chapter will present the basics of the shortest path problem, which is a linear programming problem, and also an example of a kind of problem that should not be solved using the simplex method. Shortest path problems are the natural starting point when one wants to learn network optimization. Throughout this chapter we will define some network concepts, what is intended to be a shortest path problem, and optimality principles. Afterwards we will present a very efficient data structure with only vectors instead of the usual, using matrices, to store a network. The class of algorithms that may be used to solve shortest path problems, namely labeling algorithms, will be deduced and discussed and, finally, some real-life shortest path problems will be proposed and discussed.
IoT-Based System Monitoring of the Sleep Environment - A Study Aimed at the Elderly 

The aging process in our population can cause changes in people’s sleeping patterns, more specifically in the elderly, by impairing their cognitive abilities, quality of life, and autonomy. Advances in Ubiquitous Computing and Internet of Things have contributed to the monitoring of such situations. In particular, the use of sensors to evaluate the environment and aspects related to the health and well-being of individuals, as well as providing event alerts. The main objective of this experiment is to propose a monitoring system based on both the responses of multiple sensors (brightness, microphone, accelerometer, and gyroscope) at runtime to classify the environment for elderly people’s sleep quality. The results show that using embedded devices, and capturing environmental aspects through sensors, can develop solutions that offer more safety and comfort to the individuals’ sleep quality environment.