Reviewerly/exHarmony huggingface dataset:
CONTEÚDOS EMERGENTES DA GESTÃO DA INFORMAÇÃO E DO CONHECIMENTO NOS CURSOS DE PÓS-GRADUAÇÃO EM CIÊNCIA DA INFORMAÇÃO NO BRASIL

Addresses Information Management and Knowledge Management in postgraduate courses inInformation Science in Brazil.It aims to analyze the contents of the disciplines on Information Management and Knowledge Management offered in postgraduate courses in Information Science in Brazil.Methodologically, the research is characterized as exploratory and descriptive, with quantitative and qualitative approaches, the documentary type performed in the web environment.Adopts as a universe the higher education institutions that offer postgraduate courses in Information Science.Thus, it considers the need to work with all the universities that offer the mentioned course, to achieve a broader analysis and more satisfactory results.For data organization and analysis it adopts the content analysis method.The results show that most of the programs are called Information Science, their lines of research incorporate Information Management and Knowledge Management in their studies that have been offered at the Masters (academic and professional) levels doctorate degree.The thematic axes pertinent to the discipline of Information and Knowledge Management are predominant in courses with high evaluation by the Coordination of Improvement of Higher Education Personnel and have a great predominance of the contents of the subjects under study.It presents positive perspectives in relation to the approaches that are being inserted in the postgraduate courses in Information Science in Brazil and proposes emerging content to the programs courses that do not yet offer the thematic axis analyzed.
THE IMPACT OF PODCASTS DESIGNED THROUGH AUDACITY ON IMPROVING GRAMMAR SKILLS

The situation with the pandemic in the world showed that education in Ukraine will never be the same. Isolation turned out to be a big challenge for both teachers and students. This is explained primarily by a lack of theoretical knowledge and practical experience in providing distance learning. According to the EU recommendations, the education institution will work effectively if it provides the best use of digital technology for teaching and learning and develops teachers' and students' digital competences and skills. Educational technology tools include content management systems, language learning apps, podcasts, and electronic discussion boards. The features of free, open-source, cross-platform audio software Audacity are described in the study. The paper analyzes how a university teacher can record, edit and export in MP3 format the language learning podcast through Audacity. To answer this question, we created 5 bilingual grammar podcasts based on the audio platform. The designed podcasts can be used as learning activities outside the class with the university students. The obtained results showed that even a beginner in the sphere of ICT can design a good-quality foreign language podcast. The difference between the scores in pre and post-test results suggest that self-designed podcasts can be used in teaching EFL to improve grammar skills. This study emphasizes the need for implementing ICT tools in the educational process to improve the quality of teaching and learning and to share the gained experience with the colleagues. Further research could determine the role of self-designed podcasts in an online language course for the students of technical universities.
INTERNET OF THINGS (IOT) BASED ADVANCED ONLINE EXAMINATION USING RASPBERRY PI

In this research we have proposed IOT based advanced Online examination using Raspberry pi for Alarm system and border security. With the event of recent education, considering the defect of current online exam system, a replacement projection of online exam system primarily based on Raspberry pi IOT is projected, and also the key implementation techniques and ways also are represented. Internet of Things (IOT) has provided a promising chance to make powerful Examination systems and applications by leverage the growing omnipresence of wireless, RFID mobile and detector devices. a large vary of IOT applications are developed in recent years. In a shot to grasp the event of IOT in on-line examination, here we tend to propose this analysis of IOT, IOT key facultative technologies, major IOT applications in on-line examination and identifies analysis trends and challenges. Here we tend to introduce all the examiner details square measure holds on within the server. Then if somebody needs to starts on-line examination, 1st they ought to apply face recognition (in Open CV based) technique. as a result of it slow unwanted person conjointly enter to Wright the examination, thus this can be the simplest thanks to known any culprits square measure found or not. Then examination enter to Wright the exam, here conjointly I am apply some security. Currently a day’s already queries square measure hold on within the on-line or any paper written copy.
COMPARISON OF MACHINE LEARNING CLASSIFICATION ALGORITHM ON HOTEL REVIEW SENTIMENT ANALYSIS (CASE STUDY: LUMINOR HOTEL PECENONGAN)

