Reviewerly/exHarmony huggingface dataset:
A Machine Learning Based Facility Error Pattern Extraction Framework for Smart Manufacturing

With the advent of the 4-th industrial revolution, manufacturing companies have increasing interests in the realization of smart manufacturing by utilizing their accumulated facilities data. However, most previous research dealt with the structured data such as sensor signals, and only a little focused on the unstructured data such as text, which actually comprises a large portion of the accumulated data. Therefore, we propose an association rule mining based facility error pattern extraction framework, where text data written by operators are analyzed. Specifically, phrases were extracted and utilized as a unit for text data analysis since a word, which normally used as a unit for text data analysis, is unable to deliver the technical meanings of facility errors. Performances of the proposed framework were evaluated by addressing a real-world case, and it is expected that the productivity of manufacturing companies will be enhanced by adopting the proposed framework.
Recent developments in AdS/CFT - Emergence Space for Quantum Information -

In this talk we would like to review developments of AdS/CFT correspondence, which plays significant roles in the developments of string theory. In particular, we will focus on the recent active subjects on the connection of AdS/CFT and quantum information, which leads to the idea of emergence space from quantum entanglement.
The Effect of Students Perceptions on The Use of Jigsaw Learning Methods on Student Learning Outcomes in Class X IPS Budhi Warman II East Jakarta

This study aims to knows influence the perceptions of students on the use of jigsaw learning methods in Economic Subjects on the learning outcomes of Class X IPS students at Budhi Warman II High School in East Jakarta. The method used in this research is quantitative. The population in this study were students of class X IPS 1 and X IPS 3 at Budhi Warman II Senior High School. So that out of 115 IPS class X students, the researchers took a population of 75 students to be sampled from two classes. In the experimental class which numbered 40 students will be given material with a jigsaw learning model while the control class numbering 35 students will be given material with a conventional learning model. Data collection techniques by conducting field research are observation, tests containing questions or exercises or other tools used to measure skills, measurements, intelligence, abilities or talents possessed by individuals or groups, and library research, as well as documentation. The research instrument used was a multiple choice test consisting of 8 questions. Data analysis techniques used descriptive data analysis, including the mean, median mode, variance, and standard deviation and hypothesis testing. The results in this study indicate that there is an effect of the use of Jigsaw Learning Methods on Student Learning Outcomes in Economic Subjects in X grade IPS students and from the results of students' perceptions on the perception statement sheet of students in class X IPS expressing liking the jigsaw learning method in economic subjects at Budhi High School Warman II, East Jakarta 2019/2020 Academic Year.
High-speed devices for modular reduction with minimal hardware costs

Asymmetric cryptosystems have an important advantage over symmetric systems, since only the public key is transmitted. However, asymmetric cryptographic algorithms have a lower speed compared to symmetric ones. When encrypting and decrypting in asymmetric cryptographic algorithms, complex and cumbersome procedures are used to raise very large numbers to a power modulo (modular exponentiation). In this case, the most resource-consuming operation is the modular reduction operation. One of the solutions to improve performance is the development of high-speed circuit solutions for modular reduction, the main task of which is to obtain the remainder of the division of a reducible number by the module. The structure of a high-speed former of partial remainders based on one binary adder and three comparison circuits is proposed, which can significantly decrease the hardware costs of devices for reducing numbers of multi bits in modulus. Based on the proposed former of partial remainders, a block diagram of a high-speed device for reducing the number modulo with sequential action was developed. Using this principle, a structural block diagram of a device of sequential action of a matrix type is developed. Based on the matrix circuit, a pipelined matrix circuit for reducing the number modulo is designed to process the data stream. A formula is given for estimating the gain in time when processing data streams. Algorithmic validation and verification of the high-speed devices for modular reduction with minimal hardware costs of sequential action was carried out on programmable logic-integrated circuits (FPGAs). For this, The Nexys 4 board based on the Artix-7 Field Programmable Gate Array (FPGA) from Xilinx was chosen. Verilog HDL is used to describe the circuit for reducing a number modulo. The results of a timing simulation of the device are presented in the form of time diagrams for a given 8-bit and 16-bit numbers, confirming the correct operation of the device.
A derivation-loop method for temporal logic

Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature. Cutfree Gentzen-type sequent calculi are convenient tools for backward proof-search search of formulas and sequents. In this paper we present a cut-free Gentzen type sequent calculus for PLTL with the operator
FORMATION OF STUDENTS’ RESEARCH SKILLS AS A BASIS OF MODERN NATURAL SCIENCES EDUCATION

