Reviewerly/exHarmony huggingface dataset:
A categorical framework for congruence of applicative bisimilarity in  higher-order languages

Applicative bisimilarity is a coinductive characterisation of observational equivalence in call-by-name lambda-calculus, introduced by Abramsky (1990). Howe (1996) gave a direct proof that it is a congruence, and generalised the result to all languages complying with a suitable format. We propose a categorical framework for specifying operational semantics, in which we prove that (an abstract analogue of) applicative bisimilarity is automatically a congruence. Example instances include standard applicative bisimilarity in call-by-name, call-by-value, and call-by-name non-deterministic $\lambda$-calculus, and more generally all languages complying with a variant of Howe's format.
AN ERROR ANALYSIS OF RECOUNT TEXT TRANSLATION BY EFL PRE-SERVICE TEACHERS

This study aims to identify the errors and to describe the types of errors made by EFL Pre-service Teachers when translating recount texts from Indonesian to English. This research employed a qualitative descriptive method. The subject of this research is the 4th-semester student of the English Education Department, State Islamic University of North Sumatera. This research uses random sampling. The researcher only took data from 2 representatives from each class. The data were taken from translation tests and documentation. Based on the data, it is found that there are 38 and eleven types of errors made by the EFL Pre-service Teacher. The findings show that EFL Pre-service teachers make errors in terms of article error, plural noun error, punctuation error, phrase error, verb error, preposition error, misordering error, pronoun error, noun error, infinitive error, and spelling error. There is some process of the error occurred, namely: hesitates in using an appropriate article, doesn't pay much attention to grammar in the target language, misplaced punctuation, doesn't understand the rules of using the correct preposition and don't understand the use of pronouns in sentences. The causes of errors on EFL Pre-service Teachers in translating Recount Text are lack of motivation and Interlingual transfer/intralingual transfer.
IMPROVING STUDENT’S SPEAKING ABILITY BY USING SPYING METHOD AT THE EIGHTH GRADE OF MADINATUSSALAM FOUNDATION

- This study aims to improve students' speaking skills in English by using the spying method. The research was conducted on VIII grade students of Madinatussalam Sei Rattan Private Junior High School. Based on the results of class actions carried out in 2 cycles for Class VIII Private Madinatussalam students, it shows that the spying method is proven to be able to improve students' English speaking skills. Each cycle of activities, student learning outcomes have increased, where the percentage of student learning outcomes completeness in the first cycle is 62% while in the second cycle it increases to 91%. English on students.Keywords: Speaking Skills, English, Spying Method
A PERCEPTION CLASSIFICATION USING HYBRID FEATURE EXTRACTION

The estimation of product quality is more signicant during the purchasing of online products. Therefore, many opinion mining and sentiment classication methods were introduced to purchase the best products through online shopping. But, these classication methods haven't attained the effective product classication with best reviews and ratings. Several popular classication algorithms estimated along with three ltering Methods. Presented a hybrid technique to extract the product features. In this method, association rules and point-wise mutual information is combine. Large amount of features of products, not only to increase the time of computation but also to increase accuracy of classication. Optimize the amount of marketing funds spent on each customer, and just making a binary decision on whether to market to him. General Purpose Emotion Lexicons (GPELs) that associate with emotion categories remain a valuable resource for emotion analysis. Proposed a hybrid feature extraction method PCA (Principle Component Analysis) using lexicon-based method to classify and separate the products from the large set of different products depending on their features, best product ratings and positive reviews.
SEMANTIC ANALYSIS OF LONG ANSWERS

The inspiration for this research paper was the natural bias in university paper checking. When a paper is checked it is either checked by a professor who teaches the subject or someone who has no knowledge of the subject. When checked by the latter type, the answers cannot be appropriately marked unless obviously highlighted. This paper aims to check long answers without human intervention using artificial intelligence and regular expressions. It checks student or examinee written digital form answer by comparing it to an answer key which is to be provided by the exam host. The proposed methodology allows doing so by combining two techniques to get a faster and more accurate system to check long answers. The long answers will be evaluated by breaking them to simplest form of sentences and then encoding them to high density vectors using a Deep Averaging Network (DAN) to analyses the semantic similarity of the examinees answer to the provided answer key. This system does not look for only keywords in the content of the answer but looks at the sentence as a whole and if it evaluates similarly to the content in the answer key. This research relies on the availability of an answer key to check answers and does not check the relevance of content written by the examinee, meaning as long as examinee writes points mentioned in the answer key, he/she will be marked correct. This system of evaluation doesn't cut marks for wrong point (meaning no negative marking).
On-Line FPGA Hardware in the Loop Validation of Based Fuzzy-STPWM Induction Motor Control

