Reviewerly/exHarmony huggingface dataset:
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

In this work we present PRONOM, a theorem prover and countermodel generator for non-normal modal logics. PRONOM implements some labelled sequent calculi recently introduced for the basic system E and its extensions with axioms M, N, and C based on bi-neighbourhood semantics. PRONOM is inspired by the methodology of leanTAP and is implemented in Prolog. When a modal formula is valid, then PRONOM computes a proof (a closed tree) in the labelled calculi having a sequent with an empty left-hand side and containing only that formula on the right-hand side as a root, otherwise PRONOM is able to extract a model falsifying it from an open, saturated branch. The paper shows some experimental results, witnessing that the performances of PRONOM are promising.
AN ANALYSIS OF PARENT-TEACHER COMMUNICATION TOWARD THE STUDENTS’ READING COMPREHENSION

ABSTRACT&#x0D; The aims of this research are to find out that extent parents are involved in their children reading comprehension at home and to know the factors trigger the communication between parents and the English teacher toward the students reading comprehension. By using the qualitative research this study described the research finding using a triangulation technique to gather the data from the questionnaires, interview, and Focus Group Discussion (FGD) from 10 parents and one english teacher at SMA Negeri 1 Lampasio. The data analysis indicates two things. The first, parents role toward the students’ reading comprehension is Low. It was found by the result of questionnaire that showed there were 10%-20% parents involved in their child reading comprehension at home. The second, the factors triggers the communication between parents and the English teacher were progress report that given by the English teacher to parents used an examination sheet and the same living place between parents and the English teacher.&#x0D; Keywords: Parent-Teacher Communication, Reading Comprehension
Navigation Application using Recycler View

Whenever we visit an amusement park or theme park or water park or a zoo, a lot of our time is wasted on navigating throughout the park and we get tired of roaming around. It would be a much better experience for the user if there was a personalized mobile application that would help the users navigate through the park easily. This particular application is meant for National Zoological park or The Delhi Zoo located in Delhi, India. This application can significantly enhance the experience of the people visiting the national zoological park by helping them keep track of the animals they have visited and guiding them to a particular animal with just a single click. This application is meant for android devices and it has two lists which were implemented using RecyclerView. Android recyclerview is the most advanced version of the listview. Basically, an android listview is used to present a simple data set. If you want to display large data set in your app, you should use recyclerview. RecyclerView is a much more powerful, flexible, smooth, and a major enhancement of listview.
Citation Analysis of Undergraduate Projects Report in the Department of Library and Information Science Kabale University Uganda: An In-Text Citation Study

Citation Analysis of Undergraduate Projects Report in the Department of Library and Information Science Kabale University Uganda: An In-Text Citation Study Achugbue, Iroroeavwo Edwin Ph.D; Ahimbisibwe Benjamin; Olivia Nina Rugambwa Ph.D; Odong Patrick Full Text: PDF DOI: 10.15640/jlis.v8n1a7
Aplikasi Pelaporan Kelebihan Jam Mengajar Jurusan Akuntansi PNP

This study aims to create a database application program that is able to process data on lecturer course activities and generate reports on the calculation of teaching fees periodically during the pandemic which requires lecturers to report lecture activities online. The system design method approach used is prototyping, namely by creating a program that most closely resembles user needs in a relatively short time. The prototype was generated using the Microsoft Access 2010 database application. The selection of microsoft access to create a prototype was based on the availability of complete facilities in Microsoft Access to design table relations, input forms, query processing, reports and the visual basic programming language for applications. Google Forms used to receive lecture data input online. The application development stages consist of design, testing and implementation stages. This application has succeeded in providing the right solution for the Padang State Polytechnic Accounting Department during the pandemic in calculating and reporting lecture activities and lecturers teaching fees.
Development of an Empirical Model for Photosynthetically Active Radiation Direct Normal Irradiance using Spectral Direct Normal Irradiance in Daejeon

