Reviewerly/exHarmony huggingface dataset:
Typal Heterogeneous Equality Types

The usual homogeneous form of equality type in Martin-Löf Type Theory contains identifications between elements of the same type. By contrast, the heterogeneous form of equality contains identifications between elements of possibly different types. This short note introduces a simple set of axioms for such types. The axioms are shown to be equivalent to the combination of systematic elimination rules for both forms of equality, albeit with typal (also known as “propositional”) computation properties, together with Streicher’s Axiom K, or equivalently, the principle of uniqueness of identity proofs.
Effectiveness of Using Folklore Text-Based Learning Media Literacy in Class X Students of MAN Tg. Pura

This developmental research aimed to analyze the Effectiveness of Using Folklore Text-Based Learning Media Literacy in Class X Students of MAN Tg. Pura. This research was conducted at MAN 2 Tg Pura in class X students. The implementation of this research is planned to be carried out in February 2019 to April 2019. The data in this study are the results of observations, interviews, material validation questionnaires and learning media design, perception questionnaire results. teachers of the learning media developed, as well as student learning outcomes, amounting to 35 people. The observation data in the form of the value of learning to write saga text totaling 35 students so far and the results of interviews in the form of the opinions of 2 Indonesian language teachers regarding learning to write folklore texts (saga) were obtained from Indonesian students and teachers. Data in the form of material validation and learning media design were obtained from the validator/team of experts, as well as data on learning outcomes from students before and after using the developed learning media. The results of students' learning ability in writing literacy-based folklore texts after using the developed learning media were in the "very good" category with an average value of 81.14 and the average value before using literacy-based folklore text learning media of 66, 57 which is in the "good" category. This proves that student learning outcomes are higher after using literacy-based folklore text learning media with a significance difference of 14.57%.
Using Deep Learning for Arabic Writer Identification

Identification of persons is mainly through the physiological characteristics like fingerprints, face, iris, retina, and hand geometry and the behavioral characteristics like a voice, signature, and handwriting.Identifying the author of a handwritten document has been an active field of research over the past few years and it used in many applications as in biometrics, forensics and historical document analysis.This research presents the study and implementation of the stages of writer identification, starting from data acquisition, and then augmente the data through programming an algorithm that generate a large number of texts from the set of texts available within the database, finally building a convolutional Neural Network (CNN)) Which is useful for extracting features information and then classification the data, therefore, the features are not needed to pre-define.The experiments in this study were conducted on images of Arabic handwritten documents from ICFHR2012 dataset of 202 writer, and each writer have 3 text.The proposed method achieved a classification accuracy of 98.2426%.
Constraints for Time-Multiplexed Structured Light with a Hand-held Camera

&#x0D; &#x0D; Multi-frame structured light in projector-camera systems affords high-density and non-contact methods of 3D surface reconstruction. However, they have strict setup constraints which can become expensive and time-consuming. Here, we investigate the conditions under which a projective homography can be used to compensate for small perturbations in pose caused by a hand-held camera. We synthesize data using a pinhole camera model and use it to determine the average 2D reprojection error per point correspondence. This error map is grouped into regions with specified upper-bounds to classify which regions produce sufficiently minimal error to be considered feasible for a structured-light projector-camera system with a hand-held camera. Empirical results demonstrate that a sub-pixel reprojection accuracy is achievable with a feasible geometric constraints&#x0D; &#x0D;
Causes of Early Termination of University Studies in Relation to the Existence of Bridging Courses from the Perspective of Students and their Teachers

The paper deals with the issue of early termination of university studies and summarizes the results of an international survey on the existence of bridging courses for high school graduates entering the 1st year of science studies.The introduction describes the current situation at universities and technical colleges, and points out a number of factors that cause early termination.Based on the analysis of student failures in the first year of undergraduate study of teacher training in science and mathematics, a research survey was conducted in the Czech Republic in cooperation with universities in Austria, Slovakia, Lithuania and Italy.The aim of the research was to describe and analyze the current state of the so-called bridging courses for students of natural sciences and to verify other possibilities of implementing these courses at participating universities.Within the survey, the method of qualitative research was used, and an induction procedure with the following phases was used: formulation of the research question, data collection, data evaluation and formulation of conclusions.In the end, the results of research at individual universities, including their analysis, are presented.At the same time, recommendations are given for the creation of further courses, namely in physics, chemistry and biology, which will be prepared within the international project ERASMUS + Bridge2Teach.
A Survey on Image Steganography Techniques

