Reviewerly/exHarmony huggingface dataset:
Shortening of Proof Length is Elusive for Theorem Provers

There are many examples of failed strategies whose intention is to optimize a process but instead they produce worse results than no strategy at all. Many fall under the loose umbrella of the “no free lunch theorem”. In this paper we present an example in which a simple (but assumedly naive) strategy intended to shorten proof lengths in the propositional calculus produces results that are significantly worse than those achieved without any method to try to shorten proofs.This contrast with what was to be expected intuitively, namely no improvement in the length of the proofs. Another surprising result is how early the naive strategy failed. We set up a experiment in which we sample random classical propositional theorems and then feed them to two very popular automatic theorem provers (AProS and Prover9). We then compared the length of the proofs obtained under two methods: (1) the application of the theorem provers with no additional information; (2) the addition of new (redundant) axioms to the provers. The second method produced even longer proofs than the first one.
STUDENTS’ EXPERIENCE IN BUILDING LITERACY THROUGH BOOKTALKS PROGRAM

In this study, student ownership of devices actually became a phenomenon found in the field that they could use to find various books in many electronic book applications easily. In previous research, this has become one of the supporting factors of successful booktalks program implementation carried out by researchers. This study uses a qualitative method by exploring student perspectives on the application of booktalks program that utilizes gadget through the application of electronic books in building students’ literacy, the culture of reading and writing. 27 students participated in this study by submitting reflective notes that answered 2 questions about the advantages and challenges that students felt about implementing booktalks program that utilizes electronic book applications. Through content analysis, the results of data analysis showed students positive responses to the implementation of booktalks program that utilizes various electronic book applications in building student literacy.
PENANGANAN TUMPAHAN MINYAK TENAGA SURYA MENGGUNAKAN MEDIA LIMBAH KULIT DURIAN

The problem of oil pollution in the sea is starting to get serious attention from the public. This incident caused the mass death of various types of marine organisms. Many cases only become government records without any complete response. An example of a case is oil pollution in Seribu Island. It is known that pollution has occurred since 2003 and in the 2003-2004 period it was recorded that it had occurred 6 times. To prevent and control marine pollution due to oil spills, there are several prevention methods. We know that the case is difficult to do because the oil spill is very done, both in terms of time, continuous work, and in terms of the costs involved. In this study, the design and construction of oil extraction using absorbent media in the oil waste area in the water. The purpose of this research is to design and conduct a study of the efficiency of a belt type oil skimmer using durian skin waste which is moved using a solar panel. It absorbs oil from the air which can be retrieved and collected onto the vessel by providing a piping arrangement. The collected oil can be reused for various purposes.
An Adaptive Fuzzy Self-Tuning Inverse Kinematics Approach for Robot Manipulators

In order for a robot manipulator to reach a desired position, an accurate knowledge of kinematics is required. Also, the Jacobian matrix of the robot manipulator should be nonsingular. However, when the robot deals with objects of unknown parameters, the overall kinematics becomes uncertain and changing. Furthermore, the non-singularity of the Jacobian matrix cannot be guaranteed. Fuzzy logic control is a good candidate technique to deal with uncertain kinematics, and Jacobian matrix. Nevertheless, the conventional fuzzy logic control is not adequate to develop a robust and efficient solution for the inverse kinematic problem. In this paper, a new adaptive fuzzy self-tuning control system for robot manipulators is developed.  The developed system proposes two methods for reducing the numbers of rules and number of fuzzy inputs which significantly reduce the computational complexity.  The developed simulations conducted on 2 and 3 DOFs robot manipulators show the effectiveness of the proposed approach.
Representing constructional metaphors

This paper introduces a representation and annotation scheme for argument structure constructions that are used metaphorically with verbs in different semantic domains. We aim to contribute to the study of constructional metaphors which has received little attention in theoretical and computational linguistics. The proposed representation consists of a systematic mapping between the constructional and verbal event structures in two domains. It reveals the semantic motivations that lead to constructions being metaphorically extended. We demonstrate this representation on argument structure constructions with Transfer of Possession verbs and test the viability of this scheme with an annotation exercise.
Software As A Service Development Using Agile Methodologies

Tremendous progress has been made in recent decades, and Agile Software Development is the product of evolving challenging changes and investigators' attempts to transcend the conventional software development paradigm. This article aims to record the point of view on the implementation of different agile methodologies, the current state of agile adoption, the factors, benefits, and alerts of agile methodology deployment and its extended practices. Agile development of software is a flexible approach that has been suggested to address the drawbacks of Convolutionary development methods and minimize complexity and expense by offering flexibility at any point to implement changes in requirements; this is achieved by controlling the tasks and organizing them through a certain collection of beliefs and values.
Formation of competence in the possession of modern educational technologies at a university

