Reviewerly/exHarmony huggingface dataset:
Research on Formal Modeling and Analysis of Complex Space Information Systems

As the scale and complexity of space information systems are continuously expanding, it is necessary to guarantee the system security and control the development cost as early as possible. According to the spatiotemporal characteristics of complex space information systems, this paper has proposed a formal method for modeling and analyzing the requirements of space information systems. First, a Space Information System Description Language, shorted as SISDL, is designed to formally describe system requirements. Then the corresponding tool for modeling system requirements by analyzing specific requirement document is developed. The well-built model is graphically displayed and used to check the existing errors in the requirement document. Finally, a ground information system of a specific satellite has been taken as an example for verification. The experimental results show that the method could effectively model the system requirements, and could improve the quality of the requirement document by analyzing the ambiguity in the requirement document.
Remove Reflections using Bisquare Iterative Reweighted Least Square

Reflections are ubiquitous effects in photos taken through transparent glass mediums, and represent a big problem in photography that impacts severely the performance of computer vision algorithms. Reflection removal is widely needed in daily lives with the prevalence of camera-equipped smart phones, and it is important, but it is a hard problem. This paper addresses the problem of reflection separation from two images taken from different viewpoints in front of a transparent glass medium, and proposes algorithm that exploits the natural image prior (gradient sparsity prior), and robust regression method to remove reflections. The proposed algorithm is tested on real world images, and the quantitative and visual quality comparisons were proved the better performance of the proposed algorithm on an average of 0.3% improvement on the b lind r eferenceless i mage s patial qu ality ( brisque) error metric than state of art algorithm.
INCREASING STUDENT LEARNING CONCENTRATION IN WRITING USING PROJECT BASED LEARNING

Based on the results of observations made on students of class IX.2 of SMP Muhammadiyah Pringsewu, the researchers found several symptoms that lead to the weak concentration of students. This study was focus on handling students' concentration problems in learning English, especially, in writing through Project Based Learning.  It was Collaborative Action Research. The data collecting techniques used classroom observation, student reflection, and questionnaires. In analyzing the data, the researcher adopted Burns’ theory. The results showed that the use of Project Based Learning was able to improve the students’ learning concentration in writing activity.
Conceptual design for INTIMAL: a physical/virtual embodied system for Relational Listening

This paper describes the preliminary design of INTIMAL: a physical-virtual embodied interactive system for relational listening in the context of human migration, within the artistic practice of improvisatory telematic sonic performance. Informed by the Deep Listening experiences of nine Colombian migrant women in Europe, INTIMAL departs from their sensorial experience in dreams, virtual and physical spaces, for a holistic understanding of the body as interface that keeps memory of place. In counterpart with an oral archive of other women’s testimonies from the Colombian civil war, body movements, voice and spoken words act as resonances opening paths for healing experiences of loss.
Minat Belajar Siswa dengan Variasi Penggunaan Media Pembelajaran (Survey pada Siswa Jurusan Akuntansi di SMK Negeri 3 Bandung)

The purpose of this study was to determine (1) how perceptions of students about the variety of instructional media, (2) the effect of variations in the use of instructional media on student interest accounting department at SMK Negeri 3 Bandung. The method used is survey with a student sample of the accounting department at SMK Negeri 3 Bandung. Analysis of the data used is the analysis of the data verification through calculation of average (mean) score for solving the first problem. As for solving the problem are both used a simple linear regression analysis. Results of research on the variations of the use of learning media can be summed variety of instructional media usage "Very Good" and indicators of a questionnaire on perceptions it is best to use video media. Based on regression analysis indicated by the coefficient of determination R Square, it can be stated that this hypothesis can be accepted. This means that there are significant variations in the use of instructional media on student interest. If you have students who are likely to have the characteristics of a passive, teachers should use the media interesting and varied learning related to the subject matter to be delivered.Keywords: Variation Use of Media Education and Student Learning Interests
Performance Measurement of Interlibrary Loan for University Libraries in Taiwan in the Digital Age

