Reviewerly/exHarmony huggingface dataset:
Tools and Methodologies for Verifying Answer Set Programs

Answer Set Programming (ASP) is a powerful declarative programming paradigm commonly used for solving challenging search and optimization problems. The modeling languages of ASP are supported by sophisticated solving algorithms (solvers) that make the solution search efficient while enabling the programmer to model the problem at a high level of abstraction. As an approach to Knowledge Representation and Reasoning, ASP benefits from its simplicity, conciseness and rigorously defined semantics. These characteristics make ASP a straightforward way to develop formally verifiable programs. In the context of artificial intelligence (AI), the clarity of ASP programs lends itself to the construction of explainable, trustworthy AI. In support of these goals, my research is concerned with extending the theory and tools supporting the verification of ASP progams.
Comparative Analysis Of Decision Support Systems Determining The Right Food Business Location In Binjai City Using Topsis And Saw Methods

Every year, the development of the business world continues to increase. The location to open a business in accordance with the sales target in accordance with the market share is very difficult. In order to provide the right decision in choosing a business location, a method is needed in making decisions. Materials (data) and Methods: The business locations processed in this study were 6 types of criteria, namely the number of competitors, the level of population density, the number of supporting businesses around the location, business location permits, business position and traffic access. The method used in processing the data is SAW and Topsis. The stages of processing the SAW and Topsis methods in this research are initializing the wood data. The result of dividing and then multiplying all the criteria according to the weights. Then in the end, the highest preference value will be obtained for each alternative. The result of testing this method is ranking. The best ranking is the ninth alternative. This result has 90% accuracy. The choice of business location can be done optimally. So that the results of the decisions that have been obtained can be used as a guide for choosing a business location that is in accordance with the target market to be achieved.
Application Of The Viola Jones Algorithm On Face Detection

The face is the central organ for human expression, recognition, and communication. The face consists of four very important sense organs, namely the nose, eyes, ears, and tongue. The human brain has the privilege of recognizing someone based on their face. Face Detection is used to find out faces or nonfaces in an image and this section is the first step in the face detection process so its presence is very vital. Face detection task is very easy for humans, but this task is very complicated for computers because there are several stages that must be passed to detect faces. Where in this study the author designed and made an application for the application of the viola jones algorithm on face detection by discussing Python programming and using the Mysql database. The application of the viola jones algorithm on face detection goes well. Faces can be recognized by the application and display face owner information. Where the test is divided into 5 (five) including lighting testing with a test percentage level of 66.67% of detected faces, testing distance testing of 100% of faces detected at a distance of 1-100 cm, testing the number of faces there are 6 (six) results detected with 2 (two) faces, where faces must be approximately 10 cm apart so that faces can be detected and no results are detected on 3 (three) faces. So it can be concluded that the application cannot capture all faces detected by the camera. different face testing percentage test 100% the application can detect different people's faces with a single face.
Data Mining Motor Vehicle Testing Based On Vehicle Type Using The K-Means Method Case Study Binjai City Transportation Service

Motor vehicle testing is a series of activities to check the components in the vehicle. Motor vehicle testing is very important, because vehicles operated on the road have the potential to cause accidents. So if periodic inspections are not carried out, it cannot provide technical safety to vehicle users, because it is not known what components are lacking and what components must be repaired. In this study, motor vehicle test data will be calculated using the K-Means. The K-means algorithm is aclusteralgorithm non-hierarchical. Cluster analysis is a tool for grouping data based on variables or features. The purpose of k-means clustering, like other clustering methods, is to obtain clusters of data by maximizing the similarity of characteristics within the cluster and maximizing the differences between clusters.groups K-means clustering algorithm data based on the distance between the data and the centroid cluster Cluster with the number of motorized vehicle data based on the type of vehicle as many as 4 vehicles, namely, freight cars, MPU, buses, and betor. Cluster 1 there are 7 groups with 7 types of vehicles: 2 BUS and 5 betor where there is one type of vehicle (betor) that does not pass the test due to the type of damage at the time of testing motor vehicle. Cluster 1 is the type of vehicle that passes the motor vehicle test the most with the lowest level of damage; Cluster 2 there are 4 groups by type of vehicle: 4 Cars of Freight where 2 of them did not pass the test because of the type of damage during the motor vehicle test; Cluster 3 has 9 groups with the types of vehicles: 2 freight cars, 4 MPUs, and 3 BUS. 3 BUS and 1 MPU did not pass the test due to damage during the motor vehicle test. cluster is the cluster of vehicle types that do not pass the test with the most types of damage.
Expert System To Diagnose The Feasibility Of Drinking Water For Consumption Using Certainty Factor Method In Pdam Tirta Sari Kota Binjai

