Reviewerly/exHarmony huggingface dataset:
Overview of Natural Language Processing Technologies and Rationales in Application

In the past decade, rapid advancement of new technologies including data technology, virtual reality (VR) and artificial intelligence (AI), which are all related to language disciplines, brings a new era of data-based language studies, relying on AI to enhance the language ability and VI to create fresh new experience. Practice of language processing in language disciplines by those technologies in turn promotes the emergence of some other revolutionary technologies, for example, the increasingly common data thinking and computational thinking in language research. In this context, it is of great significance to seize the opportunity of big data era, and make full use of AI and other new technologies to substantially promote language-related studies. Thus, an overview of several important language processing technologies and the corresponding rationales, as well as the latest progress is expounded in this paper.
Produksi Air Bersih di Ma’had Rizqullah Desa Simpang Sungai Duren Kecamatan Jambi Luar Kota Muara Jambi

CLEAN WATER PRODUCTION IN RIZQULLAH ISLAMIC BOARDING SCHOOL JAMBI. Pondok Pesantren is an Islamic boarding school where students are learning about Islam as well as science and technologies. Adequate and good quality of facilities and infrastructures are needed to support good teaching and learning process. One of such facilities is clean and healthy water which is important to students and teachers in the Pondok Pesantren. Bad quality of water, either for washing or drinking, will affect students’ concentration in studying. Therefore, our community service project was aimed at improving the quality of water at Ma’had Rizqullah by installing a clean water system using multilevel filtration method. The water to be processed was ground water collected from bore wells in Pondok area. By this technology, the requirement of clean water in Ma’had Rizqullah can be met, al can also supply water needs for community around the Pondok. The product of this technology was clean water that can be used for daily activities by students and teachers living in Pondok and surrounding people.
A Novel CCA-Secure Verifiable Authenticated Encryption Scheme Using BSDH and q-SDH Assumptions

When it comes to secure transactions online, the requirements of confidentiality and authenticity are usually concerned the most. The former prevents unauthorized reading, while the latter ensures authorized access. Hybrid cryptographic mechanisms such as authenticated encryption (AE) schemes, simultaneously combine the functions of public key encryption and digital signature. Some AE schemes also provide a cost-free arbitration mechanism to deal with the signer’s later repudiation. Such schemes have been found to have numerous practical applications like on-line credit card transactions, confidential contract signing and the protection of digital evidence, etc. However, a designated verifier should also have the ability to convince any third party that he/she is indeed the intended recipient. In this paper, the author presents a novel verifiable authenticated encryption (VAE) scheme with the functionality of recipient proof. Furthermore, the paper shows that the proposed VAE scheme is non-delegatable and provably secure under the random oracle proof models. A non-delegatable hybrid cryptographic scheme provides a higher security level even if the shared common key is compromised. Specifically, the author of the paper will demonstrate that the designed construction is proved secure against adaptive chosen-ciphertext attacks (CCA2) assuming the hardness of Bilinear Square Diffie-Hellman Problem (BSDHP) and secure against adaptive chosen-message attacks (CMA) assuming the hardness of q-Strong Diffie-Hellman Problems (q-SDHP).
Automatic Verification of Liveness Properties in the Situation Calculus

In dynamic systems, liveness properties concern whether something good will eventually happen. Examples of liveness properties are termination of programs and goal achievability. In this paper, we consider the following theorem-proving problem: given an action theory and a goal, check whether the goal is achievable in every model of the action theory. We make the assumption that there are finitely many non-number objects. We propose to use mathematical induction to address this problem: we identify a natural number feature and prove by mathematical induction that for any values of the feature, the goal is achievable. Both the basis and induction steps are verified using first-order theorem provers. We propose a simple method to identify potential features which are the number of objects satisfying a certain formula by generating small models of the action theory and calling a classical planner to achieve the goal. We also propose to regress the goal via different actions and then verify whether the resulting goals are achievable. We implemented the proposed method and experimented with the blocks world domain and a number of other domains from the literature. Experimental results showed that most goals can be verified within a reasonable amount of time.
An Analysis of Informative Speaking on Kakenya Ntaiya’s Speech: A Girl Who Demanded School

&lt;p&gt;Transferring people idea can be accomplished through informative speaking. There are four types of it which are speaking about objects, processes, events, and concepts. In achieving a good informative speaking, five parameters should be fulfilled which are do not overestimate what the audience knows, relate the subject directly to the audiences, do not be too technical, avoid abstractions, and personalize the idea of the speakers. Dealing with that, this paper aimed at analyzing the types of Kakenya Ntaiya’s Speech entitled A Girl Who Demanded School and describing its content with the five parameters of good informative speaking mentioned previously. Descriptive analysis was implemented with video recording transcription as the data source. The findings show that Kakenya Ntaiya spoke about events. By the end, it is concluded that her speech mets the five criteria of good informative speaking.&lt;/p&gt;&lt;p class="Default"&gt; &lt;/p&gt;
Pedagogical Creativity as the Basis of the Educational Process in the Works of the Ukrainian Scientist Boris Korotyaev

