Reviewerly/exHarmony huggingface dataset:
Using Educational And Non-Educational Video Games At English Lessons

The paper considers a relatively new type of polycode texts – computer games, the study of which seems not less relevant due to their high popularity among students and the active use of game methods and techniques in modern teaching practice. Along with films and songs, computer games form the content of the Polycode methodological complex, developed by Samokhin for use at English classes. Within this complex, the games are intended not so much for teaching and assessing knowledge as for methodological diversity and encouraging students at the end of a successful term or academic year. The authors proceed with classifying all video games used in the educational process into two large groups: educational and non-educational. The second group forms the basis of the proposed video game methodology, since these games are characterized by the dominance of the entertainment component over the educational one. However, an educator should consider their potential ineffectiveness in teaching grammar and the highly possible presence of violence, pornography, “toilet” humour and other factors incompatible with the requirements of pedagogical ethics. The authors advise English teachers to use video games not more than twice a year, which is due not only to the objective specifics of these programmes, but also to the peculiarities of their perception by the representatives of the older generation – parents and grandparents of today’s students.
Implementation of Huffman Algorithm on Digital Signature to Prove The Ownership Portable Document Format

Portable Document Format (PDF) is one type of file that is frequently exchanged over the internet.Proving ownership of PDF documents is important so that they are not used by irresponsible people.So that proof of ownership of PDF documents can be done, this research proposes applying digital signatures.Digital signatures are generally inserted in the body in the internal structure of the PDF.In this research try to insert a digital signature in the xref pdf section.Before the copying process is carried out, the Digital signature is compressed first with the Huffman algorithm to optimize data storage capacity in each xref line and the inserted data is not easily perceived.The experimental results in the study showed that the size of the digital signature data that had been compressed using the Huffman algorithm decreased by an average of around 16.25% compared to before it was compressed.Digital signature data entered in the xref section is not easily perceived and does not increase the size of the pdf file.
Data Science and Artificial Intelligence as Tools for the Practical Implementation of the Philosophy of Open Education

М.С. Аверков, А.А. Дерябин, А
Traduire un article de recherche français en suédois : Les challenges du style elliptique du français

The purpose of this essay is to investigate the translation stategies chosen by the translator when translating present and past participles in contracted sentences in a French scientific article i ...
Design of a mobile headache detection application with Naïve Bayes classifier method

Recently, many people still ignore the dangers of headaches and have not received yet the effective health care. This condition happens because the communities’ awareness are still low and lack of knowledge about the type of headache experienced. This study aims to detect type of headache early with the Naive Bayes Classifier on Android. The Naive Bayes Classifier method includes probabilities’ calculations in each class of all data (prior), probabilities’ features calculations (likelihood) and multiplying of those two probabilities. The highest multiplications values would become the result of detection. The features which were used in headache detection were classified into two, namely red flags and primary headache. The red flags feature would be detected in the first detection, and the primary headache would be detected in the second detection. In the testing process gave accuracy, sensitivity, and specificity at first detection all with 100% values. Whereas the second detection produced 96.67% accuracy, sensitivity of migraine class was 100%, sensitivity of cluster class was 80%, sensitivity of Tension-Type Headache (TTH) class was 100%, specificity of migraine class was 92.86%, specificity of cluster class was 100% and specificity of TTH class was 100%. The results of accuracy, sensitivity, and specificity in this study were proven that the application had a good performance.
Rancang Bangun Sistem Informasi Inventory Berbasis Client Server pada PT Arpan Bali Utama di Denpasar

PT Arpan Bali Utama as an industrial company must always be responsive to the company's needs, because the company's production supplies the existing inventory. In this study, the design of an inventory information system for stock opname and warehouse card activities at PT Arpan Bali Utama. The design of this inventory information system is intended to solve problems related to the management of stock opname data and warehouse cards, both in data input and in computerization of stock opname reports and warehouse cards. This system was developed using the Visual Basic for Applications (VBA) programming language and a database developed using the Microsoft Access 2016 application. The results obtained from this study are an inventory information system designed to assist accounting and warehouse departments in carrying out stock opname activities. data input, data search, and production of stock opname reports and warehouse cards. In addition, this system can also help the accounting department through warehouse cards to see the movements of goods in the warehouse.
Formalization of Dialogues with Cooperating Distributed Grammar Systems

Natural language dialogues are an integral and intuitive communication mode for humans. For the effective application of dialogues to human-robot interaction (HRI) we propose as an initial step to ...
A Next-Generation Smart Contract and Decentralized blockchain Platform: A case study on Ethiopia