Drinking water is water that has been processed or without processing that meets health requirements and can be drunk directly. Meanwhile, to find out the water is fit for consumption or not. It is difficult to distinguish what causes errors that lead to problems that occur such as health problems. Such as metal content must be safe for consumption. It takes a system that can be used as an information provider to determine the quality of drinking water suitable for consumption which is managed by PDAM Tirta Sari, Binjai City. An expert system using the certainty factor method in diagnosing the feasibility of drinking water for consumption. Drinking water in determining whether or not water is feasible and helps provide valid information about the feasibility of drinking water for consumption to customers.
Expert System For Diagnostic Disease Of Cultivation Of Cucumber Holticulture Using Certainty Factor Method Based On Web-Based

Indonesia is an agrarian country where most of the population earn a living as farmers, including cucumber farmers. The biggest threat to cucumber farmers is the presence of diseases that attack their cucumber plants. What often happens is that there are many losses due to cucumber plant diseases that are too late to detect and have reached a severe stage, causing crop failure. To identify a disease disorder on cucumber plants, an expert on cucumber plant diseases is needed in diagnosing symptoms of disease disorders that attack cucumber plants. The distance traveled by experts to find out cucumber plant diseases at the Department of Agriculture of Langkat Regency is difficult so that it makes farmers experience losses and it is difficult to diagnose diseases in cucumber horticultural crops. For that reason, so in this study an expert system was built to diagnose diseases in cucumber horticulture crops. This expert system has 7 diseases and 16 symptoms . The Certainty Factor method was chosen because it is able to provide a level of confidenceexpert on the problem at hand. Based on the results of the Certainty Factor calculation, the highest confidence value is found in powdery mildew and rotten fruit with a value of 0.6 with a value of 60%. From the results obtained, the system diagnosed that the plant was affected by powdery mildew and rotten fruit.
Grouping the Distribution of Diarrhea Based on the Public Health Centers in Binjai City Using the Clustering Method

Diarrhea is one of the endemic diseases that occurs throughout the year and is one of the highest causes of death for everyone, especially children under five in Indonesia. The purpose of this thesis is to analyze the spread of diarrheal disease by forming a grouping of the spread of diarrheal disease and to analyze the characteristics of the spread of diarrheal disease. With the development of technology that is increasingly sophisticated and easy to use, such technological developments motivate us to know the importance of using computers in fast and practical data processing. Clustering is a data analysis method, which is often included as one of the Data Mining methods, whose purpose is to group data with the same characteristics and data with different characteristics into others.
Bandwidth Management and Web Filtering with Per Connection Queue (PCQ) Method using Microtik

Communication is a very important activity. Communication is carried out with the aim of exchanging information between several individuals. Communication can be done in various ways. Those who wish to communicate with each other can meet in person or through intermediaries. There are several types of media that function as intermediaries of information. You can use several media such as print media, electronic media, and online media to get various information. Digital communication in the modern era is not far from the Internet because almost all digital communication tools use the Internet. Internet needs vary greatly from old to young, because Internet needs are different, connection management is needed (Management Bandwidth) so that client requests with high connections do not interfere with clients with relatively low connection requests. One of the tools commonly used for connection management is MikroTik with the Peer Connection Queue (PCQ) feature. The reason for choosing Mikrotik is because Mikrotik has complete features at an affordable price. The importance of connection management is to maximize the connection provided by the ISP so that clients can use the Internet without buffering.
The Application Of Encryption And Decryption To The Delivery Of Text Messages Using The Rc4 Algorithm (Rivest Code 4) Utilizes The Lsb (Least Of Significant Bit) Algorithm As An Insertion Into The Image

The use of image media information has several disadvantages, one of which is that it is easy to manipulate by certain parties with the help of technology that is developing today. Efforts that can be made in improving the security of the transmission of image information are cryptography, which is the science and art of keeping messages safe. In this study, the RC4 (Rivest Code 4) and LSB (Least Of Significant Bit) stegnography methods were applied which aimed to obtain a stronger cipher by inserting messages into the image so that it was difficult to intercept. RC4 (Rivest Code 4) algorithm for encrypting and decryption, LSB (Least Of Significant Bit) stegnography used to decode and decode images. The results of this study show that by applying RC4 (Rivest Code 4) and LSB Stegnography (Least Of Significant Bit) can secure messages inserted into the image and secure keys for data needs. The encoding and decoding process time is influenced by the number of messages that will be kept secret.
Impact of legal enforcement of CSR on SDGs

