Reviewerly/exHarmony huggingface dataset:
The effect of mobile learning-based education on self-efficacy, self-control, self-regulation, and academic performance students

The learning approach at any time and any place that is used to promote e-learning and as a model of e-learning refers to the acquisition of knowledge, attitude and skills using mobile technologies. The purpose of this study was to investigate the effect of mobile learning based education on students' self-efficacy, self-control, self-regulation, and academic performance. This research was a quasi-experimental study with pretest and posttest design and experimental and control groups. The statistical population consisted of all 855 female secondary school students in District 1 of Sari city. 47 students were selected by multistage cluster sampling method. Experimental learning-based learning was administered to the experimental group. Pre-test and post-test questionnaires were self-efficacy questionnaires of Scherrer and Maddox (1982), Tajani et al. (2004), Pintrich & DeGrott (1990) and Fam & Taylor (1999). Data were analyzed using ANCOVA test. The findings showed that mobile learning-based education had an effect on students' self-efficacy, self-control, self-regulation, and academic performance.
Applying Second-Order Quantifier Elimination in Inspecting G\"odel's Ontological Proof

In recent years, G\odel's ontological proof and variations of it wereformalized and analyzed with automated tools in various ways. We supplementthese analyses with a modeling in an automated environment based on first-orderlogic extended by predicate quantification. Formula macros are used tostructure complex formulas and tasks. The analysis is presented as a generatedtype-set document where informal explanations are interspersed withpretty-printed formulas and outputs of reasoners for first-order theoremproving and second-order quantifier elimination. Previously unnoticed orobscured aspects and details of G\odel's proof become apparent. Practicalapplication possibilities of second-order quantifier elimination are shown andthe encountered elimination tasks may serve as benchmarks.
Big Data, Artificial Intelligence and Blockchain

1 - Big Data and regulatory Learning: How to supervise deep learning models? This seminar aims to present (i) The notions of Big Data, (ii) The architecture indispensable for the use of Big Data, (iii) The concept of artificial intelligence and the models associated, (iv) The question of the existence of a regulatory framework, (v) The study of a use case developed inside the banking system concerning the credit scoring. 2 - Crypto-currencies and the Challenge for Financial Regulation: The example of Bitcoin after defining the notion of peer-to-peer lending, and distributed ledger, the Bitcoin concept is introduced. Regulation around the crypto-assets is analysed: remote and immediate risks as risks for the users. 3 - The digital world: Blockchain and ICO: in this talk we analyse the concept of blockchain and the different classes of blockchain with their properties. The regulatory framework is presented. The Initial Coin offerings is also discussed with their interest and limits
Optical Modulation in a Si Microring Resonator Inspired by Biological Classical Conditioning

We propose and numerically demonstrate photonic classical conditioning in a Si microring resonator, to emulate Pavlov’s dog experiment using the insulator-metal transition in a VO 2 thin film patch integrated with the resonator.
Hybrid Black Widow Optimization and Variable Neighborhood Descent Algorithm for Traveling Salesman Problem

Local search algorithms in general are better than population-based algorithms in the terms of exploitation capability in finding more local regions in the search space which provide more ability to explore search space in finding global regions. Black widow optimization (BWO) algorithm is one of the best population-based algorithms which was proposed in 2020 to solve engineering optimization problems. However, this algorithm has a limitation in the exploitation of search space and reactivate a search when stagnation occurs during the algorithm run. Thus, deep search and effectively exploring the search space are not possible during the algorithm run. To overcome these drawbacks, this study proposes two modifications to the BWO algorithm. The first modification is the integration of variable neighborhood descent used to enhance the exploitation process in finding more local regions in the neighborhood during the algorithm run. The second modification focuses on the reactive search process by integrating a new convergence indicator for the algorithm during the algorithm run and online reactive search process. Two benchmark datasets were used to evaluate the proposed modification. The minimum tour distance provided by each algorithm has been used as the performance metric in determining the credibility of the hybrid BWO algorithm and results have been compared with best-known algorithms include African buffalo optimization (ABO), ant colony optimization (ACO), artificial bee colony (ABC), particle swarm optimization (PSO) and a hybrid algorithm consisting of harmony search. particle swarm and ACO (HPSACO). The hybrid BWO algorithm has produced better minimum tour distance compared to ABO, ACO, ABC, PSO and HPSACO algorithms which demonstrate that the hybrid BWO can be applied to solve several optimization problems including vehicle routing problem, classification and clustering.
Generation of Attributes for Highly Imbalanced Land Cover Data