The article deals with the questions of formation of research skills of students during their study of geography and biology. The purpose of the work is to uncover modern forms of research activities of students based on the study and implementation of different approaches to the definition of learning objectives. The solution of the set goal was made possible by such methods as observation, analysis of scientific sources from the disturbed problem, which made it possible to clarify the essence of the concept of “research skills”, “research tasks” and methods of their compilation and solution. The peculiarities of acquiring pupils’ personal experience, which is expressed in their readiness and ability to perform operations that constitute research activity, are determined by means of specially defined actions and characterized by the presence of the purpose, methods of activity and conditions of execution, intellectual, conscious character. The necessity of coordinating the general goal of studying geography with the main lines of its implementation in the institutions of general secondary education, which devotes a rather significant role to the research activity, is confirmed. The specifics of socio-cultural development of pupils during their research tasks are characterized. The effectiveness of developing elective courses and courses of choice in geography and biology for high school students has been established. The need to improve the skills of teachers for the purpose of more successful research work with students is proved. Practical significance: the article may become an element of lectures in extracurricular and extracurricular research on geography and biology. The main results of work confirm the need for intensification of approaches to the organization of research activities of students.
Autonomous Vehicle Prototype Development and Navigation using ROS

This paper describes an approach to the development of an autonomous vehicle, which can navigate in indoor environments like warehouses and assembly lines. Specifically, the paper focuses on phases from prototyping the vehicle to developing algorithms for navigation using the ROS framework. Along with the autonomous mode, the vehicle has a semiautonomous mode through which the vehicle can be controlled remotely using a PlayStation 2 controller connected to the host system. The semi-autonomous relies on a client system (for teleoperation) to which the PlayStation controller is connected. The ROS implementation for autonomous navigation where different nodes come together and work in sync for the task of autonomous navigation will be explained as well.I. INTRODUCTION Autonomy has been of utmost importance in places where the roles of humans to handle certain tasks are either risky or timeconsuming.From disposing of nuclear waste to search and rescue operations, autonomous robots have played a crucial role.Until now, tremendous progress has been made in the field of autonomous indoor navigation, but some approaches assume the structural parts of the environment to be completely static.The following autonomous vehicle (AV) takes into consideration the dynamic changes in the environment by utilizing sensory data about the environment and vehicle states, and perform localization, dynamic obstacle recognition, and optimal trajectory computation.The AV implementation is carried out in two phases: (1) semiautonomous mode; (2) autonomous mode. II. HARDWARE USEDA. Nvidia Jetson TK1 B. Kinect sensor C. Four BS48H motors along with Roboteq SBL1310 motor controller with Hall effect encoders D. PlayStation 2 Controller E. PC (client system) F. Arduino G. GY-80 Multi sensor board H. Wireless USB adapter I. USB to RS232 converter III.VEHICLE DEVELOPMENT As the first step of the AV, the model of the vehicle was developed in Solid Works.The vehicle is fitted with on-board computer and sensors.As a computational platform, Nvidia Jetson TK1 embedded computer has been used, supporting CUDA with on-board parallel computation.The vehicle is mounted with a Kinect sensor, which provides depth images that are helpful to segment objects based on depth rather than intensity.In order to visualize, the vehicle in action in a 3D environment, a ROS package named Rviz is used.Using sw_urdf_exporter plugin in Solid Works a URDF file is generated, which is used by Rviz to generate the vehicle.Fig 3.1 Model of AV in Solid Works.
A Study on University Undergraduate Teaching “Cask Effect” by Big Data Technology

Abstract This paper explores the teaching status of different types of undergraduate colleges and universities from the perspective of the investment of teaching funds and the existing teaching problems. The results show that the hierarchical characteristics of the higher education system in China are generalized in undergraduate teaching, and there are significant differences in the teaching resources enjoyed by different types of colleges and universities, which are manifested in the differences in the investment of teaching funds. In addition, there are different “deficiencies” for different types of institutions in the overall school-running resources, the construction of the contingent of teachers, the orientation of talent training. In order to achieve first-class teaching, undergraduate students should recognize the phenomenon of “cask effect” in teaching, strive to break the circle structure of the existing university system, innovate the incentive mechanism of teachers, ease the “academic ratchet”, and clarify the goal and orientation of running a school, so as to achieve the first-class undergraduate education strategic objectives.
RETRACTED: The realization of network security technology based on cloud computing environment

