Reviewerly/exHarmony huggingface dataset:
Differentiable Inference of Temporal Logic Formulas

We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods. Legacy systems embed much expert knowledge which is not explicitly formalized. There is great interest in learning formal specifications that characterize the ideal behavior of such systems -- that is, formulas in temporal logic that are satisfied by the system's output signals. Such specifications can be used to better understand the system's behavior and improve design of its next iteration. Previous inference methods either assumed certain formula templates, or did a heuristic enumeration of all possible templates. This work proposes a neural network architecture that infers the formula structure via gradient descent, eliminating the need for imposing any specific templates. It combines learning of formula structure and parameters in one optimization. Through systematic comparison, we demonstrate that this method achieves similar or better mis-classification rates (MCR) than enumerative and lattice methods. We also observe that different formulas can achieve similar MCR, empirically demonstrating the under-determinism of the problem of temporal logic inference.
CASHLESS POLICY AND VELOCITY OF MONEY IN NIGERIA: A QUANTITATIVE APPROACH

Like most other developing economies, the banking sector in Nigeria had been operating an outdated conventional and quite problematic system for a very long time. In response, modern methods such as the cashless policy and E-banking have been adopted in the country with some salient improvements. This research thus examines Nigeria’s cashless policy and money velocity covering the period from 2012 to 2020. The study’s specific goal is to look at the velocity of money in circulation and its positive and negative impacts on banking services in the country. The analysis relied on data from the CBN’s quarterly Statistical Bulletin. To examine the cashless policy and the velocity of money in Nigeria, we used the Ordinary Least Square model. The model specified captured the money velocity in the Nigerian economy. Variables used were, Velocity of Money (MVELC) as dependent variable and Cheque value (CQVAL), ATM value (ATMVAL), POS value (POSVAL), internet (WEB) value (WEBVAL), Mobile payment value (MPVAL) and NIBSS instant payment value (NIPVAL) were used as independent variables. According to the findings, factors under consideration have a short-run link with the velocity of money in Nigeria. The findings showed that Nigeria’s cashless policy has increased the velocity of money which in turn improves the level of investment in the economy without carrying bulk money at hand. Based on the result, we therefore recommend that government should put more efforts to gear up awareness programmes, make sure that providers of internet services provide frequent and steady internet services and ensure that offenders of cybercrime are prosecuted when caught. We also recommend that since the problems lie more with regulation and security as well as the manner offenders are handled in the society, the banks and their staff ought to be held more responsible for losing people’s money in their watch to internet fraudsters as it is their duty to provide secured system for E-banking. We therefore conclude that awareness programmes should be actively encouraged to attain cashless policy to achieve economic growth and developments..
Cloud Computing Task Scheduling Algorithms and Advances

In today's big data era, cloud computing has become an indispensable part of people's production and life. Cloud computing is a pay-as-you-go service approach, which is responsible for integrating various resources for users in need. However, with the exponential growth of users and data volume in recent years, the cloud platform is facing great challenges in terms of storage, computing power and network I/O. The problem of reasonable scheduling and allocation of tasks has an important impact on the performance of cloud computing. This paper describes the cloud platform and its scheduling problem in detail, lists its development of task scheduling problem in recent years, explains its advantages and disadvantages, and summarizes and outlooks its future development.
MOTIVASI BELAJAR SISWA TERHADAP PEMBELAJARAN DARING:STUDY KASUS DI SISWA KELAS 6 C SD NEGERI 01 BUANTAN LESTARI

This study aims to explain in detail how the objective conditions of motivation experienced by students in online learning during the Covid-19 pandemic. This study uses a qualitative approach with the observation method. The research was conducted at SDN 01 Buantan Lestari, Bungaraya Subdistrict, Siak Regency, involving 24 students of grade 6 C. The data collection techniques in this study used observation sheets. The data analysis technique used in this study is to calculate the percentage of data from each indicator, then interpret the data presentation score and analyze each indicator in depth. The results of this study indicate that the student's learning motivation is obtained from the percentage score of the motivation which amounts to. This research is expected to be an evaluation of various parties in organizing online learning at SDN 01 Buantan Lestari, especially those involving motivation in it, this research is also expected to be research material for other researchers in analyzing and developing student learning motivation in online learning during emergencies in elementary schools.
The Use of Social Media in Learning English Writing of Indonesian English Department Students

