Reviewerly/exHarmony huggingface dataset:
Analisis Kesalahan Hasil Terjemahan Mesin Penerjemah Teks Bahasa Jerman ke dalam Bahasa Indonesia

Many online translation machines can translate more than 100 languages, including German into Indonesian and vice versa. However, the accuracy and standardization of the results still need to be investigated. This study aims to identify language errors in the translation of German texts into Indonesian using Google Translate and Bing Translator. This research is a descriptive qualitative research based on language error analysis. The data is derived from 12 German news articles published by Deutsche Welle. These German texts were translated into Indonesian using these two machine translators. The translated texts were analyzed for language errors at the semantic, morphological, and syntactic levels. The results of this study show that there are still language errors at the semantic, morphological, and syntactic levels in the translated texts produced by Google Translate and Bing Translator. Both translation machines tend to translate the text word for word. A translation result is an initial form of translation that needs to be edited to obtain an accurate translation.
Pengembangan E-Book Interaktif untuk Meningkatkan Kemampuan Menulis Paragraf Argumentasi Kelas IV

The goal of using interactive e-books as learning tools is to help teachers and students write persuasive paragraphs. In the arduous task of writing argumentative paragraphs, students continue to battle to persuade the reader, and the built-in sentences remain difficult to understand. Interactive e-book media feature aspects of argumentative paragraphs such as definitions, traits, examples, and practice. This study evaluates the viability of e-book products designed for fourth-grade elementary school students using the three-step Research and Design (R&amp;D) method: planning, design, and development. On several devices, students can view interactive e-book media made with the application Canva. The researcher validated the product's content, media, and trials with the intended audience (students) to determine the product's viability. The validation of the content yielded a score of 63 out of a maximum of 65, suggesting that 97% of the material was legitimate. The media validity percentage was 91%, with a score of 41 out of 45 for the media validation results. The validity rate of student trials was 85%. This medium is engaging for children and has the potential for repeated use in writing training. The findings of this study suggest that educators should create media to enhance learning.
Detecting GNSS spoofing using deep learning

Abstract Global Navigation Satellite System (GNSS) is pervasively used in position, navigation, and timing (PNT) applications. As a consequence, important assets have become vulnerable to intentional attacks on GNSS, where of particular relevance is spoofing transmissions that aim at superseding legitimate signals with forged ones in order to control a receiver’s PNT computations. Detecting such attacks is therefore crucial, and this article proposes to employ an algorithm based on deep learning to achieve the task. A data-driven classifier is considered that has two components: a deep learning model that leverages parallelization to reduce its computational complexity, and a clustering algorithm that estimates the number and parameters of the spoofing signals. Based on the experimental results, it can be concluded that the proposed scheme exhibits superior performance compared to the existing solutions, especially under moderate-to-high signal-to-noise ratios.
The Legal Ramifications of Digital Tokenization

&lt;p&gt;Today there is considerable interest in the tokenization of assets within blockchain-based networks. Aside from the current lack of interoperability among these blockchain networks there is also the challenge of the interoperability of these digital assets across different legal jurisdictions around the world. In this paper, we discuss some of the challenges in automating the processing of tokenized assets. A primary concern in that context is the clear definition of legal aspects related to the issuance and the terms of use of digital assets.&lt;/p&gt; &lt;p&gt;&lt;br&gt;&lt;/p&gt;
Data Mining Method in Seismology by Applying Cellular Automaton Equivalence of Ground Vibration Fluctuations Recorded Near the Epicenter of the 2011 Mw 9 East Japan Earthquake

Abstract We propose a data mining method to extract physical phenomena from the ground vibration velocity fluctuation (GVF) which is a daily observed weak signal and has no specific waveform. Our aim is to detect any traces of the return of ground motion to its normal state after earthquakes, and the evolution of ground motion towards earthquakes in the GVF. We focus on the GVF recorded near the epicenter of the magnitude 9 Great East Japan Earthquake (GEJE). Although the GVF can be discussed in the framework of the master equation which represents the thermodynamics of a stochastically fluctuating non-equilibrium system, the relation between the thermodynamic parameters and seismology-related phenomena is hardly known. So, we introduce cellular automata (CA) to analogically interpret the physical phenomena of interest as thermodynamic parameters, and show the thermodynamic equivalence between GVF and CA. These CA-derived thermodynamic parameters are then expected to deliver physical phenomena similar to those of the target when evaluated on the GVF data. In the demonstrated example of data mining, the stress relaxation signal immediately after GEJE is discovered from the recorded GVF data by deriving the thermodynamic parameters representing the stress relaxation of CA and evaluating these thermodynamic parameters for the recorded GVF data. Furthermore, the elastic rigidity and viscosity of the underground structures are estimated from the stress relaxation signal. The novelty of this study lies in drawing attention to the GVF, and combining standard techniques of CA with GVF through the use of the master equation.
Fluid inclusions technique for porphyry deposit exploration: The Rosario porphyry Cu-Mo deposit