Abstract Cloud computing takes the network technology, virtualization technology, and distributed computing technology as the foundation. The business model of cloud computing is based on its own need and has formed a new application mode with the characteristics of dynamic extension, resource sharing, and others. The cloud computing environment refers to the integration of terminal devices, such as computers distributed on the Internet, to realize hardware and software resources by means of some kind of network calculation. The basic components include the application layer, platform layer, resource layer, user access and management, and technology and take all kinds of cloud computing services as the core. Under such an environment, the user’s data and resources in cloud computing are wholly dependent on the unreliable network communication and partially trusted cloud storage server, which makes the users question the safety of the cloud computing environment, and resulting the arrested development of cloud computing. In this paper, network security risks and current common computer network attack method in cloud computing environment were discussed in detail and the network security protection technologies were proposed to improve the security of network of cloud computing environment.
The Student’s Ability in Using Punctuation and Capitalization through Performing Habit of Writing Diary

In this study, the writer chose the students ability in using punctuation and capitalization through performing habit of writing diary at the second grade of SMP GUPPI Salawati. For that reason the writer wants to investigate and doing research in the library. The formulation of problem in this research are How is the students competence in apply writing mechanism, and what is the effect of performing habit of writing diary to increase students skill in writing mechanism. The methodology of this study is experimental study. it is means that its need statistic approach to explore the material. There are some of technique of collecting data such as the researcher after developing the test as the instrument of the research, asked the sample (students) to complete the text with punctuation, After they handed their works the writer checked the punctuation they had applied in the given text, and the writer analyze the comments or the mistake they made based on the theory. The result of this study is the writer found that teaching writing mechanism by performing habit of writing diary better than without performing habit of writing diary. It means that the students are more interest to write with writing diary and without writing diary.&#x0D;
PENERAPAN DATA MINING UNTUK MENGANALISA POLA PERMINTAAN PEMASANGAN CCTV DENGAN MENGGUNAKAN METODE MARKET BASKET ANALYSIS STUDY KASUS CV. MITRA JAYA PERKASA

CV. MITRA JAYA PERKASA is a company engaged in CCTV installation services where demand for CCTV installation is one of the important factors. Therefore it is very important to know the cctv installation request pattern so that it can adjust to the warehouse stock and the cctv goods linkage. With the help of computers can be used as a solution to the problem, where by building a data mining system which is a knowledge-based computer program that provides solutions to problems and get information from large data warehouses. In this case the company can analyze the cctv installation request pattern using the market basket analysis method. It is expected that this data mining can provide information on the cctv installation request pattern and adjust the warehouse stock. The results of this study are an application that can help analyze the cctv installation request patterns and analyze the relationship of goods using the market basket analysis method.Keywords: Data Mining, Market Basket Analysis, cctv installation request patterns.
An Efficient Data Mining Algorithm by Multi-Utility Minimum Support and Prefix-Search Strategy

In recent years, how to discover the valuable knowledge from a huge amount of data has been a hot topic. Data mining is one of the solutions for this topic. Actually, data mining has been studied for a long time, including a lot of paradigms. Among these paradigms, High-Utility Itemset Mining attracts much research attention because it can find the itemsets different from traditional frequent itemsets. Although these related works have been shown to be efficient, it still cannot mine the really rare itemsets infrequent by only one minimum utility support. In addition, an efficient mining algorithm relies on an important factor “search strategy”. For these concerns, in this paper, an efficient high-utility itemset mining algorithm with multiple minimum utility support and prefix-search strategy is proposed to effectively mine the really valuable itemsets. For effectiveness, the rare but infrequent itemsets can be discovered by the individually specified utility supports. For efficiency, the aimed itemsets can be mined without the level-wise searching by a prefix-search way. The experimental results show the proposed algorithm performs better than the compared one on the synthetic and real datasets.
Knowledge of mathematics at the Slovak University of Agriculture in Nitra in the context of history of planar curves

The geometric visualization has been present in the different forms from the earliest recorded time all around us.In our paper we deal with the planar curves, which are an inseparable part of Mathematics, and they are applicable in the everyday practical life.The visualization programs require a user´s experience and skills to know also some significant properties of the planar curves.As there are many types of the planar curves, in the first part we concentrate our attention on the selected groups, which are characterized by the parametric expression.The selected curves can serve as a visual aid in the process of teaching about planar curves and their properties.The second objective of the paper is the analysis of the entrance test of Mathematics.We decided to compare the results of the entrance test in the academic year 2018/2019 and detect if the significant differences exist between the results in the particular study groups.The selection file was represented by the students of the study programs in the first year of study at the bachelor´s degree at the Faculty of Economics and Management of the Slovak University of Agriculture in Nitra.We used the methods of descriptive statistics and statistical hypotheses testing in order to analyze the empiric data.
Chinese-Foreign Dual Degree Education Programs: Problems and Developments