The advancement of the internet in the business world leads to positive and negative services to the world population. Especially e-commerce plays a critical role in the present business industry. However, security is the most basic criterion for doing all internet transaction activities. Different types of E-commerce are using in the present business industry.  This paper presents the use of B2G E-commerce for smart contracts. This paper discriminates the difference between the traditional approach of contracts and smart contracts. Smart contracts are available in the business environment, but they are insecure. In this paper, new emerging blockchain technology is used for smart contracts. The use of bitcoin cryptocurrency is used for transaction purposes. Implementing the blockchain technology in smart contracts the process will make a faster, reliable, securable, and trust environment. Implementing the blockchain technology will improve the platform for the small scale contracts which can reduce the broker fees. All the transactions are openly visible and securable. The study convinces secure business transactions in a decentralized environment.
Logistically Supervised Aspect Category Detection Using Data Co-occurrence for Sentiment Analysis

Word of mouth (WoM) always had an impact on consumer decision making. Before making any purchase decision, family and friends are asked for advice and recommendations. With the advent of Web, wlectronic WoM (EWoM) came into being. One of the important forms of EWoM is product and service reviews. These reviews contain large amount of information, and so, reading these reviews one at a time is a tedious and time-consuming task. Therefore, summarization of reviews is desirable. This can be done by identifying the aspects in the reviews. Aspects are the specific topic that is being referred. The proposed approach is a hybrid of three methods for aspect category detection. The first method is based on co-occurrence between the indicators and categories, and the second method is based on logistic regression, used to predict the probability of a dependent variable based on one or more features. The third one based on Wu-Palmer similarity measure. Experimental results show a good performance of the proposed hybrid approach.
The Science of Society and the Concept of Complexity

This article is dedicated to the 30th anniversary of the publication of Niklas Luhmann’s book The Science of Society. The system-communicative approach to the analysis of science is reconstructed with a focus on the relation of science to its highly complex external world. The problem of complexity is posed as a key one and is considered in the context of the communicative “reduction of the complexity” of the external world, which science actualizes through its unique binary opposition (truth/falsehood distinction). The complexity of the world that science is facing disintegrates into two large areas. On the one hand, science processes its own external world, i.e., nature, society, the human psyche, as its object and thus fulfills a unique function, the pursuance of research. Scientific communication in this case can be integrated in the form of transdisciplinary studies. On the other hand, science has to respond to the complexity of the internal (i.e., social) external world of the communicative system of science, namely, to interfaced communicative systems of the embracing system of world society (politics, economy, religion, education, law, etc.). In the latter case, science does not fulfill a function but delivers achievements on request to the above-mentioned communicative systems in exchange for resources for interdisciplinary studies, which are occasional and cannot serve for integrating scientific communication on a systematic basis. We will propose some corrections to this theory and apply it to the situation in Russian science.
Cooking Movie Summarization Based on Recipe Images and Descriptions

We present a system for creating short summarized videos from longer cooking videos. These videos can be easily shared on social media to convey the required steps of a particular recipe. Typically creating such videos is time-consuming and requires video editing skills. Therefore, we propose a semi-automatic system using the information of an online recipe website, which contains both images and text descriptions. We first search for key frames in the video based on similarity images of each step in the recipe. For more accurate key frame matching, we use labels between objects in the video and the text description, as well as regions of interest defined by motion. Both user studies and qualitative experiments confirmed the usability and effectiveness of our proposed system.
Complex Analysis Electronic Course in Nomotex DLS

Information about the electronic course “Complex Analysis” created in the Digital Learning System NOMOTEX is presented. The analysis of the results of experimental teaching of students of the Bauman Moscow State Technical University on this course.
PrivFramework: A System for Configurable and Automated Privacy Policy Compliance

Today's massive scale of data collection coupled with recent surges of consumer data leaks has led to increased attention towards data privacy and related risks. Conventional data privacy protection systems focus on reducing custodial risk and lack features empowering data owners. As an end user there are limited options available to specify and enforce one's own privacy preferences over their data. To address these concerns we present PrivFramework, a user-configurable frame-work for automated privacy policy compliance. PrivFramework allows data owners to write powerful privacy policies to protect their data and automatically enforces these policies against analysis programs written in Python. Using static-analysis PrivFramework automatically checks authorized analysis programs for compliance to user-defined policies.
Context aware recommender systems - toward a context typology

