Reviewerly/exHarmony huggingface dataset:
Peningkatan keterampilan penggunaan alat praktikum dalam pembelajaran ipa menggunakan model problem based learning (PBL) pada peserta didik kelas V sekolah dasar

&lt;p class="Abstract"&gt;&lt;em&gt;&lt;span lang="IN"&gt;The purpose of this research is improving &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-ID"&gt;the skills to use practical tools in &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-GB"&gt;science learning by using the&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-ID"&gt; PBL&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt; model. This research is Classroom Action Research with &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-ID"&gt;three&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt; cycles. &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-GB"&gt;The subjects of the study were 34 students and grade 5 students at SD Negeri Pajang 4 &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt;in the 201&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-ID"&gt;9&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt;/20&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-ID"&gt;20&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt; academic year. &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-GB"&gt;The technique in collecting data is observation and interview&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt;and documentation with data analysis of content validity. The analysis of the data used is the interactive analysis. &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-GB"&gt;The initial conditions prior to action are the percentage of students on skills using tools according to the procedure of 3.03% and there are no students who are very skilled at the skills of arranging tools according to the series drawings. &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt;The first cycle resulting in a percentage of&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-GB"&gt; very skilled students using tools according to procedures 9.09% and arranging tools according to series drawings 24.24%. The second cycle resulting in a percentage of very skilled students using tools according to procedures 38.71% and arranging tools according to series drawings of 51.61%. The third cycle resulting in a percentage of very skilled students using the tools according to the procedure is the same as assembling the tools according to the series drawings that is 87.10%&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="IN"&gt;. Based on the result of the research, it can be conclude that &lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;span lang="EN-GB"&gt;the PBL learning model can improve the practice of using practical tools in natural science learning in grade V students of SD Negeri Pajang 4 in the 2019/2020 school year. Teachers can use the PBL model to improve their skills in using practical tools.&lt;/span&gt;&lt;/em&gt;&lt;em&gt;&lt;/em&gt;&lt;/p&gt;
3D Attitude Detections of Human Joints from 2D Image by Using DNN-based Motion Analysis

Motion analysis system has been used for making movies or TV games, improving sports skills and medical fields. The main types of motion analysis system are two methods with cameras and force plates or inertial sensors. Former is generally called “an optics type” and latter is “a wear type”. Considering analyzing a ski player on the snow ground, we cannot apply those motion analysis methods. The purpose of this study is to detect 3D human joints from 2D ski player in a movie. Therefore, we prepared the “3D solid model” for a motion analysis method. Joints of 3D model can be freely moved on 3DCAD system. And we proposed the solution that we can get three-dimensional motion by superimposing 3D solid model on a 2D ski player in a picture. This work is called “matching process” in our study. We can analyze ski player motions with proposed method. However, it was 19.6 hours in one turn to superimpose them because we have to apply“matching process” in an every flame of motion movie. Therefore, we prepared some templates have some poses to shorten the matching work time and we selected the appropriate template using Deep Neural Network (DNN). We reviewed the process, to we can automate for speed up after automatic template selection with DNN.
Personally Identifiable Data Field Checking Using Machine Learning

Privacy impact assessments are the most frequently approach used by organizations to control privacy risks. However, how to automatically check PII data fields in PIA results is a big challenge. Manual verification of PIA results carried out by information security consultants is time consuming, costly and slow. In addition, detecting errors and anomalies in the data as their concentration wavers after a certain period of time. In this paper, we propose a methodology of checking PII data fields that can greatly reduce human errors and improve the quality of PIA reports.
Promotion of Library Service Mode Based on Next-Generation Information Technology

The next-generation library services platform helps the academic library alliance deepen the technical cooperation and innovate the cooperation mode. The platform has been widely used in Wales Higher Education Libraries Forum and The Joint University Librarians Advisory Committee. However, the relevant research and practice in China are still lacking. Based on the author’s learning and practical experience, this work analyzed the application of next-generation information technology (e.g., resource discovery system, cloud computing system, mobile library) in library services. As far as the author concerned, libraries can not only provide traditional literature services and information services, but also rely on the next-generation of information technology to provide multi-level knowledge services to meet the needs of users.
Single Processing versus Parallel-Based Processing on Web Server: Which Has the Best Performing Service