This work is part of the study and implementation of a fuzzy PWM control structure (fuzzy pulse width modulation) of an induction machine (MAS) on a circuit-based platform reconfigurable FPGA type. We first presented a strategy for the hardware implementation of a fuzzy inference system on a programmable logic circuit of FPGA type, through the hardware description language (VHDL) and Xilinx generator system (XSG). Secondly we proposed Fuzzy-PWM architecture for the improvement of response time of an asynchronous machine (MAS) and finally we validate the proposed hardware co-simulation architecture in real time on the ML402 development kit (based on FPGA Xilinx Virtex-4) and Simulink / Matlab.
Design of IoT Health Pension Scheme Based on Physiological and Behavioral Indicators for Elderly

In recent years, the health and safety problems of the elderly increase continuously, coupled with the age of information technology, the elderly are difficult to adapt to the society, so the use of modern Internet technology to protect the health and personal safety of the elderly, has become a top priority. Therefore, this paper, based on the Internet of Things technology, mainly monitors the elderly’s indoor behavior, supplemented by the monitoring of physiological indicators, outdoor behavioral trajectories and falls, proposes the Internet of Things health pension scheme design based on the physiological and behavioral indicators of the elderly. This scheme involved the minimum confidence interval solution strategy, according to the old people in different parts of the activity rate for the elderly indoor dwell time detection, and combined with travel anomaly detection algorithm, pulse wave signal analysis algorithm, fall detection algorithm and other algorithms, real-time monitoring of physiological indexes of elders trajectory data and behavior, the guardian and the hospital can check at any time, once the old man has an accident. The system will send abnormal information to the monitoring system of WeChat mini program guardian and community hospital in time, and the corresponding personnel will immediately take treatment measures to ensure the health and safety of the elderly. This system combines the health and safety problems of the elderly to consider the possible accidents, from monitoring, prevention and treatment, the elderly, children and the hospital are closely linked together, to ensure the health and safety of the elderly to provide a comprehensive solution.
A Simulation Tool to Provide Alternative Products in Out-of-Stock Situations for B2B Companies

With the rise of online sales and services dedicated to advertising aimed at the profiles of online users, companies selling general products need to adapt their business rules to improve sales strategies. In this paper, we present a simulation tool to support business decision-making, and improve the efficiency of an e-commerce system. It allows testing different sales strategies within the context of Business-to-Business models which focuses on the purchase and sale of non-strategic products. The idea is to provide the client&#x0027;s company with different alternative products when the desired product is out-of-stock. We propose and implement in our simulation tool, three recommendation algorithms, based on sales parameters such as the price and the popularity of products and the similarity between the recommended product and the one out-of-stock. The proposed algorithms are tested with real datasets, which allows evaluating the performance of the recommendation algorithms and their effectiveness.
An Intelligent Digital Learning Platform to Enhance Digital Health Literacy

Nowadays spreading of COVID-19, people are more at home and less physi-cally active in the long run, which may affect their health. Moreover, cur-rently, there are many facilities that make human life more comfortable. Various technologies are being used to assist with daily activities. Including the perception of news has changed to the perception of news through the Internet. For this reason, this research has been working about intelligent digital learning platform to enhance digital health literacy, the research objec-tives are as follows. 1) synthesize documents and international research of intelligent digital learning platform to enhance digital health literacy 2) design an intelligent digital learning platform to enhance digital health literacy 3) as-sess the suitability of intelligent digital learning platform to enhance digital health literacy. Will use ten experts as assessors. Those ten peoples are divid-ed into five computer engineering technology experts and five medical technology experts who have more than five years of related experience. The research instruments were a suitability assessment form for in-telligent digital learning platform to enhance digital health literacy. The re-sults of this research found that the intelligent digital learning platform to enhance digital health literacy, was developed and it was appropriate.
A sociedade 5.0 e as transformações na educação / Society 5.0 and transformations in education

