Reviewerly/exHarmony huggingface dataset:
Penerapan Algoritma C4.5 Pada Imbalanced Dataset Untuk Memprediksi Kegagalan Angsuran Properti

In this research, the data collection carried out by studying the patterns of consumers who fail to pay, which aimed to build a model so that it could be used in predicting customers who have the potential to fail to pay. The research used the Cross-Industry Standard Process for Data Mining (CRISP-DM) method with details of the business understanding process, data understanding, data preparation, modeling, evaluation and deployment / interpretation. The dataset in this research was taken from sales, cancellation and consumer data from January 2016 to December 2019. Because the dataset in this research was an imbalanced dataset, the researchers tried to use Synthetic Minority Oversampling Technique (SMOTE) in handling the imbalanced dataset. The research conducted a comparison of the value of accuracy, precision, recall, f measure and Area Under the ROC Curve (AUC) between the original dataset and the dataset for the addition of the SMOTE technique to several algorithms including C4.5, K-NN and Naïve Bayes. The attributes used in this research were source of funds, purpose of purchase, age, selling price, occupation, total installments, percentage of total installments, monthly installments, percentage of late installments and status. From the comparison, it was found that the C4.5 algorithm with the SMOTE 480% dataset had the highest accuracy value of 97.62%, precision of 0.976, recall of 0.976, f measure of 0.976 and AUC of 0.986 which meant Excellent Classification. From the research conducted, it was expected that the model formed on the imbalanced dataset with the C4.5 and SMOTE algorithms could be used to predict consumer installment failures.
ENHANCING EFL LEARNERS’ SPEAKING SKILLS THROUGH THE AUDIO-LINGUAL METHOD

The teaching method is one of the contributing factors to successful English language learning. The appropriate use of a teaching method is one of the ways to enhance learners’ speaking skills. The present study aims at reviewing the use of the Audio-Lingual Method (ALM), one of the teaching methods to enhance EFL learners’ speaking skills. The present study employs library research to delineate the use of ALM to enhance learners' mastery of speaking skills. The data were obtained from documentation study and previous research findings and further analyzed qualitatively. Therefore, it reviews the brief of ALM, the purposes of ALM. Moreover, it scrutinizes the strategies used in ALM, the benefits of using and the implication of using ALM in classroom teaching. Finally, some important points on the use of ALM are highlighted in the conclusion part.
The Application of Formative Assessment to Primary School English Teaching

With the deepening of the new curriculum reform, the pursuit of the quality of primary school English classroom &#x0D; teaching is the teaching goal of every English teacher. In order to improve the quality of English teaching, teachers not only need to &#x0D; innovate teaching methods and change teaching concepts, but also need to attach great importance to effective teaching evaluation. &#x0D; Teaching evaluation is an indispensable part of teaching activities, and a scientific evaluation system is a powerful guarantee &#x0D; for achieving teaching goals. This article mainly introduces the application of formative evaluation in primary school English &#x0D; teaching, the significance of formative evaluation and the problems that should be paid attention to in the application process, so as &#x0D; to help primary school English teachers fully understand and use formative evaluation to evaluate primary school students. English &#x0D; learning stimulates students' interest in learning English and improves the level of English teaching in primary schools.
Eight Javanese teaching issues and its possible solutions: A systematic literature review

Previous research to diagnose problems in Javanese language teaching was not well organized. As a result, there was no adequate formulation of recommendations for educational policies. This research was conducted to overcome this weakness. Thus the objectives of this research were: (a) to reveal trends in Javanese language teaching problems in the last 10 years, (b) to explain the causes of these problems, and (c) to develop recommendations for solving the problems. Using literature review design, this research examines 32 empirical studies on the problem of teaching Javanese. The literature that meets the criteria is analyzed thematically-qualitatively. The findings of this research reveal three categories of problems, namely: managerial, individual-social, and instructional. By tracing the sequences, the causes of the series of trouble are the managerial problem, such as curriculum design, teacher competencies, and the quality of teaching materials. Curriculum design issues, for example, affect minimum standards of achievement. Likewise, the problem of teacher competence affects the use of methods and media selection, which has an impact on motivation, attention, and learning achievement. This prevalence occurred in almost all research locations (Central Java, Special Region of Yogyakarta, and East Java). Especially in Central Java and East Java, individual-social issues are also very influential concerning students' dialect, culture, and ethnicity. In conclusion, complexity of Javanese teaching issues in the last 10 years come from managerial aspect. As part of the conclusion, this research presents academic contribution for scholars and stakeholders by proposing four eligible recommendations related to the development of teacher competencies and the granting of authority to developers of teaching materials (and curriculum) at a lower level.
Inquisitive logic as an epistemic logic of knowing how