A quality server service is a server that is capable of delivering quality services to all of the servers that access the server services. Quality service is a service that guarantees conconfidentiality, integrity, and availability. Parallel based service on a server or load balancing is one of the means used to improve the performance and availability of servers, is to divide the requests are coming to multiple servers at once, so that the load borne by each lighter. So due to get a lighter workload then directly affect the performance of servers are increasingly responsive, the level of availability server can also be maintained. By using load balancing technology, then there will be a difference in the performance of Web Server Load Balancing with Single Server, which can be used as a comparison, so it can be a solution for managing Server.
Legible Picwords: Render a Picture by Packing Keywords

When people see the picture of a face , they might want to get more information about it. Since the image itself cannot tell the specifics, other sources of information, for example scripts from the internet, may need to be used. A system can be developed to create an image that contains face and information. PicWords is a regular arrangement of both picture and keywords. It is an existing system and mosaicking and calligram are the related works for it. Mosaicking is one of the techniques of image processing for joining together several arbitrarily formed images to form one large balanced image so that the borders between the original images are not seen. Calligram is a modification of a large target image by placing a collection of small words; each precisely selected to fit a specific target image block. Viewer is not able to read the content related to the target image in both cases. In a PicWord system, a two-part binary image, called as silhouette is produced from the source image. The first part can be used for placing the keywords, while the second part can be ignored. The first part is then segmented into small patches, each of which serves as a single keyword container. To ensure that more significant keywords are placed in larger and more prominent image patches, both the patches and keywords are classified and created a correspondence between the patch list and the keyword. Then keyword-patch warping is done for deforming the text. Symbol filling technique is used to improve the beauty of PicWords. In the existing PicWord, the words are not clearly understand from the image, so the legibility is less. The objective of this paper, is to develop an image associated with texts content system called PicWords with improved legibility.
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

This paper presents BoundWarden, a novel spatial memory safety enforcement approach that utilizes a combination of compile-time transformation and runtime concurrent monitoring techniques. The compiler extension component of BoundWarden transparently instruments source code of C programs with the code that allows the runtime component of BoundWarden to comprehensively detect and prevent buffer overflow and other out-of-bound errors in buffers on the stack, heap, as well as BSS and data segments of memory. To reduce runtime overhead of bound checking, the runtime component of BoundWarden leverages the ubiquity of multi-core processors by offloading most of the work to a dedicated bound checking thread, which is responsible for performing bound checking and managing metadata. To preserve memory layout and maintain compatibility with existing libraries and binaries, BoundWarden stores the base and the bound of buffers in a separated dedicated bound table. Experiments showed that the prototype of BoundWarden is effective at enforcing spatial memory safety by successfully passing all 850 tests of RIPE test suite, and 94% of NIST's SARD test suite 89, while the results from the Olden benchmark suite showed that on average BoundWarden introduced roughly 1.85x overhead, compared to the uninstrumented code.
The Mediator Role of Job Satisfaction between Social Support and Employees ‘Performance at Saudi Ports Authority

Human resource department is a core department in any organization. It puts into consideration the key factors of employee relationship and social support. Social support depends heavily on employee relationship. Employee performance and job satisfaction are key determinants of organizational output.
On Families of Solutions for Meta-Fibonacci Recursions Related to Hofstadter-Conway $10000 Sequence

Hofstadter-Conway $10000 sequence is a famous meta-Fibonacci sequence which is defined by recurrence relation $$c(n) = c(c(n-1)) + c(n-c(n-1))$$ with $$c(1)=c(2)=1$$. Based on its amazing fractal-like structure, in this study, we investigate certain solution families of the new meta-Fibonacci recursion families which are $$a_{i}(n) = n-a_{i}(a_{i}(n-i)) - a_{i}(n-a_{i}(n-i))$$ and $$a_{i}(n) = a_{i}(a_{i}(n-i)) + a_{i}(n-a_{i}(n-1))$$. While we prove their essential properties, we also explore curious sensitivity of these recursions to initial condition selections in a reasonable approach.
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge

Planning systems use a variety of heuristic search or control knowledge in order to enhance the performance. Control knowledge is often described in a specific formalism, e.g. temporal logic, automata, or HTN (Hierarchical Task Network) etc. Heuristic search exploits heuristic functions to evaluate potential feasible moves. Control knowledge constraints the search space by pruning the states which violate the knowledge. In this paper, we propose a general heuristic algorithm that combines control knowledge specified by a spatio-temporal logic named PPTL$$^{\text{ SL }}$$. Both heuristic search and control knowledge are handled in a forward chaining manner. Our approach involves the evaluation of PPTL$$^{\text{ SL }}$$ formulas using a variant of the traditional progression technique during heuristic search. Consequently, we are enabled to take advantage of the two methods together to further reduce the search space.
SecureCvisual: Visualization and Analysis for C Code Security