The study mainly discusses performance measurements of interlibrary loan for university libraries in Taiwan. The purposes of the study are: 1) to explore the status of interlibrary loan services for university libraries in Taiwan; 2) to investigate the effect of electronic resources on interlibrary loan services; 3) to collect and analyze current data on the performance of ILL services of university libraries; 4) to identify and describe characteristics of low-cost, high-performing ILL operations. The study used questionnaire surveys and performance evaluation method with four performance measures to evaluate borrowing and lending services: cost, fill rate, turnaround time, and collection sufficiency. In 2014, the researcher sent questionnaires to 169 university libraries to collect the interlibrary loan operations and performance data in 2013. The study found electronic resources had influenced ILL services, and that 29 participants (27.1%) provided database ILL services, 28 participants provided e-journals ILL (26.2%), 5 participants (4.7%) provided e-book ILL services. With the implementation the NDDS ILL information system in 2013, the ILL service performance of 107 participants were assessed, the average ILL transaction per library was 993, the average ILL borrowing transaction per library was 484, and the average ILL lending transaction per library was 509. The borrowing unit cost was NT$165, and the lending unit cost was NT$129. The borrowing fill rate was 79%, and the lending fill rate was 82%. The borrowing turnaround time was 1.98 days, and the lending turnaround time was 1.54 days. As the ratio of requests received to requests sent out in interlibrary lending was 1.1, it showed that the collection of university libraries was sufficient and adequate. This study carried out a performance measurement of ILL service, constructed four performance measures and described the performance of ILL service for university libraries in Taiwan as costing less with a faster turnaround time, higher fill rate and a sufficient and adequate collection. The study is valuable because it proposed new performance measures and significant findings of effects of e-resources in interlibrary loan services.
ONLINE GAMES AS THE MEDIA BEFORE HAVING EFL TEST (TOEFL EQUIVALENCE) FOR THE TWELFTH STUDENTS OF SMA NEGERI I JOMBANG 2018/2019

English is one of the compulsory subject for Senior High School. It is taught for two hours in a week. The students feel that the time is not enough for them because they must face national examination for it. SMA Negeri I Jombang has done additional course and joint with ITS language Center for Having EFL Test to measure the students’ ability in English. Before conducting the test, the teacher prepares them by using online game to make them familiar with English. After implementing it, the TOEFL Score/ EFL Test Score makes us satisfied. It is proved by there are more than 20 students of 36 students get more than 450.
Library: Digitisation Service: VLE MOT

The Library offers several services to help academics to get the highest quality and copyright-compliant scanned resources for their students.
Otomasi Kamera Perangkap Menggunakan Deteksi Gerak dan Komputer Papan Tunggal

USB camera is currently used in daily life for various purposes. On its development, the use of USB camera can be used to create camara traps and can be used to observe the development of animal with integrated systems. In this research, motion detection was used to observe animals online using Single Board Computer (SBC) Camera trap in this research using Single Board camera in form of raspberry pi 3 B. Python proggramming language is used with OpenCV library. The method used to detect motion is the Mixture of Gaussian (MOG). The result image gained by motion detection will be uploaded to the dropbox API.The test performed on 11 videos, the system can process images with 320x240 resolution. The test results show the best blut value of k = 13, the best threshold value is 100 pixel with an accuracy of 80,3%, and the maximum distance system can detect animal objects as far as 6m. The response time gained for the sytem to process frame per second have average of 0,098 seconds, while for uploading image to dropbox han an average of 1,618 seconds. The test result show the system still has room for development and improvement.
The Influences of Toni Morrison's The Bluest Eye (1970) on the Readers' Perspective towards Racial Differences: A Reader-response Analysis

The aim of this study is to inspect the influence of The Bluest Eye novel on the readers’ perspective toward racial differences. The theories used in this study are Reader-response by Richard Beach and attitude in social psychology by Eagly & Chaiken. This study used qualitative method. The data of this study consist of two kind namely primary data and secondary data. Primary data is the response from the readers to the novel on Goodreads website. While the secondary data obtained from other sources like journal, article, internet and another that related to the study. The technique to collect the data is using document review by applying random population sampling from Goodreads website. The technique of analyzing data is using descriptive approach by categorizing the data, exposing the issue in details using reader-response theory and some supporting theories, and making conclusion to get the final result and using method from Miles & Huberman to show the result by reducing data, displaying data, and drawing conclusion. The result of this study shows that the influence of The Bluest Eye novel on the readers’ perspective toward racial differences is in term of attitude change. It consists of three aspects namely affective, behavioral, and cognitive. In affective, the readers’ attitudes toward racial differences are sadness, anxiety, and hatred. In behavioral, the attitudes are respectability, acceptability, and awareness. And in cognitive, the readers have two kinds of attitude namely negative perspective toward racism and positive perspective toward racial differences.
THE REAL-WORLD-SEMANTICS INTERPRETABILITY OF LINGUISTIC RULE BASES AND THE APPROXIMATE REASONING METHOD OF FUZZY SYSTEMS