Training of teachers of vocational training is focused on the needs of society incompetent professionals. Therefore, pedagogical universities are aimed at improving the training of students and today technological competence comes to the fore.The formation of the process of mastering educational in the educational process is a long and multifaceted process. It affects both the study of disciplines of professional and pedagogical cycle, and specialized disciplines. The study of the theoretical foundations of modern educational in the study of the discipline Pedagogical technologies at the University is continued in the use and application of in the educational pedagogical practice in institutions of secondary vocational education.The study of the discipline Pedagogical technologies allows students to master the theoretical and methodological foundations of the technological approach in vocational education, modern educational technologies, methods and technological methods of teaching using a variety of forms of work (problem lectures, research projects, independent work in the electronic educational environment, group discussions, practical tasks and case studies).The author substantiates the idea of the need for the formation of technological competence as an integral element in the formation of a modern teacher of vocational training. The paper presents the features and possibilities of the formation of competence in the possession of educational of pedagogical University students. The author reveals the concept of technological competence, denotes its essence, defines the structural components of the process of mastering educational technologies.Game, project, discussion, information and case are presented as the main educational for the future activity of the teacher of vocational training in the system of secondary vocational education.
PEMANFAATAN WEBSITE SEBAGAI MEDIA PENGEMBANGAN LOYALITAS WALI MURID DI MADRASAH IBTIDAIYAH MUHAMMADIYAH PASIRMUNCANG

The website is familiar in the world of education, most schools have implemented it as a means of communication between internal parties and external parties (student guardians). Website can be used anytime, anywhere can be accessed to convey something related to school activities or programs. This site helps school management in data management and processing and also makes it easy to quickly, precisely, and effectively analyze information. Website as well as a school public relations. The purpose of this study is to provide an overview or describe the use of the website as a medium for the development of Walimurid loyalty in MI Muhammadiyah Pasirmuncang. This research is a qualitative descriptive research approach with a type of phenemonology. As for the Subjects are the Principal, Teacher and Walimurid, while the data collection techniques are by interview, observation and documentation, while the data analysis uses data reduction, data presentation and conclusions. The results of research that has been carried out at MI Muhammadiyah Pasirmuncang is the use of the website as a medium of communication with internal and external parties.
Benchmark for Adaptive Edge-Preserving Image Smoothing

Edge-preserving image smoothing is an important step for many low-level vision problems. Though many algorithms have been proposed, there are several difficulties hindering its further development. First, most existing algorithms cannot perform well on a wide range of image contents using a single parameter setting. Second, the performance evaluation of edge preserving image smoothing remains subjective, and there is a lack of widely accepted datasets to objectively compare the different algorithms. To address these issues and further advance the state of the art, in this paper, we propose a benchmark for edge-preserving image smoothing. This benchmark includes an image dataset with ground truth image smoothing results as well as baseline algorithms that can generate competitive edge-preserving smoothing results for a wide range of image contents. A novel procedure for this problem is proposed based on local linear kernel smoothing, in which local neighbourhoods are adapted to the local smoothness of the surface measured by the observed data. The procedure can therefore remove noise correctly in continuity regions of the surface, and preserve discontinuities at the same time. Since an image can be regarded as a surface of the image intensity function and such a surface has discontinuities at the outlines of objects, this procedure can be applied directly to image denoising. Numerical studies show that it works well in applications, compared to some existing procedures.
The Effect of Blended Learning on Students’ Writing Analytical Exposition Text at MA Mambaul Maarif Belik

This study aims to investigate the effect of blended learning on students’ writing analytical exposition text, by implementing using quantitative approach. This study was conducted in MA Maarif Belik that involved 61 students. The data were collected through questionnaire, interview, and writing test. The finding revealed that the students got higher score in writing score after blended learning implemented. It could be seen from the score in pre test in experimental class that got score 39 and the post test gained 34 points and if it was compared with control class pre test got 37 and the post test gained 20 points. From the data showed that experimental class that using blended learning got higher score than control class. Besides, the result of calculating the percentage questionnaire above showed that the result was 70.22% which meant good category which interval was 60-79%. It could be defined that students agreed that blended learning appropriate to be applied in writing class. Then, most of the interviewee claimed that blended learning can make students more enthusiastic and motivated in learning English. Students could do the task in the class and outside classroom as a good impact is using the learning platform. However, the students and the teachermust have smartphone and internet connection, consequently, it cannot be applied to all schools, especially those school which has limited access internet as learning facilities. However, some facilities and technical procedures should be prepared in implementing blended learning. Keywords: Blended learning, writing, students motivation
YouTube Application in Supporting Students' Arabic Listening Skills

