Reviewerly/exHarmony huggingface dataset:
Neural Network Action Policy Verification via Predicate Abstraction

Neural networks (NN) are an increasingly important representation of action policies. Verifying that such policies are safe is potentially very hard as it compounds the state space explosion with the difficulty of analyzing even single NN decision episodes. Here we address that challenge through abstract reachability analysis. We show how to compute predicate abstractions of the policy state space subgraph induced by fixing an NN action policy. A key sub-problem here is the computation of abstract state transitions that may be taken by the policy, which as we show can be tackled by connecting to off-the-shelf SMT solvers. We devise a range of algorithmic enhancements, leveraging relaxed tests to avoid costly calls to SMT. We empirically evaluate the resulting machinery on a collection of benchmarks. The results show that our enhancements are required for practicality, and that our approach can outperform two competing approaches based on explicit enumeration and bounded-length verification.
A Model of Superposed States

Interactive narratives (IN) are stories that branch and change based on the actions of a participant. A class of automated systems generate INs where all story branches conform to a set of constraints predefined by an author. Participants in these systems may create invalid branches by navigating the story world outside the bounds of an author's constraints. We approach this problem from an adversarial game perspective, where the IN system's goal is to prevent the player from creating invalid branches. From this perspective, one way an IN system can take action is to transition the game world between alternate states that are consistent with the player's observations during gameplay. In this paper we present a method of modelling and updating sets of world states consistent with player knowledge as a single superposed data structure. We discuss how this data structure can be used in an IN framework to maximize the probability that author constraints are maintained during gameplay.
PERBANDINGAN WAKTU EKSEKUSI PERAMALAN HARGA KOMODITAS PANGAN MENGGUNAKAN SPARKR DAN R STUDIO

The arrival of the big data era with characteristics such as large volumes of data makes the calculation of execution time a concern when carrying out data analytics processes, such as forecasting food commodity prices. This study aims to examine the effect of the big data framework through the use of sparkR. The test is carried out by varying several deep learning forecasting models, namely the multi-layer perceptron model and by using the price of one food commodity from 2018 to 2020. The results show that sparkR is significantly shorter its execution time when compared to R studio. The results of testing the influence of the MLP model also show that a model with two hidden layers with a maximum node of 13 nodes in hidden layers 1 and 2 produces the longest execution time compared to only using 1 hidden layer with 5 nodes or using two hidden layers with a number of nodes of 5 and 3.
IMPROVING STUDENTS' VOCABULARY MASTERY BY USING WORD SQUARE TECHNIQUE TO STUDENTS OF SMP METHODIST 1 PALEMBANG

The objective of this study to find out whether or not there was any significant difference on vocabulary mastery between students who were taught by using Word Square technique and those who were not. This study used quasi experimental. The population of this study was the eighth grade students of SMP Methodist 1 Palembang. The researchers used purposive sampling. There were 43 students as the sample. Each class consisted of students from VIII.A and 22 students from VIII.B. The researcher used paired sample t-test to compare the pretest and posttest result in experimental and control group. The result revealed that the significance (2-tailed) was 0.000, which is lower than alpha value 0.05, then t- obtained value = 5.340 was higher than t-table 2.086. In conclusion, the use of Word Square technique was effective to improve students' vocabulary mastery at the eighth grade students of SMP Methodist 1 Palembang. The data was analyzed by using independent sample t-test. The result showed that t-obtained 3.121 was higher than t-table 2.020 with degree of freedom (df=41) and the significant 2-tailed was 0.003. Therefore, there was a significant difference on vocabulary mastery between the students who were taught by using Word Square technique and those who were not. Keywords: Word Square Technique, Vocabulary Mastery
Design of a Mobile Surveillance System using GPS Navigation and Trajectory Control via waypoints

Object recognition is essential in any surveillance system.Being important to identify the entry of intruders to a home or parking in restricted places, are some actions that are performed during a routine.However, the performance of these systems turns out to be inefficient because they remain static and in many cases their viewing angle turns out to be very limited.Therefore, we believe that a mobile surveillance system would be more efficient in reducing citizen insecurity in some closed housing estates, shopping centers or condominiums.Since being a mobile monitoring system would not have the disadvantages that present security systems have. Reason why, in this project is proposed the design and application of a patrol robot with autonomous navigatio n, which is able to monitor and travel a specified route. This path can be defined by the user, who when recording a waypoint the rob o t will move to that location in a relatively straight line, allowing the robot to navigate from one point to another preprogrammed. The navigation of robot will be done by GPS, but not only using this signal. Since, although it is true that this gives us information about the position or speed of a topological form, it does not show us if there are any obstacles in the way.For this we seek to merge GPS navigation with a sensor-based one, which collects information and with the help of a microprocessor this information serves for the robot to make decisions, since it is sought to be completely autonomous.Finally, the robot will be able to capture images with the help of a camera, storing them in its internal memory.These im a ges are then sent to the user in real time so that the user can analyze them and detect any anomaly act in the shortest possible time.
Formation of external cognitive tools among future teachers of chemistry