The real-world-semantics interpretability concept of fuzzy systems introduced in [1] is new for the both methodology and application and is necessary to meet the demand of establishing a mathematical basis to construct computational semantics of linguistic words so that a method developed based on handling the computational semantics of linguistic terms to simulate a human method immediately handling words can produce outputs similar to the one produced by the human method. As the real world of each application problem having its own structure which is described by certain linguistic expressions, this requirement can be ensured by imposing constraints on the interpretation assigning computational objects in the appropriate computational structure to the words so that the relationships between the computational semantics in the computational structure is the image of relationships between the real-world objects described by the word-expressions. This study will discuss more clearly the concept of real-world-semantics interpretability and point out that such requirement is a challenge to the study of the interpretability of fuzzy systems, especially for approaches within the fuzzy set framework. A methodological challenge is that it requires both the computational expression representing a given linguistic fuzzy rule base and an approximate reasoning method working on this computation expression must also preserve the real-world semantics of the application problem. Fortunately, the hedge algebra (HA) based approach demonstrates the expectation that the graphical representation of the rule of fuzzy systems and the interpolation reasoning method on them are able to preserve the real-world semantics of the real-world counterpart of the given application problem.
The Use of Pinocchio Story as the Media in Teaching Vocabulary Towards Second Grade Students at MTsN Balang-Balang

The instrumen of this research is the procedure text test used in the pre-test and post-test. The results of the data show that there is a significant difference between the post-test of students in the experimental group and the control group. Not only the average score of the post-test in the experimental group was greater than the average post test score in the control group but also the standard deviation of the control group. From the t test, the researcher found that the value of the tt test post test and t count were obtained greater than t table at the 0,05 significance level with degress of freedom (df)=28.
Biclique Cryptanalysis of Block Ciphers LBlock and TWINE-80 with Practical Data Complexity

In the biclique attack, a shorter biclique usually results in less data complexity, but at the expense of more computational complexity. The early abort technique can be used in partial matching part of the biclique attack in order to slightly reduce the computations. In this paper, we make use of this technique, but instead of slight improvement in the computational complexity, we keep the amount of this complexity the same and reduce the data complexity enormously by a shorter biclique. With this approach, we analysed full-round of LBlock, and also LBlock with modified key schedule (which was designed to resist biclique attack) both with data complexity 2^12, while the data complexity of the best biclique attack on the former was 2^52 and for the latter there is no attack on the full-round cipher, so far. Then we proposed a new key schedule that is more resistant against biclique cryptanalysis, though the low diffusion of the cipher makes it vulnerable to this attack regardless of the strength of the key schedule. Also using this method, we analyzed TWINE-80 with 2^12 data complexity. The lowest data complexity for the prior attack on the TWINE-80 was 2^60. In all the attacks presented in this paper, the computational complexities are slightly improved in comparison to the existing attacks.
HOW DO STUDENTS LEARN WRITING EASILY

This CAR intends to improve students’ writing ability. The data were collected through questionnaire, observation, and documents . Assembling the data, coding the data, comparing the data, building meanings and interpretations, and  reporting the outcomes were the steps to analyze the data . The result showed that there was improvement on stdents’ writing ability, that was in cycle 1 , the mean score was 63.2 8 , and  70.9 7 in cycle 2. The questionnaire data was also showed that 47% students strongly agree d and 33% of them agree d that Collaborative Writing Technique could encourage them to write and help them to improve their writing ability.
ATTITUDE OF STUDENTS TOWARDS ENTREPRENEURSHIP THROUGH PEDAGOGY IN NIGERIA: A CRITICAL ANALYSIS AND REFLECTION

This paper looked into pedagogy as a tool for arousing positive attitude toward entrepreneurship. The work considered all federal universities in South-West, Nigeria. The population of the study consisted of 25,443 fourth year students of all federal universities in South-West Nigeria. A sample of 1673 students in their fourth year was used in the study. The study adopted stratified random sampling technique and a structured questionnaire with 6-point Likert scale was used for data collection. Result of the study showed that pedagogy is positively significant to attitude towards entrepreneurship of students of the selected Universities. The study suggests that to promote positive attitude towards entrepreneurship of university undergraduate, innovative pedagogies should be adopted in the teaching of entrepreneurship in the universities in Nigeria. The aforementioned promotes graduate employment and economic growth.
UPAYA MENINGKATKAN KOMPETENSI GURU SDN 020 LANGSAT HULU DALAM MENYUSUN PENILAIAN PROSES K13 MELALUI SUPERVISI AKADEMIK

The research aims to improve the ability of teachers in compiling an assessment of the K13 process through academic supervision. The research method in this study is School Action Research. The results of the study showed that academic supervision could improve teacher competence in compiling the assessment of the learning process with an average learning process in the first cycle of 79% which was included in the sufficient category, and experienced an increase in the second cycle to 84.5% in the good category.
Kajian kualitas air lindi terhadap kualitas air tanah di sekitar tpa (tempat pemrosesan akhir) sampah jetis, desa pakem, kecamatan gebang, purworejo, jawa tengah