Photosynthetically active radiation (PAR; wavelength 400-700 nm) is the spectral range of solar radiation used by plants for photosynthesis.It is necessary to use PAR data in various fields, such as the surface vegetation growth, light energy-chemical energy conversion process, and terrestrial carbon cycle.In this study, a direct normal irradiance (DNI) spectroradiometer installed at the Korea Institute of Energy Research was used to observe direct insolation over the whole wavelength ranges including PAR.The variabilities in solar radiation and wavelength sensitivity according to the solar zenith angle and the clearness index (an indicator of atmospheric turbidity), were analyzed using data collected during June-October, 2020.As the optical path increased, PAR DNI-having a short wavelength-showed greater attenuation than the near-infrared radiation (NIR).Additionally, an increase in the clearness index under the same optical path increased the PAR DNI relatively more.These results mean that the attenuation effect of atmospheric constituents under optical path can be different depending on the wavelength range.Based on the empirical model presented in previous studies and the observation data in Daejeon, the PAR DNI estimation model using DNI in the entire wavelength range were developed and evaluated.Although it was a short analysis period, each model showed an R 2 of 90% or more, and the model with the clearness index, an indicator of atmospheric conditions, presented higher estimation accuracy.We expect that further data collection will enhance the accuracy of the model despite seasonal variability.Thus, this research will encourage broader applications of the model in other regions.
Improving Students’ Speaking Ability through Story Completion Technique in Narrative Text

This research aims to find out how to improve students’ speaking ability by using Story Completion Technique. The writers applied Collaborative Classroom Action Research as the method of research, where there are four steps that must be followed, they are: planning, action, observation and reflection. In this research, the writers only conducted one cycle due to the fact that the result of the test has been successful. There are 30 eighth grader students of SMPN 1 Takengon as the sample of this research. The data were taken from observation and students’ speaking test in pre-test and post-test, then were analyzed quantitatively. The result of the cycle was described qualitatively. From the results of the research, it was found that using Story Completion Technique in speaking lesson was very enjoyable and it encouraged students to speak more fluently. It can be proven from the result of pretest and posttest, which showed that the posttest score is higher than that of the pre-test (2204 for the pretest and 1640 for the posttest). That means the pre-test score is 54.67 and the post-test score is 73.47.
PRESERVASI ARSIP KERTAS: EVALUASI PENGGUNAAN MAGNESIUM KARBONAT DAN METIL SELULOSA

Damage to archives stored for a long time threatens to reduce the shelf life of archives and their existence in the future. Efforts to conserve the archive are done to reduce the damage that occurs. This study aims to study the effect of the use of Magnesium Carbonate and the effect of the use of Methyl Cellulose in the improvement of the paper-based archives. Acidic archive papers are treated by using Magnesium Carbonate and Bookkeeper solution. The acidity of the paper is tested before and after treatment. In the restoration of the archive using Methyl Cellulose, Japanese tissue was applied using Methyl Cellulose glue on archive paper. The effect of the use of glue was observed from changes in the characteristics of the paper before and after treatment. The parameters tested include grammage, thickness, tear resistance, folding resistance, internal bonding, water absorption, ash content, and acidity. The result showed that Magnesium Carbonate can significantly increase pH but this chemical cannot be used in spraying. Other results show that the improvement of the archive using Methyl Cellulose can increase the strength of the paper but further research is needed to determine its effect after being stored for a long time.
PENGARUH MODEL PEMBELAJARAN KOOPERATIF TIPE THINK TALK WRITE (TTW) TERHADAP KEMAMPUAN MEMBACA PEMAHAMAN JENIS WACANA NARASI

This study was conducted to determine the effect of cooperative learning model Think Talk Write (TTW) in the learning of reading comprehension types of narrative discourse. This study, entitled "Effects of Cooperative Learning Model Think Talk Write (TTW) Reading Comprehension Ability Of Discourse type Narrative". The purpose of this study to determine the effect of cooperative learning model Think Talk Write (TTW) in improving reading comprehension types of narrative discourse. The method used in this study is the experimental method. Data were analyzed critically by comparing pretest and posttest by using statistical test with SPSS version 20.0 for Windows. Results of research conducted, ie cooperative learning model Think Talk Write (TTW) effect in learning reading comprehension types of narrative discourse with an average of 37.3 pretest posttest while averaging 54.3. The test results of independent samples t-test on the value of the posttest showed the Sig. (2-tailed) of 0.00 (P &lt;0.05). The conclusions of this study is cooperative learning model Think Talk Write (TTW) can improve reading comprehension of narrative discourse types of students. Keywords: Influence, Think Talk Write (TTW), reading comprehension, kind of narrative discourse.
Pemanfaatan Pasar Tradisional sebagai Sumber Belajar pada Mata Pelajaran Ekonomi Kelas X

This study aims to determine the use of the market as a learning resource and how to design LKS teaching materials. This study uses a qualitative research method with a case study approach. Data analysis techniques according to Miles and Huberman where the technique has four steps, namely data collection, data reduction, data display, and conclusion and verification of data. The results showed that economic activities in the Cilimus traditional market which can be used as a learning resource in Economics in the chapter material on Balance and Market Structure are: 1) Merchandise distribution activities, 2) merchandise storage, 3) presentation of merchandise Buying and selling transactions and the results of the validation of the design of environmentally based student worksheets show that this is feasible to be developed with some suggestions after validating material experts and media experts.
The History of “The Archive of the Decembrist S.G. Volkonsky”: Past and Present