The rise in volume of data and information from various sources requires effective information/data filtering to be closer to the user and best meet his/her needs. For this purpose, context-aware recommender systems that take into account the context of the user in their recommendation process, have been proposed. However, there is still no unique definition for context. In this article, we propose a typology of the user context for (context-aware) recommender systems, in order to overcome the shortcomings of the previous proposals and to answer a rather wide spectrum of application cases. Indeed, this typology is generic with great applicability. We also show how to use it, either in the phase of gathering contextual information, the modeling or the integration within a context-aware recommender system.
Systolic-CNN: An OpenCL-defined Scalable Run-time-flexible FPGA Accelerator Architecture for Accelerating Convolutional Neural Network Inference in Cloud/Edge Computing

This paper presents Systolic-CNN, an OpenCL-defined scalable, run-time-flexible FPGA accelerator architecture, optimized for accelerating the inference of various convolutional neural networks (CNNs) in multi-tenancy cloud/edge computing. The existing OpenCL-defined FPGA accelerators for CNN inference are insufficient due to limited flexibility for supporting multiple CNN models at run time and poor scalability resulting in underutilized FPGA resources and limited computational parallelism. Systolic-CNN adopts a highly pipelined and paralleled 1-D systolic array architecture, which efficiently explores both spatial and temporal parallelism for accelerating CNN inference on FPGAs. Systolic-CNN is highly scalable and parameterized, which can be easily adapted by users to achieve up to 100% utilization of the coarse-grained computation resources (i.e., DSP blocks) for a given FPGA. Systolic-CNN is also run-time-flexible in the context of multi-tenancy cloud/edge computing, which can be time-shared to accelerate a variety of CNN models at run time without the need of recompiling the FPGA kernel hardware nor reprogramming the FPGA. The experiment results based on an Intel Arria/Stratix 10 GX FPGA Development board show that the optimized single-precision implementation of Systolic-CNN can achieve an average inference latency of 7ms/2ms, 84ms/33ms, 202ms/73ms, 1615ms/873ms, and 900ms/498ms per image for accelerating AlexNet, ResNet-50, ResNet-152, RetinaNet, and Light-weight RetinaNet, respectively. Codes are available at https://github.com/PSCLab-ASU/Systolic-CNN.
Design android application to determine pneumonia levels based on Dempster Shafer method

Pneumonia is a respiratory disease with a high prevalence in Indonesia. Determination of pneumonia levels is done by radiology examination, physical examination and clinical history. If the determination of the level of pneumonia is not right, it will affect the treatment and subsequent treatment. The purpose of this study is to design an android application that can be used to determine pneumonia levels. The device was built using 9 input parameters in the form of standard inspection results for the diagnosis of this disease. The classification method uses the Dempster-Shafer algorithm which has been equipped with a belief value for each parameter. The device output consists of 2 classes, namely mild pneumonia or severe pneumonia. Through the device performance tests obtained sensitivity, specificity and accuracy of 85%, 94.29% and 90.90%.
Model of Disaster Information Cycle of West Java Television Journalists

Disaster information is an important factor in disaster management efforts, including in West Java. It helps officers and the community to immediately anticipate disasters that may occur. Journalists are among those who play a role in disseminating disaster information. This study aims to describe disaster information cycle model of West Java television journalists in obtaining and disseminating disaster information with the help of technology to increase the speed. This research applies a qualitative method, namely a case study to describe a usage model of disaster information seeking which is uniquely influenced by the developments in information technology. Data collection is carried out through observation, interviews, and documentation. This study finds that smartphone technology contributes to the dissemination of disaster information by television journalists through providing access to social media, online media, and information in group chats. There is an interrelated flow of information between journalists, television editors, local governments, officials and the community. Participation of public and journalists in obtaining and disseminating disaster information helps the government and officers to find out the real conditions of disaster locations and how to handle them.
ALGORITHM FOR FORMATION OF CONCEPTS WHEN TEACHING COURSES OF A HIGHER EDUCATIONAL INSTITUTION

This article discusses the possibility of the gradual formation of conceptual thinking of higher educational institution cadets. A methodological basis for description is the information approach. Skills of operating with concepts allow forming theoretical knowledge, which is the key to quality education. The proposed algorithm can be used at different stages of learning. The purpose of the research described in the article is based on the analysis of the existing approaches in the field of the formation of conceptual thinking to identify the functional and operational elements of activity. As part of the study, experiments were carried out to measure the level of learning using the concept formation algorithm.
ATITTUDE OF UNDERGRADUATE STUDENT’S TOWARDS ONLINE LEARNING DURING COVID-19 PANDEMIC