This study aims to identify the level of YouTube application usage to teach Arabic listening skills and identify respondents' perceptions on categories of materials in YouTube application that have been selected and collected. This study was a survey study using a questionnaire instrument to measure the level of YouTube application usage to teach Arabic listening skills to students and to investigate students' perceptions on the selected materials. The research sample was 70 students of one public university in Malaysia who were selected using random sampling method. The data collection was done using a set of questionnaires covering various items of YouTube application usage in TaL Arabic language skills. The questionnaire was modified and adapted from Aziah Abdol Aziz a Parilah Mohd Shah (2014) study and has gone through the validity process with high alpha Cronbach value of 0.98. The findings show that the level of YouTube application usage in teaching Arabic listening skills is at a high level. Subsequently, students are likely to be attracted to the materials that feature interesting forms, graphics, audios and visuals, appropriate timeframes and the use of standard language (fusha).
Tata Kelola Keamanan Teknologi Informasi Menggunakan Framework COBIT 5 Fokus Proses DSS05 (Studi Pada RS Bhayangkara Jambi)

Bhayangkara Jambi Hospital is a hospital that provides health services to the extended POLRI family and the general public. As a hospital that already uses an information system, information security must be maintained. One approach that can minimize attacks on information security is to implement information security governance. The aim of the research is to governance information technology security using COBIT 5. The method of analysis in this study uses the COBIT 5 framework using the DSS05 sub domain and uses the COBIT capability level (level 0-5) method of evaluation results. This study produces recommendations for improvements in information technology security in accordance with the level of capability achieved. The conclusion drawn from this study is the improvement in the level of capability and information security governance recommendations.
대학 교양중국어 학습자를 중심으로

This Study looked at the reading teaching measures of learners at the beginning stage by classifying them into Chinese characters, vocabulary, sentence structure, content comprehension and reading speed. The Chinese characters are adverbial or monogram, it is helpful to understand the meaning of a word. It is also possible for the learner to learn a lot of morphemes. Vocabulary, I think, is the most basic ability in reading comprehension, and the most difficult element in the reading process. Therefore, it is necessary to train learners to recognize and read vocabulary and gradually increase the amount of vocabulary. The teaching of sentence structure was divided into reading and finding the central components. The Chinese language needs to be read properly disconnected according to the meaning bundle so that it can convey the meaning naturally. Finding the central component is a method of finding the necessary parts of a reading passage, such as subject, predicate, or object. The key to sentence content understanding education should grasp the main facts and causes of sentence content. Note the topic or main point in each paragraph, and it is easy to understand the cause of the entire sentence. Reading speed teaching aims to read fast and accurately. In addition, you should speed up your reading from phrase to paragraph.
Image super-resolution using convolutional neural network with symmetric skip connections

In recent years, the convolution neural network has been widely used in single image super-resolution and has an excellent super-resolution ability. In this paper, a novel convolutional neural network structure based on symmetric skip connection is proposed, which contains multiple convolution layers and deconvolution layers. The role of the convolution layer is to extract the details of image content, and the function of the deconvolution layer is to make the image upsampling and restore the image content details. In addition, we use skip connection between the convolution layer and the deconvolution layer of network structure, which can transfer image information from the front end to the back end. Meanwhile, skip connection can also effectively solve the problem of gradient vanishing. Besides, the residual block is introduced to deepen the network structure. The deeper network structure can learn more complex changes. Different from other papers, this paper uses the method of adding the number of channels for feature fusion. This method can greatly increase the number of feature images, which is helpful to restore image details by deconvolution layer. A large number of experiments show that our network has efficient super-resolution ability of infrared image details.
Quantum Key Distribution with Imperfect Devices

In this Chapter we outline some of the experimental flaws that allow a potential eavesdropper to successfully breach the security of a QKD protocol. We then focus on the solutions to such problems, which are given by a combination of theoretical advances and clever experimental design. In particular, in Sects. 5.1 and 5.2 we discuss how security can be proven when the BB84 protocol is implemented with weak coherent pulses instead of single-photon sources, with a particular mention to the decoy-state method. We then introduce measurement-device-independent (MDI) QKD in Sect. 5.3 and consider a practical implementation of it in Sect. 5.4.
Research on Chinese Event Extraction Method Based on HMM and Multi-stage Method