Porphyry ore deposits are the largest source of copper, molybdenum, gold, and silver in the world. Various exploration techniques have been developed due to their importance as a source of metals. A special focus has been devoted to understanding the processes of hydrothermal fluids as mineralization drivers. Fluid inclusions provide direct information about the fluids involved in the hydrothermal genesis of the ore deposit. They convey temperature and mineral composition information conditioned to the salinity of the fluid system. Thus, fluid inclusion analysis works as an additional tool for porphyry ore deposit exploration.We present a new exploration technique based on the properties of PVTX fluids to find porphyry copper. The Collahuasi district located in the North of Chile has 2 currently exploited and known porphyry: Rosario and Ujina porphyries. The investigation was carried out around the Rosario porphyry, which has reserves estimated at 2.18 BTon (0.91% Cu). Potassium, propylitic, quartz-sericite, argillic and advanced argillic alteration have been identified in this area. The latter was associated with high sulfidation veins, possibly related to a second unknown intrusion, named the Rosario Oeste zone.The petrographic study of fluid inclusions was carried out on more than 300 drilling samples from Rosario and Rosario Oeste. 7 classifications of the types of FI that occur, these are: liquid-rich fluid inclusions, FI steam-rich, FI with coexistence of liquid and vapour, FI rich in liquid with halite, FI liquid-rich with halite coexisting with vapour, FI rich in liquid with chalcopyrite and FI with solids. The veins were classified with the support of the Collahuasi geology team, as veins type A, B, C, D, E, TES, and only quartz. The main alterations defined to use were: propylitic and argillic.This information, an exploration model called the Copper Porphyry Probability Index (CPPI) is generated. All this information was integrated into a 2D and 3D model to study the spatial distribution of these parameters. It is concluded that boiling is present throughout the system in the upper and lower zones. Higher salinity and metal content in the fluid are recognized, positively correlating with the presence of type B and D veins and with high CPPI values, showing these in the direction of Rosario Oeste.These similarities in shallow and deep parts, which correlate with two high-grade Cu-Mo zones, suggest the presence of two simultaneous mineralizing centers or the possibility of recurrent mineralization by a low-angle structural process.
A 4-Valued Logic that Extends the Paraconsistent Logic G’3

We introduce a new 4-valued logic that we call M4M4. We show that M4M4 is conservative extensión of the 3-valued logic G′ 3, which serves as the formalism to define the p-stable semantics of logic programming. M4M4 possesses two negation operators. The weak negation operator that corresponds to the negation operator of G′ 3. In addition, M4M4 also includes a strong negation operator that is the new feature of this logic with respect to G′ 3. It is well known that allowing these two negations is very useful in knowledge representation. M4M4 can be used as the formalism to define the p-stable semantics as well as the stable semantics. We also present other suitable properties of M4M4.
Leveraging the balanced scorecard to reformulate the strategy of a performing arts theater: a stakeholders’ perspective

&lt;p&gt;Purpose&lt;/p&gt; &lt;p&gt;This study expands the performance management literature by developing a strategy map and balanced scorecard (BSC) for a large performing arts theater (PAT).&lt;/p&gt; &lt;p&gt;Design/methodology/approach&lt;/p&gt; &lt;p&gt;First, interviews with significant stakeholders identify key success factors (KSFs). Next, a survey is administered, and a structural model is employed to determine the importance of each KSF and their interdependent causal relationships within the PAT. Each KSF's controllability and room for improvement are also measured to facilitate implementation strategies.&lt;/p&gt; &lt;p&gt;Findings&lt;/p&gt; &lt;p&gt;The results reveal that the Financial Perspective plays a critical role in the PAT's success, while significant changes can be enacted by focusing on the Internal Processes Perspective. Regarding the individual KSF, the following emerge as the most critical: excellent reputation, attendance growth, increasing sponsorship and donation, and supporting the local arts community; however, PAT managers will have to be creative to enact change through these KSF as some are difficult to control or have little perceived room for improvement.&lt;/p&gt; &lt;p&gt;Research limitations/implications&lt;/p&gt; &lt;p&gt;The data were collected prior to, or at the beginning of the coronavirus disease 2019 (COVID-19) pandemic. Post-pandemic priorities for the organization may have changed.&lt;/p&gt; &lt;p&gt;Practical implications&lt;/p&gt; &lt;p&gt;By highlighting the relationships between different KSFs, this study provides PAT managers with a frame of reference for developing their BSC and performance metrics. It also offers PAT's managers a structured and adaptable approach for prioritizing their strategic choices and developing implementation plans for improved outcomes.&lt;/p&gt; &lt;p&gt;Originality/value&lt;/p&gt; &lt;p&gt;This study exemplifies the need for applied BSC studies in various sectors, including nonprofit organizations. Specifically, this study extends the performance management literature by providing an example of a large PAT's performance measures, the inter-relationships among KSF and the resulting strategy map. The results are significant because arts management is a unique discipline based upon a specific body of knowledge (Weinstein and Bukovinsky, 2009).&lt;/p&gt;
Utilization of the Internet as a Learning Resource; A Case Study of Students at State Senior High School 1 Tanjungpandan, Belitung Regency

