Reviewerly/exHarmony huggingface dataset:
Completeness of Nominal PROPs

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.
MULTI KEY ALGORITHM FOR SECURITY ENHANCEMENT OF RSA ALGORITHM USING MATLAB

In this paper, a new technique is deployed to afford a strong secure algorithm based on dynamic keys strategy. The objective of this technique is to provide confidentiality and authentication of data between any partners. The proposed technique takes Multiple keys pair(Public and Private) with RSA algorithm that used fast expansion to enhancement the speed of RSA. Simulation results have been achieved using MATLAB R2014a; Single Key RSA (SK-RSA) and proposed Multi Keys RSA (MK-RSA) are compared analysis is made on execution time. Hence, deploying the MK-RSA algorithm is proving more secure than SK-RSA algorithm.
PEMBINAAN MASYARAKAT SEBAGAI APLIKASI GERAKAN MASYARAKAT CERDAS MENGGUNAKAN OBAT (GEMA CERMAT) PADA SISWA MTS WIHDATUL ULUM DESA BORISALLO KABUPATEN GOWA.

Gerakan Masyarakat Cerdas Menggunakan Obat GeMa CerMat is an effort of the government and society through a series of activities in realizing community care, awareness, understanding and skills in using drugs correctly and correctly. UMI as an education and da'wah institution always supports government programs in the health sector. The target of this service is the students of MTs Wihdatul Ulum Desa Borisallo, Parangloe Subdistrict, Gowa Regency, who are able to get to know things related to drugs and can use drugs safely and avoid the effects of unwanted drugs. In addition, it is expected to be able to inform drug related matters to other communities. The method of disseminating service activities to the Wihdatul Ulum Islamic boarding school, counseling on rational use of medicine with lecture and discussion methods, then continued with training in rational drug use through Active Learning Method (CBIA) methods, evaluation of service activities, and publication of activities in the media print and online. From counseling activities and rational drug use training conducted to MTs students. Wihdatul Ulum Desa Borisallo Kec. Parangloe Gowa Regency, which was attended by 30 participants, obtained an average pretest value of 0.3 and an average posttest value of 4.8. The Efforts of the Smart Community Movement to Use Medication (GeMa CerMat) for Students of MTs Wihdatul Ulum in Borisallo Village, Gowa Regency effectively increase knowledge related to drugs in selfmedication.
Alteration of Coagulation Parameters in Plasmodium Falciparum Malaria Patients and its Correlation with Degree of Parasitaemia in Khartoum state Sudan; 2019