Analysis of hotel review sentiment is very helpful to be used as a benchmark or reference for making hotel business decisions today. However, all the review information obtained must be processed first by using an algorithm. The purpose of this study is to compare the Classification Algorithm of Machine Learning to obtain information that has a better level of accuracy in the analysis of hotel reviews. The algorithm that will be used is k-NN (k-Nearest Neighbor) and NB (Naive Bayes). After doing the calculation, the following accuracy level is obtained: k-NN of 60,50% with an AUC value of 0.632 and NB of 85,25% with an AUC value of 0.658. These results can be determined by the right algorithm to assist in making accurate decisions by business people in the analysis of hotel reviews using the NB Algorithm.
Classification-Based Anomaly Detection for General Data

Anomaly detection, finding patterns that substantially deviate from those seen previously, is one of the fundamental problems of artificial intelligence. Recently, classification-based methods were shown to achieve superior results on this task. In this work, we present a unifying view and propose an open-set method, GOAD, to relax current generalization assumptions. Furthermore, we extend the applicability of transformation-based methods to non-image data using random affine transformations. Our method is shown to obtain state-of-the-art accuracy and is applicable to broad data types. The strong performance of our method is extensively validated on multiple datasets from different domains.
ДОСЛІДЖЕННЯ МОТИВАЦІЙНО-ПОТРЕБОВОЇ СФЕРИ ОСОБИСТОСТІ, ЩО ПЕРЕБУВАЄ У ПРОЦЕСІ ПОШУКУ РОБОТИ

&#x0D; &#x0D; &#x0D; The article presents the results of the study of the structure of personal activity motivation in the process of finding a job, highlights the main components that influence motivation and allow you to identify the motives that motivate a person to find a job. Using the factor analysis method, it is shown that the motivation of jobseekers in different types of employment has a multidimensional structure, the five most important factors were identified and analyzed, an attempt was made to determine the system of relevant key factors, psychological components and the structure of their relationships, external and internal conditions that promote or interfere with motivational processes.&#x0D; &#x0D; &#x0D;
Out for coffee: with Rob

Abstract I have known Rob van Glabbeek as a colleague for 16 years, of which eight years were in the same research group. However, this only amounts to less than half of his professional life which started in the mid-1980s at the Centrum voor Wiskunde en Informatica in Amsterdam. In this article, I am trying to piece together the information I got from colleagues as well as from Rob himself—to the best of my recollection—to give an insight into Rob as a colleague, researcher, and person.
Simulated design of hydraulic systems for fishing deck machinery hydraulic type with FluidSIM® software

Indonesia is an archipelagic country with territorial waters reaching three-quarters of the entire field. Water is a means of connecting between islands and is a source of abundant marine and fishery wealth. To be capable of traversing, exploring and utilising water as a means of transportation and fisheries production in Indonesia, vessels that have fishing deck machinery are needed to increase the effectiveness of operations. The current problem is the high price of fishing deck machinery because they still have to be imported and the maintenance costs are expensive, while the existing local products need to improve quality. The quality of a product, one of which is determined by design factors. The article discusses the simulated design of hydraulic systems for fishing deck machinery hydraulic type with FluidSIM® software. The design simulation aims to get a reference analysis model. The method applied in this study is to simulate the design and calculation results using the FluidSIM® software. Based on the results of calculations, the hydraulic system parameters that are capable of lifting arm and boom fishing deck machinery hydraulic type. The outcomes of the simulation show that the hydraulic system parameters can serve adequately.
Formal Verification of Solidity contracts in Event-B

Smart contracts are the artifact of the blockchain that provide immutable and verifiable specifications of physical transactions. Solidity is a domain-specific programming language with the purpose of defining smart contracts. It aims at reducing the transaction costs occasioned by the execution of contracts on the distributed ledgers such as the Ethereum. However, Solidity contracts need to adhere safety and security requirements that require formal verification and certification. This paper proposes a method to meet such requirements by translating Solidity contracts to Event-B models, supporting certification. To that purpose, we define a restrained Solidity subset and a transfer function which translates Solidity contracts to Event-B models. Then we take advantage of Event-B method capabilities to refine models at different levels of abstraction to verify Solidity contracts' properties. And we can verify the generated proof obligations of the Event-B model with the help of the Rodin platform.
REVIEW OF TASK SCHEDULING METHODS FOR REAL TIME TASKS IN CLOUD ENVIRONMENT

Cloud Computing is a type of Internet model that enables convenient, on-demand resources that can be used rapidly and with minimum effort. Cloud Computing can be IaaS, PaaS or SaaS. Scheduling of these tasks is important so that resources can be utilized efficiently with minimum time which in turn gives better performance. Real time tasks require dynamic scheduling as tasks cannot be known in advance as in static scheduling approach. There are different task scheduling algorithms that can be utilized to increase the performance in real time and performing these on virtual machines can prove to be useful. Here a review of various task scheduling algorithms is done which can be used to perform the task and allocate resources so that performance can be increased.
A Novel Approach for Copy-move Forgery Detection using Bilateral Filtering

