Reviewerly/exHarmony huggingface dataset:
Social Media Efficacy for Sustainability in SMEs: The Role of Innovation Practices

The purpose of this study is to analyse how social media efficacy initiates the changes in SMEs (small and medium-sized enterprises) for innovation practices to improve their business performance. A total sample of 278 SMEs was collected using quantitative research. Partial Least Square-Structural Equation Modelling (PLS-SEM) was used for hypotheses testing. A two stage analytical approach was adopted to assess the measurement model and structural model by using pls algorithm technique, bootstrapping technique as well as blindfolding technique. Social media efficacy is found to have significant relationship with product, process and marketing innovation practices. In addition, product innovation is found to have positive impact on business performance whereas process and marketing innovation are not significantly influence on business performance of SMEs. The findings of this study shall foster a better understanding how social media efficacy and the innovation practices affect the business performance of small and medium enterprises. Base on the findings, several implications are highlighted.
Gaining trust by tracing security protocols

In this article we test an Erlang implementation of the Noise Protocol Framework, using a novel form of white-box testing. We extend interoperability testing of an Erlang enoise implementation against an implementation of Noise in C. Testing typically performs a noise protocol handshake between the two implementations. If successful, then both implementations are somehow compatible. But this does, for example, not detect whether we reuse keys that have to be newly generated. Therefore we extend such operability testing: During the handshake the Erlang noise implementation is traced. The resulting protocol trace is refactored, obtaining as the end result a symbolic description (a functional term) of how key protocol values are constructed using cryptographic operations and keys. Therafter, this symbolic term is compared, using term rewriting, with a symbolic term representing the ideal symbolic execution of the tested noise protocol handshake (i.e., the "semantics" of the handshake). The semantic symbolic term is obtained by executing a symbolic implementation of the noise protocol that we have developed.
ARCHIVING SYSTEM ANALYSIS AT THE REGIONAL SECRETARIAT OF THE BATU BARA REGENCY

Abstract - This research is done because the processing of archiving is still done manually, this is very difficult and slow in searching if needed. Archiving a few months or even years ago will certainly be difficult to find because of the accumulation of files or because the archive has been damaged. The difficulty and complexity can be overcome by using WEB-based and MySql databases to manage archives. Management utilizing WEB-based and MySql databases are no longer in the form of archive sheets but have been in the form of scanned files from the original archive. The scanned archive will be stored with certain codes to make it easier to search so that the archives that came in a few months or even years ago are undamaged and easy to find. Keywords - Archiving, Analysis, The Batu Bara Regency
Counterfactual Reasoning in Observational Studies

To identify the appropriate action to take, an intelligent agent must infer the causal effects of every possible action choices. A prominent example is precision medicine that attempts to identify which medical procedure will benefit each individual patient the most. This requires answering counterfactual questions such as: ""Would this patient have lived longer, had she received an alternative treatment?"". In my PhD, I attempt to explore ways to address the challenges associated with causal effect estimation; with a focus on devising methods that enhance performance according to the individual-based measures (as opposed to population-based measures).
SPECIAL CHARACTERISTICS OF ELECTRONIC EVIDENCE IN PLANE OF COGNITIVE CONSONANCE

The problems of the formation of the theory of signs of electronic evidence and their legal assessment in the plane of informatization of legal proceedings, judicial reform and the introduction of electronic means of proof are covered. Concepts are presented and analyzed, reflecting various approaches to understanding the essence of electronic evidence in the administrative process.The author proposes a classification system for signs of electronic evidence. It is concluded that the modern theory of evidence is in a state of transformation under the influence of the informatization of society, but at this stage in the development of society these are only the first steps of significant transformations. But due to a scientific understanding of the signs of electronic evidence, it will allow to fully use the legal nature of electronic evidence when considering and resolving administrative disputes, which will contribute to improving the level of protection of the rights and interests of participants in the administrative process.The problems of forming the theory of signs of electronic evidence and their legal estimation in the area of informatization of court proceedings, judicial reform and introduction of electronic evidence means are covered. Concepts representing different approaches to understanding the essence of evidence of electronic evidence in an administrative court process are presented and analyzed. Proposed author's system of evidence of electronic evidence as a specific means of proof. It is concluded that the modern theory of evidence is in a state of transformation under the influence of informatization of society, but at this stage of development of society - these are only the first steps of significant transformations. However, proper scientific understanding of the evidence of electronic evidence will allow the full use of the legal nature of electronic evidence in the consideration and resolution of administrative disputes and will promote an increase in the level of protection of rights and interests of participants in the administrative process.
The Use of Figurative Languages on the Students' Poetry Semester V at FKIP Universitas HKBP Nommensen

