Reviewerly/exHarmony huggingface dataset:
Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121)

This report documents the program and activities of Dagstuhl Seminar 21121 Computational Complexity of Discrete Problems, which was held online in March 2021. Starting with a description of the organization of the online meeting and the topics covered, we then list the different talks given during the seminar in alphabetical order of speakers, followed by the abstracts of the talks, including the main references and relevant sources where applicable. Despite the fact that only a compressed daily time slot was available for the seminar with participants from time zones spanning the whole globe and despite the fact that informal discussions were harder to hold than in a typical on-site seminar, the rate of participation throughout the seminar was very high and many lively scientific debates were held.
Study on Writing Skills Syndrome VIA Social Network

Communication in general, and information communication in particular, can be used to achieve a variety of goals that humans have always aspired to. In a variety of methods, the strong benefits of struggling to establish basic human communication encourage harmony, love, and tranquility of living. This study examines the problems caused by so-called social networks in terms of text shortening while chatting with peers, relatives, and even parents. The study found that nearly all students questioned and asked about how text jargons affect their writing skills gave vivid accounts of how it affects their writing skills in terms of examinations, formal letter writings, and report writings (Minutes writings). According to the study, norms and regulations should be put in place to prevent its use in formal settings; students, who are at the centre of this issue, should be warned about the dangers of its use on their educational endeavours.
Professionals and the problem of introducing innovations in the university: prospects for the development of distance education, advantages and disadvantages

The purpose of this work is to identify and substantiate the problems of introducing innovations in the university. For the purpose of the study the following methods are used systematic analysis of philosophical, pedagogical and psychological scientific literature, researching and summarizing of educating experience; the survey. Education badly needs effective innovations of scale that can help high-quality learning outcomes across the system. The primary focus of educational innovations should be on teaching and learning theory and practice, as well as on the teacher readiness to innovative activity. The analysis of the teachers accepts to innovations demonstrate that the implementation of pedagogical innovations accompanies certain problems of future teacher activity during training at the university. Main factors and reasons determining the teachers’ innovation resistance could be considered when preparing them for innovative activity as a crucial factor for modernizing the country’s education system.
Analisa dan Perancangan Aplikasi Kearsipan (E-Arsip) Menggunakan UML

The archive is created as evidence of the implementation of administrative activities of agencies / organizations. Most of the agencies/organizations do not anticipate to save their active archives. This will result in a build-up of archives. Lack of understanding of records management guidelines in an agency / organization so that the implementation is not in accordance with applicable regulations and resulted in the archive is considered inconsideient. The problems faced by programmers if they do not make a plan in advance will cause a lot of problems. The design method to be used is Unified Modeling Language or UML. By using the UML method, we can find out the next stages that will be done in the form of diagrams. If the E-Archive application has been created, it is very useful to facilitate the storage of archive data that previously still uses manuals such as Microsoft excel. The data will then be stored in the database so that it can easily update the archive data and can view the archive data as a whole.
Sistem Informasi Akademik Pada Sekolah Tinggi Ilmu Sosial Dan Ilmu Politik Silas Papare Jayapura

School of Silas Papare Jayapura is one of the high schools that has implemented an information system in carrying out their management of job. However, there are still lack in the application of the information system. As in the academic section, the information system has not been implemented in managing lecture activities, so that the data management of activities in the academic section are still carried out semi-manually. The purpose of this research is to assist academic staff in managing academic data, assist lecturers in inputing of score, and provide better service for students of Silas Papare Jayapura. This web-based Academic Information System was created using the PIECES analysis method, using the Unified Modeling Language (UML) method as a system design, using the waterfall method as a system development, and the Black Box as system testing method. This research produces an academic information system that has been organized in managing academic data and becomes a means of information systems for academics, lecturers and students in schools of Silas Papare Jayapura
On the group-theoretic structure of a class of quantum dialogue protocols

In this paper we have provided a generalized protocol of the QD and analyzed its efficiency and security. To implement the protocol, we require a set of unitary operators that form a group under multiplication and a set of mutually orthogonal states on which the information is to been coded by this group of unitary operators. A systematic procedure for the construction of such groups and specific examples of states that can be used to implement the generalized protocol of QD are provided. It is shown that GHZ state, GHZ-like state, W state, cluster state, |Ω) state, Q4 state and Q5 state can be used for implementation of the QD protocol.
Abnormal recognition of massive electric power data based on RF and CNN