Through the rise of new remote sensing datasets with sufficient size for current deep learning models, land cover classification results have improved in recent years. Unfortunately, earth exhibits a natural imbalance in different land cover classes, also visible in these datasets. In the domain of zero-shot learning, image attributes have enabled better results in transfer learning by creation of a mid level representation between different classes. This representation can also be constructed for land cover data and used to detect minority classes through shared features. We propose a way for generation of attributes by text mining for one of the biggest land cover datasets. With these attributes we achieve state-of-the-art performance in land cover classification and improve results especially for minority classes. Further, we show that these attributes have great potential in weakly supervised land cover segmentation.
THE USE OF ANIMATION MOVIE (STORKS) TO ENHANCE STUDENTS’ SPEAKING PERFORMANCE (A Collaborative Classroom Action Research to the First Year Students of SMAN 1 Pandrah)

The title of this thesis is The Use of Animation Movie (Storks) to Enhancing Students’ Speaking Performance (A Collaborative Classroom Action Research to the First Year Students of SMAN 1 Pandrah). From the title above, the researcher found that the students did not know what the teacher said in English learning, the students were lack of vocabulary, the students did not look active in teaching speaking, and the teacher always used Indonesian language to make them understand about the explanation of English material. So, the researcher put two problems of this research with the question as follows: first, How does the use of animation movie (storks) as media enhance the students speaking performance? Second, How does the students respond in  implementing of  animation movie (storks) as media in teaching students’ speaking performance?. Based on the research problems, the purposes of this research were: first, to find out the use of animation movie (storks) as media enhance the students speaking performance. Second, to find out the students’ response in implementing of animation movie (storks) as media in students speaking performance. This research was a collaborative classroom action research that was done in two cycles. The research subject was the first year students of class VII/1 of SAPN 1 Pandrah. The sample of this research was 16 students. The data were collected through the field note, speaking test, students’ observation checklist, the teacher’s observation checklist, and questionnaire. The data were analyzed through the descriptive qualitative research. The researches were conducted into two cycles, the procedures of action research: planning, implementing, observing, and reflecting. The first cycle consisted of two meetings, and the second cycle consisted of two meetings. After the researcher was done (cycle I and cycle II) the students’ means score increased from 68 in cycle I be came 76 in cycle II. The finding of the research also showed that the use of animation movie (storks) as media can improve the students’ speaking performance in storytelling, it was showed from the result of students’ mastery speaking test in each cycle which the action implemented.
LibGuides: Criminal Justice LibGuide: E-Journals

This guide was created by Benedict College Librarian Brian Crawley to offer basic library and web resources for those studying Criminal Justice. The LibGuide offers suggested books, database, webpages and more for beginning research in the field of Crimin
Resource and Task Allocation for Optimized Cloud Computing Using Big Data Analytics

Load balancing in cloud computing is defined as the method of splitting workloads and computing properties in a cloud server based on resource availability. These resources incorporate applications, servers, network capacity and administration so forth give security, versatility, adaptability and minimal expense. Another benefit of utilizing cloud computing is that the clients need to pay for just the thing they are utilizing and clients can get to these assets on-request. So it is vital to apply suitable booking procedure to handle a lot of data, information and to do asset usage all the more proficiently with better execution. As the traffic on the internet growing rapidly, the workload on the server growing so fast which leads to the overloading of servers mainly for popular web server and resource allocation into them. In this paper quality of Maximum -Minimum estimations are applied together for resource assignment and undertaking theses assignments in cloud servers by using data analytics. The calculation, there are of two measures of resources which are made by considering their instruction speed where the first measure contains the resource along with most extreme time for execution and the second measure contains the resource with least time of execution. The huge responsibility undertaking if the available resource is from the resulting set and the typical characteristic length task is designated to the resource of the open resource is from the essential set. The results show that the new proposed estimation tends to overhauled resource use with better make span. We additionally utilize support the executive’s idea for dealing with quick information transmission into the cloud worker. It empowers venture to oversee responsibility requests or application requests by disseminating assets among various PCs, organizations or workers.
KNOW WANT LEARN STRATEGY TO IMPROVE STUDENTS’ READING COMPRHENSION STUDENTS’ OF SENIOR HIGH SCHOOL