&lt;em&gt;Social media is a product of information and communication technology that is used by many people around the world, ranging from children to adults. Although not created specifically for educational purposes, social media has drawn the attention of some educators, especially in the field of teaching and learning English. The objectives of this research were to find out the types of social media used by English department students in the fourth semester of UINSI Samarinda and the use of social media in learning English writing. This research was conducted by using a descriptive-qualitative design. The researcher used questionnaires, interviews, and documentation as instruments to collect the data. The primary data in this research was obtained from questionnaires and interviews with the students who were active in using social media in learning English writing. Then, the secondary data contained recordings and documentation obtained from the students as the subjects of this research. The data analysis techniques used were data condensation, data display, conclusion drawing, and verification. To test the validity of the data, the researcher used the credibility technique with the source triangulation method. The result of this research showed that there were seven types of social media used by the students in learning English writing, namely social networking sites (SNS), blogs, micro-blog, wiki, social bookmarking websites, media sharing sites, and RSS (Really Simple Syndication). The students mostly used social media in learning English writing by using some provided features, especially which allow them to interact with their peers, such as personal chat, group chat, comment section, caption, description, story, and bio. Additionally, they also used some of these social media as learning sources to help them in developing their English writing skill.&lt;/em&gt;
Taking the Pain from the Hand of Radiologist: A Foot-based interaction to Scroll 2D Radiological Images

Radiologists typically explore thousands of 2D radiological images to analyze the lesions of the body. They use off-the-shelf-computer mouse to scroll these tons of images. Such prolonged computer mouse usage may cause various adversities on the wrist, such as carpal and cubital tunnel syndromes. One possible way to minimize such adversities is to reduce such intense use of the hand. We, in this regard, come up with a foot-based scrolling technique, which not only reduces the use of the hand in practice but also relaxes the hands for other critical technical uses. In this work, we present several foot-based interactive prototypes, including Joystick-based, Push-Button-based, and Force-Sensitive Resistor Sensor-based, which can be used to interact and scroll the 2D radiological images via feet. We conduct subjective evaluations in terms of system usability scale and average task completion time to assess the performance of the proposed prototypes. The proposed prototypes reach the general usability index within a limited acclimatization period.
Analysis of Indonesian Language Error in Writing Reports of Students' Learning Results of The Amanah Fitrah Rabbani Foundation Using The Sipebi Application

This study aims to describe Indonesian errors in student learning outcomes reports made by teachers at the Amanah Fitrah Rabbani Foundation in the even semester 2020/2021. This research is a qualitative research study with a descriptive approach in order to be able to describe language errors in depth. The data collection technique used in this research is the document technique. Sources of data used come from reports of student learning outcomes. The results of the student learning reports are entered into the Sipebi application developed by the Language Agency of the Ministry of Education and Culture for analysis. After that, the results of the Sipebi application were analyzed compared with the results of the analysis carried out manually in accordance with the applicable rules in the General Guidelines for Indonesian Spelling. Based on the results of the analysis and discussion of the data used, the first version of the Sipebi application still has many shortcomings that must be improved. It was because there were many kinds of language errors that it should have detected, but not detected. The types of errors that were not detected were non-standard words, bound forms, and conjunctions. For the results of the analysis of student learning outcomes written by the Amanah Fitrah Rabbani Foundation teacher, the most frequent language errors that occur are writing non-standard words, bound forms, and conjunctions.Keywords: Sipebi, application, Indonesian language error.
Conception and Implementation of a New “Organic Chemistry in English” Course System for the “Excellence Classes” within New Agricultural Sciences

Facing the challenges of first-class talent training within new agricultural sciences, the curriculum group has steadily promoted specific teaching practices, such as conceptual updates, fine design of the stages, module optimization of teaching contents, high-quality resource support, and comprehensive assessment on the basis of the early practice of "organic chemistry in English" teaching, and identified the need for a new system integrating an optimized feedback mechanism within a new teaching strategy.We have analyzed and improved the curricular contents proposing curriculum innovation prospects from three points of view: (i) helping students build a broad academic perspective by actively absorbing molecular nutrients in science and technology; (ii) improve teachers' knowledge and ability to make use of it in the classroom; (iii) build a three-dimensional curriculum map to further an individualized academic development of students.
LEARNING HOAX NEWS PADA LOCAL DAN CLOUD COMPUTING DEPLOYMENT MENGGUNAKAN GOOGLE APP ENGINE