In many undergraduate programs, students primarily write code in Java or other scripting languages. Yet C and C++ are widely used when performance is important. Poor understanding of a C program's layout in memory and its execution leads to the introduction of security vulnerabilities. We present the SecureCvisual system, which is designed to help students learn to develop more secure and robust C programs.
Keeping interoperability between IMS-LD scenarios in Educational Cloud Computing based on Semantic Indexing

The purpose of this paper is to propose an effective system to automate the work between learning actors and manage interoperability between contents in the Educational Cloud (EC). Building e-learning systems in the cloud computing is a multidisciplinary endeavor that involves Learning Object (LO), Instructional Management Systems Learning Design (IMS-LD) specification, semi-automatic semantic indexing techniques according to ontologies, algorithms for the automatic processing of natural language (NLP) and system development framework. Our project implements a group of engaging, affectionate, and effective IMS-LD package equipped with abilities to facilitate and support reuse, sharing and identification of the LO between learning actors in the EC. We proposed a pedagogical system in EC that offer more benefits for the various actors to collaborate and to share LO flexibly.
Key Note Lecture: Cognitive Cryptography - the Future

Cognitive science is the interdisciplinary study of mind and intelligence, philosophy, psychology, artificial intelligence, neuroscience, Education, linguistics, and anthropology. While the Cognitive neuroscience is an academic field concerned with the scientific study of the biological processes and aspects that underlie cognition. The cognitive security is characterized by technology that is able to understand, reason and learn. A much greater scale of Key point relevant security data is now accessible with cognitive systems that can process and interpret the 80% of today's data that's unstructured, such as written and spoken language. New Approach: Cognitive Security: 1- The use of cognitive systems to analyze security trends and distill huge volumes of structured and unstructured data into information, and then into actionable knowledge to enable continuous security and business improvement. 2- The use of automated, data-driven security technologies, techniques and processes that support cognitive systems' having the highest level of context and accuracy. 3- Cognitive security is to add cognition by exploiting technologies such as machine learning, knowledge representation, network control and management, etc., while solving security problems. This new scientific area is marked by a new generation of information systems, focused on developing intelligent cryptographic protocols and procedures utilising cognitive information processing approaches.
Arc Loss: Softmax with Additive Angular Margin for Answer Retrieval

Answer retrieval is a crucial step in question answering. To determine the best Q–A pair in a candidate pool, traditional approaches adopt triplet loss (i.e., pairwise ranking loss) for a meaningful distributed representation. Triplet loss is widely used to push away a negative answer from a certain question in a feature space and leads to a better understanding of the relationship between questions and answers. However, triplet loss is inefficient because it requires two steps: triplet generation and negative sampling. In this study, we propose an alternative loss function, namely, arc loss, for more efficient and effective learning than that by triplet loss. We evaluate the proposed approach on a commonly used QA dataset and demonstrate that it significantly outperforms the triplet loss baseline.
Chapter 8. Comparing annotations for the prosodic segmentation of spontaneous speech: Focus on reference units

This chapter reports a quantitative and qualitative comparison of seven annotations performed on the same two American English texts: a monologue and a dialogue. The analysis of these data is complex, since the annotations have been made independently by each research group on the basis of their own theoretical frameworks. Despite this difference, the fundamental role of prosody in the analysis of speech emerges clearly in every annotation. Prosodic breaks can be then viewed as theory independent entities. After summarizing the key features of theoretical models, we derived a unified tagset and developed a web application (SLAC) to compare different annotations. Finally, agreement on prosodic breaks has been measured in different ways, reporting promising results in terminal break identification.
Big Mac: A Distributed PaaS Framework for on Demand Big Data Processing Using Machine Learning Techniques

In the age of start-ups and technical research, the demand for high-end computing power and loads of space is ever increasing. Machine learning techniques have become an inseparable part of the big data analytics. Setting up one’s own infrastructure to deal with all this vastness is usually not feasible due to high expenses and lack of desired expertise. As a solution to this problem, this paper proposes a system for Big-Data Analytics and Machine Learning based on Hadoop and Spark frameworks that also supports Operating System (OS) Rental Services. Machine Learning (ML) services provide option to use both existing inbuilt popular models or create one’s own model. OS Rental services provide users with high end infrastructure on their low-end devices on rent. The entire implementation has been made open source for ease of access and facilitating extensibility.
PENGEMBANGAN DESAIN MEDIA PEMBELAJARAN SEJARAH BOOKLET BERBASIS SITUS MEGALITIK BATU BERAK LAMPUNG BARAT