The article is devoted to the main principles of pedagogical creativity of the educational process, which were considered in the framework of scientific research of the Ukrainian scientist, scientific innovator Boris Korotyaev. The work of the scientist was taken as the basis, which most of all covered the problems of pedagogical creativity. Such is the book “Teaching is a creative process”, in which the scientist claims that the embodiment of a creative approach is able to revolutionize the entire educational process and bring practice to a better final result. The general idea of the creative principle, according to B. Korotyaev, is the humanistic relationship between teacher and student, where the former stimulates and motivates the second to the mutual search for knowledge, to overcome intellectual difficulties, during which a new product is created that is still unknown to the student. Where the teacher’s unshakable faith in the spiritual strengths of their students is able to truly reveal their inner potential, to strengthen health, in the aggregate three components – physical, mental, social and moral.
Improvement of Read Aloud Skills for Elementary Students Through Literacy Corner

This study aimed to describe literacy corner arrangement in elementary schools and improve reading skills through the literacy corner.The research method used was quasi-experimental, with the design of one group pretest-posttest O1 X O2 (McMillan & Schumacher, 1989).The subject of this research was the third grade students of SD LabSchool, Gajah Mungkur District, Semarang City.Data were collected by tests, questionnaires, and documentation.The results of this study were the initial ability to read aloud when the pretest was 42%, then at the posttest it was 85%, while students who had not completed reached 58% reduced to 15%, this means that the literacy corner can be used to improve students' read aloud skills.
ALUMNI TRACER STUDY SYSTEM DESIGN USING WEB-BASED GPS (CASE STUDY OF UNIVERSITAS ADVENT INDONESIA)

Introduction: Graduate is one of the important support in the development of a university. Graduate have a role to assist universities in developing the university into the community through collaboration in academic terms. Since the establishment of the Adventist University of Indonesia (UNAI) to date has resulted in 12 608 qualified graduates, but the problems that exist today data on students graduated from UNAI difficult to find because UNAI not have a special service for containing information about the data the continuation of a career each of graduate that will be created as the relationships that can support the advancement of the quality of the Graduate at Adventist University of Indonesia.&#x0D; Methods: With the difficulty of knowing the whereabouts of graduate, an graduate tracer study system was created using Web-based GPS that aims to make it easier for universities to find out the alumni position and is expected to be able to overcome the problems above. The graduate tracer study system was designed using a website-based system. .The system of Graduate tracer study was designed using a web-based system. The system is easy to use by any user because it is built using the waterfall method as a method of system development, laravel framework for building websites and using the Global Positioning System (GPS) locator that serves Graduate.&#x0D; Results: The end result of this research is to facilitate UNAI system to track and determine the position of the Graduate as well as get information takes on new Graduate pass or long pass which spread to various area&#x0D; Discussion: It is expected that the future can be developed to add features that are useful scholarship to help students who are still studying, and add graphs about graduate information in getting a job.
IMPLEMENTASI MULTIPLE INSIDE-OUTSIDE CIRCLE UNTUK MENINGKATKAN KETERAMPILAN BERBICARA

This study was designed as a classroom action research (CAR). This study was conducted in some cycles consisted of two sessions in each cycle: Planning, Action, Observation, and Reflection. This study is conducted to the students of Germania Class Airport Handling Management Bali Aviation Training Center Denpasar (BATC) which consisted of 22 students (6 male and 16 female) who had low ability in speaking English. It was proven by the average score of pre-test which was 66,59. To solve the problem, the researcher used Multiple Inside-Outside Circle. The data collected from this research were obtained from pre-test, post-test, and questionnaire. The data were analyzed by analysis statistial desriptive. The first finding of this study was there was a significant improvement on students’ speaking skill after the use of Multiple Inside-Outside Circle which can be seen from the average score of pre-test, cycle I and cycle II. The second finding showed that the subjects showed positive respond to the implementation of the Multiple Inside-Outside Circle.
Visualization techniques and their applicability in arranging the work of modern scholar with educational information