By now, it is generally accepted that we need to make progress in terms of sustainable development. It is also generally accepted that a measurement framework promotes monitoring and increases accountability. Combining the two ideas, the UN developed a set of universal goals, known as the Sustainable Development Goals (SDGs). These goals consist of 17 SDGs with 169 targets. Various countries are using different methods to make progress on achieving the goals. One of the most obvious ways to expedite progress would be to pass appropriate laws. This chapter is one of the first attempts at analyzing the economic and financial ramifications of country efforts towards achieving these goals by passing laws. Specifically, it empirically examines the impact of passing appropriate laws on attaining SDGs. We examine various hypotheses using the Difference-in-Difference (DiD) approach. We test three hypotheses. The first two assess whether a country's SDG performance and its firms' financial performance improve with the passage of these laws. The third examines the performance of two comparator countries - one with a CSR law in place and one without. We take India as a test case for the first two hypothesis and compare India and Indonesia for the third one. We find that the SDG performance improves after implementing a CSR law, while the financial performance of firms is affected adversely. We also find that a country with mandatory CSR laws performs poorly compared to one with no such law in place.
REVISITING THE INTEGRATION OF INNOVATIVE METHODS OF ORGANIZING STUDENTS' INDIVIDUAL WORK INTO THE PROCESS OF TEACHING A PROFESSIONALLY ORIENTED FOREIGN LANGUAGE IN A TECHNOLOGICAL UNIVERSITY

Due to the implementation of the 3.0 University model, a technological university becomes an important structural component of the process of business development and technological entrepreneurship. The transfer of knowledge, characteristic of the 2.0 University model, is becoming insufficient, there is an objective need for a fundamental change in the traditional model of organizing student's individual work based on the integration of innovative teaching methods and a transdisciplinary approach. The research problem is integration of innovative methods of organizing independent study work in the process of teaching a professionally oriented foreign language. The purpose of the research is to reveal the potential of innovative methods for organizing individual work in foreign language teaching in a technological university. Method of selection, generalization and dissemination of advanced pedagogical experience have been used as the research methods. The results of the research are the following: the need to intensify students' individual work has been substantiated to fulfill the task of forming a given set of foreign language skills and abilities in accordance with the latest generation of the Federal State Educational Standards of Higher Education and the 3.0 University model; the potential of integration into the educational process of innovative methods of its organization has been proved. The key conclusions: individual work is an integral component of the process of teaching a professionally oriented foreign language at a technological university, the integration of innovative methods allows solving the problem of improving its quality, and also creates the prerequisites for implementing the principle of "lifelong education" and the transition to the 4.0 University model.
STRATEGIC GUIDELINES FOR THE DIGITAL TRANSFORMATION OF MODERN EDUCATION

The importance of the digital transformation of an educational institution is due to global trends in the spread of digital tools in all spheres of public life. The digital environment today is the most powerful driver of educational services, changing its content, technological and organizational content. The study of the main strategic guidelines for the digital transformation of an educational institution will help deepen further research in the direction of solving the problematic issues of introducing digital tools in this area, which actualizes the feasibility of the research. The research problem is: what are the main strategic guidelines for the digital transformation of modern education as a driver for the promotion of educational services? The purpose of the research is to identify relevant guidelines for the introduction of digital tools in the field of education. The methodological basis of the study is the general scientific cognition methods: analysis of sources in the eLibrary, generalization. The results of the study are the following: analysis of the content of the concept of "digital transformation of education" has made it possible to clarify its characteristics (digital service as an environment, digital service as a process), to identify structural components (digital tools, digital educational technologies, digital traces as the results of educational and pedagogical activities), to identify strategic landmarks of education in modern conditions (digital university, digital education, digital campus, digital stakeholders). The key conclusions are the digital model of higher education is the most powerful driver of educational services in the modern digital space and the beginning of a new digital paradigm.
IMPLEMENTASI DATA MINING C4.5 PENERAPAN ALGORITMA C.45 UNTUK MEMPREDIKSI TINGKAT KEPUASAN MAHASISWA TERHADAP POLITEKNIK BISNIS INDONESIA

Universities are not only required to provide services for students, but also must be able to compete to maintain service quality. This demand is absolutely necessary in order to create a loyalty for the community which will become valuable capital for an organization in the future. This study aims to recommend the satisfaction of Indonesian business polytechnic students by using the C4.5 data mining classification technique. Sources of data were obtained from questionnaires distributed via google form to final semester students (class of 2018) at the Indonesian Business Polytechnic. The attributes used to assess visitor satisfaction include: Tuition Fee Tariff, Campus Facilities, Administrative Services, Lecturer Services, Recommendation Level. The results of data processing using the C4.5 method through the RapidMiner tools obtained an accuracy value of 80.00%, precision 79.19%, and recall 79.19% with Satisfied criteria.
IMPLEMENTASI PIECES FRAMEWORK DALAM PERANCANGAN E-DOCUMENT MANAGEMENT SYSTEM WEBSITE PUSAT JAMINAN MUTU