This study aims to determine the utilization of the internet as a learning resource. This type of research is descriptive quantitative. The population in this study were students at Tanjungpandan 1 Senior High School, Belitung Regency, totaling 238 students who were taken based on random sampling. The instrument used was a questionnaire which amounted to 27 items, and was divided into four factors, namely Browsing, Resourcing, Searching, Consulting and Communication. The data analysis technique uses descriptive statistics expressed in percentage form. The results showed that the utilization of the internet as a learning resource by students at Tanjungpandan 1 Senior High School, Belitung Regency was in the "very poor" category of 0.00% (0 students), "poor" 0.00% (0 students), "sufficient" 84.45% (201 students), "good" 15.55% (37 students), and "very good" 0.00% (0 students).
CAMPUS CLOUD: EMPOWERING UNIVERSITY MANAGEMENT WEB APPLICATION WITH CLOUD-HOSTED DOCKER TECHNOLOGY ON AWS

Abstract—In this article I have deployed a web-based applica- tion to Docker using Amazon web service (EC2 Instance). Elastic Cloud Compute service is used to the run the docker applications on scalable clusters. Amazon EC2 is fully managed and secured Container orchestration service that makes to deploy, manage and scale Dockerized web application. Docker containers on an EC2 instance to run a university management system website on the Amazon Web Services (AWS) cloud. For educational institutions, a university management system is a crucial tool that enables administrators to manage student records, course information, and other crucial data. The introduction to Docker, a containerization technology that makes it simple to build and manage web applications, follows a discussion of the advantages of hosting a university management system website on the cloud. The next section of the paper focuses on the AWS EC2 service and its capabilities, such as its capability for flexible computing and scalability. The paper also offers a step-by-step tutorial on how to use Docker to deploy a university administration system website on an EC2 instance, including instructions on how to set up the EC2 instance, install and configure Docker, and deploy the website code in a Docker container. Elastic Load Balancer and Auto Scaling, two AWS services, are used in the process of setting up security and scalability for the website. The benefits of using Docker to host a university administration system website on AWS EC2 are outlined in the paper’s conclusion, along with predictions for the development of cloud-based web application hosting. This research paper offers a thorough overview of the steps involved in hosting a university management system website using Docker on AWS EC2, making it a useful tool for educational institutions looking to improve their information management procedures and take advantage of cloud computing and Docker- Containerization.
The Proof of P=NP

&lt;p&gt;We show that the 3-satisfiability problem can be solved in polynomial time, thereby proving that P=NP.&lt;/p&gt; &lt;p&gt;The result of this paper is derived based on my matrix multiplication paper titled "An $O(n^4\log^4 n\log \log n)$ Time Matrix Multiplication Algorithm'' which has appeared in arXiv.org as paper arXiv:1612.04208. &lt;/p&gt;
Data Modeling Using Vital Sign Dynamics for In-hospital Mortality Classification in Patients with Acute Coronary Syndrome

Objectives: This study compared feature selection by machine learning or expert recommendation in the performance of classification models for in-hospital mortality among patients with acute coronary syndrome (ACS) who underwent percutaneous coronary intervention (PCI).Methods: A dataset of 1,123 patients with ACS who underwent PCI was analyzed. After assigning 80% of instances to the training set through random splitting, we performed feature scaling and resampling with the synthetic minority over-sampling technique and Tomek link method. We compared two feature selection methods: recursive feature elimination with cross-validation (RFECV) and selection by interventional cardiologists. We used five simple models: support vector machine (SVM), random forest, decision tree, logistic regression, and artificial neural network. The performance metrics were accuracy, recall, and the false-negative rate, measured with 10-fold cross-validation in the training set and validated in the test set.Results: Patients’ mean age was 66.22 ± 12.88 years, and 33.63% had ST-elevation ACS. Fifteen of 34 features were selected as important with the RFECV method, while the experts chose 11 features. All models with feature selection by RFECV had higher accuracy than the models with expert-chosen features. In the training set, the random forest model had the highest accuracy (0.96 ± 0.01) and recall (0.97 ± 0.02). After validation in the test set, the SVM model displayed the highest accuracy (0.81) and a recall of 0.61.Conclusions: Models with feature selection by RFECV had higher accuracy than those with feature selection by experts in identifying patients with ACS at high risk for in-hospital mortality.
Studies Literacy Reading Autistic Children