The article describes a variety of visualization techniques for educational material and substantiates their potential. Arguing the value of visualization techniques, the author takes into account modern requirements for education and gives her vision of the capabilities of these techniques (including those that are elements of interactive learning technologies) in solving educational problems. The content of the article is based on a historical analysis of the theory and practice of visualizing the learning process with elements of a comparative analysis of its implementation in schools of our country. Actualizing her own experience and the experience of her colleagues, the author gives her vision of the modern practice on visualization of the students’ work with the educational information which is implemented with consideration of the education computerizing process, with priority of the team forms of students’ work. The author gives theoretical and methodological ideas that can be taken as the basis for the conceptual substantiation of the visualization of the learning process.
Automatic Classification of Cross-Domain Opinions

It is increasingly common for internet users to have access to blogs and social networks. On these sites it is common to issue opinions. Opinions allow people to measure the perception of a particular topic or product. When the number of opinions is very large, its analysis becomes more complicated and it is generally sought to resort to tools that allow this task to be carried out automatically. In the present work the automatic categorization of text opinions is carried out. These opinions correspond to four products: books, DVDs, kitchens and electronics. You have both positive and negative opinions. Categorization results are presented using cross domains as training and testing, using different learning methods and are complemented with similarity graphs, which allow us to have a visual reference of the proximity of the language between the different domains under study. The results obtained allow us to see the feasibility of the proposed methodology.
Development Of Value And Semantic Competences Of Bachelors In Pedagogy

Being an open system, currently the pedagogical education is undergoing great changes caused by globalization and internationalization, the nature of social priorities and the place of a student and a teacher in this process. In the history of Russia the education has always been a carrier, a transformer of culture, a moral system of values. The education is presented as a fundamental social institution, which explains the basis of pedagogical education to preserve pedagogical traditions. The tendencies which are observed in society, among children and young people aimed at the search for new ideals and new life priorities, the problem of choosing a path that would determine the future, ambiguously understood by both children and parents, actualize the problem. The paper describes that the pedagogical education as a carrier of values and meanings developed by generations of people in the context of modern social and cultural reality is an effective tool of preserving cultural values. In order to fulfill the mission entrusted to it, the future teacher must be prepared to defend the idea of harmonizing personal and social, human and personal values and meanings in the life of each student. In the article, the main approaches to the study of the problems of professional training of bachelors of pedagogical education at the university are defined. They determine the theory and practice of modern pedagogical education from the point of view of its value priorities and sociocultural meanings, as well as from the standpoint of social and cultural reality.
SIMULASI KERUNTUHAN BENDUNGAN BILI-BILI KABUPATEN GOWA PROVINSI SULAWESI SELATAN

The extreme weather that occurred on January 22-24, 2019 in the Makassar city and surrounding areas caused massive flooding in the downstream area of ​​the Bili-Bili DAM which covered 5 districts and cities, namely Gowa Regency, Makassar City, Jeneponto Regency, Maros Regency, and Selayar Regency. There 6757 people were displaced and tens of hectares of rice fields and housing were inundated. As a form of evaluation in the context of disaster mitigation efforts if similar or larger events occur in the future, it is very important to do a floods simulation to mapping which areas will be affected by flood inundation if the Bili-Bili DAM collapses. The software used to simulate flooding in this study is HEC-RAS 2D. The object of research is focused in the city of Makassar which is a densely populated city center and other vital objects. The parameters analyzed are the distribution of flood inundation area and the depth of flood inundation. Simulation results that have been calibrated will be used as a reference for disaster mitigation planning.
Evaluasi Kebijakan Masa Studi di Perguruan Tinggi (Studi di Fakultas Ilmu Administrasi Universitas Brawijaya)

This study aims to describe the criteria of the successful study period in higher education and its impact on study period policy. The study adopted a descriptive qualitative research design. Data were collected through observation, interviews, and documentation in six study programs on the Faculty of Administrative Sciences Universitas Brawijaya. Interactive analysis model by Miles, Huberman &amp; Saldana (2014) which consist of data collection, data display, data condensation, and verifying or conclusion drawing was utilized to analyze and present findings. The results showed that study period policy in the Faculty of Administrative Sciences Universitas Brawijaya has been carried out well and successfully. It can be seen from the existence of the main tasks and functions that are inherent in the organizational structure and the various real efforts that supported the policies that positively impacted in the studentâ€™s study period.
IMPROVING CLASSROOM MATERIALS DESIGN FOR VOCATIONAL ENGLISH TEACHERS AT SAMPANG VOCATIONAL HIGH SCHOOLS