In this paper, we present an alternative interpretation of propositional inquisitive logic as an epistemic logic of knowing how. In our setting, an inquisitive logic formula $\alpha$ being supported by a state is formalized as "knowing how to resolve $\alpha$" (more colloquially, "knowing how $\alpha$ is true") holds on the S5 epistemic model corresponding to the state. Based on this epistemic interpretation, we use a dynamic epistemic logic with both know-how and know-that operators to capture the epistemic information behind the innocent-looking connectives in inquisitive logic. We show that the set of valid know-how formulas corresponds precisely to the inquisitive logic. The main result is a complete axiomatization with intuitive axioms using the full dynamic epistemic language. Moreover, we show that the know-how operator and the dynamic operator can both be eliminated without changing the expressivity over models, which is consistent with the modal translation of inquisitive logic existing in the literature. We hope our framework can give an intuitive alternative interpretation of various concepts and technical results in inquisitive logic, and also provide a powerful and flexible tool to do inquisitive reasoning in an epistemic context.
The Effect of Transition Granularity in the Model Checking of Reactive Systems

The Theta model checking framework offers the eXtended Symbolic Transition System (XSTS) formalism as a target language for the transformation of high-level models to verify.In XSTS, multiple symbolic transitions can be defined by imperative and declarative statements.The language is flexible enough to offer a broad variety of expressing the semantics of high-level models (e.g., statecharts).Two extremes are i) encoding every (possibly non-deterministic) atomic behavior of the highlevel model into a single transition (big steps with only stable states) or ii) modeling the control flow of the computation of the next state (small steps with transient states).Experience shows that big steps are efficient in reducing the state space but sometimes yield transitions that are too complex to handle.Furthermore, internal non-determinism in "big-step" transitions is hard to back-annotate from a counterexample to the highlevel model.We examine the effect of transition granularity on model checking by applying a post-processing step that can split "big-step" transitions.
Relevant CommonSense Subgraphs for “What if...” Procedural Reasoning

We study the challenge of learning causal reasoning over procedural text to answer "What if..." questions when external commonsense knowledge is required.We propose a novel multi-hop graph reasoning model to 1) efficiently extract a commonsense subgraph with the most relevant information from a large knowledge graph; 2) predict the causal answer by reasoning over the representations obtained from the commonsense subgraph and the contextual interactions between the questions and context.We evaluate our model on WIQA benchmark and achieve state-of-the-art performance compared to the recent models.
The Buton Sultanate Fortresses in Eastern Indonesia: A Trace of the Sultanate's Military Supremacy

Archaeological remains in the form of fortresses are found in Southeast Celebes. These forts are spread across the islands. The existence of these forts cannot be separated from the narrative of the Buton Sultanate in Southeast Celebes. The fortresses are located in the Barata territory of the Buton Sultanate. These fortresses marked the military triumph of the Buton Sultanate as a maritime empire in the eastern Indonesia archipelago. However, in the historiography of Indonesia, the Buton Sultanate is not recorded as one of the major maritime powers in eastern Indonesia. This research aimed to detail the existence of the fortresses of the Buton Sultanate to demonstrate their significance using an archaeological and historiography approach. These fortresses are evidence of the supremacy of the maritime power of the Buton Sultanate in the archipelago. In revealing the traces of its military supremacy, this research demonstrates the significance of the Buton Sultanate as a maritime empire.&#x0D; Keywords: fortresses, Buton Sultanate, military, maritime
A Design of Patient Registration Apps using Flutter, Laravel and, Vue JS

The creation of mobile applications needs a more systematic and complicated technical methodology.Currently, Android and iOS are the two most popular smartphone platforms.As a result, presenting programs that can be utilized on both platforms is one of the priorities for developers.Furthermore, developers must keep in mind that not all target customers own and use smartphones.Consequently, the adoption of mobile applications to the market needs a website as a backup service and operational support for the mobile application.The development was carried out utilizing a full-stack development method with laravel, vue.js, and flutter, depending on the demands and considerations of the team's efficiency and cost.Combining these three frameworks has shown to be effective in developing SPA Websites and Mobile Apps for patient registration.
Machine learning based fusion algorithm to perform multimodal summarization

Video summarization is a rapidly growing research field which finds its application in various commercial and personal interests due to the massive surge in the amount of video data available in the modern world. The proposed approach uses ResNet-18 for feature extraction and with the help of temporal interest proposals generated for the video sequences, generates a video summary. The ResNet-18 is a convolutional neural network with eighteen layers. The existing methods don’t address the problem of the summary being temporally consistent. The proposed work aims to create a temporally consistent summary. The classification and regression module are implemented to get fixed length inputs of the combined features. After this, the non-maximum suppression algorithm is applied to reduce the redundancy and remove the video segments having poor quality and low confidence-scores. Video summaries are generated using the kernel temporal segmentation (KTS) algorithm which converts a given video segment into video shots. The two standard datasets TVSum and SumMe are used to evaluate the proposed model. It is seen that the F-score obtained on TVSum and SumMe datasets are 56.13 and 45.06 respectively.
Fair Face Verification by Using Non-Sensitive Soft-Biometric Attributes