The Quality Assurance Center (PJM) is an important unit in a university because it carries out activities in the context of improving the quality of higher education. STMIK AKAKOM as one of the universities also has a PJM Unit, but until now document management is still done in a simple way, namely storing the data and documents on the computer belonging to PJM. Meanwhile, specifically for monitoring results, document need to be printed to be distributed to related parties. Both of these things make it difficult to access by internal or external parties. Electronic Document Management System (E-DMS) is needed to facilitate good document maintenance and management so that documents will be easily stored, searched, updated or shared with other parties and has a security when accessed. In system development, proper analysis and design are needed in order to identify the problem and the solution. Evaluation of the condition of the existing system and result of the design are evaluated using the PIECES Framework. Based on the final results, it can be seen that the E-DMS design for the PJM STMIK AKAKOM obtained good results for the 6 evaluation components, namely Performance, Information, Economics, Controls and Security, Efficiency and Service.
PREDIKSI KELULUSAN MAHASISWA MENGGUNAKAN PERBANDINGAN ALGORITMA C5.0 DENGAN REGRESSION LINEAR

Technological advances supported by human knowledge have a very good influence on data and information storage technology, including in predicting student graduation (Graduation Prediction) on time, by applying several existing algorithms. In this study, researchers used the C5.0 Algorithm and Linear Regression. The concept of the research is to compare two algorithms, namely C5.0 and Linear Regression to the case of graduating students on time. Based on the length of study, students who graduated correctly amounted to 651 (91%) with a male gender of 427 students and a female gender of 224 students while those who did not pass (late) correctly amounted to 64 (9%) with a male gender totaling 53 students and female gender totaling 11 students from 2017-2020. Comparison results The R2 score from the C5.0 algorithm reached 96.85% (training) and 93.72% (testing) while the R2 score from the Linear Regression reached 33.31% (training) and 40.30% (testing).
PENGUKURAN IT READINESS PADA KBRI QUITO EKUADOR SEBAGAI PERWAKILAN PERTUKARAN BUDAYA MENGGUNAKAN TRI MODEL

The use of online platforms in cultural exchange is something new, so everyone has a different level of readiness. Therefore, a review is needed to determine a person's level of readiness to accept technology. In line with the existing problems, this study was made to measure the level of readiness to adopt technology. This study selects a case study of online platform technology in cultural exchange. The measurement method used in this study uses the Technology Readiness Index (TRI) model. This study used 8 official staff of the Indonesian Embassy in Quito as the sample. Research data collection is done by distributing questionnaires. After the data is collected, data analysis is carried out using the TRI value test. From the TRI test, the value is 3.49, where the value is categorized at the Medium Technology Readiness level. In the TRI model, the level of readiness is categorized as Medium Technology Readiness if the TRI value is between 2.90 to 3.51. From the results obtained, it can be concluded that the official staff of the Indonesian Embassy in Quito are ready to implement cultural exchange with an online platform, because the level of readiness is in the Medium Technology Readiness category.
An Enhanced Approach of Pso Driven Fa for A Spherical Interacting System

Storage tanks play a vital role in process industries.Controlling the level in storage tank improves and accelerates the process throughput.PID controllers are pressed into service for control purposes and furthermore to tune the controller PSO driven FA is used here.The system to be analysed is segregated into four sub regions and a dedicated PID controller is employed for each and every region.In the proposed work the PID based PSO driven FA is compared with the conventional method (ZN) with MATLAB and Simulink software.The obtained results are validated in the order of time domain specifications and performance indices such as rise time, peak time, Peak Overshoot, Settling time and ISE, IAE and ITAE respectively.The optimized results are obtained with less number of iterations and with considerably less errors.
Text to Image Translation using GAN with NLP and Computer Vision

Generating high-quality images from text queries is a challenging problem in computer vision and has many practical applications. This paper proposes Stacked Generative Adversarial Networks (StackGAN) to generate 256 x 256 photo-realistic images conditioned on text descriptions. We resolve the hard problem into more manageable sub-problems through a sketch-refinement process. The Stage-I GAN gives the primitive shape and colors of the object based on the given text description, yielding Stage-I low-resolution images. The Stage-II GAN uses Stage-I results and text descriptions as inputs and generates high-resolution images with photorealistic details. It can correct defects in Stage-I results and add compelling details to the refinement process. To improve the generated images' variety and regulate the conditional-GAN training, we introduce a novel Conditioning Augmentation technique. Various experiments and comparisons with state-of-the-art benchmarkdatasets demonstrate that the proposed method achieves significant improvements in generating photo-realistic images conditioned on text queries.
A General Formalism for Describing High-gain Photon-pair Generation in Dispersive and Absorbing Nanostructured Systems

We develop a non-perturbative formulation of photon-pair generation in the high-gain regime for nanostructured systems with arbitrary amount of loss and dispersion, and use it numerically to investigate integrated quantum spectroscopy in the high-gain regime.