&lt;p&gt;This research discusses The Use of Figurative Languages on the Students’ Poetry Semester V at FKIP Universitas HKBP Nommensen. The problems of this research are (1) what types of figurative language used on the students’ poetry semester V at FKIP Universitas HKBP Nommensen Medan? (2) what figurative language is dominantly used on the students’ poetry semester V at FKIP Universitas HKBP Nommensen Medan? The objectives of this research are to find out types of figurative language used on the students’ poetry semester V at FKIP Universitas HKBP Nommensen Medan and to figure out and analyze what figurative language is dominantly used on the students’ poetry semester V at FKIP Universitas HKBP Nommensen Medan?To find out the answer of the problem in this research, the writer uses the related theories; they are Quinn (1982), McDonough and Shaw (1993), Gluckberg (2001), Alm-Arvius (2003), Lazar (2003), Ratumanan and Laurens (2003), Brown (2004), Harmer (2004), Heller (2006), Picken (2007), Keraf (2009), Creswell (2009), Arikunto (2010), Arnold and Von Hollander (2011), Dalman (2012), Dancygier and Sweetser (2014). This research is conducted with descriptive qualitative research where the subject and object is taken from the students’ poetry. The writer gets the data by observation and documenting. After the data had been collected, the writer finds out three types of figurative language on the students’ poetry: symbol, metaphors and personifications. In teaching poetry, every teacher needs to call upon a number of techniques and methods. If teachers of poetry disagree on the methods of teaching a certain poet, they must agree on goals: To put their students in touch with the mind of that poet. No doubt, it is known for every one that good poetry lessons occur in classrooms where young people are guided by responsive teachers who implement as well as they plan.&lt;/p&gt;&lt;strong&gt;Keywords: &lt;/strong&gt;Figurative language, poetry, language
Unbounded Sub-Optimal Conflict-Based Search in Complex Domains

Conflict-Based Search (CBS) is a state of the art algorithm for multi-agent pathfinding (MAPF). CBS has been studied in many domains, however, most research has focused on classic domains with point agents that move with unit time steps and unit costs. In this work, we are interested in MAPF solutions for classic domains and complex domains, that is, domains which include shaped agents, actions with non-unit costs, non-uniform action durations and/or non-holonomic or kinodynamic movement constraints. Prior work on sub-optimal formulations of CBS has focused on heuristics. Instead, our work introduces new types of constraints. We show that certain constraint formulations have properties that can cause CBS to run orders of magnitude faster, but may cause the algorithm to be incomplete and yield sub-optimal results. We introduce new conditional constraints which allow CBS to exploit constraint properties which cause it to run faster and still retain algorithmic completeness. We additionally formulate a new constraint accumulation technique called constraint overloading which utilizes conditional constraints in order to achieve further performance gains.
Horizontal and Depth Eye-Gaze Detection by Image Analysis

Recently, several estimation methods of 3D gazing points have been proposed. Many of these are measured by pupil and corneal reflection with infrared light. This conventional method required special measuring devices for estimating 3D gazing points. We previously developed an eye-gaze detection system by image analysis under natural light. This detection system uses an eye-gaze detection method based on the image analysis for horizontal and vertical eye movements. In addition, this detection system consists of a personal computer and single home video camera. In this paper, we present the new eye-gaze detection method for depth direction. We set the new depth parameter by obtained eye-gaze characteristics both eyes. Also, we proposed a depth direction identification method using it. As a result, depth eye-gaze detection became possible by our horizontal eye-gaze detection using eye images with offline process. This detection system employs input images including both eye areas by single home video camera under natural light. Similarly, horizontal and depth eye-gaze detection became possible by combining with our horizontal direction identification method.
New Quintupling Point Arithmetic 5P Formulas for Lopez-Dahab Coordinate over Binary Elliptic Curve Cryptography

In EllipticCurve Cryptography (ECC), computational levels of scalar multiplication contains three levels: scalar arithmetic, point arithmetic and field arithmetic.To achieve an efficient ECC performance, precomputed points help to realize a faster computation, which takes away the need to repeat the addition process every time.This paper introduces new quintupling point (5P) formulas which can be precomputed once and can be reused at the scalar multiplication level.We considered mixed addition in Affine and Lŏpez-Dahab since the mixed addition computation cost is better than the traditional addition in Lŏpez-Dahab coordinates over binary curve.Two formulas are introduced for the point quintupling which and , the cost of the two formulas are and respectively.The two formulas are proven as valid points.The new quintupling point can be implemented with different scalar multiplication methods.
Domain-Dependent and Domain-Independent Problem Solving Techniques