It is important to understand the features of the instrumental side of the cognitive organization of each student, in the process of teaching and upbringing, as a reflection of the properties of the integral structure of the human cognition system. The article is devoted to the problem of identifying and using the prevailing styles of thinking of students, future teachers, in the process of their vocational training at the university. Goal of research ‑ determine the prevailing style of students' thinking activity with a possible typology. The relevance of the problem under study is associated with the need to solve the issue of the optimal use of the individual thinking characteristics of bachelor students, future chemistry teachers, for the development of their methodical thinking as the integration of scientific thinking of a separate taught science, scientific - research pedagogical thinking and applied pedagogical thinking. The authors point out that the master's degree program should also use the idea of implementing and researching students ' mental operations in a certain sequence: presentation of knowledge → structuring knowledge → transformation of knowledge in conjunction with the main tools of thinking, as the highest stage of human cognition - concept, judgment and inference. As a research methodology, the article proposes the use of diagnostics by A. Alekseeva and L. Gromova "Individual styles of thinking" to determine the styles of thinking, the purpose of which is to study the individual characteristics of thinking. It has been established that the implementation of the methodology used contributes to the study of the basic styles of thinking of students: synthetic, idealistic, pragmatic, analytical, and realistic. The information obtained will allow each teacher at the second stage of higher education - the magistracy, to rebuild the teaching method of his discipline with a focus on the personality characteristics of the cognitive tools of each student individually and the entire group together.
PERSEPSI MAHASISWA TERHADAP PENGGUNAAN APLIKASI GOOGLE MEET DAN GOOGLE FORM DI MASA PANDEMI

The purpose of this study is to describe students' perceptions of the use of Google Meet and Google Form.The research method used is descriptive using a survey method. Purposive sampling was used as a data collection technique. Data collection was carried out online using a questionnaire instrument and interviews with a sample of 34 students of the S1 Mathematics Education Study Program FKIP Unissula who used the Google Meet and Google Form applications when conducting lectures on algebra courses. The data collection technique is using Google Form, then data collection is carried out using the WhatsApp application using an unstructured interview instrument.The results showed that students' perceptions of the use of Google Meet and Google Form were classified as good criteria. This is because there are still obstacles in both applications. The constraint of the Google Meet application is the signal factor, an unstable signal will make users automatically leave Google Meet, while the problem with Google Form itself is the absence of math equation facilities. The hope is that there will be developments in the Google Meet and Google Form applications so that they can provide more comfort and convenience for their users.
Pengolahan Data Keuangan Menggunakan MYOB Premier V16 Pada Bengkel Berkah

Bengkel Berkah Motor is a company engaged in the automotive trade and services sector that sells motorbike spare parts and repair services, Bengkel Berkah still applies a traditional manual system and has not been computerized in its business process. So it is very possible for data manipulation and errors in recording and calculating sales and purchase transactions of goods. For this reason, the Blessing Workshop requires a computerized system to assist in recording transactions and financial reports. Manual financial data processing systems require a relatively long time and require skill and accuracy in presenting financial statements. On this occasion, the authors made an example of the process of accounting records at the Motor Blessing Workshop which was previously done manually by the author, proposed to be done computerized using Myob Premier V16. Myob Premier is a computerized accounting application that provides convenience in the business administration process by integrating general ledger, finance, purchasing, sales, inventory and relationship processing functions starting from document input to financial reports, using Myob Premier is one of the best solutions for solve existing problems and with a computerized system can produce accurate financial reports, effective and efficient, making it easier for owners
THE ANALYSIS OF SEMIOTIC SIGNS IN THE NUDES EYE SHADOW PALETTE ADVERTISEMENT BY MAYBELLINE NEW YORK