In electric power field, electric power data collection equipment collects electric power data every 15 minutes, 96-digit data will be generated for the same account every day. The data generated include highly available real-time electric power data, as well as abnormal data caused by problems such as equipment failures, changes in the enterprise industry, electric power theft and leakage, etc. When using the traditionally manual method to process the exception of electric power data, it cannot meet the needs of current massive data, high throughput, and low latency. In order to better distinguish abnormal data, indicate the cause of the abnormality, and provide support for subsequent abnormal data management on this basis, the paper has carried out the applied research of the combined anomaly analysis model based on random forest and convolutional neural network. Firstly, it analyses the characteristics of massive electric power data and the categories of abnormal causes in detail, and uses the LOF algorithm to perform abnormal data filtering on the massive electric power data. Then, it performs random forest and convolutional neural network model training on the massive electric power data, and uses an automated method to identify the cause of the abnormality for the massive electric power data. Finally, experiments were performed to verify the efficiency, low latency, and feasibility of using the combined RF and CNN model to process the classification of abnormal reasons. From the results, the combined model can well meet the needs of the classification and recognition of abnormal reason on massive electric power data, and it is an effective solution to solve the current problem of identifying abnormal reasons of electric power data.
Product liability in a world of automated products and digital distribution channels

The article examines some of the legal challenges brought about by automation and digitalization. The specific focus is on product liability rules. The article examines the way in which automation may challenge both the traditional concept of a “product” and of a “defect” in the product liability directive and explores the extent to which a digital platform, used for distribution of products, could be regarded a ‘producer’ within the meaning of the product liability directive.
Penggunaan Media Power Point untuk Meningkatkan Hasil Belajar Mata Pelajaran IPS Siswa Kelas V SDN 118275 Sialang Pamoran II Kecamatan Silangkitang

This study was based on the low student learning outcomes in the social studies subject. It is known that students have daily test scores that do not reach the predetermined KKM score. The purpose of this study was to improve student learning outcomes during the social studies learning process by applying the use of power point media. This study used a classroom action research method that used a qualitative descriptive research approach. Conducted in two cycles and each cycle consisting of planning, implementing and observing, reflecting. The subjects of this study were students of grade V SDN 118275 Sialang Pamoran II, totaling 28 students with 13 male students and 15 female students. Data collection techniques using the method of observation and learning outcomes tests. The results showed that during the learning process there was an increase with the percentage of completeness of 64% in cycle I and 86% in cycle II. The type of research used was Classroom Action Research (PTK), which was conducted in two cycles. Each cycle is carried out for 2 meetings. Data collection techniques in this study used observation, test and student response techniques. The collected data were analyzed using descriptive qualitative and quantitative techniques. The results showed that the percentage of the implementation of learning in teacher activities in cycle I obtained 69% and cycle II gained 88%. In student activities also increased from 75% in cycle I and 93% in cycle II. Thus it can be concluded that the application of learning using power point media can improve social studies learning outcomes of class VI SDN 118275 Sialang Pamoran II Silangkitang.
ANAYLSIS OF ROCKER BOGIE SUSPENSION SYSTEM

Rocker bogie mechanism is a mechanism mainly employed within the mars rovers to conquer the basic terrains while keeping balance. It's NASA's preferred mechanism for room automobiles and rovers. It contains 2 arms with steering wheel mounted to each and every. Each arm is attached by way of a movable joint. This allows to employ a suspension‐based mechanism which distributes the automobile ton as consistently as you possibly can actually on protrusions as well as unusual surfaces. The look involves a springtime totally free suspension dependent differential drive process which enables the bogie to go more than rubble, pebbles easily. The cameras and sensors installed on a rover should be healthy to function also and properly to increase the life spam of theirs. Additional vibrations as well as jerks result in quicker damage within receptors, circuit boards as well as digital cameras. The rocker bogie mechanism was created trying to keep this particular of brain by offering optimum stableness in all of the terrains. As a result, we examine the layout and also fabrication on the rocker bogie mechanism by fabrication of this particular basic surfaces automobile making use of ideas of the bogie mechanism. All‐terrain movable robots are totally different from some other standard movable robots, since they think about the impact of unstructured surface and the environment of its. Thus, the robots are created to work efficiently on all‐natural terrains which could be sloped, difficult, as well as deformable and therefore are utilized within these kinds of areas as serious room exploration brilliance as well as recovery as well as army. The rocker bogie suspension product is a passive spring less as well as symmetric mechanism. Each and every edge on the rocker bogie carries a bogie and a rocker: the rocker is attached to the back‐steering wheel, and also the center steering wheel as well as the forward steering wheel are linked with the bogie. The 2 sides of the paper of rocker bogie are linked through the differential bar linked to the primary body, and this guarantees the 6 wheels will be in exposure to the soil constantly giving a steady wedge just for the systematic tools & receptors. The rocker arm as well as bogie are
The Influence of Professors’ Characteristics on Educational Satisfaction in Online Education Environment: Differences from Matching Online/Offline Lecture Format and Students’ Preference