Steganography refers to the exchange of hidden data.It deals with the study of invisible communication between the sender and the receiver.In today's modern world transferring secured data over a network is the main concern, hence for secured communication steganography is used.The data that is to be sent is concealed behind a text, image, or an audio file.The attacker or the eavesdropper, who observes the object with embedded data, will not notice it and thus would not try to decrypt the hidden data.Steganography is useful in many areas like efficient confidential communication, protection from data modification, and media database systems.It preserves the confidentiality of the information, which ensures that during communication there will be no alteration in the content of the information.Steganography can be classified into image steganography, audio/video steganography, or text steganography.This paper gives an overview of image steganography and its various techniques to hide the data behind the image.The techniques are discussed and analysed based on their ability to hide the information securely.
PENGGUNAAN MEDIA KARTU DALAM MENINGKATKAN KETERAMPILAN MEMBACA PERMULAAN SISWA

This research is motivated by the fact that there are still many students who are not fluent in reading the beginning and are not able to understand teacher instructions in learning. Through this research, it is hoped that it can improve students' skills in starting reading using word card media. This research is a classroom action research conducted in grade 2 SDN 21 Mandau. . The number of research subjects was 21 students with 12 male students and 9 female students. The data were obtained through reading tests and observations of students' learning activities. The results of the study in the first cycle showed that on average, the classical students had reading skills of 68.88 with 13 people who were able to reach the KKM, meaning that 61.90% of the students had classically reached the predetermined KKM. In cycle II, the average of students' pre-reading skills became 77.46 with the total number of students completing 18 people with a percentage of 85.71%. Based on the results of this study it can be concluded that the beginning reading skills of grade 2 SDN 21 Mandau students have increased through the use of word cards.
NURETTA DEVIANA: CHILDREN BEHAVIORAL SHAPING MELALUI PEMBELAJARAN BAHASA INGGRIS BERBASIS AKULTURASI BUDAYA BAGI SISWA SEKOLAH DASAR

English has become part of the education curriculum that must be taught to students. Therefore, many schools strive to provide the best English teaching and learning systems and methods for their students. One of them is Nuretta Deviana which is an alternative model of learning English. The purpose of this research is to explain the steps of implementing Nuretta Deviana, find and explain the skills and language components that can be learned through Nuretta Deviana, explain the children behavioral forming through NUretta Deviana, find and overcome the obstacles that arise in the implementation of Nuretta Deviana. The approach used is descriptive qualitative based on literature review. Primary data were collected using documentation techniques during the Nuretta Deviana process, performances, and interviews with stakeholders and educators (English teachers in schools). Secondary data were collected using the literature review method. The results of this study stated that Nuretta Deviana can be done by holding preparations, performances and assessments. Nuretta Deviana can hone student’ English skills and components. Diligent, hard work, discipline and tolerance characteristic are implicitly formed through the script which acculturate local culture and British culture. Barriers internally and externally can be overcome with solutions that are carried out continuously.&#x0D; &#x0D; &#x0D; Keywords: nursery rhymes, reader response theory
Penerapan Metode Pembelajaran Role Playing Berbantuan Video Pembelajaran untuk Meningkatkan Pemahaman Konsep IPS pada Siswa Kelas V Sekolah Dasar

The purpose of this study was to describe the improvement of the social studies concept of the fifth grade students of SDN Wonokusumo VI / 45 Surabaya by using the role playing method. This research was conducted using the Classroom Action Research (CAR) method with the research model design of Kemmis and Mc. Taggart. The research was conducted in 3 cycles. The research subjects were students of class V SDN Wonokusumo VI / 45, which may be 32 students. Collecting data using observation techniques, learning outcomes (understanding concepts) and documentation. The data from the observations are in the form of observations of teacher activities with role playing methods and observations of student activities in learning. The concept test of understanding the cognitive aspects of learning outcomes tests which is the final evaluation exercise of each cycle to measure the assessment of social studies learning by applying the video-assisted role playing method. The results showed that the use of the video-assisted role playing method could improve students' conceptual understanding as indicated by the acquisition of the average value and the proportion of classical submission from cycle I to cycle II. Students' understanding of the concept in the first cycle showed an average value of 62.50 with the classical classification proportion of 21.80% with the poor category. In the second cycle it increased to 70.94 with a classical proportion of 53.13% in the sufficient category. The average cycle III student scores increased 76.56 percent from classical 81.25% with very good category.&#x0D; Keywords: Role Playing, Learning Videos, Concept Understanding.
Improve a technique for searching and indexing images utilizing content investigation