The fourth Industrial Revolution was defined by Schwab as a new production model in which machines, tools and processes will be connected to the internet through cyberphysical systems, interacting with each other and with the ability to operate, make decisions and correct themselves practically autonomous way.Society 5.0 is the concept that emerges after Industry 4.0.It seeks to position the human being as the center of innovation and technological transformation, while Industry 4.0 is focused on manufacturing and product (DAVIES, 2018).In this context, the question arises: What are the impacts of Society 5.0 on distance education in the Brazilian context?To this end, the objective is to: Assess the impacts that Society 5.0 may generate in EAD.Methodologically, this research will be classified as applied, with a quantitative and qualitative approach.Using exploratory and descriptive research on the topic, bibliographic research, questionnaire application and semi-structured interview.It is necessary to rethink changes in the educational curriculum, but also changes in didactic material and in the teaching and learning process.Specifically, we need to learn from the example of other countries in the development of responsible innovation, in which it requires and creates conditions for the transformation of higher education and education systems in general.
Process Design

Software processes help managers stay in control of software development in organizations. One of their functions is to establish a productive distribution of power among the stakeholders, which naturally reflects the priorities of management. It exposes the processes to political behavior because power is always a controversial topic. In general, software processes have a lot to do with power and politics. In this chapter, we have a closer look at the relationship and the role stakeholders play in it.
Introducing RDA: a guide to the basics after 3R, 2nd ed.

"Introducing RDA: a guide to the basics after 3R, 2nd ed.." Journal of the Australian Library and Information Association, 71(1), p. 115
Reviewer Thank-you List 2021

We present an axiomatic model of a process wherein likelihoods of eventualities are compared based on data. One eventuality is perceived as more likely than another whenever the data corroborates this conclusion. However, the correct relevance of records to the eventualities under consideration may be impossible to ascertain with any degree of surety due to multiple interpretations of the data, formalized by allowing the evaluator to entertain multiple weighting functions. The evaluator ranks one eventuality as more likely than another whenever its total weight over the entire database is higher, according to all relevance-weighting functions. Otherwise, the comparison is indecisive.
Research on The Development of China’s Public Library Service System Based on Knowledge Mapping

By means of quantitative research, this paper counts the relevant papers of public library service system in China Knowledge Network (CNKI), and analyzes its research hotspot and development trend. The papers related to public library service system were retrieved from CNKI database under the theme of “public library” and “service system”. After data cleaning, the visual bibliometric software CiteSpace V was used to select the clustering module index and the clustering contour value to reach the credible clusters and draw the knowledge map. The research hotspots of public library service system were analyzed by high-frequency keywords, and the strong and weak frontier topics in this field were quantitatively analyzed by the burst words table, which provides scientific reference for library academic research.
Game-based Learning Increase Japanese Language Learning through Video Game

This research was purposed to test the effectiveness of learning the Japanese language through a video game. the video game is built for Personal Computer (PC) users to provide Japanese Language education through video games for teens and adults. The research methods used include literature studies of various books, journals, websites, and theories that can support the writing as well as defining the questions for questionnaires to collect useful data. The development of game application methodology used is Game-Based Learning with Enhanced Learning Experience and Knowledge Transfer (ELEKTRA) methodology, which consists of in-depth analysis of the target audience and learning materials. the effectiveness of video games are evaluated using pre-test and post-test methods. From this researches can be seen that video games are effective to increase the users’ knowledge of the Japanese language. also, a video game has the capability to increase the user’s interest in learning Japanese because of the visual form of the learning process that leads the user to stay engaged with the learning process.
Acceleration Test of Amusement Facilities Based on Sensing Equipment

Based on many years of experience in the large-scale amusement equipment industry and the application of safety regulations, this article has carried out a detailed study and discussion on the realization method of the virtual prototype simulation software ADAMS to measure the human body acceleration and how to carry out the inertial G acceleration conversion after the measurement. The working principle of the wireless acceleration sensor measurement system is introduced. The acceleration analysis and discrimination software is developed based on GB8408-2008, and the acceleration test, analysis and discrimination engineering application of a roller coaster is carried out. The actual measurement results show that the method described in the article is correct and reliable, and can replace physical testing and increase the acceleration of the human body of amusement equipment by 7.3%.
Art Education At School: Quality Assessment And Search For Objective Criteria