Language is something that we use to communicate with others. The function of language has an important role in addressing people’s intent or purpose. Thus, the use of language should be right and fit with the situation and the goal to do. In doing the communication, some people would be delivering their message explicitly. But some of them deliver the message implicitly, they tend to use signs and symbols. One of the studies that talked about the meaning of the language in a certain sign is semiotic. Semiotic is the study that discusses the signs, which signs are divided into verbal and visual signs. The purpose of this study is to investigate the verbal and visual signs and the meaning itself in the advertisement this research is needed because some of the advertisers put the message behind their advertiser, which means that the message is not only delivered explicitly. The method used in this study is a qualitative method. The data utilized in this study were taken from YouTube. To investigate the information, this review utilized the theory of Semiotic by Saussure (1983), the theory of meaning from Barthes (1976), and the supporting theory of color by Cerrato (2012). The analyst tracked down 8 verbal signs and 9 visual signs.
DIGITAL PLATFORM AS ALTERNATIVE MEDIA FOR WATCHING FILM AT JOGJA-NETPAC ASIAN FILM FESTIVAL (JAFF) 2020

Implementing a film festival on a digital platform could be a game-changer for the film industry in the Covid-19 era. It is then crucial to understand the role of digital platforms as a substitute for attending film festivals at JAFF 2020 because, in essence, films require spaces to interact with the audience regardless of the circumstances. This research is a qualitative study employing a case study methodology. The findings suggest that the role of digital platforms in implementing JAFF 2020 can be viewed as a means for a film festival to connect with its audience via new media. Additionally, the use of digital platforms is intended to act as a catalyst and carrier of energy for film crews to rise to the occasion in the face of a pandemic's uncertain conditions.
TEACHING READING THROUGH THREE STAY ONE STRAY TOWARDS AT MA DARUSOLLIHIN NW KALIJAGA

This investigation deal with quasi experimental in the form non-randomize control group design or non-equivalent by purposing at finding out teaching reading through three stay one stray. The investigation used total sampling technique in determining the sample of the research. The data was taken by using test in the form of multiples choice and it analyzed by using descriptive statistic and inferential analysis. Based on the data analysis was gotten that the result of analysis shown that t-test was higher than t-table. It can be inferred that alternative hypothesis accepted and null hypothesis rejected. Therefore, it concluded that there was significant effect teaching reading through three stay one stray
PENGARUH MEDIA PEMBELAJARAN BERBASIS ONLINE PADA MATA PELAJARAN IPS DI SMA NEGERI 2 TONDANO

It takes an innovation created by a teacher in order to get maximum learning outcomes because the teacher certainly knows better what the students need because it is the teacher who interacts the most with students in the teaching and learning process at school. Media and learning tools applied by teachers in schools will certainly affect student learning outcomes. The purpose of this study is to reveal the effect of online-based learning media on social studies subjects at SMA Negeri 2 Tondano. The method used is a qualitative research method. The results of this study are; Positive influence of online-based learning media on social studies subjects: Increased competence of teachers and students in using social media for social studies learning, Teachers are more flexible in elaborating social studies teaching materials by providing real examples that are viral on social media, Opening new job opportunities for students, Students more motivated to learn social studies subjects through various social media, students are easier to understand social studies material because it often appears on social media that students play. The negative influence of online-based learning media on social studies subjects; Teachers are "forced" to understand and master social media, Students are busy playing social media while studying, Students are required to have gadgets, The emergence of social inequality between students
Information System for Cibolang Kaler Village Correspondence Service Website-Based

Currently, every government agency is competing to improve the quality of its services, one of which is at the village level. Global demands require the world of government to always adapt technological developments to efforts to improve quality, especially adjusting the use of technology and communication for the world of government. Villages have a very important role in public services for the community. Management of village administration and information to enter the form system so that it is easier for the community to get information in the village. Cibolang Kaler Village is a village that has not implemented an online-based service information system. So that the making of correspondence needed by the community directly comes to the Cibolang Kaler village office. In addition, residents often complain that village services take a long time because they have to wait for queues for letters to produce letters manually. Therefore, it is necessary to have a village correspondence service information system to make it easier for residents and village officials to manage correspondence in the village of Cibolang Kaler.
PENERAPAN SISTEM AKUNTANSI PERSEDIAAN BARANG DAGANG PADA SUNRISE DISTRO DENGAN APLIKASI ACCURATE ACCOUNTING