Irkutsk Regional Historic Memorial Decembrists' Museum is known for more than two decades as a big publication center in Eastern Siberia.In 1999 it acquired a legal right to publish the documentary series "Polyarnaya zvezda" ("The North Star") from Eastern Siberian book publishing house.Currently the author is planning to publish the archival documents kept in the Manuscript division of the Institute of Russian Literature (the Pushkin House) and related to the Decembrist S.G.Volkonsky's family history.This corpus of documents and letters (more than 330 items) was prepared for publication in 1918 as one of the parts of the Decembrist S.G.Volkonsky's family multi-volume archive.The idea to publish it was stated by to S.M. Volkonsky and B.L
Digital Spaces and Bi-Regional Interaction within the Paradigm of Scientific Cooperation

Scientific cooperation takes an increasing place in the problems of international law, which is quite understandable in the context of the ever-increasing interdependence of modern states.The expectations of the international community associated with scientific discoveries pose new challenges in the field of legal regulation of relations on cooperation between states in this area.The solution of these problems affects such issues as the determination of the legal status of information spaces, intellectual property, and the regulation of regional and interregional relations.This paper examines the legal aspects of international cooperation in order to prevent and overcome threats to life and health of people by expanding the geography of scientific exchanges and obtaining timely access to the results obtained from all stakeholders.The digitalization of the regional scientific space and the use of digital resources for the creation of innovative products and interregional information exchange are presented as a necessary condition for the implementation of international cooperation in this area.The necessity of improving international legal regulation in the field of intellectual property protection based on the provisions of TRIPS (WTO) on assistance in the provision of medicines by concluding an agreement on an international patent for medical products for global emergencies has been substantiated.It is proposed to focus on the establishment of interregional cooperation in the field of scientific research using the model of the regional scientific space.
Peningkatan Keamanan Pengiriman Pesan Teks: Kombinasi Advanced Encryption Standard (AES) 128 dan Least Significant Bit (LSB)

Confidentiality in transfer the messages is an important thing to maintain. Increased security in transfer the messages can be improved using cryptography and steganography. This article aims to apply a combination of AES 128 cryptography and LSB steganography in an application, and measures the quality of the stego-image. In this article, the AES 128 algorithm is used for the encryption process of secret messages and the LSB algorithm for the process of inserting secret messages in the cover image. PSNR is used to measure the quality of the stego-image, by comparing the cover image and the stego-image. This research produces an application that can be used for the security of sending text messages by combining the AES 128 algorithm in the plaintext encryption and the LSB algorithm in the secret message insertion process. In term of measuring the quality of the stego-image, it was found that the character length of the secret message would have an impact on the MSE and PSNR values. This means, the longer the character of the secret message will affect the quality of the stego-image.
The gender history of voice assistants and their influence on users

The article discusses the historical causes of the femininity of voice assistants.Discusses the practice of giving a female voice to voice assistants, which is inextricably linked to sexist attitudes, along with the practice of allocating low-paying jobs that require interaction with people for women workers.In addition to historical reasons, the article discusses the psychological reasons why women are hired to sound robots.Women raise children, women traditionally engage in psychological services.Most people are more comfortable interacting with a female assistant robot, which should not mean the correct choice of such a voice for most devices voiced by female voices.It is shown how liberal norms of equality and humanism interact with psychological preferences developed by evolution, as well as how traditional patriarchal patterns of communication that do not require respect or a tactful approach in conversations with women are represented in modern IT culture
Mengukur Kinerja Perusahaan dengan Penerapan Metode Balanced Scorecard pada PT. Perkebunan Nusantara VIII Kebun Sukamaju Cibadak Kabupaten Sukabumi

The purpose of this research is to find out how effective and efficient the application of the Balanced Scorecard method to company performance at PTPN. The method used in this research is to use the Balanced Scorecard method. Type of quantitative descriptive research. Data collection techniques used by researchers in this research is through observation, interviews, documentation, and literature studies. The results of calculations using the customer retention formula with a percentage of the company's ability to retain old customers can be said to be less good. Conclusions, the application of the balanced scorecard method at PT. Perkebunan Nusantara VIII, Sukamaju plantation, is more comprehensive and measurable, so it is good and needs to implement company performance measurement using the balanced scorecard method. Because to make it easier for management to control and evaluate company performance so they can survive in business competition and design corporate strategies for the long term.&#x0D; Keywords: Balanced Scorecard, Company Performance
Klasifikasi Menggunakan Metode Naïve Bayes: Tingkat Pengaruh Penggunaan Gadget terhadap Kematangan Kecerdasan Emosi Mahasiswa