Heuristic search is a general problem-solving method. Some heuristic search algorithms, like the well-known A* algorithm, are domain-independent, in the sense that their knowledge of the problem at-hand is limited to the (1) initial state, (2) state transition operators and their costs, (3) goal-test function, and (4) black-box heuristic function that estimates the value of a state. Prominent examples are A* and Weighted A*. Other heuristic search algorithms are domain-dependent, that is, customized to solve problems from a specific domain. A well-known example is conflict-directed A*, which is specifically designed to solve model-based diagnosis problems. In this paper, we review our recent advancements in both domain-independent and domain-dependent heuristic search, and outline several challenging open questions.
The Open Vault Challenge - Learning How to Build Calibration-Free Interactive Systems by Cracking the Code of a Vault

This demo takes the form of a challenge to the IJCAI community. A physical vault, secured by a 4-digit code, will be placed in the demo area. The author will publicly open the vault by entering the code on a touch-based interface, and as many times as requested. The challenge to the IJCAI participants will be to crack the code, open the vault, and collect its content. The interface is based on previous work on calibration-free interactive systems that enables a user to start instructing a machine without the machine knowing how to interpret the user’s actions beforehand. The intent and the behavior of the human are simultaneously learned by the machine. An online demo and videos are available for readers to participate in the challenge. An additional interface using vocal commands will be revealed on the demo day, demonstrating the scalability of our approach to continuous input signals.
A GENRE ANALYSIS OF STUDENTS’ WRITING HORTATORY EXPOSITION TEXT AT ELEVENTH GRADE OF SENIOR HIGH SCHOOL

The objective of this study is to know how the students’ write hortatory exposition text on using generic structure and language features at eleventh grade of senior high school in Indramayu. This study utilized descriptive qualitative research using genre analysis by Hyland (2004) as research design. The data were obtained by collecting writing assignment. The writer took 20 students of XI-6 MIPA of SMAN 2 Indramayu as the participant. The texts were analyzed in term of generic structure and language features in students’ writing hortatory exposition which were undertaken by Gerot and Wignell (1994). The result showed that the students still got difficulty in writing generic structure. The students did not write generic structure completely as suggested. Mostly, they did not write recommendation in their hortatory exposition. Meanwhile, in language features, mostly did not complete their sentence by putting mental and material process. Therefore, it can be concluded that the students do not understand to write hortatory exposition in good generic structure and language features. The teacher should teach hortatory exposition by explaining and guide them carefully especially for composing recommendation for generic structure and mental process as well as material process for language features. Hence, both of them are crucial to write and organize the text. Hopefully, the students could improve their macro skills in writing.&#x0D;
RANCANG BANGUN SISTEM INFORMASI AKUNTANSI PENJUALAN DENGAN MODEL WATERFALL BERBASIS JAVA DESKTOP

Every business entity is required to be able to improve their services to customers. With good service it will increase customer satisfaction so that it ultimately increases profits from the business entity itself. To be able to improve service to customers, business entities must be able to present an efficient and accurate sales transaction process. For this reason, sales information system design is needed. Sales accounting information system can streamline the sales transaction process and can produce sales reports that are more accurate and timely and able to record accounting transactions in a short time. Timely and accurate sales reports are needed for the decision making process for business entity owners. The research objective is to develop software using the waterfall device development method, so that it can produce software that is able to improve sales system work and increase profits. The design results of the sales information system using the waterfall method can reduce errors caused by human factors (avoiding human error), avoiding the combination of data entry and presentation of sales reports presented in a fast and precise time so as to help the owner to make the decision making process .
STUDYING OF SCIENTIFIC-PHILOSOPHICAL HERITAGE OF THE EAST RENAISSANCE INTELLECTUALS IN DEVELOPMENT OF PHILOSOPHICAL EDUCATION.

The development of philosophical education is an interconnected process connected with human development.It is important to pay a special attention to the comprehensive study of the scientific philosophical heritage of the Oriental thinkers, in particular, the scholars of the Islamic world, who made a worthy contribution to the development of our society in further development of philosophical education.For this purpose, first of all, it is necessary to create real-world research, new generation textbooks, books, program guides.Because during the Soviet regime, the social and philosophical heritage of our people was abolished, artificially, materialistic and atheistic tendencies were recommended, without denying the specific historical conditions, and other thought-provoking researchers were condemned as bourgeois.Based on the original sources of research in Uzbek scholars, philosophical views of Oriental philosophers such as Forobi, Ibn Rushd, Ibn Bajja, Ibn Sina, Abu al-Ghazali have been studied in more detail.A. L. Orientalists such as Kazibberdiev, S, Serebryakov, Azkul Karim, Alber Nasri have made a serious scientific work on translation of these philosophers' brochures, commenting on each concept, and the translation dictionary of their works.Therefore, this article analyzes the views of scientists of the Oriental Reformation period on the study of the scientific philosophical heritage, and highlighted the importance of the development of philosophical education in Uzbekistan.
SISTEM INFORMASI TRACER STUDY ALUMNI PADA PRODI TEKNIK INFORMATIKA UNIVERSITAS MUHAMMADIYAH GRESIK BERBASIS WEB