Abstract. Hoax news is fake news that contains information that intentionally misleads people and has a specific political agenda. Along with the development of technological developments, the news is increasingly unclear whether the truth is only in accordance with facts or mere hoaxes. Based on this problem, hoax news is carried out, one of which uses a machine that can process news classification automatically. Machine learning is implemented using a framework called the Flask framework that can run on both on-premises servers and cloud computing. Local servers with computational limitations that are static in nature have problems running large computations on the hoax news classification system framework which is characterized by a predictable time schedule so that a distributed automatic-scaling computing system can handle cloud computing loads. Cloud computing offers compute load-sharing automatic scalability that can provide stable compute computing. So this research focuses on the application of the machine learning hoax news classification model into the framework of the machine learning deployment Platform as a Service (PaaS) model in Cloud computing called Google App Engine (GAE). The application of the hoax news classification system in the Google App Engine environment runs with an average prediction time of 11.53 seconds, better and more stable than the local server's average prediction of 17.50 seconds.
Asah skill: An approach skill-based learning platform with management and strategic planning process

Digital transformation in education improves entities by implementing significant changes in education by combining information technology, computing, communication, and coordination. This paper proposes improving education through a digital transformation through platforms, specifically online skills-based learning called ASAH Skill. The survey was conducted by collecting question data from Google Forms. By using the Problem Validation method and Primary Data, obtained Product Validation on Customer Needs (Survey) and Product Strategy (Affinity Diagram). It is a market-based validation as a guide for designing ASAH Skill products that meet the criteria and needs of Skill Providers and Seekers. The method considered consists of three steps, namely strategic situation analysis (SSA), strategy formulation (SF), and strategy implementation (SI). We have finally found what customers need to develop their skills during the isolation period of the covid-19 pandemic. The survey was conducted on 51 respondents. Strategic Implementation consists of Mockup, Business Model Canvas (BMC), and Problem Solution Fit Canvas. The biggest detention experienced by respondents was very limited mobility (82.4%). The survey also showed that most of the activities respondents did during the pandemic were exploring new things (37.3%). Video editing is the most learned skill during the pandemic (25.9%), and YouTube is the respondents' main choice as a medium for learning skills (43.1%). Overall, the results of the study show that dispensing and learning skills are a new need for society during a pandemic. The provision of a platform is a development opportunity as a forum for the dissemination and learning of skills. The highest priority is on the 'easy to use' attribute where all respondents give an importance rating of 5.
WEB-BASED GEOGRAPHIC INFORMATION SYSTEM OF BANTEN PIODALAN STORES MAPPING IN DENPASAR CITY

Banten is a medium used in Hindu religious ceremonies and also as a medium of prayer in getting closer to Ida Sang Hyang Widhi Wasa or God Almighty. Hindus are required to be able to know the meaning and method of making a banten, but along with the development of an increasingly modern era resulting in a high level of activity in big cities, one of which is Denpasar City, this underlies the tendency of people to prefer buying banten rather than making it. because of the limited time they have. This also underlies the development of a web-based mapping information system for banten piodalan stores in the city of Denpasar. The public will find it easy to find out the mapping of the locations of Banten shops in the city of Denpasar through the system. The system is also equipped with a marketplace feature that makes it easy for the public to make transactions to buy banten piodalan they want and those who want to make transactions in selling banten piodalan.
CREATION OF GENERALIZED MODEL OF EDUCATIONAL AND METHODOLOGICAL SUPPORT IN THE SYSTEM «REASONABLE ACT OF HIGHER EDUCATION» ON THE EXAMPLE OF SPECIALTY 193 «GEODESY AND LAND MANAGEMENT»