Gadgets are generally used by individuals to help increase their knowledge, facilitate communication, and also accelerate the development of scientific information. The use of gadgets such as smartphones, laptops, tablets, or iPads has become a habit among students. The students use gadgets for their daily needs. The convenience offered by using gadgets makes students need to be wise in using gadgets. The students can easily search for the lecture materials, take online classes, communicate in a virtual classroom, and see the results of their studies. However, gadgets also have a negative side. Some of the negative effects of the use of gadgets, such as addiction to playing online games, reduced face-to-face interaction, cheating on exams. This article aims to build a classification application for the level of influence of gadget use on the maturity of students' emotional intelligence using the Naïve Bayes method. From this research, the classification application for the level of influence of gadget use on the maturity of student's emotional intelligence using the Naïve Bayes method has been created. The test results of this application show an accuracy of 82%.
PENGEMBANGAN KONFIGURASI HOTSPOT DAN VOUCHER LOGIN MENGGUNAKAN MIKROTIK RB952ui DENGAN WEB TOP UP (STUDI KASUS : NORALONA COFFEE ROASTERY)

The current internet access needs are very high, both to find the latest information, articles and seek entertainment. There are several places that provide internet access, one of which is a coffee shop. Many coffee shops implement Wi-fi facilities as a service to attract customers. Noralona Coffee and Roastery is a coffee shop located in the city of Cirebon that provides Wi-fi facilities for its customers. Wi-fi facilities available at the coffee shop have not restricted user access to the internet. One of them uses a hotspot and the calculation of hotspot access is done using a voucher system. Hotspot with this voucher system will be configured with MikroTik. On the proxy there is a hotspot service feature, then there are additional features, namely User Manager, which is a web interface for hotspot management. Vouchers are calculated based on time. and each voucher can be used by 1 user. This study aims to produce hotspot vouchers that can be topped up through the hotspot login website to make it easier for consumers to use Wi-fi, do top ups and reduce the use of ¬ Wi-fi that is too long for each visitor. The results of this study indicate that in a time-limited and user-vouched test, users cannot log in if the voucher is being used by 1 user, and if the voucher deadline has expired, the voucher can be Top Up again and consumers can only Top Up 1x voucher in a day.&#x0D; Keywords : Hotspot, Voucher, User Manager, Web Top Up, Top Up Voucher
Steganalysis on Medical Images with Support Vector Machine

DICOM is a file format standard for medical images. DICOM file format includes a header with the patient's personal information as well as information related to the image. In steganography applications on medical data, patient's personal information, reports, and other data are hidden in the medical images. Steganalysis detects whether any secret data is hidden in a file or not. In this study, a steganalysis method is proposed to detect the presence of hidden data in a medical image. For this reason, the secret message that contains personal data extracted from the medical image header is embedded into the LSBs of the MR image pixels by using six different methods. The support vector machine (SVM) is used as a classifier for steganalysis between cover and stego images. As a result of the analysis, the presence of hidden data in medical images is found with 99.28% accuracy and 0.9856 correlation coefficient value.
THE STUDY OF STRUCTURE AND LINGUISTIC RULES IN WRITING OBSERVATION RESULTS OF REPORT TEXT AT SENIOR HIGH SCHOOL

In the 2013 curriculum, Indonesian language lessons are text based, thus, students are required to understand various types of texts, one of which is the text of the observation report.This study analyzes the text of the observation report applied as teaching material. The aim of this study is to produce a description of the structure and rules data in the text of the observation report and use it as teaching material, describing the structure and language rules of the text of the observation report in class X in SMAN 1 Majalaya. The author used a qualitative descriptive method by documentation techniques. Analysis of this data finished by assessing the students' writing one by one based on the assessment criteria of each aspect. The results showed that the ability of students of SMAN 1 Majalaya to write report texts from observations of class X MIPA (Science class) 1 and 2 was categorized quite capable. The aspects studied were the structure and language norms of the text of the observation report including conjunction between sentences and coordinative conjunction. The ability of students to apply the text structure of the report of observations includes general definitions, section descriptions, the definition of benefits categorized as capable, because there are only 11 texts out of 30 texts that do not have an observation report structure. Whereas in the language rules of the text the results of observations include conjunctions between sentences and coordinative conjunctions categorized as able because only 22 texts do not have the rules of linguistic conjunctions between sentences.