Facial recognition has been shown to have different accuracy for different demographic groups. When setting a threshold to achieve a specific False Match Rate (FMR) on a mixed demographic impostor distribution, some demographic groups can experience a significantly worse FMR. To mitigate this, some authors have proposed to use demographic-specific thresholds. However, this can be impractical in an operational scenario, as it would either require users to report their demographic group or the system to predict the demographic group of each user. Both of these options can be deemed controversial since the demographic group is a sensitive attribute. Further, this approach requires listing the possible demographic groups, which can become controversial in itself. We show that a similar mitigation effect can be achieved using non-sensitive predicted soft-biometric attributes. These attributes are based on the appearance of the users (such as hairstyle, accessories, and facial geometry) rather than how the users self-identify. Our experiments use a set of 38 binary non-sensitive attributes from the MAAD-Face dataset. We report results on the Balanced Faces in the Wild dataset, which has a balanced number of identities by race and gender. We compare clustering-based and decision-tree-based strategies for selecting thresholds. We show that the proposed strategies can reduce differential outcomes in intersectional groups twice as effectively as using gender-specific thresholds and, in some cases, are also better than using race-specific thresholds.
ENHANCEMENT OF GENERIC CODE CLONE DETECTION MODEL FOR PYTHON APPLICATION

Identical code fragments in different locations are recognized as code clones. There are four native terminologies of code clones concluded as Type-1, Type-2, Type-3 and Type-4. Code clones can be identified using various approaches and models. Generic Code Clone Detection (GCCD) model was created to detect all four terminologies of code clones through five processes. A prototype has been developed to detect code clones in Java programming language that starts with Pre-processing Transformation, Parameterization, Categorization and ends with the Match Detection process. Hence, this work targeted to enhance the prototype using a GCCD model to identify all clone types in Python language. Enhancements are done in the Pre-processing process and parameterization process of the GCCD model to fit the Python language criteria. Results are improved by finding the best constant value and suitable weightage according to Python language. Proposed enhancement results of the Python language clone detection in GCCD model imply that Public as the weightage indicator and def as the best constant value.
Workshop pembuatan media ajar berbasis android bagi mahasiswa Praktek Lapangan Kependidikan (PLK) Kota Padang

Online lectures at FKIP Universitas Putra Indonesia 'YPTK' causes the preparations for practice teachers were not fulfilled, the same with their ability in making a good learning media. This community service activitywere carried out in a form of utilizing innovation in learning media by practice teachers whose will carry out an online learning (as affected by covid-19 pandemic). The purposes of this activity is to provided training on the design and creatingandroid based learning media. The subjects of this services are practice teachers at Faculty of Teacher Training and Education, Universitas Putra Indonesia 'YPTK' Padang. The method used in this service is a workshops which contains with a steps of preparation, screening, implementation, evaluation and reports. After conducting the workshops, most of the practice teachers were able to understood the courses and created an innovations of android-based leaning media which would be implemented later on to students during online learning. The android based learning media would be a help forpractice teachers to convey their courses. All of the practice teachers were very enthusiastic in this activity, judging from the 90% of satisfaction’saverage, and hopefully they could carry out their teacher training very well and confidently.
Mobile Cloud Computing and Payments

In recent days, mobile technologies, cloud technologies and payments technologies have evolved to the point they make daily life very easy.The combination of these technologies provides high quality services in a very simple and user-friendly way.Payments services are one of them and by using them together with mobile cloud technologies results in a top highquality service.In this article we will make an analysis on the architecture of mobile cloud computing technology.The article also presents how to integrate the two emerging technologies, as well as a comparative analysis between two electronic payments processors: Braintree and Stripe.
Linguistics Features of Reading Passage in English Text Book K-13 Revised Edition for Senior High School Students in Indonesia: Analysis of Basic Text Properties