In this research, algorithms were developed to assess the similarities between two or more images and reduce the time spent on searching for them based on the analysis of color intensity diversity and (histogram analysis), besides analyzing the partial proportion of the color component of the images.These algorithms can be used to search for images in the database, systems, and computer networks.This experiment was carried out using a computer program that was programmed using C Builder.The results were analyzed and illustrated with multiple examples.The results showed that the time spent in the searching process depends on several criteria.The most important of these criteria is the number of images used in the search process, number and method of processing the images involved in the search process, in addition to evaluating the time spent in the search process of the three algorithms whose effectiveness has been evaluated.(The best algorithm according to results and performance).
Challenges of Education in Prevention of Road Traffic Crashes

Education is a complex issue and there is a need to consider a several factors to provide an effective training program. Regarding the issue of road traffic crashes, there are some contradictory findings about the efficacy of education, which may cause mistrust among professional circles and experts. Some scientists believe that most of the training programs do not necessarily cover all aspects of crashes and only address some of the concerns. Road traffic crashes are a multidimensional issue and can be influenced by various political, economic, social and cultural factors, and thus the efficacy of an education program can be reduced. The low efficiency of educational programs can have several reasons, which are mentioned briefly below: 1. Non-use of Specific Educational Theory2. Non-use of Various Methods for Providing the Educational Content3. Insufficient Attention to the Causation Network of Traffic Crashes4. Insufficient Knowledge of Audience
PELATIHAN BUDIDAYA JAMUR TIRAM PUTIH DI YAYASAN AKADEMI PERADABAN DESA DANGAU DATUK KECAMATAN SELEBAR KOTA BENGKULU

This research is a descriptive qualitative research which aims to describe the training method for cultivating white oyster mushrooms at the Akademi Per Civilization Foundation, Dangau Datuk Village, District as wide as Bengkulu City which is held in Bukit Makmur Village, North Bengkulu Regency. The research subjects in this study were the Director of the Dangau Village Civilization Academy Foundation, Datuk Village, training instructors, and training participants in white oyster mushroom cultivation. This research was conducted at the Dangau Datuk Village Civilization Academy Foundation and Bukit Makmur Village, North Bengkulu on 16 s.d. March 23, 2020. The data collection techniques used interview, observation and documentation techniques. Data analysis techniques include data reduction, data presentation, and drawing conclusions. Checking the validity of the data using triangulation techniques. The results showed that the white oyster mushroom cultivation training methods used by the training instructors for white oyster mushroom cultivation were lecture, question and answer, and demonstration methods. Training on white oyster mushroom cultivation at the Dangau Datuk Village Civilization Academy Foundation was held in a prosperous hill village with more emphasis on demonstration methods. With the demonstrator method, the process of accepting training participants given by the instructor will be more memorable. Keywords: Training, Cultivation, White Oyster Mushroom
Correction to: Design of Knowledge Base Model for Home Loan: Case Study of a Bank in India

In the original version of the book, the following correction has been incorporated: The affiliation of Dr. Subhasis Sen has been changed from “SCMHRD, Balaji Institute of Telecom and Management (BITM), Sri Balaji University, Pune, India” to “Balaji Institute of Telecom and Management (BITM), Sri Balaji University, Pune, India”. The correction chapter and the book have been updated with the change.
PERBEDAAN DENSITAS DAN KONTRAS THORAX DENGAN MENGGUNAKAN GRID DAN TANPA GRID

ABSTRACT&#x0D; Thorax examination involves the projection of Posterior Anterior, Posterior Anterior and Lateral Anterior. When doing a thorax examinationin a standing position, the object must face the bucky PA or Lateral projection stand. The study aims to determine the difference between density and thorax radiograph contrast using a grid and without a grid. The study employed quantitative descriptive method. The results show that radiographs using grids had a low density and high contrast due to the grid function which absorbed scattered radiation coming out of X-ray tubes, so that the image could distinguish between soft tissue, bone and mediastinum. Whereas on a no-grid radiograph, it had high density and contrast because all the radiation coming out of the X-ray tube was absorbed by the image receptor, therefore the resulting image was too black and not optimal in distinguishing soft tissue, bone and mediastinum. In examining the thorax, it will be more optimal by using a grid, but it can also be regulated by exposure factors.&#x0D;
Post Method Language Teaching Within the Implementation of 2013 Curriculum