Now the trend of informatization and automation in various aspects of society is developing. Within the framework of this topic, an article was written highlighting the main ideas in the field of intellectual management of higher education institutions. Within the framework of this trend, models of system automation of constituent elements of management and functioning of higher education institutions in conceptual form are proposed. To do this, an analysis of the state of informatization of processes and phenomena in modern institutions of higher education. The main conceptual provisions of modeling of processes and phenomena of higher education institutions are offered in the work. Based on the analysis of the results of creating intelligent systems, which is called "smart objects", as well as the main trends in the construction and use of applied information technology in higher education, the idea of ​​creating a concept of modeling processes and phenomena in higher education. The main purpose of modeling is to combine the information technologies used in higher education and to create an intelligent information system "Smart Higher Education". Using the methods of aggregation and decomposition, the processes of functioning of a higher education institution are represented by a three-level system, in which information technologies of most types of support of the institution are distinguished. A generalized model of educational and methodological support has been developed. Using this model, an example of educational and methodological support of specialty 193 "Geodesy and Land Management" is presented. As a result, a semantic network was developed, built on the basis of models of disciplines of digital knowledge platforms of higher education. Such a network must meet the requirements of educational standards, in particular be isomorphic to the curriculum of the specialty and, ideally, have the property of transitive closure. And in the future the use of methods of decomposition and abstraction, as well as analysis of logical and heuristic models of knowledge representation led to the understanding that to formalize the functioning of higher education it is necessary to use topological formalities, including methods and representation of category theory. This mathematical apparatus will allow to abstract from insignificant and secondary elements of simulated objects and processes. Methods of system analysis, mathematical logic, heuristic methods were used to build models. The basis for formalizing the elements of the knowledge base of the intelligent system "Smart Institution of Higher Education" has been developed.
Care4Student: An Embedded Warning System for Preventing Abuse of Primary School Students

Child abuse is a social and medical problem that has negative effects on the individual development of the child and can lead to mental disorders such as depression and post-traumatic stress disorder in both short and long-term mental health. Therefore, any abuse that the child may encounter should be immediately intervened. This paper presents the design of an integrated embedded warning system that includes an embedded system module, a server-based module, and a mobile-based module as a solution to concerns of ensuring the safety of students in places where there are fewer safety measures. Our solution aims to ensure that the school management team is quickly informed about the adverse situation that primary school students may encounter and able to respond to them. In this context, this system activates the warning status when it correctly detects the phrases 'help me' and 'give it up'. Thus, any negativity that may be encountered in a closed environment is prevented. The embedded warning system detected correctly the phrase "help me" with 80%, and the phrase "give it up" with 75%.
An Efficient Image Steganography Scheme Using Bit-plane Slicing with Elliptic Curve Cryptography and Wavelet Transform

Information security is indispensable in the transmission of multimedia data. While accumulating and distributing such multimedia data, the access of data from a third person is the real security challenging issue. Information hiding plays an important role. Scramble the data before hiding it in carrier media gives enhanced security level for the data. In this paper, bit plane slicing is used to represent an input image with eight planes at bit-level instead of pixel-level. As the least significant bit contains noisy information, only the most significant bit plane can be used to represent an image. At the first level, an input image is processed through the spatial domain. Transform domain techniques are used to process the image at the middle level. Elliptic curve cryptography is used to scramble and descramble the MSB plane image. A logistic chaotic sequence of the input image is added to the most significant bit plane image to generate the final scrambled image. The discrete wavelet transform is used to embed the scrambled image in its high-frequency sub-bands. At the last level, a least significant bit technique, a spatial domain is used to embed the scrambled image in the carrier image. Message integrity is also verified by finding the hash of an input image. The performance of the proposed method is evaluated through various security measures. It gives good results as number of pixel change rate is closer to 100% and unified average changing intensity is 33.46.
PECULIARITIES OF THE INFLUENCE OF SYNCRETIC ART ON THE DEVELOPMENT OF CREATIVE THINKING OF PRIMARY SCHOOL STUDENTS

The article presents the peculiarities of the influence of the synthesis of art types on the main psychological barriers to creative thinking, which inhibit the process of developing creative thinking in children of primary education age. The scientific works of famous psychologists and teachers who worked on the development of creative thinking and the impact of various arts on it and the world’s practical achievements in this field are studied. The main features of syncretic art are outlined, in particular, its nature of origin, ability to influence the subconscious, perfect combination of sound, words, movement, music, emotion, action, image, colors in a single synergy. The issue of the impact of theatrical and cinematographic art on the development of the main four components of adult creative thinking is considered. The expediency of focusing on the organization of individual, not only collective theatrical types of work is revealed. The importance of forming healthy emotional and psychological connections in the system “child – child” and “child – teacher” in the application of elements of syncretic art in educational activities is described, as well as the role of such connections in the development of creative thinking of primary school children. The role of the introduction of syncretic art in the formation of a person of the future, who will be able to fully meet the requirements of society, is described. The article also describes the process of transferring images from cartoons or films by a 6–8-year-old child into real life, which is reflected in behavioral features, ways of self-expression, etc.&#x0D; Keywords: syncretic art; dramatization; theater; cinema; creative thinking; barriers to creativity; emotional and psychological connections; educational process; Elementary School.