The name of the Higher Education Institution will be big, because of the alumni. However, the Informatics Engineering University of Muhammadiyah Gresik (UMG) continues to be required to always improve the quality of its educational process accompanied by efforts to increase its relevance in the context of global competition. Efforts to make improvements both in the academic and infrastructure fields have been carried out. The management of alumni data at Muhammadiyah Gresik University especially Information Engineering has not been overlooked and is still done manually. Alumni data is only stored in piles of paper in the administrative space, this can cause data damage and even data loss. The UMG Informatics Engineering tracer study activity provides an increase in education in teaching and learning activities so that it can improve the subsequent learning process. Therefore, to get information on the indications of lack of implementation of the study program the success of professionalism (career, status, and income) of alumni is needed. The Web-based Tracer Study Information System in Informatics Engineering Muhammadiyah Gresik University will be made easier for study programs to get information on relevant knowledge and expertise (the relationship between knowledge and expertise with work requirements, work scope, professional position) of the alumni. The value of the convenience obtained from the application questionnaire by users is 75.95% rounded up to 76%.
CSEye: A Proposed Solution for Accurate and Accessible One-to-Many Face Verification

Facial verification is a core problem studied by researchers in computer vision. Recently published one-to-one comparison models have successfully achieved accuracy results that surpass the abilities of humans. A natural extension to the one-to-one facial verification problem is a one-to-many classification. In this abstract, we present our exploration of different methods of performing one-to-many facial verification using low-resolution images. The CSEye model introduces a direct comparison between the features extracted from each of the candidate images and the suspect before performing the classification task. Initial experiments using 10-to-1 comparisons of faces from the Labelled Faces of the Wild dataset yield promising results.
Development of Contextual-Based Interactive Multimedia of Tema Daerah Tempat Tinggalku of 4th Grade Students in Public Elementary School (SDN) 054919 Kacangan, Secanggang District, Langkat Regency

This study aims to develop contextual-based interactive multimedia of Tema Daerah Tempat Tinggalku. This research is conducted at SDN 054919 Kacangan, Secanggang District, Langkat Regency. The population in this study are 4th grade students consisting of 30 students. The instruments which is used in this study are social studies learning outcomes tests and student response questionnaires. The data are collected and analyzed by quantitative descriptive analysis techniques. The method of this research is the development of Borg &amp; Gall research combined with the learning development model of Dick &amp; Carey. The trial subjects consists of learning material experts, learning design experts, two instructional media design experts, three students for individual trials, six students for small group trials and thirty students for large group trials. The results of the study show (1) The results of the trial of subject matter experts in the assessment of the content and feasibility of presentation are in very good criteria (88.09%); (2) The results of the learning design expert's test are in very good criteria (85.42%); (3) The results of the expert design study media I test are in sufficient criteria (73.21%) while the expert design test results of learning media II are on the sufficient criteria (83.92%); (4) The results of individual trials are in very good criteria (81.67%); (5) The results of the small group trial are in very good criteria (90.42%); (6) The results of a large group trial are in the criteria of good (73.2%).
ERRORS IN QQ ONLINE CHATTING: A STUDY ON CHINESE ESL LEARNERS IN INDONESIAN UNIVERSITY

This study intends to investigate errors found in an online written platform used by Chinese students in English Language Education Department. The online platform observed in this study was QQ chatting, where students freely and without pressure utilize the application for everyday English communication. Most Chinese students have performed unorganized sentence patterns, resulting in meaning breakdown. This study employed qualitative case study design with five Chinese respondents. The researchers were actively involved in the QQ chatting as the participants; the discussion topics revolved around everyday communication topics, namely academic life, friendship, social interaction, and culture challenges. The data then were recorded weekly for one semester and analyzed through manuscript analysis from the recorded captures of the conversations. The findings suggest that there were various types of errors performed by Chinese students: omission, misformation, addition, misordering, and mixed-types. The most prominent one was omission with the total of twenty-eight times occurrence. The omission errors were divided into omission of nouns as in ‘today have sunshine’, omission of verbs as in ‘I don’t know here will so cold’, omission of auxiliary verbs as in ‘I eaten dinner’ and omission of verb inflections as in ‘Where are you go?’.The most commonly found omissions errors were due to the influence of Chinese first language where the speakers have totally different tenses and sentence organization with English.