The current situation of COVID-19 pandemic in Indonesia has made all teachers and students work from home doing all the teaching and learning online. The study aims at examining the attitudes of the undergraduate students towards the online learning in which to some of the students are not accustomed to learning online. The study collected through a depth interview using Zoom application. The result show that the students tend to be bored learning from home. A number of the students prefer to have conventional teaching and learning activities. It is suggested that the teachers should vary the techniques when performing the online class.
PENERAPAN METODE BAYES DALAM MENGESTIMASI PREMI RISIKO PADA ASURANSI PENYAKIT KRITIS

The high number of critical illness cases and the rising medical cost affect the number of insurance claimed. It can be a problem for the insurance company in estimating future claim trend to decide the risk premium cost, so that we need a method to solve the problem which is called Empirical Bayes Credibility Theory (EBCT). Based on that information, the goal of this research is estimating the risk premium cost for critical illness cases using EBCT method. In this research, a large simulation of the expected claim data of critical illness policyholders is used, which are grouped by age and gender. In processing data by applying the EBCT method, the credibility factor is determined first, then the size of the risk premium can be estimated, with the calculation results obtained by a different estimate of the risk premium for each age group based on gender.
To Find Your Location: Secure and Practical Point Location Scheme

Abstract With the ubiquitous mobile devices and the advanced wireless communication, location-based service (LBS) helps people to enjoy a convenient lifestyle and has attracted numerous research interests. As a basic query process in LBS system, point location requires to find a region containing the query point. Since location belongs to sensitive information and also leads other private information leaked, it is urgent to design a secure and efficient point location scheme. In this paper, we propose a point location scheme named SecPL to protect sensitive information while supporting high efficient location query. Specifically, we introduce a LineTest scheme from asymmetric scalar-product-preserving encryption (ASPE) to facilitate the checking of whether a point lies above or below a line. Furthermore, the SecPL scheme is designed by leveraging LineTest and order-preserving encryption (OPE) scheme. Through detailed security analysis, we demonstrate that SecPL scheme achieves data privacy and query privacy at the same time. Finally, the performance evaluation demonstrates the high efficiency of the proposed SecPL scheme.
Entanglement-enhanced testing of multiple quantum hypotheses

We report entanglement-enhancement in multiple hypothesis testing beyond the binary case, with applications in spectroscopy, quantum reading and target finding. Practical receivers and entangled sources are given to realize the advantage.
Creating a Technology for Synthesizing Mechatronic Devices and VR Systems

This paper considers the implementation of a technology based on synthesizing a method for creating adaptive circuits for controlling mechatronic devices based on a VR-enabled treadmill equipped with special peripheral sensors. The method for making realistic VR terrain models is analyzed as a novel solution that uses an original device based on a mobile platform and featuring a two-DoF (degrees of freedom) hydraulically stabilized tripod that carries photogrammetry and laser scanning equipment. The core goal hereof is to create a method that would provide hardware and software integration to apply VR system parameters to the treadmill control circuit. The resulting synthesized treadmill-based mechatronic unit is positioned as an active complex system that, in addition to solving practical engineering problems, will also help research the user's psychophysiological interaction with a realistic VR while moving.
Incorporation of Anti-Corruption Digital Content into Engineering Education

Vocational education of a modern person is a comprehensive acquisition of knowledge not only in the field of a future specialty but also in the field of anti-corruption norms and rules that extend their effect to the field of activity of a future engineer. The requirements for the level and quality of modern vocational education determine the objectives of modern vocational education in professional educational institutions of higher education. The effective use in the educational process of the achievements of modern digital technologies in the study of non-core disciplines is a prerequisite for the formation of a professionally-oriented personality, with a high level of anti-corruption legal consciousness. The subject of the study was the capabilities of modern technical means for transmitting the studied information of anti-corruption content to the student, the prospects for the development of their use in studying the provisions of the legislation on anti-corruption regulation in the Russian Federation. The method of this study was – the analysis of the modern digital environment of the educational process.
Fully structured proof theory for intuitionistic modal logics

We present a labelled sequent system and a nested sequent system for intuitionistic modal logics equipped with two relation symbols, one for the accessibility relation associated with the Kripke semantics for modal logics and one for the preorder relation associated with the Kripke semantics for intuitionistic logic. Both systems are in close correspondence with the bi-relational Kripke semantics for intuitionistic modal logic.