Reading is a basic life skill of students success in school and consequently through life. Without the ability to read effectively, the students can not improve their reading skill. M.Ogle, the aims of the this research were to know whether Know Want Learn (KWL) strategy can improve students reading comprehension and to describe the class condition when Know Want Learn (KWL) strategy was implemented in teaching learning process at the Eleventh grade of SMA N Karangpanda in 2017/2018 Academic Year. This research was conducted at the Eleventh grade of SMA N Karangpandan. The method of the study was classroom action research which was conducted from March until May 2018. The data was collected through test and non-test. In collecting data was used multiple choices in pre test, post test 1, and post test 2. Besides that to collect non-test was used observation, interview, and documentation. While, to analyze the data was used t-test. The results of the research showed that the implementation of Know Want Learn (KWL) strategy was successful to improve students reading comprehension. The mean score increased from 57.92 in pre-test became 70 in post test 1 until 84.7 in post test 2. It can be concluded that Know Want Learn (KWL) strategy was appropriate to improve the students reading comprehension in teaching and learning process. Moreover, The class condition was more enjoyable, enthusiast, and conducive during learning process.Key words: Reading Comprehension; Know Want Learn (KWL) strategy;Classroom Action Research
Hubungan Kosa Kata dan Kecakapan Berwicara

Productive vocabulary size (PVS) and speaking fluency (SF) are two aspects among other important aspects of language that should be mastered by students. It is caused by the fact that PVS and SF are getting the important places and significance in the college compared with the level of the previous education in the senior high school (SMU). This study is an attempt to discover the vocabulary achievement and speaking fluency level of English students of FKIP Universitas Serambi Mekkah. Three research questions were formulated : (1) how is the vocabulary achievement of the English students of FKIP., (2) how is the speaking fluency level of the English students of FKIP., and (3) what is the correlation between vocabulary size and speaking fluency level of English students of FKIP?. The study was descriptive and quantitative in nature. The target population of the study was all last semester students of English Department of FKIP. The sample was drawn randomly from the accessible population whose number was 66 students. The research instruments which were developed to collect the data were completion test and oral test. The completion test was used to measure the vocabulary achievement, and oral test was used to measure students' fluency in speaking. Nevertheless, an interview was also utilized to obtain supporting data. The collected data were analyzed to determine the highest, and lowest scores, mean scores, and the correlation between vocabulary and speaking fluency level. The result of the analyses showed that the mean score of vocabulary (PVS) was 60.40, the mean score of speaking fluency level was 64.95, and the correlation between vocabulary and speaking fluency was 0,77. These scores were classified as average according to the standard of performance issued by the Department of National Education, 1982/1983. However, some students did not master productive vocabulary and fluency skill. Because the vocabulary size of the students was still far from satisfactory, suggestions were put forward to the teachers, lecturers, and students of English. For this purpose, the suggestions are concerned with the attempt to improve the students' vocabulary size. Key Words : Vocabulary, size, speaking, fluency.
Prudent Practices in Security Standardization.

From June 2019 to March 2020, IETF conducted a selection process to choose password authenticated key exchange (PAKE) protocols for standardization. Similar standardization efforts were conducted before by IEEE (P1362.2) and ISO/IEC (11770–4). An important hallmark for this IETF selection process is its openness: anyone can nominate any candidate; all reviews are public; and all email discussions on the IETF mailing lists are archived and publicly readable. However, despite the openness, it is unclear whether this IETF selection process has presented a successful model. Several important questions that were raised during the selection process remained unaddressed even after the two winners (CPace and OPAQUE) were announced. We reflect on the IETF PAKE selection process as a case study, and summarize lessons in a set of principles with the hope of improving security standardization in the future.
A Hand-Washing Support System Based on Center of Gravity in Hand Correction

Aiming at solving the problem of recognition accuracy decrease during hand-washing in existing systems due to noise produced by hand-shaking, lighting changes, and so on, we develop a novel system. The system focuses on proper hand-washing patterns to examine whether hands are being washed correctly. By comparing videos of hand-washing captured at sinks and learning model videos, the system informs users in real time whether they are using proper hand-washing patterns. Optical flows and skin-color areas are used as data features to recognize proper hand-washing patterns. Support vector machine is used as the recognition model in this system. The hand-washing pattern recognition accuracy is improved by removing noise sources and capturing pattern characteristics by labeling and using a correction that considers the center of gravity in hand.
THE IMPACT OF 6+1 TRAIT WRITING MODEL ON STUDENTS’ WRITING

This study aims to investigate the impacts of 6+1 trait writing model on students' writing achievement. It is focused on the students' improvement based on the five processes of writing which connected with analytic rubrics six-trait. To get the aim of the study, this study implemented experiment research by quantitative methods. The samples of this study were the students of Pondok Pesantren DDI At-Taqwa Jampue Pinrang. The students are taught by using 6+1 trait writing model followed by the writing appraisals with analytic rubrics six-trait. The students’ writing was analyzed by using the rubric. Result of the effect of the 6+1 trait writing model revealed some improvement from the students. Between six-component writings, there are four components that give an improvement: ideas, organization, voice, and conventions. The other components, word choice, and sentence fluency did not give much improvement for students. This study is expected to help students meet state standards in writing and develops skills needed to be effective writers.
Pentingnya Penggunaan Media Realia Untuk Meningkatkan Hasil Belajar Peserta Didik