This research aims to find out know the problem in implementing the 2013 curriculum and offers an alternative solution to this problem by incorporating several principles of post method language teaching. The data were collected through the interview with the English teachers in SMPN 1 Malalak regarding the obstacles they faced in the 2013 curriculum implementation. The data were qualitatively analyzed and the principles of post method language teaching were descriptively incorporated into the problems found in order to provide their alternative solutions. The research findings reveal that the problems of implementing the 2013 curriculum in this school are teachers’ unreadiness, students’ low level, and application of scientific approach and that the post method language teaching can serve as an alternative solution since it allows more flexibility in the learning process through involving students’ and teachers’ in the process. In conclusion, the issues in the implementation of 2013 curriculum come from the teachers’ and students’ as well as the teaching method required to be applied by curriculum. To overcome this, the teachers can apply the principle of post method language teaching in the learning process.&#x0D; Keywords: 2013 Curriculum, Implementation, Post Method Language Teaching
Examining Causal Relationships of Tangible and Intangible Drivers Influencing Performance Assessment and Impacting Job Satisfaction Curve of Healthcare Professionals. A Study Done at Rashid Hospital, a Government Healthcare Facility in the U.A.E

Over the years, many studies have been conducted to comprehend the value of job fulfilment and the impact it has on the employee’s job performance. To be able to grasp this concept in the healthcare sector which is remarkably hectic, demanding and time sensitive, the performance of healthcare professionals is key. The cause being that job performance from healthcare professionals are correlated to facets such as efficiency, experience, management and quality which are all interlinked with the safety and well-being of the patients. Hence, the main goal of this research is to recognize the tangible and intangible drivers of job satisfaction and the impact it has on the healthcare professional’s performance. This study was carried out with a deductive approach with methods of both qualitative and quantitative which aided in finding out the literature gap currently present in the healthcare sector. As this study was conducted during the pandemic, the researcher was able to attain 68% of responses out of the 100%. However, with the pandemic, the researcher was able to unravel new variables of job satisfaction amongst healthcare professionals. Multiple theories and models of job satisfaction and job performance were tested to see which one applies to the Rashid hospital, Dubai, UAE. By figuring out the challenges faced by the healthcare professional with and without the pandemic allows the researcher and management team to build improvement plans.With multiple pie charts, bar charts and a 5-point Likert Scale Analysis Method, ranking and prioritizing the tangible and intangible drivers of job satisfaction amongsthealthcare professionalshelped to understand the level of impact their current employment has to their performance. With demonstration of summary output, regression analysis, residual output, R square and adjusted R square represents a pure study and validation of results. With the P value being &lt;0.05 proves that this study is significantly strong.By adding theoretical debates on whether job satisfaction impacts job performance, this study concludes that this is a multifaceted concept and with the appropriate variables and methods, enhancing the performance will be at an advantage. Therefore, it is recommended that healthcare management team provides support in all aspects of the variables to improve the healthcare professional’s performance and ultimately increase the well-being of the patients.
Microstructured surface stitching based on wavelet transform three-dimensional data matching

We proposed a subaperture stitching method for concave–convex microstructured surfaces. The method is mainly based on wavelet transform (WT) and three-dimensional (3D) data matching. WT is applied to separate the high-frequency information from the low-frequency information, then the speeded-up robust feature-random sample consensus algorithm is used to match 3D surface data and calculate lateral displacement between adjacent subapertures. Finally, the pose is adjusted to obtain the stitching result. Simulations and experiments show that the proposed method can effectively stitch concave–convex microstructured surfaces.
Teachers and Student Difficulties in Teaching ESP for Tourist Department

This study aimed at investigating the difficulties of teaching ESP For Tourism Department. The data where taken from through observation, interview and study documents. Data collected by observation, interview and documentation, tthen, the researcher will write down the results of interviews with the English teacher and students This research shows that Professional English teachers often find it difficult when they have to teach English for Specific Purpose (ESP) as they need to do extra works like doing need analysis and creating the specific syllabus before teaching to make sure that the teaching-learning process will go smoothly. Student teachers, who have less experience in teaching, are likely to face greater difficulties in teaching ESP.
An Attempt to Impart Engineering Drawing Standards Through Problem Based Learning Approach

Engineering drawing courses need to address the student's expectations