Accounting systems include all forms of management information systems that help collect, record, store, and also provide financial accounting information within a company in the process of accounting transactions. Distro Sunrise is one of the Small and Medium Micro Enterprises (MSMEs) located at Jl. Sawunggalih No. 142B Semawung Daleman Village Kutoarjo District engaged in trade by selling apparel. Based on the analysis that has been done, Sunrise Distro does not have a system of recording inventory, including procedures for recording and spending goods in warehouses that result in the unavailability of valid information about stock cards from merchandise inventory. This research aims to implement a trading inventory accounting system on Kutoarjo Sunrise Distro. The data analysis technique used in this study is a quantitative descriptive data analysis technique. Data collection techniques with interviews, documents and literature studies. Use accurate accounting application version 4. This application is expected to facilitate the recording and processing of stock data for merchandise inventory. Data collection techniques are interviews, documents and literature studies. The results of the study in the form of the proposed implementation of accurate accounting application Version 4 consisting of inventory stock card reports, sales reports, purchase reports and reports as reports
Real Time Fire Detection using Color Probability Segmentation and DenseNet Model for Classifier

The forest is an outdoor environment not touched by the surrounding community, so it is not immediately handled when a fire occurs.Therefore, surveillance using cameras is needed to see the presence of fire hotspots in the forest.This study aims to detect hotspots through video data.As is known, fire has a variety of colors, ranging from yellow to reddish.The segmentation process requires a method that can recognize various fire colors to get a candidate fire object area in the video frame.The methods used for the color segmentation process are Gaussian Mixture Model (GMM) and Expectation-maximization (EM).The segmentation results are candidates for fire areas, which in the experiment used the value of K=4.This fire object candidate needs to be ascertained whether the segmented object is a fire object or another object.In the feature extraction stage, this research uses the DenseNet-169 or DenseNet-201 models.In this study, various color tests were carried out, namely RGB, HSV, and YCbCr.The test results show that RGB color produces the most optimal training accuracy.This RGB color configuration is used to test using video data.The test results show that the true positive and false negative values are quite good, 98.69% and 1.305%.This video data processing produces fps with an average of 14.43.So, it can be said that this combination of methods can be used to process real time data in case studies of fire detection.
Penerapan Firebase Realtime Database Pada Aplikasi Media Informasi dan Pendaftaran Training IT Berbasis Android

Jogja IT Training Center (JITC) is a business entity that provides training in the field of information technology. JITC provides various kinds of related training. As a business entity engaged in the service sector, the dissemination of information is very important. Currently, JITC uses social media Facebook and Instagram to convey information to the public, but currently, it is not managed properly due to limited resources so the delivery of information and student registration is hampered. The student registration method is done manually and has to come to the office, so the number of students has decreased and resulting in a decrease in income. The conventional registrar data collection has many shortcomings, namely the data is not well documented, resulting in data loss and the search process takes a lot of time. Based on the existing problems, an android-based information and registration media application was built, this mobile application added the Firebase Realtime Database as a data storage platform for information and registrant data so that the training data can be accessed online and in real-time which can be integrated into one service. Firebase Realtime Database has many features and is accessed for free and has a fairly large data storage limit. The result of this research is an android-based application for information providers and registration services for new students.
The use of metrics in evaluation of the higher education efficiency: feasibility and limitations

The efficiency of educational system is one of the key areas of research due to its significant impact on the development of an individual and the society, on the one hand, and the amount of resources allocated to this sector, on the other. The research is aimed at the theoretical understanding and analyzing of the practical implementation of the metrics used to evaluate higher education efficiency, and identifying possible risks associated with this assessment. The importance of the research is explained by the theoretical need to define the essence, components, and parameters of the effectiveness of education. Its practical significance is characterized by the need to form methodology and evaluating techniques that can adequately assess the direct and indirect effects of education, its impact on the development of the society. The paper gives a brief overview and comparative analysis of methodological approaches to the analysis of the higher education efficiency, identifies evaluation criteria depending on the context, object, and the research area. The authors define the methods to evaluate efficiency, among which the use of metrics is gaining popularity; however, they currently have a few limitations that form the risk of distorting the behavior of actors in the field of higher education. The analysis of a wide range of ratings, monitoring tests and other studies that use metrics allowed identifying their features that evoke systemic problems. Among such problems, the most likely and dangerous are the formation of deviant behavior of actors in the system of the higher education, combined with disregard for the goals and means of achieving them, and the likelihood of falling into the institutional trap of metrics.