Abstract The existing Chinese event extraction methods are mostly one-stage methods. Even if there are two-stage methods, the correlation between the stages is not high, the extracted event trigger words and event elements have low matching degree, and there is a class imbalance problem in the training process. This paper proposes a Chinese event extraction method based on HMM and multi-stage method. The first stage of the method recognises the event trigger word positive examples in the text; the second stage classifies the trigger word positive examples recognised in the first stage, determines the event type, and forms the sequence of event trigger words; the third stage matches the event elements, and forms the sequence of event elements, according to the first two stages of event trigger word extraction results. This method effectively alleviates the class imbalance problem in training, improves the matching degree between event trigger words and event elements extraction, and obtains better extraction performance. The accuracy, recall rate and F value of Chinese event extraction are all More than 78%.
AMesure: A Web Platform to Assist the Clear Writing of Administrative Texts.

This article presents the AMesure platform, which aims to assist writers of French administrative texts in simplifying their writing. This platform includes a readability formula specialized for administrative texts and it also uses various natural language processing (NLP) tools to analyze texts and highlight a number of linguistic phenomena considered difficult to read. Finally, based on the difficulties identified, it offers pieces of advice coming from official plain language guides to users. This paper describes the different components of the system and reports an evaluation of these components.
Active Learning of Classification Models from Enriched Label-related Feedback

Our ability to learn accurate classification models from data is often limited by the number of available labeled data instances. This limitation is of particular concern when data instances need to be manually labeled by human annotators and when the labeling process carries a significant cost. Recent years witnessed increased research interest in developing methods in different directions capable of learning models from a smaller number of examples. One such direction is active learning, which finds the most informative unlabeled instances to be labeled next. Another, more recent direction showing a great promise utilizes enriched label-related feedback. In this case, such feedback from the human annotator provides additional information reflecting the relations among possible labels. The cost of such feedback is often negligible compared with the cost of instance review. The enriched label-related feedback may come in different forms. In this work, we propose, develop and study classification models for binary, multi-class and multi-label classification problems that utilize the different forms of enriched label-related feedback. We show that this new feedback can help us improve the quality of classification models compared with the standard class-label feedback. For each of the studied feedback forms, we also develop new active learning strategies for selecting the most informative unlabeled instances that are compatible with the respective feedback form, effectively combining two approaches for reducing the number of required labeled instances. We demonstrate the effectiveness of our new framework on both simulated and real-world datasets.
PENGOLAHAN LIMBAH CAIR INDUSTRI TAHU PADA REAKTOR ANAEROBIK SISTEM BIAKAN TERSUSPENSI

Tofu industry wastewater contains organic pollutants which are very high and can negatively affect the environment. Anaerobic processes are an alternative treatment for decomposition of organic material without the addition of oxygen. The contact time in the anaerobic process depends on the characteristics and environmental conditions. The research aims to analyze the effluent quality of contact time variations. The method in the form of a pilot plant plant anaerobic suspended growth system reactor with a contact time variation of 0-16 days. The results show the temperature 0-16 days 32.2-35.23 corresponding <38°C. pH 0-16 days from 4.3 to 5.33 does not correspond to 6.0 - 9.0. TSS 0-16 days 52.33-175 according to <200 mg/L. COD 0-16 days 1813-6152,1 not suitable <300 mg/L. BOD 0-16 days 923.85-1391.04 not suitable <150 mg/L. Need to add lime and methane production to quickly decompose.
Study on the Establishment of Internet Homepage of Non-profit Association - Focusing on the use case of web platform 'I'mweb' -

The Korea Textile and Fashion Industry-Academic Association, which was established in 2004, has been operating without its own homepage until now. In 2019, it was judged that it was urgent to manage new members and build an installed homepage. Therefore, the program provided by 'I'mweb' was used by comparing domestic and overseas website manufacturers, and the reason is as follows. First, 'I'mweb' provides a web builder solution that allows individuals to easily create web sites without IT expertise such as program development, use of photoshop, and coding. Second, it faithfully provides bulletin boards and member management functions necessary in Korea, such as internet homepage builders and shopping mall production services. Third, there is an advantage in that it is easy to manage the homepage because it is convenient to use Q&A service through the administrator when building the web. However, it provides a responsive web function, but it is regrettable that the compatibility between PC and mobile is not smooth. This study is expected to be used as basic data for related research that needs help in opening a website in the future.