Reviewerly/exHarmony huggingface dataset:
Sistem Pendukung Keputusan Kelayakan Pemberian SIM (Surat Izin Mengemudi) Kepada Pengendara Sepeda Motor Dengan Menggunakan Metode Simple Additive Weighting (Studi Kasus:Polres Kab.Labuhan Batu)

&lt;p&gt;&lt;em&gt;Labuhan Batu District Police Station is a Resort Police office whose job is to serve the community. One of the services is the making of a driver's license. The process of making a driver's license is still done manually, such as filling out the application form and assessing the value of the driving license. The system used in the operational activities of making driving licenses is not optimal, because it is still done manually, therefore a decision support system is needed in determining the passing of the driving license exam so that the assessment process will be more objective and efficient. In that system the applicant must register first, then the applicant can take a theory and practice exam. And testers will judge based on existing criteria. The results of the assessment will be obtained by the applicant as evidence of the results of the exam. For this reason, the author applies the Simple Additive Weighting (SAW) method in the Decision Support System for Graduation of Driving License Tests at the LabuhanBatu District Police Station.&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;strong&gt;&lt;em&gt; &lt;/em&gt;&lt;/strong&gt;&lt;/p&gt;&lt;p&gt;&lt;strong&gt;&lt;em&gt;Keywords&lt;/em&gt;&lt;/strong&gt;&lt;em&gt;: Manual, System, Objective, Efficient&lt;/em&gt;&lt;/p&gt;
Formal verification of cryptographic circuits

The complexity level of hardware design has increased extensively, and consequently it became subject of errors. That's why it is extremely important to verify the correctness of designs, especially in critical systems like those of security.
Rumah Sehat dan Ramah Gempa di Kabupaten Samosir

Samosir Regency does not yet have a habitable residence because of limited income, so many of the people live in the villages. In addition, the Samosir region is also an earthquake prone area. Researchers aim is to create livable houses that are able to meet the health requirements and meets the need of resident in Samosir Regency. The design also requires special research on healthy and earthquake-friendly house. The method that will be used in this design are 6 (six) steps, namely ideas / ideas, information, analysis, synthesis, evaluation, and action. Based on the results of the analysis that has been carried out, the use of red brick with a continuous foundation of river stone is the choice of a good structure for earthquake-friendly homes in Samosir district. This residential modeling also included the social elements of Batak Toba culture into it so that this housing could only be applied in the Samosir Regency area.
Sedimentology &amp; Microfacies Study of the Nfayil formation in Southern Samawa, -IRAQ