Digital image processing methods have a wide area of usage and their complexity is increasing, as well as the tampering methods. A widely used tampering method is copy-move forgery. In this study, a hybrid method combining the DCT and Bilateral filtering is developed. In this method, first overlapping blocks are obtained from the input image. Then, bilateral filtering and DCT of these blocks are multiplied to obtain the refined block features. The block features are scanned by a zig-zag process followed by a lexicographic sorting. Finally, a similarity detection by a predetermined threshold parameter is applied to detect the forgery. Both visual and quantitative results demonstrated that the proposed method can determine the copy-move forgery regions.
VOLUNTARY COMMUNITY DEVELOPMENT ACTIVITIES DONE BY THE ELDERLY TRANSCEND THE ELEMENTARY SCHOOL DISTRICT WHERE THEY LIVE

This paper has clarified the following based on the questionnaire analysis from the specifications of voluntary community development activities that elderly people do not perform in turns in the primary school district where they live and those activities they participate in beyond that district boundaries.
Algebraic polygraphs modulo and linear rewriting

Convergent rewriting systems on algebraic structures give methods to prove coherence results and compute homological invariants of these structures. These methods are based on higher-dimensional extensions of the critical pair lemma that characterizes local confluence from confluence of critical pairs. The analysis of local confluence of rewriting systems on algebraic structures, such as groups or linear algebras, is complicated because of the underlying algebraic axioms, and local confluence properties require additional termination conditions. This article introduces the structure of algebraic polygraph modulo that formalizes the interaction between the rules of the rewriting system and the inherent algebraic axioms, and we show a critical pair lemma for algebraic polygraphs. We deduce from this result a critical pair lemma for rewriting systems on algebraic structures specified by rewriting systems convergent modulo associativity and commutativity axioms. As an illustration, we explicit our constructions on linear rewriting systems.
A Power Analysis Attack Countermeasure Based on Random Data Path Execution For CGRA

Side-channel Attack, such as simple power analysis and differential power analysis (DPA), is an efficient method to gather the key, which challenges the security of crypto chips. Side-channel Attack logs the power trace of the crypto chip and speculates the key by statistical analysis. To reduce the threat of power analysis attack, an innovative method based on random execution and register randomization is proposed in this paper. In order to enhance ability against DPA, the method disorders the correspondence between power trace and operands by scrambling the data execution sequence randomly and dynamically and randomize the data operation path to randomize the registers that store intermediate data. Experiments and verification are done on the Sakura-G FPGA platform. The results show that the key is not revealed after even 2 million power traces by adopting the proposed method and only 7.23% slices overhead and 3.4% throughput rate cost is introduced. Compared to unprotected chip, it increases more than 4000× measure to disclosure.
University Interaction with Regional Subjects in the Assessments of the Faculty

The article was prepared on the basis of a field study implemented at Udmurt State University as a part of the research project “Transitive University in the Face of Global, National, and Regional Challenges”. The article considers the results of a survey related to the assessment by the teaching staff of the ways of interacting with regional subjects of the social order. 75% of respondents acknowledge the risks associated with educational and labor migration of young people from the Udmurt Republic. Professors mainly form competencies within the framework of the regular educational process: they select the topics of students’ term papers and graduate work in accordance with the needs of the region, take into account the needs of the labor market in the content of classes, participate in the organization of practices and help students to find employment in the regional labor market. According to professors, the most important role of the university is to participate in the development of the region along with large organizations and branches of government. A cooperative approach prevails, in which the university plays the role of a partner, not a driver. Professors rated the interaction of the university administration with state authorities of the Udmurt Republic as satisfactory – the average score was 3.1 points out of 5. Prospects for the development of the university are seen by the professors in four directions: orientation to the regional labor market, interaction with employers; scientific and innovative activities; digitalization and informatization of educational and administrative processes; development of international cooperation. Pessimism prevails in the responses of professors about the hopes for cooperation with authorities and business in the region, which requires a separate study, since it can be caused by a number of factors. As suggestions to the leadership of the university, the professors indicated: the need for more active interaction between the university administration and the leadership of the region and business, involving the university in regional projects, identifying the needs of the region and stimulating the leadership of institutions to form new directions in the scientific and educational sector, taking into account the prospects for the development of the republic. The study revealed two obvious facts. Firstly, professors are aware of the important role of the university and even support this idea as a strategic one. In other words, they show willingness. Secondly, professors, most likely, expect the initiative of active interaction with the labor market and regional authorities from the leadership of the university. In other words, they do not translate preparedness into action, awaiting action on the part of management.
From Equations to Distinctions: Two Interpretations of Effectful Computations