After the COVID-19 pandemic, the importance of new types of lectures such as online lectures in schools has become more important. This study explains the importance of the professors’ roles in online education. In online education, the professors’ characteristics such as attitude towards students, technical competence, and communication skills will have various effects on the students' educational satisfaction. In addition, there will be situational factors necessary to increase educational satisfaction such as universities offering both online and offline lectures since the students' preferences for online and offline lectures may differ. Therefore, the influence of the professors’ characteristics may be different depending on the case when the students are provided with a lecture in a preferred format or not. These relationships show which professors’ characteristics are necessary to improve the educational satisfaction in various situations. Satisfaction with online education will increase when the professors use specific characteristics appropriate to the situation. These results will have an impact on improving the success of school education in the post-COVID-19 era.
An Enriched Automated PV Registry: Combining Image Recognition and 3D Building Data

While photovoltaic (PV) systems are installed at an unprecedented rate, reliable information on an installation level remains scarce. As a result, automatically created PV registries are a timely contribution to optimize grid planning and operations. This paper demonstrates how aerial imagery and three-dimensional building data can be combined to create an address-level PV registry, specifying area, tilt, and orientation angles. We demonstrate the benefits of this approach for PV capacity estimation. In addition, this work presents, for the first time, a comparison between automated and officially-created PV registries. Our results indicate that our enriched automated registry proves to be useful to validate, update, and complement official registries.
Implementasi Revest Code 4 (RC4) Untuk Data Resep Obat Di RSUP H.Adam Malik

Advances in technology will run in accordance with advances in science which will get information easily and quickly. This is supported by information and communication technology which is growing rapidly from year to year. An example is in the management of drug data which is considered very important at H. Adam Malik Hospital. Where the possibility of falsification of drug data and not according to the availability of the number and type according to the needs due to the weakness of the system used. Seeing the existing problems is a consideration for choosing a cryptographic algorithm. Cryptography is based on an information coding algorithm that supports the needs of two aspects of information security, namely the protection of the confidentiality of information data and the protection against falsification of information. Rivest Code 4 (RC4) is one of the methods used to encode text messages in securing drug redemption data for research at H.Adam Malik Hospital. Implementation of Cryptography Implementation in Encoding Drug Redemption Data at H. Adam Malik Hospital Using the Rivest Code 4 (RC4) Method, carried out in two processes, namely the encryption process and the decryption process on the drug redemption data, where the original data (plaintext) entered can be encrypted into encoded data (ciphertext) and can be returned to the original data back as before with the decryption process.
일본의 신자유주의 개혁과 양적완화

Purpose: This article examines how the Japanese government’s neoliberal reforms have changed before and after the 2008 U.S.-originated financial crisis. It compares the results of the Koizmi’s neoliberal reform and quantitative easing of Abenomics.Research design, data, and methodology: It compares the achievements of the two Japanese government’s neoliberal reforms in the 21st century, especially the Koizumi’s neoliberal reform before the 2008 financial crisis and Abenomics, which promoted a stronger market-friendly policy through quantitative easing after the 2008 financial crisis. To prove the results, I used data and informations from published books, articles, and internet.Results: The analysis shows that there is no significant difference between Koizumi’s neoliberal policies through balanced budgets and Abe’s neoliberal policies that have been quantitatively perfected. Japan’s economic growth was more influenced by external economic conditions such as the U.S.-led financial crisis or China’s economic growth than by the reforms of Koizumi and Abe. The more important factors that sustain Japan’s economic recession are the internal factors such as depopulation due to the low production & aging and the ever-increasing national debt.Implications: The more important factor to escape from the long-standing economic recession in Japan is not the neoliberal economic policies but to stopping the tendency to depopulation. Also another important factor for the recovery of the Japanese economy is to lowering the huge national debt. Population losses and a large national debt are two main factors of Japan’s economic woes.
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic

We discuss the topic of unsatisfiability proofs in SMT, particularly with reference to quantifier free non-linear real arithmetic. We outline how the methods here do not admit trivial proofs and how past formalisation attempts are not sufficient. We note that the new breed of local search based algorithms for this domain may offer an easier path forward.
Adaptation of a Gaze-Aware Security Surveillance Support Tool for Augmented Reality

Operators monitoring closed-circuit television systems face many error-prone situations given the cognitive challenges they experience. The Scantracker is a prototype tool developed to support surveillance, relying on live oculometric data to trigger notifications that mitigate camera negligence, attention tunneling and vigilance decrement. To be robust and flexible, this tool must however collect valid gaze measures at a sufficient sampling rate and allow the display of surveillance-supportive visual notifications. This paper documents the integration of the Scantracker with the Microsoft HoloLens 2 augmented reality (AR) system embarked with eye tracking and reports a validity study performed in a high-fidelity surveillance simulation. The AR solution led to superior gaze validity than previous mobile or fixed oculometer integration. Implications of the solution integration are discussed and compared with the other implementations.
Recent Activities of the Ultra HD Forum

The Ultra HD Forum was established in 2015 to accelerate Ultra HD deployment by bringing together market leaders from all parts of the industry. Broadcasters, service providers, consumer electronics, and technology vendors collaborate on solving real-world obstacles in deploying advanced media formats and publishing these solutions for broad adoption. The Forum’s <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Guidelines Working Group</i> has published guidelines that describe a uniform set of characteristics for Ultra HD content and consistent methods for creating and delivering Ultra HD content.
Uma Revisão Integrativa da Hipertensão Arterial Sistêmica e Diabetes Mellitus na Potencialidade da Gravidade e Letalidade na Covid-19

As an adult, the population are prone to have a higher blood pressure.According to the world health organization (2020), cardiovascular diseases, are the major death causes in the world constituting 31% of the world deaths.Incorporating this context, the objective of this study is to verifying the prevalence of arterial hypertension in adults in a basic health Unit with a view to contribute to a better knowledge of the pathology and complications.This is a descriptive study -analytic, of quantitative character.For data collection, initially, the individuals approached were clearly presented to the objectives proposed by the study, upon authorization, the method of applying a questionnaire without identification was used with direct questions, in order to survey the following variables: sex, race, associated diseases, stress, obesity, medication use, smoking and arterial hypertension.According to the results the majority of this study are black (58%), woman (66%) with age between 40 and 49 years (66%), are hypertensives (86%) and characterize stress as a factor associated with increased pressure (82%).It's possible to conclude, that hypertension is characterized as a public health problem, should be seen as a priority to the government to be worked on.It is important to pay bigger attention to contributing factors, implementing educational programs aimed at raising awareness, clarification and monitoring of blood pressure levels in the population, so that it can minimize these problems and have favorable long-term effects.
Graphical Visualization of a Geological Data Set

Chapter 4 deals with the visualization of a geological data set using Python. It introduces the reader to the visualization of univariate data using histograms and cumulative distribution functions. Then, it begins showing how to prepare a publication-ready diagram. The chapter ends with a first attempt at visualizing multivariate data.
Smartphone Price Grouping by Specifications using K-Means Clustering Method

The use of smartphones in the industrial era 4.0 had become more frequent and widespread in various circles of Indonesian society. In addition, the COVID-19 pandemic that had not end yet also made high school and college students obliged to carry out online learning. This research aimed to cluster the price from smartphones using the specifications of the smartphone. K-Means Clustering was used as a method in this research. This algorithm was a data mining algorithm with unsupervised learning as data grouping and could group the price of a smartphone into several clusters based on the similarity of the characteristics by one data with other data, which is memory_size and best_price. The results of this research indicated that the right clustering of smartphone prices was within 3 different clusters, which was cluster 0 has centroid of Rp2.000.000,00, cluster 1 has centroid of Rp18.000.000,00, and cluster 2 has centroid of Rp9.000.000,00. The results of the evaluation used a confusion matrix, summary of prediction result, indicated that the clustering process had 100% of accuracy that could be seen on the table which showed the results of clustering. The conclusion from this research was that K-Means Clustering could form clusters in determining the price of a smartphone in relation to the specifications used as the attribute determining the price cluster for a smartphone.