The petrographic study is based on 88 samples obtained from 18 surface sections. The aim of this study is to shed more light on the facies, and the environment deposition for Nfayil formation, which is results depositional environments are interpreted as categorized by Flugel (2004). Show restricted carination on marine platform, deposited in very shallow hypersalline lagoon, was deposited in shallow marine environment with normal salinity. The age of Nfayil Formation, depending on the fossils content (Peneroplisfarsensis, Ammonia beccarii, Elphidiumsp., Textulariasp., Miliolids, rotalids). The assemblage fauna above the typical is Middle Miocene which is equivalent to Fat`ha Formation.
Optimizing Quantum Circuits for Modular Exponentiation

Today's rapid progress in the physical implementation of quantum computers demands scalable synthesis methods to map practical logic designs to quantum architectures. There exist many quantum algorithms which use classical functions with superposition of states. Motivated by recent trends, in this paper, we show the design of quantum circuit to perform modular exponentiation functions using two different approaches. In the design phase, first we generate quantum circuit from a verilog implementation of exponentiation functions using synthesis tools and then apply two different Quantum Error Correction techniques. Finally the circuit is further optimized using the Linear Nearest Neighbor (LNN) Property. We demonstrate the effectiveness of our approach by generating a set of networks for the reversible modular exponentiation function for a set of input values. At the end of the work, we have summarized the obtained results, where a cost analysis over our developed approaches has been made. Experimental results show that depending on the choice of different QECC methods the performance figures can vary by up to 11%, 10%, 8% in T-count, number of qubits, number of gates respectively.
Application of Q-learning based on adaptive greedy considering negative rewards in football match system

Aiming at the problem that the multi-robot task allocation method in soccer system is easy to fall into the problem of local optimal solution and real-time performance, a new multi-robot task allocation method is proposed. First of all, in order to improve the speed and efficiency of finding optimal actions and make better use of the disadvantages that traditional Q-learning can't often propagate negative values, we propose a new way to propagate negative values, that is, Q-learning methods based on negative rewards. Next, in order to adapt to the dynamic external environment, an adaptive ε greedy method of which the mode of operation is judged by the ε value is proposed. This method is based on the classical ε-greedy. In the process of solving problems, ε can be adaptively changed as needed for a better balance of exploration and exploitation in reinforcement learning. Finally, we apply this method to the robot's football game system. It has been experimentally proven that dangerous actions can be avoided effectively by the Q-learning method which can spread negative rewards. The adaptive ε-greedy strategy can be used to adapt to the external environment better and faster so as to improve the speed of convergence.
Legal and policy implications of licenses between LIS open access journal publishers and authors

“Open access” (“OA”) refers to research placed online free from all price barriers and from most permission barriers (Suber, 2015). OA may apply to research outputs published traditionally, such as books (Schwartz, 2012) and articles in academic journals (Suber, 2015), and non-traditionally, such as student dissertations and theses (Schopfel & Prost). The lack of legal barriers is grounded in and given effect through the law of copyright and contract, and the submission of content by authors is often executed through a publication agreement. This paper studies the contract aspects of OA and the open publishing movement in library and information science (“LIS”) scholarly communication. To explore this phenomenon, it undertakes a case study of the publication agreements of five OA LIS journals. The sample consists of a brand-new open journal with an agreements drafted by copyright librarians (journal 1) and top-ranked LIS journals that converted to OA (journals 2 through 5) (Scimago, 2017). With a descriptive data analysis based on that in Lipinski and Copeland (2015; 2013) and Lipinski (2013; 2012), the case study investigates the similarities and differences in the agreements used by the sampled OA LIS journals. The study builds on the best practices from the Harvard Open Access Project (Shieber & Suber, 2016; 2013). It recommends best practices for the drafting and content of OA LIS publication agreements.
Internal profile reconstruction of microstructures based on near-infrared light transmission reflection interferometry with optical path compensation

The bottom and sidewall profile reconstruction of microstructures with a high aspect ratio is a problem that urgently needs to be solved in the field of MEMS(Micro-Electro-Mechanical system). Microstructures profile reconstruction method is presented based on near-infrared light transmission reflection interferometry with optical path compensation(OPC), which is extended from white light to near-infrared light and from reflection interference to transmission interference. The near-infrared light transmission interferometry system is composed of a near-infrared light source, an interference microscope, an infrared light CCD, piezoelectric ceramics with high accuracy and a data acquisition system. A GaAs sample microstructure with two steps was designed and the method of vertical scanning interference of near-infrared light with OPC was adopted to reconstruct the internal profile of a microstructure, which was then compared with the results of scanning electron microscopy(SEM). Test results show that the relative heights of the measured microstructure steps using near-infrared light transmission reflection interferometry were 2.132 μm and 0.766 μm with 2.16% and 2.68% relative errors, respectively, which agree with the results of SEM and that of the near-infrared light reflection interferometer. The measurement system has the ability to reconstruct the bottom and sidewall profile of microstructures with a high aspect ratio.
Can I deposit my old publications in SERVAL? Checklist

Would you like to deposit and make your old publications available in SERVAL? Use this checklist to find out if and how this is possible.
Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables

We describe Regular Decision Processes (RDPs) a model in between MDPs and POMDPs. Like in POMDPs, the effect of an action may depend on the entire history of actions and observations, but this dependence is restricted to regular functions only. This makes RDP a tractable, yet rich model, that does not hypothesize hidden state, and could possibly be useful for learning dynamic systems.
An Efficient Approach for Detecting Moving Objects and Deriving Their Positions and Velocities

Well-functioning autonomous robot solutions heavily rely on the availability of fast and correct navigation solutions. The presence of dynamic/moving objects in the environment poses a challenge because the risk of collision increases. In order to derive the best and most foreseeing re-routing solutions for cases where the planned route suddenly involves the risk of colliding with a moving object, the robot’s navigation system must be provided with information about such objects’ positions and velocities. Based on sensor readings providing either 2-dimensional polar range scan or 3-dimensional point cloud data streams, we present an efficient and effective method which detects objects in the environment and derives their positions and velocities. The method has been implemented, based on the Robot Operating System (ROS), and we also present an evaluation of it. It was found that the method results in good accuracy in the position and velocity calculations, a small memory footprint and low CPU usage requirements.
Efficiently Approximating Top-$k$ Sequential Patterns in Transactional Graphs

In real-world networks, an edge (or vertex) may be associated with a transaction database, where each transaction consists of a set of items to describe the attributes or behaviors of the edge (or vertex). This type of graph is named as a transactional graph, and the problem of mining sequential patterns from transactional graphs is to discover the subsequences of transaction sequences that frequently appear in many paths of the graph. Solving this problem can facilitate broad applications ranging from social network analysis to urban computing. However, this task is not trivial due to a large number of sequences existed in the graph. In particular, each path of the graph may induce multiple sequences of transactions, and gathering the transaction sequences induced by all the paths may lead to an extremely large volume. To efficiently approximate the top-k patterns, we propose a Parallelized Sampling-based Approach For Mining Top-k Sequential Patterns, PSMSP, which involves two key techniques: (a) a parallelized unbiased sequence sampling approach based on a sequence balanced graph partition strategy, and (b) a novel PSP-Tree structure to efficiently mine the patterns based on the anti-monotonicity properties. The experimental results on synthetic and real-world datasets demonstrate that the PSMSP can successfully find the sequential patterns with superior efficiency.
Efficient Data usage and Savingwhile Streaming Video

The increase in usage of highresolution displays supporting digital media, along with high internet bandwidth availability, has resulted in streaming media content size alsogetting increased many fold. Even though user QoE (Quality of Experience)gets enhanced based on these high quality contents, but for many users, especially from 3rd world countries, higher data consumption still remains an important thing to concern about. There are several solutions available in market, which claims to reduce and optimize streaming data consumption. However, the underlying logic for majority of such saving is to downgrade the video quality for data-saving, thereby degrading user experience. In this paper, we propose a novel streaming technique that enables efficient data usage and savings based on the perceived quality of Human Visual System(HVS), so that data consumption can be reduced without affecting the QoE forend users. There are some server-based solutions available in market, which claim to achieve similar results via pre-analyzing the video content using intrinsic metadata manipulation and deciding which quality to download. However, unlike such existing solutions, our proposed technique does not depend on any content metadata from server and therefore compatible with both old as well as new servers.
Effects of Task Similarity on Policy Transfer with Selective Exploration in Reinforcement Learning

The SEAPoT algorithm [9] is a knowledge transfer mechanism in model-based reinforcement learning. By constructing subspaces around the changed regions, and selectively and efficiently exploring the target task, the transfer is most effective when the source and target tasks share similar objectives but differ in the transition dynamics. In this work, we identify the similarity between tasks using a new light-weight metric, based on the Jensen-Shannon distance, and show how the degree of similarity affects the transfer efficacy. We also empirically show that SEAPoT performs better in terms of jump starts and average rewards, as compared to the state-of-the-art policy reuse methods.
Photo‐feature: World of Geology

World of Geology is a book that was born from the back pages of Geology Today : a celebration of the richness of the diversity of geological sites worldwide, and a fitting tribute to the impact of a magazine that is marking its thirty‐fifth year in 2019. This photo‐feature revisits some of the spectacular images that have faetured on its back pages over the years
Experience, Innovations and Challenges in Setting up a University Library: A Narrative from Ambedkar University Delhi (AUD)

This paper is a biographic sketch of the journey of Library development at Ambedkar University Delhi (AUD), which came in existence in 2009. This paper is presenting the chronological development of the library and how the AUD library has evolved with the digital revolution and make the library fully automated, inclusive and user-friendly.This paper also explains the effective budget utilization, statistics as well as usage statistics of library resources.
Uniform Randomization for Block Double Validation

TomoChain1 is a blockchain based on Ethereum framework with the following advantages points: low transaction fee, fast confirmation time, double validation and randomization for security guarantees. In our previous technical white paper, we proposed Proof-of-Stake Voting (PoSV) consensus protocol, a Proof-of-Stake (PoS)-based blockchain protocol with a fair voting mechanism, rigorous security guarantees and fast finality. One of the key parts of PoSV is the double validation process, which requires randomization to generate the list of block verifiers (with uniform distribution and unpredictability) for each epoch. In other words, randomization of block verifiers in double validation is the key factor of reducing risks coming from paired hand-shaking attackers trying to commit malicious blocks.
Warning Time: Optimizing Strategic Signaling for Security Against Boundedly Rational Adversaries

Defender-attacker Stackelberg security games (SSGs) have been applied for solving many real-world security problems. Recent work in SSGs has incorporated a deceptive signaling scheme into the SSG model, where the defender strategically reveals information about her defensive strategy to the attacker, in order to influence the attacker's decision making for the defender's own benefit. In this work, we study the problem of signaling in security games against a boundedly rational attacker.
Improving Asyncio Applications

To be able to determine if we have improved the code quality of our asyncio code, we must come to common terms about which parts of the code concern us. One universal, non-functional measure of code quality that we will apply is memory and time consumption of code. The other measure used in this chapter is to avoid using APIs that have been deprecated.
Discrete Time Neural Networks Synthesis Using Interaction Activation Functions

A new structure of discrete time neural networks is proposed. For this purpose the following concepts are used: (i) an introduction of an interaction activation functions, (ii) input time-varying signal distribution, (iii) time discrete domain synthesis, and (iv) one step learning iteration procedure. Simulation results, based on the synthesis of a new structure of recurrent neural network of an universal logical unit are presented. The proposed neural network synthesis procedure is useful for applications to identification and control of nonlinear dynamics systems, like industrial robots.
A conspectus of constitutional challenges associated with the dismissal of employees for social media-related misconduct in the South African workplace

Abstract Currently, there is no legislation that specifically outlaws the misuse of social media in the South African workplace. Consequently, the absence of a robust social media legislation has culminated into several unlawful and unconstitutional dismissals of employees for social media-related misconduct in the South African workplace. Conversely, this gap has also given rise to rampant abuse of social media platforms by employees in the South African workplace. This status quo has caused various constitutional and other related challenges to be experienced by both employees and employers in South Africa. For instance, the abuse of social media by employees in the workplace during working hours could affect the reputation, productivity, and profitability of their employer’s business. Similarly, any employers’ draconian rules prohibiting or monitoring the use of social-media in the workplace could infringe upon their employees’ rights to freedom of expression, privacy, dignity and freedom of association. Accordingly, the article discusses constitutional challenges that could result from the unlawful dismissal of employees for social media-related misconduct in the South African workplace. In this regard, the article exposes challenges that occur when balancing the employees’ constitutional rights and the employers’ business reputation and related rights. This is done to isolate constitutional problems that ensue from the abuse of social media by employees in the workplace during office working hours. The article also discusses constitutional and related problems that stem from the unlawful dismissals of employees for social media-related misconduct in the South African workplace. Lastly, recommendations that could be adopted to combat employees’ social media-related misconduct and enhance the regulation of social media in the South African workplace are provided.
Forum Planning Committee’s Report to UC Council of University Librarians on Choosing Pathways to Open Access (CP2OA)

Author(s): Samberg, Rachael; Gould, Maria; Swift, Allegra; Schmitt, David; Schroeder, Eunice; Barnes, Sherri; Taylor, Anneliese; Kiyoi, Stephen; Willmott, Mathew; Schiff, Lisa; Barclay, Donald A.; Renaud, John | Abstract: On October 16-17, 2018, University of California (UC) libraries hosted a working forum in Berkeley, California entitled “Choosing Pathways to Open Access” (“CP2OA”) (see https://cp2oa18.com/). Sponsored by the University of California’s Council of University Librarians (“CoUL”), the forum was designed to enable North American library or consortium leaders and key academic stakeholders to engage in action-focused deliberations about redirecting subscription and other funds toward sustainable open access (“OA”) publishing.This report was prepared by members of the forum’s Planning Committee1 as a way to update CoUL on forum outcomes, and to synthesize these outcomes into recommendations for further collective (UC multi-institutional) action to advance OA. The recommendations reflect the opinions of the report drafters; they are not an official statement by CoUL, nor should publication of this report signify CoUL’s endorsement of our recommendations. We (the Planning Committee) instead hope that CoUL will consider the recommendations in due course, particularly as some of them reflect efforts already underway within various UC libraries.
Comparing classifiers that exploit random subspaces

Many current classification models, such as Random Kitchen Sinks and Extreme Learning Machines (ELM), minimize the need for expert-defined features by transforming the measurement spaces into a set of "features" via random functions or projections. Alternatively, Random Forests exploit random subspaces by limiting tree partitions (i.e. nodes of the tree) to be selected from randomly generated subsets of features. For a synthetic aperture RADAR classification task, and given two orthonormal measurement representations (spatial and multi-scale Haar wavelet), this work compares and contrasts ELM and Random Forest classifier performance as a function of (a) input measurement representation, (b) classifier complexity, and (c) measurement domain mismatch. For the ELM classifier, we also compare two random projection encodings.
Working with Event Loops

Python version 3.4 has adopted a powerful framework to support concurrent execution of code: asyncio. This framework uses event loops to orchestrate the callbacks and asynchronous tasks. Event loops live in the context of event loop policies—a concept singular to asyncio. The interplay among coroutines, event loops, and policies is illustrated in Figure 2-1.
A study on the computational thinking-based SW education and problem solving related procedures

The purpose of this research is to study the relevance of key concepts and step-by-step problem-solving process of computational thinking. After the computing thinking developed-based SW for non-major subjects for the study was carried out 16 weeks based on computational thinking SW-based education. Based on the survey, since the problem-solving process was examined whether the need for computational thinking concept. Results, analysis data to understand the problem, the choice of algorithms and procedures, and best practice in the design of automated solutions to problems that have showed the highest influence. I hope the study enabled on the application of computational thinking of the nine core elements in order to improve the problem solving skills of learners based on the findings of the study.