This development research aims to create a product based on Megalithic Site Stone Berak as an effort to overcome the limitation of cost, space and time by students which then function also to strengthen the understanding of local history of class X SMA 1 Sekincau.This research uses development research method adopted from R &amp; D level 1 Sugiyono where in this research only validation test of product until the product reach feasibility based on validation test from material expert and media expert. In this research is intended to create a media based learning Site Megalithic Stone Berak, and products that will be produced by this research development method is a booklet based Site Megalithic Stone Berak material pre-period script.After making the product, the next step is the validation test. In the improvements made based on inputs and suggestions by validators on material validation at stage 1, a feasibility percentage of 77% is obtained. Then the media booklet validation by the material experts at stage 2, obtained the percentage of media booklet eligibility of 91.4%. And on the media validation at stage 1, obtained the percentage of eligibility of 82.4%. Then Validation media booklet by media experts in stage 2, obtained a percentage of eligibility of 89%.From these data, then in this case also been in harmony with the relevant theoretical study that the media booklet book-based Site Megalithic Stone Berak is said worthy trial and predicted that can be used as an innovative learning media in learning history, especially on learning local history.
Video Image Recognition and Early Warning Algorithm of Public Security Prevention and Control Based on Deep Learning

As we all know, video surveillance plays an increasingly important role in the prevention and treatment of major public security cases (departments) and the maintenance of public security and other social security prevention and control work. At present, the research on public security prevention and control in the environment is still relatively backward. Because there are many cameras and large amount of image data, it is difficult to automatically identify image data. Based on the above reasons, this paper uses deep learning method to identify and warn video images to achieve automatic recognition. The goal of the research method of this paper is to combine the mathematical analysis of the existing deep learning model and summarize the characteristics of the deep learning method in the theoretical model. A character image recognition algorithm based on extended nonlinear kernel residual network is proposed. An image retrieval algorithm based on extended nonlinear kernel residual network and hash is proposed.
Sistem Informasi Karyawan pada Harian Umum Palembang Ekspres dengan Metode RAD

Information system is a collection of components that work together to process information to assist in decision making. Palembang Ekspres is a company engaged in the daily newspaper. Problems in the company are the unavailability of special software that can help in processing employee data and decision making for employees. The purpose of this research is to build an employee information system that can help Palembang Ekspres in addressing the problem of processing employee data so that it can produce information that can help in decision making. System development methods using Rapid Application Development (RAD), modeling using Data Flow Diagrams (DFD) and Entity Relationship Diagrams (ERD). The system testing technique uses black box testing and white box testing. This research produces an employee information system website that can process employee data, work scheme, position, work unit, rank, work location, leave application, employee achievement, employee sp, and employee salary.
Provably Secure Server-Assisted Verification Threshold Proxy Re-signature Scheme

Aiming at the problems of limited computing power and high security requirements of terminal equipment, which affects people’s good experience on some network resources, we proposes a provably secure server-assisted verification threshold proxy re-signature scheme. Threshold proxy re-signature can effectively disperse the power of the agent, and solve the security problem that the agent’s rights are too concentrated. In the server-assisted authentication protocol, the verifier transfers the complex bilinear pairing operation to the server through the interaction, reducing the computational complexity of the verifier. Under the standard model, the scheme can effectively resist collusion attacks and adaptive selection of message attacks. Performance analysis results show that compared with Yang’s scheme, the signature length of the new scheme is at least twice shorter and the verification efficiency is increased by at least 57%.
The Taboos of Taiwaness Ghost Month

Virtual reality has become a trending technology in recent years. Owing to technological development, folk customs are no longer valued by younger generation. Therefore, by combining the main factors of “traditional culture”, “virtual reality” and “cracking puzzles”, virtual reality technology is used in this study to develop a horror puzzle-solving game . Players participating in the game will enter a ghost village haunted with several bizarre events to unlock the must-know taboos about the July month of the lunar calendar. Virtual reality technology used in this study can increase the sensory realism of players and deepen the players’ playing memory through interactive methods to help them familiarize themselves with the traditional culture inherited from the ancient times.