The literacy movement is not only the responsibility of the government, but the responsibility of all stakeholders such as the business world, universities, social organizations, literacy activists, parents, and the community. The spirit of literacy culture is very active in its implementation in schools from elementary to high school. Various school programs are implemented, starting from reading corners, various places, and media created by schools to support these programs. Likewise, for special schools, literacy for children with special needs is also carried out to support a literacy culture for children with disabilities. There is one special school in Indonesia with disabilities that are included in the autistic category. Several studies have shown that schools are very enthusiastic about implementing the Literacy Movement program. However, it focuses a lot on how to implement it with the right method and does not consider what materials are needed for autistic children. Meanwhile, autistic children need independent literacy in their lives, such as independence in bathing, dressing, using socks, toilet training, and so on. Interesting reading material about self-reliance is hardly available in shops, libraries, and schools. In this article, we convey that making interesting reading materials for autistic students related to independent living is a challenge to make teachers, literacy activists, and communities concerned with literacy. Autistic students need regularity, discipline, and interesting reading with basic material content such as the chaining method. The chaining method, for example, is used to train dental skills in children with intellectual disabilities. The chaining method used is the chaining method used in the next steps of chaining, namely the initial steps of the behavior are taught first, , the steps taught are related to the second steps, and so on until the stage is complete. The type of research used is a case study. Meanwhile, data collection was by observation and by looking at the literacy cases of children with special needs. Research analysis was done using qualitative description. The results showed that the significantly autistic used literacy materials by reading series books in the form of chains which were simpler to read and also useful for their independence in everyday life.&#x0D; Keywords: literacy, autism, reading, independence, chaining
Pendekatan Metode Prototype Pada Aplikasi Presensi Berbasis Mobile (Studi Kasus: Kantor Desa Mekar Jaya)

The village office as a government agency at the lowest level requires an information system that can help manage employee attendance data more efficiently. This research aims to design a mobile-based attendance application for the village office using the prototype method. The prototype method was chosen to facilitate the application design, so that the application can be immediately used by village office employees. This research was conducted by collecting data through interviews and observations at the village office that became the subject of the study. The data was then used as a basis for designing the attendance application using the prototype method. The result of this research is a mobile-based attendance application that can be used by the village office to manage employee attendance data more efficiently. This application can also help improve the accuracy of employee attendance data and reduce the risk of errors in the data management process. In conclusion, the use of the prototype method can help accelerate the process of developing attendance applications at the village office and improve the effectiveness of managing employee attendance data.
Applied Computing and Artificial Intelligence

Applied computing and artificial intelligence methods have been attracting growing interest in recent years due to their effectiveness in solving technical problems [...]
PERANCANGAN SISTEM APLIKASI E-OFFICE BERBASIS WEB PADA DINAS KEPENDUDUKAN DAN PENCATATAN SIPIL KABUPATEN MUARO JAMBI

The Department of Population and Civil Registration of Muaro Jambi Regency is the executor of government affairs in the field of population administration, in general for office administration purposes, such as archiving documentation and correspondence management. In general, the work process in local government agencies is inseparable from various problems, such as work management that is not good and neat, or other information management processes that are deemed inaccurate. The results of the study show that the management of incoming and outgoing letter archival data still uses a manual system, namely recording in an agenda book and then placing the letters in a special mail archive cupboard without any backup data. The management of letter archives at the Population and Civil Registration Office of the Muaro Jambi Regency is carried out by the general and personnel sub-divisions. The facilities available at this time are an agenda book to record incoming and outgoing mail data, then a cupboard as a means of storing archival data of incoming and outgoing letters. The solution proposed by the author is to design and build a web-based E-Office application system for archiving incoming and outgoing mail data. In developing the system the author uses the method (Waterfall) and UML design along with supporting applications for making the application developed using the java programming language, php, and the MYSQL database. The results of making this application can be used by the Muaro Jambi Regency Population and Civil Registration Service, especially as a medium for completing documents and other official letters.