In essence, the teaching and learning process cannot be separated from the role of the media. There are various learning media, each of which has its own strengths and weaknesses. Therefore, as an educator, you must be wise in choosing appropriate learning media for the material to be taught. One of the learning media that must exist in learning is realia media. Media Realia is a learning resource in which it contains messages that involve the sense of sight or subject matter that is made interesting in a real (imitation) form. So that it makes students not bored in participating in learning, and student learning outcomes also increase. Realia media has advantages, namely: Easy to find, because realia media is a real media that is around the environment. Provide clear and accurate information. It doesn't take much time to prepare. While the weaknesses are: The size of the realia media is too small or too large so it requires another object or room to see it. The risk of bringing students to see real media outside the school environment. It costs a lot of money to hold real media objects.
Darlin: Recursive Proofs using Marlin

This document describes Darlin, a succinct zero-knowledge argument of knowledge based on the Marlin SNARK (Chiesa et al., Eurocrypt 2020) and the `dlog' polynomial commitment scheme from Bootle et al. EUROCRYPT 2016. Darlin addresses recursive proofs by integrating the amortization technique from Halo (IACR eprint 2019/099) for the non-succinct parts of the dlog verifier, and we adapt their strategy for bivariate circuit encoding polynomials to aggregate Marlin's inner sumchecks across the nodes the recursive scheme. We estimate the performance impact of inner sumcheck aggregation by about 30% in a tree-like scheme of in-degree 2, and beyond when applied to linear recursion.
Analisa Perbandingan Efektifitas Pembiayaan Pada Proyek Perencanaan Agrowisata Tahap I Universitas Pahlawan Tuanku Tambusai

The existence of the UPTT Agrotourism Park in the campus environment can improve intellectual skills through observing, recording and reviewing other symptoms. So that in the end achieved human resources who are able to compete in the world of work. the results of a good environment can be applied in people's lives. One of the attractions given is the existence of a fountain pool with a planned height of 10 meters. However, this cannot be done just like that, a comparative analysis process is needed in order to obtain an optimal financing plan. The research method used in this study is a planning method with a case study of the agro-tourism area of the Tuanku Tambusai University, especially the construction of a fountain pool. Where will use AutoCAD 2019 software to design the structural elements (without stairs) of the building in the form of concrete and beams and floor plates. The specifications of the model to be made are using ready mix with a value of K-300. Where for the thickness of the floor plate 15 cm. After doing the modeling, the results of the calculation of the concrete volume will be obtained using Excel. Then the final result of this study was in the form of a Budget Plan (RAB) on the work of the fountain pool at the Tuanku Tambusai University. In this study, the comparison is done by analyzing and comparing two work options on the fountain pool, namely by using ready mix or not. It was found that work using ready mix requires less cost, which is Rp. 85,441,000.00.
Research on the using natural language Processing for Marketing Enhancement in E-Commerce

Customers use the tremendous amount of data available on the internet around the globe for different ideas and views on various goods present in the market present in text form. This data, therefore, should be arranged in a well-organized manner. One of the methods to do so is Sentiment analysis. The sentimental analysis uses natural language processing and evaluates the sentiment using text data. The main purpose of this research work is to predict and analyze a text using a technique called sentiment analysis. Sentiment analysis uses a machine learning method called MC_SVM (Support vector machine). Support vector machine is a mathematical model used in various e-commerce platforms to classify and predict customer opinions.
Student Final Project Recommendation System Model Using Case-Based Reasoning (CBR) Method

The purpose of this study is to develop a student final project recommendation system model that can be used to improve the quality of final assignments in universities, especially AMIK Indonesia, and compare it with similar applications currently used. Agile Development Methods (ASD) is used in software development where this method is widely used for software development because it can produce system requirements data that is more descriptive and easy to implement into software. The researcher also uses the Case-Based Reasoning algorithm, which will later be implemented as the basic concept of developing a recommendation system prototype. The results of the study found that; 1) In knowing the topic or research theme in the student's Final Project with an expert system, it can be seen from the themes and sub-themes and valid calculations are carried out in helping students to quickly find out the research title for the final project, 2) By applying the Case-Based Reasoning method in detecting research topics or themes at AMIK Indonesia can produce valid calculations that are the same as manual calculations so that the selection process can be carried out quickly and accurately, and 3) in designing this application it consists of the main menu page, a list of research topics, FAQs and about applications using PHP, ReachJS and MySQL programming languages ??as data processors in the recommendation of a student's final project