The article reveals some findings of a study on a problem associated with developing objective criteria for evaluating the quality of general art education for basic and advanced learning of art and culture items. The article also contains an analytical review of existing methods to assess the quality of general art education (professional, fine art, problem development); shows the criteria for each of the approaches, and demonstrates their obvious advantages and some limitations. Based on the study conducted, the authors introduce optimum indicators for an objective assessment of the quality of education for schoolchildren grades 1 through 9 on such disciplines as “Music”, “Visual Arts”, “World Art Culture” in a modern secondary education school (such as intellect, creativity, communicability, etc.); describe the newly developed criteria to assess the quality of teaching art and culture-related disciplines (knowledge of the subject matter, methodological training and interaction with students and colleagues, creative approach to teaching and technical or artistic performance skills). The work outlines general, specific and additional criteria for assessing the quality of general art education system (educational esthetic environment in the school, participation in School Olympics on art and global art culture, presence of intra-school model of extracurricular activities on general culture education, etc.). The article draws conclusions on the necessity and possibility of assessing the education quality by a combination of three components – children’s education, teaching activities for art and culture-related disciplines, and organization of the entire general art education system in the modern-day school.
Theoretical and cognitive limits of sociality

This article analyzes sociality, its structure, functioning and self-development. Sociality as a set of essential human forces, values mastered by a person in the process of socialization, is an important spiritual resource of society. The authors of this work identify the limits of sociality, which include the theoretical and cognitive limits of spirituality associated with the boundaries of the existence of social space and time. Social time is destroyed when it turns out to be rigidly connected with the frozen contents and structures of material existence. Sociality is designed to be included in the future, provided that it does not break away from the latent, hidden content of the historical process.
Listening Twice to Bernhard Gander's "Peter Parker"

In this article, Axel Petri-Preis illustrates the format »2xHören« (»Listening Twice«) by means of the composition »Peter Parker« by Bernhard Gander, which is inspired by the movements of Spider-Man. Listening to the piece twice - the first time before, the second time after a conversation between pianist Joonas Ahonen, composer Bernhard Gander and Axel Petri-Preis as moderator, enables the audience to hear the piece with new ears the second time.
Linking Electronic Resources To Save Research Time

Sifting through the mix of print and electronic resources of today's hybrid academic libraries can be a daunting task.Although meant to make the process of finding information easier for users, today's electronic resources often make research more difficult and baffling for many.One way to address this problem is by merging commercial online databases with other electronic resources, and with the library's OPAC through a series of links and special features now available in most commercial databases.Although some large universities have the financial resources to afford such hot new linking services as Ex Libris's SFX or Endeavor's one-shot searching tool, Encompass, smaller academic libraries are often unable to afford such powerful utilities.That does not mean, however, that smaller academic libraries cannot still take advantage of some powerful linking technology.This paper will describe how the library at Rose-Hulman Institute of Technology, a small engineering and science college, utilized some of these features to link two full text databases to the library OPAC and directly to electronic journals.By adding MARC records containing links for each of the full text titles of each database into the OPAC, a loop can be created, whereby a non-full text search result in
Creating A Comprehensive Women In Engineering Organization Using A Managed Resource Strategy

According to Margaret Mead, "A small group of thoughtful committed citizens can change the world."This paper describes such a "group" consisting of engineering college professors, administrators, and students who together create a dynamic organization aimed at increasing the representation of women within the engineering workforce.Although women serve as the target
Who Are Like-Minded: Mining User Interest Similarity in Online Social Networks

In this paper, we mine and learn to predict how similar a pair of users’ interests towards videos are, based on demographic, social and interest information of these users. We use the video access patterns of active users as ground truth. We adopt tag-based user profiling to establish this ground truth. We then show the effectiveness of the different features, and their combinations and derivatives, in predicting user interest similarity, based on different machine-learning methods for combining multiple features. We propose a hybrid tree-encoded linear model for combining the features, and show that it out-performs other linear and tree-based models. Our methods can be used to predict user interest similarity when the ground-truth is not available, e.g. for new users, or inactive users whose interests may have changed from old access data, and is useful for video recommendation.
An Invariant Pattern Based Approach To Develop Concurrent Programs

In recent years, the importance of concurrent programming has increased.However, many programmers are not appropriately trained to write correct and efficient concurrent programs.The techniques that most Operating Systems (OS) textbooks teach are ad-hoc, and such ad-hoc techniques are far too error-prone for solving complex synchronization problems.The global invariant approach developed by G. Andrews is much more formal and structured, and we have been teaching this approach since 1992 at Kansas State University.One possible drawback of the invariant approach is the difficulty to identify an appropriate invariant for a given synchronization requirement.To cope with this problem, we have developed a set of useful synchronization patterns and their solution invariants.Using the patterns, we can solve a wide-variety of synchronization problems found in many advanced OS textbooks.In Fall 2001, we successfully taught our pattern-based approach in our graduate-level OS course.In this paper, we will present our methodology and report qualitative and quantitative evaluation of the methodology by students in the classroom setting.