There are several ways to define program equivalence for functional programs with algebraic effects. We consider two complementing ways to specify behavioural equivalence. One way is to specify a set of axiomatic equations, and allow proof methods to show that two programs are equivalent. Another way is to specify an Eilenberg-Moore algebra, which generate tests that could distinguish programs. These two methods are said to complement each other if any two programs can be shown to be equivalent if and only if there is no test to distinguish them. In this paper, we study a generic method to formulate from a set of axiomatic equations an Eilenberg-Moore algebra which complements it. We will look at an additional condition which must be satisfied for this to work. We then apply this method to a handful of examples of effects, including probability and global store, and show they coincide with the usual algebras from the literature. We will moreover study whether or not it is possible to specify a set of unary Boolean modalities which could function as distinction-tests complementing the equational theory.
Adaptive Balanced Allocation for Peer Assessments

Peer assessments, in which people review the works of peers and have their own works reviewed by peers, are useful for assessing homework. In conventional peer assessment systems, works are usually allocated to people before the assessment begins; therefore, if people drop out (abandoning reviews) during an assessment period, an imbalance occurs between the number of works a person reviews and that of peers who have reviewed the work. When the total imbalance increases, some people who diligently complete reviews may suffer from a lack of reviews and be discouraged to participate in future peer assessments. Therefore, in this study, we adopt a new adaptive allocation approach in which people are allocated review works only when requested and propose an algorithm for allocating works to people, which reduces the total imbalance. To show the effectiveness of the proposed algorithm, we provide an upper bound of the total imbalance that the proposed algorithm yields. In addition, we extend the above algorithm to consider reviewing ability. The extended algorithm avoids the problem that only unskilled (or skilled) reviewers are allocated to a given work. We show the effectiveness of the proposed two algorithms compared to the existing algorithms through experiments using simulation data.
Multi-stage System for Preprocessing Mammograms

Breast image analysis is important for the detection and diagnosis of various diseases, but more specifically, breast cancer. The most popular and widely used screening tool is mammography. It gives a better result than other screening tools for breast image analysis. Mammograms are difficult to analyze because of noise, poor quality, artifacts, and the inclusion of pectoral muscle. The technique proposed in this paper has several stages for preprocessing mammograms. First, artifacts and the background are removed by changing the original image into a binary image using Otsu’s thresholding. The medio-lateral view of mammography images has two orientations: left or right. Orientation detection in the next step is important for pectoral muscle removal, which is done using the line segment method. Contrast is enhanced using contrast limited adaptive histogram equalization, and noise is reduced using a median filter. The proposed technique was applied to a publicly available dataset from the Mammographic Image Analysis Society, from which 322 images were analyzed, and performance parameters calculated. After calculations for accuracy, sensitivity, and specificity, the accuracy achieved was 94.62%, sensitivity achieved was 90.21%, and specificity was 97.20%.
Secure Data Storage in Cloud System Using Modern Cryptography

Cloud computing is the movement of enlisting computing services like organization servers, accumulating databases, arranging, programming examination over the Internet. Companies offering these computing services are known as cloud providers and typically charge for cloud computing services based on usage, similar to how you are billed for water or electricity at home. It enables the companies to consume a compute resource, such as a Virtual Machine (VM), storage or an application, as a utility—just like electricity—rather than building and maintaining large computing materials in the house. Though servers are greatly protected against unauthorized access, there are incidents where classified data stored on servers are accessed by the maintenance staffs. So, the security plays a major role in cloud storage as when the user stores the data in the cloud, it stays there and anybody accessing it cannot be known at all. Hence, this paper mainly deals with the idea of storing data securely in the cloud using Symmetric and Asymmetric Cryptography algorithms including AES, 3DES, Blowfish, RSA along with modern Steganography LSB algorithm for wireless communication which hides the key inside the cover image.
Research on the Construction and Application of Knowledge Graph in Military Domain

Abstract Construction of military domain knowledge graph is the foundation of military application intelligence development, current research hotspots and development situation of domain knowledge graph at home and abroad are introduced, application scenarios of military domain knowledge graph is given in the state of peacetime and wartime respectively, points out the problems needing attention and corresponding countermeasures in each life cycle.