Improving the content and classroom materials design for English Classrooms at any vocational high school level is a tough job. English teachers at SMK levels found it challenging to integrate their classrooms materials to fulfill the vocational needs of their students. No denying to the fact that Vocational English has set a different framework compare to general English classes at the similar level of education. This study aims as a joint research partnership and as well as a platform to improve and create variety of English Vocational Materials for SMK classes in Sampang area. Around 7 public vocational high schools were involved in this study, providing a thorough information of its students’ needs for ESP purposes. The materials included knowledge about syllabus writing and the creation of independent teaching materials in the classroom as well as the implementation of reading, writing, and listening and speaking which are targeted to two different goals, UNBK and ESP improvements. The activity of developing English teaching materials is also expected to improve the final results of UNBK Students in English subjects. The study has resulted in the findings of challenges of teaching and developing materials for ESP classes, learning and teaching weaknesses triumph with the models, and the possible future solutions for ESP teaching at SMK level. The study also resulted in the initiative project collaboration with MKKS SMK in Sampang area to pioneer Sampang Vocational Camp 2020.
Phase Similarity Index for Image Quality Assessment

Image quality evaluation is significant in many fields of image applications and research, such as the performance evaluation of image processing algorithms, image compression, encoding, and transmission.This study aims to design an evaluation method by using the phase and structure information of images.Compared with the amplitude structure of the image, the visual system is more sensitive to phase information.Based on this premise, a new image quality assessment method, which is named the phase similarity index (PSI), is proposed.It considers three important features for visual perception: brightness, contour, and phase information.To test the performance of PSI, relevant experiments are conducted on TID2008, TID2013, and CSIQ databases.The experimental results show that PSI can achieve higher consistency with subjective evaluation compared with the most advanced image quality metrics.
Velocity estimation and compensation of high-speed target from undersampled data

For the high-speed moving target, its high-resolution range profile (HRRP) obtained by wideband radar is stretched by the high order phase error. To obtain well-focused HRRP, the phase error induced by target velocity should be compensated, utilizing either measured or estimated target velocity. When the radar echo is under sampled, however, the HRRP will suffer from strong side and grid lobes, which deteriorates the performance of velocity estimation. A novel velocity estimation and compensation of high-speed target for under sampled data is proposed. The variational Bayesian inference based on the Laplacian scale mixture (LSM) prior is utilized to reconstruct HRRP with high resolution from the under sampled data. During the reconstruction of HRRP, the minimum entropy-based Newton method is used to estimate the velocity to compensate the high order phase error. Experimental results validate the effectiveness of the proposed velocity estimation and compensation algorithm.
Organising RDM and Open Science Services

This paper describes how the Finnish Ministry of Education and Culture launched an initiative on research data management and open data, open access publishing, and open and collaborative ways of working in 2014. Most of the universities and research institutions took part in the collaborative initiative building new tools and training material for the Finnish research needs. Measures taken by one university, Aalto University, are described in detail and analysed, and compared with the activities taking place in other universities.&#x0D; The focus of this paper is in the changing roles of experts at Aalto University, and organisational transformation that offers possibilities to serve academic personnel better. Various ways of building collaboration and arranging services are described, and their benefits and drawbacks are discussed.
Formation and development of publishing and polygraphic business in Ukraine

The subject of the study is the theoretical aspect of the formation of the publishing and printing business in the context of the development of contemporary Ukrainian education. The aim of the study is to find methods for improving the publishing and printing business in the context of the development of modern Ukrainian education. Research methods. The paper uses a set of scientific methods and approaches, including systematic, structural, comparative, factorial, which allowed to realize the conceptual unity of research. Results of work The peculiarities of realization of the Ukrainian publishing and printing business of Ukraine and search of methods of perfection are determined. The field of application of the results of work. Modern Ukrainian Education. Conclusions An important stage in the publishing industry is to ensure the replenishment of working capital and the search for investors (sponsors) from other areas of business and, with their help, investing in Ukrainian books. Thus, the main condition for improvement of the publishing industry in Ukraine is the introduction of systemic principles in the publishing and printing sector for the formation of the national information space of the newest Ukraine.
An Efficient Integrity Assurance Framework for Could Computing

In last decade, cloud computing has introduced noticeable changes in our personal and business lives, by offers pool of different types of re-sources can be accessing on demand.But, this technology has not reached the full deployment due to security and privacy concerns.Most of these issues derived from implementing MapReduce framework.Because processing data in MapReduce requires long running, which gives the malicious workers the enough time to discover the security vulnerabilities in it.The malicious workers can misbehave in a collusive way or in a non-collusive way.The misbehave attack can alter the program executing by gives an incorrect result computation.At more specific, they affect service integrity assurance in MapReduce.This paper surveys different improvement frameworks that addressed service integrity assurance based on MapReduce.It addressed the main techniques behind each framework with its characteristics.We find that new frameworks need some enhancements to ensure the service integrity in MapReduce.