Study Of Leachate Quality to Groundwater Quality Around Jetis Landfill, Pakem,  Gebang District, Purworejo Regency, Central Java Province (Ika Wahyuning  Widiarti and Eni Muryani): Organic waste will be decomposed easily and produce leachate. Leachate may pollute soil, groundwater and river around TPA (Final Disposal) Jetis if it does not manage well. The objectives of this research are to describe leachate quality with parameters pH, BOD, COD, TSS, N-Total, Hg and Cd, to analyse the status of groundwater quality, and to evaluate the connection between leachate quality and groundwater quality around TPA Jetis. Leachate sampling was conducted at inlet and outlet of WWTP of TPA Jetis and the groundwater sampling was conducted at resident well and monitoring well. Research result showed that parameters BOD, COD, and TSS at inlet exceeded the standard. While the all parameters of the outlet were still meet the standard. The status of groundwater quality included lightly polluted with PI for monitoring well was 1.082 and for resident well was 2.912. Laboratory results showed that the resident well has BOD and COD values that exceed the standard. So that it can be expected that groundwater contamination occurs because of leachate from the TPA Jetis so that the groundwater quality of the resident well around the landfill decreases.
Analysis Of Maxim Violation In “Superstore” Tv Series

In our daily of lives there are many phenomena in languages occurs in conversation. Therefore, this study aims to deepen the understanding in the pragmatic field by analyzing the types and reasons of maxim violation uttered by the speaker while having a conversation with the addressee. The data were collected from Superstore TV series script using qualitative approach which are explained in essay. The data were analyzed using Gricean maxim theory. The analysis shows maxim violation of relevance as the dominant violation found in the dialogue, and the most reason used by speaker is that the speaker obviously violates the maxim because of several reasons, such as wanting to change the topic, lacks of information, or making the conversation wordy.Key words : Linguistic, Pragmatic, Maxim Violation, Qualitative Approach, “Superstore TV series script, Gricean Maxim Theory
PERBANDINGAN OPENVZ DENGAN KERNEL BASED VIRTUAL MACHINE (KVM)

Server virtualization is one system that uses energy and can work simultaneously. In this study the comparison of OpenVZ based hypervisors with kernel virtual machine (KVM) hypervisors will be compared on a virtual private server (VPS) machine. The research method uses PPDIOO developed by Cisco in network system design. The phases in the PPDIOO method are Prepare, Plan, Design, Implement, Operate and Optimize. The results of this study are OpenVZ-based virtual machines are more stable than KVM because the level of efficiency of existing resources is more efficient use of OpenVZ-based virtual machines with data using 0.8% CPU performance and 589mb of memory, the level of use of KVM-based virtual machine resources is greater with 65.4% CPU performance and 2824 mb memory, OpenVZ-based virtual machines that are able to run without large resources, while KVM-based virtual machines while working together require very large resources. Keywords: ,, ,, Kernel-based Virtual Machine (KVM), Virtual Private Server (VPS)
POTENTIAL UTILISATION MAPPING OF STATE-OWNED ASSETS IN THE FORM OF LAND AND BUILDING LEASE IN PALANGKARAYA CITY

This paper discusses on how the Directorate General of State Assets Management (DGSAM), as the state-owned asset manager, under the Ministry of Finance of the Republic of Indonesia, analyses the best suited strategy to map public assets. The tremendous amount of assets to be managed are scattered all over Indonesian archipelago. As one of the revenue centres for the nation, DGSAM needs to have more information about the feasibility of those assets. This study addresses the mapping of potential state-owned assets and measures the potential revenue to find out how much that can be generated from them. Asset mapping was done using geographical information system analysis, while the potential value of the appraised assets is calculated using artificial neural network. The study takes place in Palangkaraya, the largest city in this country, which might be the promising capital city of Indonesia in the near future. Based on the findings, it is clear that the government assets which can be exploited in Palangkaraya alone are about 14,302 m2 of land with the potential revenue of USD 86,040/year, and 141 rooms which are predicted to generate around USD 106,342/year, with appropriate occupancy rate in the market.
1 GBaud Heterodyne Continuous Variable Quantum Key Distribution over 26 km Fiber

We experimentally demonstrate a 1 GBaud heterodyne continuous variable quantum key distribution system based on standard telecom components capable to achieve a key rate of 1.71 Mbit/s over 26 km of fiber. © 2019 The Author(s)
Visual Cryptography: An Encryption Method To Encrypt Multiple Images Using Shares

Cryptography is the main pillars of information security.By the arrival of internet, its usage and usefulness has exploded.Cryptography means storing and transmitting data in a form that only targeted people can read and process.It is also an effective way of protecting sensitive data that is stored on media devices or transmitted over an unsecured network communication channel by encrypting it into an unreadable format.Visual cryptography is a cryptographic technique used to encodes a black and white secret image into n shadow image called shares and these shares are distributed among n participants and only qualified subset of participants can visually recover the secret image.DCT is used in the proposed system.It has two encryption methods: lossy encryption and lossless encryption.Lossless encryption is more appropriate because it preserves every single detail in the image.It reduces the transmission risk problem and the quality of image is retained.