The objectives of this research are to identify the linguistic features contained in K 13 English textbook revised edition of grades X, XI, and XII published by the Ministry of Education and Culture of the Republic of Indonesia in terms of sentence pattern, types of tenses, voice, and aspect. This research is descriptive quantitative research. The sample of this research is thirty-nine reading passages were extracted from K13 English textbook revised edition published by the Indonesian Ministry of Education and Culture for senior high school students in Indonesia. All reading passages are taken as a sample, including fourteen texts of grade X, nine texts of grade XI, and sixteen texts of grade XII. The data were gathered by using a checklist and were analyzed by content analysis method. The findings showed that 1) The most common sentence patterns found are simple sentences. 2) Simple past tense is the majority of tenses used in reading the passages, especially at grade X and XI textbooks, while simple present tense is the dominant tenses found at grade XII. 3) The use of active voice dominates all reading passages at all grade levels. 4) The intensity of using the perfective aspect is higher than the imperfective aspect. 5) This result also implies that there are some differences in the findings of linguistic features from the three levels of this book. First, in terms of sentence patterns used in textbooks, at grade X the order of sentence patterns begins from the simple to the complicated one; simple sentences, then compound sentences, next complex sentences, and finally compound-complex sentences. Meanwhile, at grades XI and XII, the most complicated sentence patterns, namely compound-complex sentences, are less than compound sentences. Second, in terms of the types of tenses, the difference is that at grade X and XI textbooks, it is found that the dominant tenses used are simple past tense, while at grade XII textbooks, the most common tenses are simple present tense. these results indicate that the four linguistic features contained in English textbooks for high school In conclusion students in Indonesia need to be taught to students so that students can more easily understand and capture the meanings contained in the textbooks.
Analisis Penataan Arsip Dinamis Berbasis Digital di Universitas Negeri Semarang

This study aims to determine the dynamic archive management carried out digitally by the work unit of the Faculty of Economics, State University of Semarang (UNNES). This study uses a qualitative descriptive with an interactive model. Data analysis starts from data reduction, data presentation, and drawing conclusions. Research informants are employees who manage dynamic archives in the work unit of the Faculty of Economics, UNNES who were selected using the snowball sampling technique. The findings of this study explain that the process of organizing digital-based archives is still in the planning and testing stages. In structuring digital archives, there are three stages, namely filing, borrowing, and destroying archives. Although, the work unit of the Faculty of Economics, UNNES, has conducted trials of digital-based structuring, the archive file process still uses a manual system. Next, the archive lending stage, if there are borrowers from external parties, they must fill in the digital archive system menu. This is so that the status of the archive can be known easily whether the archive is available or still borrowed. The third stage is the destruction of the archive. The work unit of the Faculty of Economics has carried out the destruction according to a predetermined archive retention schedule. Thus, the development of digital-based archive arrangement is very much needed by the work unit so that the archive arrangement process can be more effective and efficient in providing services to the academic community, especially during the COVID-19 pandemic.
Hydrothermal and Metasomatic Kaolin Resource Estimation in the Quang Ninh area, Northeastern Vietnam

In northeastern Vietnam, hydrothermal‐metasomatic kaolinite-pyrophyllite from the secondary quartzite origin has been found in many places, including Pin Ho, Ban Ngai, Khe Khoai, Pec Sec Leng, Tan Mai ore occurrences, etc. They are exploited together with pyrophyllite, alunite, and high‐alumina quartzite as a byproduct. There were 810 chemical and mineral samples in the Quang Ninh area collected to investigate hydrothermal‐metasomatic kaolin resources. The ore minerals consist of kaolin-group minerals (kaolinite, dickite), pyrophyllite, quartz with minor sericite, alunite, diaspora, etc. They were identified by X-ray diffraction, and microscope and scanning electron microscope coupled with energy-dispersive X-ray spectroscopy analyses. Chemical analyses of major oxides were carried out on clays and parent rock samples by X-ray fluorescence spectrometry. The similarity-analogy in ore geology and mineral resource estimation based on statistical methods are employed to estimate hydrothermal‐metasomatic kaolin resources from the Quang Ninh area in northeastern Vietnam. The mineral resource estimation based on statistical methods shows 2.21 million tons of kaolin obtained by the content of aluminum oxide over 28% of the Pec Sec Leng mine, accounting for 14.3% in total. The similarity-analogy in ore geology indicates 158.16 million tons of kaolinite-pyrophyllite ores, of which, 22.0 million tons are kaolin. These methods display that the Quang Ninh area contains mainly pyrophyllite rather than kaolin resources. Our study suggests that the Quang Ninh area can be considered as a potential pyrophyllite resource in northeastern Vietnam for future exploration. Furthermore, the one resource estimation based on similarity-analogy in ore geology method shows an overview of the prospect on kaolinite-pyrophyllite resources in the Quang Ninh area, northeastern Vietnam.
Emotional Information Space in Designing AI Technologies

Current and future AI design needs to recognize the intertwined nature of cognition and affect to design more human-like intelligent systems. The majority of current AI design focuses on cognitive information processes and knowledge. However, human action and human-like actions must also consider the emotional aspects of the environment. We present the concept of emotional information space, which incorporates all issues within a certain environment with cognitively appraised affective meanings and the ability to encode these information contents into designing emotionally intelligent technologies.