This study researches the current status, problems, and development countermeasures of Chinese-foreign dual degree programs in Chinese higher education by using Microsoft Excel and geographic system information (GIS) software, including their types of degree, geographical distribution, and collaborative partners. The result shows a reasonable reginal distribution of Chinese-foreign dual degree program in higher education is a strong guarantee to promote the coordinated development of higher education. How to establish a common quality guarantee system and make the cooperation certificate-oriented is also need to further research.
Methods of secondary information transformation for the evaluating of object’s spatial orientation

Problem statement. Today, systems in which it is necessary to evaluate the parameters of the spatial orientation of objects are widely used . Examples of such systems are computer systems (CS) for drilling control during geological exploration, seismic hazard prediction systems, diagnostic systems in nuclear energy, and others. Such an assessment is carried out, as a rule, by the software and hardware components of the spatial orientation assessment (SHCSOA) included in specialized CSs and are intended for primary and secondary transformation of information. In this case, the bias of the orientation estimation determines the efficiency of the use of the CS. A number of SHCSOA works in difficult conditions, characterized by the presence of vibration and magnetic anomalies, instability of the temperature, etc., with severe restrictions on the size of the primary sensors (PS). An analysis of the existing PAKOPOs showed that the need to ensure the orientation estimation is sufficient for the needs of the practice leads to an increase in the resource of the CS as a whole, which significantly narrows their scope. This gives rise to a contradiction between the efficiency and resource intensity of SHCSOA and specialized CSs. Purpose. To resolve this contradiction, this paper proposes methods for the secondary conversion of measurement information, which can provide a given bias and increase the efficiency of assessing the spatial orientation of objects. Conclusion. By mathematical modeling of the PS, as well as by preliminary determination of the instrumental errors of the PS and the parameters of the external magnetic anomalies, methods of secondary processing of information are proposed that can significantly reduce the bias in the estimation of the spatial orientation of objects using SHCSOA as part of specialized CS.
INSTRUCTIONAL DESIGN OF READING MATERIALS FOR THE ELEVENTH GRADE STUDENTS OF SENIOR HIGH SCHOOL IN LUBUKLINGGAU

The aim of this research is to develop the English reading materials in textbook used for students at Senior High School in Lubuklinggau, and to describe the efficacy of instructional design of reading materials for Students at Senior High School in Lubuklinggau. The Eleventh Grade Students of SMA Negeri 5 Lubuklinggau was the sample of this research. In addition, this research applied an Educational Research and Development (R &amp; D) by using a simplified six steps of Borg and Gallâ€™s model. The six steps were: (1) collecting the research information,(2) planning and drafting the data of research, (3) developing the data of research based 2013 curriculum combined with the result, (4) giving tryout (field testing) to the 11th grade students of SMA Negeri 5 Lubuklinggau, (5) evaluating the English reading materials by the experts, and (6) producing the final product (English reading materials in textbook). The findings of this research showed that the English reading materials in textbook that were developed in this research fulfilled the criteria of R &amp; D model. The instructional design as the specific English reading materials was very important and useful to support the studentsâ€™ reading activities that put not only building the intensive practice for reading comprehension, but also linking to grammar, enriching the vocabulary, and applying the studentsâ€™ knowledge. Moreover, through the English reading materials in textbook, the students could use it with the suitable and the valuable materials, and they must be motivated to increase their reading proficiency.
Contribution of Reading Comprehension and Reading Interest Skills to the Text Writing Exposition Skills

This research aims to describe the contribution of reading comprehension skills and reading interest together to the exposition text writing skills of class X high school students in Lima Puluh Kota.This research is a quantitative research using descriptive methods and correlational designs.The population of this research was 776 students of class X of Senior High Schools in Lima Puluh Kota.The sample in this research amounted to 85 students.Next, the data were analyzed by using Pearson Product Moment correlation test, multiple correlation test, t test, and f test.The results of the research is reading comprehension skills and reading interest together contribute to the writing skills of textual exhibitions.Based on the results of the research, it can be concluded that reading comprehension skills and reading interest contribute to the writing skills of exposition text students in class X of SMA Negeri in Lima Puluh Kota.