Background:The hemostatic alterations play an important role in malaria pathogenesis and in the progression of disease.In severe infection the accelerated coagulation cascade activity with accelerated fibrinogen turnover increase the bleeding tendency and may lead to DIC.Objectives: This study was aimed to determine the Alteration of coagulation parameters in Plasmodium Falciparum malaria Patients and its correlation with degree of parasitemia in Khartoum state.Sudan; 2019.Material and method: Analytical cross sectional study, 170 blood samples were enrolled in this study.85samples of blood were collected from patients with falciparum malaria and 85 samples were collected from healthy individual as control, then PT and APTT will be measured by coagulometer.Result: The mean of PT was significantly high in case than in control (14.201second vs 13.668 second, (P value (< 0.01)).While there was no differences in the mean of APTT between case and control (33.075 vs 33.192 second ) P value (0.735).Conclusions: Our study concluded that the mean of PT was significantly higher in case than control, While there was no differences in the mean of APTT between case and control, and There was no differences between the PT and APTT of case and control according to gender.And there is no correlation between degree of parasitemia in PT, APTT and age.
Efektivitas Permainan Kartu Kuartet dan Metode Menghafal

This study aims to compare the effectiveness of quartet card games and memorization methods for students' mastery of vocabularies. In this study, using quasi quantitative experiments. The sample of this study was purposive sampling taken from class VII A and B as many as 40 students with a population of 150 people. Then the data collection technique used by researchers is the evaluation test relating to the mastery of the consensus existing on the quartet card. The T-test is a formula that researchers use in obtaining research results. Obtained that the experimental class in this case class VII A, amounting to 19 students after treatment, then given a test obtained an average value of 5.8, while the control class, in this case, Class VII B students were 21 students after memorizing the vocabularies method. The same as the consensus in the quartet card and then given a test obtained an average value of 3,6, so it can be concluded that Ho is rejected and Ha is accepted because t arithmetic 4,23 is more significant than t table 1,68959.
Implementasi K-Nearest Neighbor pada Decission Support System Pemilihan Satuan Pengamanan Event Perguruan Tinggi

Routine events required by tertiary institutions require escort from selected security guards. Elections based on personal subjectivity will lead to results that are not in accordance with the purpose of the security itself. However, if the selection is based on the objectives will give results that are in accordance with professionalism. Each security unit has a different level of importance, so that at the level of security the event needs a level of professionalism in accordance with the level of importance at the college level. In detail the selection of security units on several criteria, namely event, years of service, cooperation, service, personality, skills and responsibilities. The method used in this selection process is the K-Nearest Neighbor, with the final result approval rate of 0.88%
Sistem Informasi Pendapatan Jasa Berbasis Desktop Sebagai Upaya Pengendalian Kas Pada Perusahaan Jasa

Each company is required to implement an accounting system that is in accordance with the conditions of each company. One of the systems used by the company is a system of income accounting and cash receipts. Cash problem is something that requires special handling, especially for large, medium and small companies. In the cash income and expenditure system, it is necessary to have a good procedure that will be in accordance with established management policies. By using computerized information systems, computerized data storage systems cause all stored data to be more secure, and computerized systems can speed up the process of recording income and archiving available data. Desktop-based applications are applications that are widely used, because of easier use and in a more attractive form and appearance. The use of applications makes it easy to process data to be more automatic and the data that is processed will become structured information.
Cloud Computing Security: Aws Data Security Credentials

Cloud computing is a starting late created model which is finding a workable pace known among basically all endeavors. It incorporates the possibility of on intrigue organizations which means using the cloud resources on solicitation and we can scale the advantages as indicated according to popular demand. Distributed computing beyond question gives ceaseless advantages and is a monetarily shrewd model. The significant stress right now Security in cloud. This is the explanation of various endeavors of not inclining toward the cloud enlisting. This paper gives the review of security ask about in the field of cloud security. After security ask about we have shown the working of AWS (Amazon Web Service) distributed computing is the most trusted in provider of distributed computing which not simply gives the bewildering cloud security yet furthermore gives awesome cloud organizations. The major purpose of this paper is to make conveyed processing security as an inside movement and not an additional action.
Illocutionary Acts Used by Indonesian Athletes in Instagram Caption in Asian Games 2018

This research aims to describe the types of illocutionary acts used by Indonesian athletes in Instagram caption in Asian Games 2018, and to find out the type of illocutionary acts which is mostly used by the Indonesian athletes. This research used descriptive qualitative method. The source of data is the Instagram accounts used by Indonesian Asian Games Athletes. The data are in the form of Indonesian athletes’ 24 written utterances and categorized into types of illocutionary act based on Yule’s theory. Based on data analysis, the finding shows there are four types of illocutionary acts used by Indonesian athletes in Instagram caption in Asian Games 2018, namely representatives (14), expressives (7), directives (2), and commissive (1). Representative is mostly used by Indonesian athlete in Instagram caption in Asian Games 2018.
SISTEM PEMETAAN RUMAH IBADAH PROVINSI BALI BERBASIS GOOGLE MAPS PADA KANTOR WILAYAH KEMENTERIAN AGAMA PROVINSI BALI

The management of information on houses of worship is a part of the management of Education, Religion and Religious informations which is managed at the Regional Office of the Ministry of Religion in Bali. In practice, houses of worship data collected and processed manually with Microsoft Excel application and the information has been given to the community is just the number of houses of worship in every regency or city in Bali. While the public wants more detailed information of houses of worship including the address and location on a map. Bali House of Worship Mapping System is able to provide information of houses of worship in Bali from six religions that have been recognized in Indonesia including location information on Google maps and video documentation on YouTube. So, people can easily search all the houses of worship informations in Bali using web browser.
Investigasi Performa Turbin Angin Crossflow Dengan Simulasi Numerik 2D

Wind turbine is a solution to harness of renewable energy because it requires wind as the main energy. Wind turbine work by extracting wind energy into electrical energy. Crossflow wind turbine is one of the wind turbines that are developed because it does not need wind direction to produce maximum efficiency. Crossflow wind turbines work with the concept of multiple interactions, namely in the first interaction the wind hits the first level of turbine blades, then the interaction of the two winds, the remainder of the first interaction enters the second level blades before leaving the wind turbine. In the design of crossflow wind turbine the diameter ratio and slope angle are important factors that influence to determine of performance in crossflow wind turbine. In this study varied the angle of slope 90 ° and variations in diameter ratio of 0.6 and 0.7. The study aimed to analyze the effect of diameter ratio and slope angle in performance of the crossflow wind turbine. This research was conducted with numerical simulation through 2D CFD modeling. The results showed that the best performance of crossflow wind turbine occurred at diameter ratio variation 0.7 in TSR 0.3 with the best CP value 0.34.
A constitutional analysis on the revised bills of the Court Organization proposed during the 20th National Assembly - Focusing on the judicial administrative authority of the Chief Justice -

The Constitution of the Sixth Republic is evaluated as a democratic constitution whose principle of separation of powers is relatively well reflected in the organization and composition of the governing structure. Since the implementation of the current Constitution, various efforts to embody democratic principles in the legislative and administrative sectors, both political areas, have been steadily developed and have been quite effective. With certain achievements achieved in the political arena, public opinion has risen that yearning for democratic reform in the judiciary. After achieving certain outcome in the political arena, public opinion has risen that yearning for democratic reform in the judiciary. The people's opinion of democratic reform in the judiciary was focused on rationalizing the power of the Chief Justice. It is because the excessive authority is concentrated on the Chief Justice despite his weak democratic legitimacy. Thus, a number of bills were proposed in the 20th National Assembly with the aim of limiting or reducing the Chief Justice's authority over judicial administration. The proposed bill can be divided into one that calls for diversifying the composition of Justice nomination committee and another that calls for the creation of a new judicial administrative body beyond the current judicial administrative system. These bills are intended to limit the judicial administrative authority of the Chief Justice in proportion to democratic legitimacy, which is questionable whether they harmonize with the principle of judicial independence and current constitutional articles. Rational adjustment of the judicial administrative authority of the Chief Justice in proportion to democratic legitimacy is of course a request in light of democratic principles, but constitutional legitimacy is recognized only when it is harmonized with the basic principles and provisions of the Constitution.
SCIENCE DEVELOPMENT STATISTICAL ANALYSIS IN HIGHER EDUCATION SECTOR

The main indicators, characterizing the science development in the higher education sector, have been considered. The main trends in changing the number of organizations engaged in research and development in this sector, as well as the number of personnel employed in them, have been analysed. Attention to the study of the movement of personnel in organizations has been paid. Information about availability of scientific degrees of candidate and doctor of sciences in scientific personnel in the higher education sector has been collected. The dynamics and structure of internal costs for research and development have been considered. The dynamics of the average monthly salary of personnel engaged in research and development in the higher education sector has been analysed.
Perancangan Sistem Aplikasi Penilaian Kinerja Karyawan pada PT Bluepay Digital International Berbasis Java

In its implementation, the document recording process carried out by this company is still done manually so that it is not uncommon to find difficulties when processing data. Employee Performance Appraisal Application at Java-based PT.Bluepay Digital International is an organizational process in evaluating employee performance. The purpose of conducting performance appraisals in general is to provide feedback to employees in an effort to improve the appearance of their work and efforts to increase organizational productivity, and specifically carried out in relation to various policies towards employees. Problem limitation is centered on the design of employee performance appraisal applications at Java-based PT.Bluepay Digital International by HRD whose workmanship is still manual to make the application more efficient in evaluating employee performance. The purpose of making an employee performance appraisal application is to provide innovation by using IT technology in processing employee performance appraisals. In making this application using the experimental method so that a good, effective and easy solution can be obtained. The method used is data collection using interview and observation techniques to PT Bluepay Digital International.
Modeling the sequential behaviors of online users in recommender systems

Analyzing sequential user behaviors plays an important role to build an effective recommender system and it has been paid a great deal of attention by researchers. Previous work exploits two types of sequential behaviors of users: Item sequence (each user interacts with items in order) and sequential interactions on an item (e.g. clicking an item, then adding it to cart, finally purchasing it). While a vast number of studies focus on modeling item sequence, a few works exploit sequential interactions on an item in recent years. However, there is no work that focuses on both of them. In our work, we propose a novel model which directly models both the types to capture user behaviors completely. Our model can combine multiple types of behaviors as a sequence of actions, moreover, it can model users' preferences through time with the sequence items which they have interacted in the past. The intensively experimental results show that our model significantly outperforms the effective baselines which are designed to learn from either item sequence or sequential user interactions.
GPU and multi-threaded CPU enabled normalized cross correlation (Conference Presentation)

Image matching has been a critical research topic in many computer vision applications such as stereo vision, feature tracking, motion tracking, image registration and mosaicing, object recognition, 3D reconstruction, etc. Normalized Cross Correlation (NCC) is a template based image matching approach which is invariant to linear brightness and contrast variations. As a first step in mosaicing, we use NCC to a great extent for matching images which is an expensive and time consuming operation. Thus an attempt is made to implement NCC in GPU and multi-CPU in order to improve execution time for real time applications. Finally we compare the enhancement in performance and efficiency in timing by switching NCC implementation from CPU to GPU.
Relationship of Universities’ Resources and Competencies with the Results of Their Export Activities

The article presents the results of a study aimed at identifying universities’ resources and competencies interrelated with their export activities, and at analyzing these interrelations. To achieve this purpose, the indicators of university activities over a four-year period and the dynamics of their changes are analysed. With the help of panel data analysis methods, the relationships between quantitative indicators characterizing the resources, universities’ competencies, and the results of their export activities are estimated. The annual performance indicators of 589 Russian universities are analyzed through four academic years – from the 2013/14 up to the 2016/17. Over the indicated period, 74 % of the universities included in the sample increased the number of foreign students, this growth in most cases being unstable if taken year by year. The universities with positive changes in the number of foreign students show the following resources and competencies: the development of incoming students’ international academic mobility; international teaching staff and a high level of their qualifications; partnership with enterprises for organizing student practice; international cooperation in research. The results of the study may be of interest for universities planning to develop the export of educational services and making decisions on the implementation of measures aimed at attracting foreign students. The paper analyzes the performance of universities having the necessary data for four years in open access. For further research, the list of analyzed indicators can be expanded, with the values of indicators considered for a longer period of time.
Perancangan dan Pembuatan Aplikasi Pendeteksi Kesalahan Penempelan Barcode pada Kemasan Produk Menggunakan Sistem Arduino Uno dan Sistem Komputasi (Studi Kasus PT. Duta Nichirindo Pratama)

PT. Duta Nichirindo Pratama is a company engaged in the field of Autoparts Manufacture. Barcode is the identity of an item / product on the package. Barcode technology has been used as the identity of goods in a production. Barcodes are used to facilitate the identification of goods produced. Paste the barcode on the packaging of packaging results at PT. Duta Nichirindo Pratama is done manually, but there are often errors attached to the barcode on a similar packaging. This research will design and create a system based on Visual Basic.Net and Arduino to select barcode attachment errors that have the potential to be sent to consumers. The system is designed using Unified Modeling Language (UML) diagrams, database design and interface menu design. The system created will then be tested to detect the black box test. With a computing-based design system that functions to detect barcodes on the packaging automatically, the problem of sticking barcodes on the packaging can be detected.
Hubungan jenis packed red cell (PRC) yang ditransfusikan dengan reaksi transfusi febrile non haemolytic transfusion reaction (FNHTR)

Background: One of the components of blood cells are often used for transfusions is Packed Red Cell (PRC). Blood components transfusion may continues with rapid or delayed transfusion ractions. The most transfusion reactionsÂ was fever (55%) or febrile non haemolytic transfusion reaction (FNHTRs). The cause of these events is associated with allogenic leucocytes (the ability to differentiate self cells and non-self cells based on the human leukocyte antigen (HLA) on the cell surface) and release of proinflammatory cytokines such as IL-1, IL-6, IL-8, TNFÎ±, Cell-free DNA (cfDNA), histone and the duration of blood storage. Methods: Cross-sectional study on 41.177 patients who received a PRC transfusion with the FNHTR transfusion reaction in Hospital Blood Bank Dr. Kariadi Semarang, duringÂ January 2017 to July 2018. Pearson Chi Square test for expected frequency more than 5. The Kolmogorov smirnov and Shapiro-wilk test were used to evaluate normality of the data. Mann-Whitney test to analyze the difference, p &lt; 0,05 was considered as significant.Results: The incidence of FNHTR was lower in patients who received leukodepleted PRC (11 patients) than non leukodepleted PRC (124 patients). There were differences in body temperature in the incidence of FNHTR between the two groups 38.10 C (38-39) VS 38.40 C (38 â€“ 39.2) with p = 0,046.Conclusions:There were relationship between the incidence of FNHTR with the transfusion with leukodepleted PRC and non leukodepleted PRC.
The Effect of Economy Bitcoin on Money Supply with the Growth of Bitcoin Volatility as an Intervening Variable

Bitcoin is one of many Cryptocurrency that was intended to ease the peer-to-peer payment method where it’s users can directly interact without an intermediary. The value of Bitcoin is determined by the demand and offer without the interference of other parties so it tends to fluctuate. The demand for Bitcoin is increasing from the service provider of Cryptocurrency in the form of digital asset exchange, especially in Malaysia. This research was done to find out if there’s an effect from the Bitcoin economy to the money supply in Malaysia. The time-series data in the form of the provider of virtual money in Malaysia, data on the growth of Bitcoin volatility, and the data of the money supply in Malaysia (M1). The data is taken at the end of each month during the study period from January 2016 to June 2019. Purposely to answer the question of this research the data is analyzed using the classic assumption, the simple linear regression test, and t-test. The result from the data processing is shown Bitcoin economy has a significant effect on the money supply in Malaysia.