Reviewerly/exHarmony huggingface dataset:
Evaluasi Usability Fitur Webshare Pada Aplikasi Share It Menggunakan Metode Thinking-Aloud

Share it is an application made by Lenovo which is a service for sharing various types of files, for example images, videos, applications or others.share it, which is currently widely used, has many functions that can help someone when sending and receiving files. One of them is sending files via the Webshare feature in the Share It application. Usability testing is a series of processes or activities that involve Respondents to find out how well a product (system) can be used easily by Respondents. This study discusses how easily Respondents send files via the Webshare feature in the Share It application. The method used here is Thinking-Aloud. The results obtained in this study are respondents who find it difficult when searching for Webshare features in the Share It application. We also provide advice on how to fix this problem with some references that we encountered on the internet.
LibGuides: How to reference for Senior School: FAQs

Constructing references for your assignments can be challenging - use this LibGuide to get help for the more common resource types, as well as for help with how to footnote/endnote.
Blockchain E-voting System and Governance: The Case of Korean National Pension Service

Blockchain technology prevents tampering of central authorities that manage voting process, enhancing trust in the vote results. This technology enables citizens to participate more directly in the areas where delegation was inevitable due to the difficulties in polling fair and trustworthy public opinions. There are many projects around the world proposing to implement voting system for public decision making using blockchain technology. The blockchain voting system is expected to work as a transparent and fair channel for polling public opinions, which will transform the public decision-making process and governance. Korean National Pension Service (NPS) recently introduced stewardship code to better represent the interest of beneficiaries. However, because of the mistrust in governance of NPS, introduction of stewardship code is facing criticism for potential misuse of their voting rights against the interest of beneficiaries and for government’s interference with corporate management. This study proposes a voting system applying blockchain technology for polling the opinions of National Pension Fund’s beneficiaries to support public decision-making, and discusses social and institutional conditions for implementation of the proposed system.
Yale University Library Research Guides: Collection Development & Acquisitions: Ordering & Vendor Information

Process, guidelines, and contact information for ordering both electronic and tangible materials.
Enabling Location Privacy Preservation in MANETs Based on Distance, Angle, and Spatial Cloaking

Preserving the location privacy of users in Mobile Ad hoc Networks (MANETs) is a significant challenge for location information. Most of the conventional Location Privacy Preservation (LPP) methods protect the privacy of the user while sacrificing the capability of retrieval on the server-side, that is, legitimate devices except the user itself cannot retrieve the location in most cases. On the other hand, applications such as geographic routing and location verification require the retrievability of locations on the access point, the base station, or a trusted server. Besides, with the development of networking technology such as caching technology, it is expected that more and more distributed location-based services will be deployed, which results in the risk of leaking location information in the wireless channel. Therefore, preserving location privacy in wireless channels without losing the retrievability of the real location is essential. In this paper, by focusing on the wireless channel, we propose a novel LPP enabled by distance (ranging result), angle, and the idea of spatial cloaking (DSC-LPP) to preserve location privacy in MANETs. DSC-LPP runs without the trusted third party nor the traditional cryptography tools in the line-of-sight environment, and it is suitable for MANETs such as the Internet of Things, even when the communication and computation capabilities of users are limited. Qualitative evaluation indicates that DSC-LPP can reduce the communication overhead when compared with k-anonymity, and the computation overhead of DSC-LPP is limited when compared with conventional cryptography. Meanwhile, the retrievability of DSC-LPP is higher than that of k-anonymity and differential privacy. Simulation results show that with the proper design of spatial divisions and parameters, other legitimate devices in a MANET can correctly retrieve the location of users with a high probability when adopting DSC-LPP.
A Significant Role Of Constant Learning In Improving The People’s Life Quality

The relevance of the problem is due to the need of society in the education system as a basis for constant learning of the adults in the light of the necessity of acquiring new professional skills and competences. The authors propose the main directions of development of additional education in Samara region, taking into account the needs of the society in new specialists and with regard to improving peoples’ life quality. The article gives a comprehensive and clear idea of the current development of new innovative ways of teaching and managing adult learners in large groups, describes new distant learning techniques and methods. The results of the research show that education is an important part of economics and largely depends on its condition and development. The authors of the article examined the relationship between economics and education and concluded that the level of education in any society relates to the indicators of economic development and well-being of the people. Thus, the state of the economy is the source of more or less strong development of education in different periods. The results of the research are based on diagnostic analyses of what new industries will develop most rapidly and what specialists will be in demand in the following few years.
Restricting shoulder surfing: a modified graphical password Technique

Graphical passwords are the ways in which user click on the image or user can select the image to authenticate themselves instead of giving passwords. This technique is more secure that textual password techniques. In this article, the shoulder surfing preventive mechanism of graphical password authentication is given. Finally the login password system is proposed to deal with such type of problems. First time, we are introducing a modified approach is given to resolve the shoulder surfing based on recall and recognition based concepts. Usually it is seen that the most common vulnerability of graphical password is shoulder surfing attack. This research aims to analyze the usability feature of recognition based and recall based graphical password methods and present a technique to apply an image based password that is safe from the shoulder surfing attack. In the similar context, the purpose of this paper is to present an alternative way to apply the recall and recognition based technique that will be protective for guess through shoulder surfing. And this graphical technique will be easy to memories the authentication password and process of authentication.
Det Moderna biblioteket : makerspace och dess relation till folkbibliotek

The aim of the thesis is to examine a number of librarians’ descriptions and opinions of what makerspace in public libraries is. The questions which will be answered are: How do the librarians in t ...
Generating need-adapted multimodal fragments

Multimodal content is central to digital communications and has been shown to increase user engagement - making them indispensable in today's digital economy. Image-text combination is a common multimodal manifestation seen in several digital forums, e.g., banners, online ads, social posts. The choice of a specific image-text combination is dictated by (a) the information to be represented, (b) the strength of the image and text modalities in representing the information, and (c) the need of the reader consuming the content. Given an input content, representing the information to be represented in a multimodal fragment, creating variants accounting for these factors is a non-trivial and tedious task; calling for a need to automate. In this paper, we propose a holistic approach to automatically create multimodal image-text fragments derived from an unstructured input content tailored towards a target need. The proposed approach aligns the fragment to the target need both in terms of content as well as style. With the help of metric-based and human evaluations, we show the effectiveness of the proposed approach in generating multimodal fragments aligned to target needs while also capturing the information to be presented.
Weakly Supervised GAN for Image-to-Image Translation in the Wild

Generative Adversarial Networks (GANs) have achieved significant success in unsupervised image-to-image translation between given categories (e.g., zebras to horses). Previous GANs models assume that the shared latent space between different categories will be captured from the given categories. Unfortunately, besides the well-designed datasets from given categories, many examples come from different wild categories (e.g., cats to dogs) holding special shapes and sizes (short for adversarial examples), so the shared latent space is troublesome to capture, and it will cause the collapse of these models. For this problem, we assume the shared latent space can be classified as global and local and design a weakly supervised Similar GANs (Sim-GAN) to capture the local shared latent space rather than the global shared latent space. For the well-designed datasets, the local shared latent space is close to the global shared latent space. For the wild datasets, we will get the local shared latent space to stop the model from collapse. Experiments on four public datasets show that our model significantly outperforms state-of-the-art baseline methods.
Eigenfunctions and minimum 1-perfect bitrades in the Hamming graph

The Hamming graph $H(n,q)$ is the graph whose vertices are the words of length $n$ over the alphabet $\{0,1,\ldots,q-1\}$, where two vertices are adjacent if they differ in exactly one coordinate. The adjacency matrix of $H(n,q)$ has $n+1$ distinct eigenvalues $n(q-1)-q\cdot i$ with corresponding eigenspaces $U_{i}(n,q)$ for $0\leq i\leq n$. In this work we study functions belonging to a direct sum $U_i(n,q)\oplus U_{i+1}(n,q)\oplus\ldots\oplus U_j(n,q)$ for $0\leq i\leq j\leq n$. We find the minimum cardinality of the support of such functions for $q=2$ and for $q=3$, $i+j>n$. In particular, we find the minimum cardinality of the support of eigenfunctions from the eigenspace $U_{i}(n,3)$ for $i>\frac{n}{2}$. Using the correspondence between $1$-perfect bitrades and eigenfunctions with eigenvalue $-1$, we find the minimum size of a $1$-perfect bitrade in the Hamming graph $H(n,3)$.
Modeling the Invariance of Virtual Pointers in LLVM

Devirtualization is a compiler optimization that replaces indirect (virtual) function calls with direct calls. It is particularly effective in object-oriented languages, such as Java or C++, in which virtual methods are typically abundant. We present a novel abstract model to express the lifetimes of C++ dynamic objects and invariance of virtual table pointers in the LLVM intermediate representation. The model and the corresponding implementation in Clang and LLVM enable full devirtualization of virtual calls whenever the dynamic type is statically known and elimination of redundant virtual table loads in other cases. Due to the complexity of C++, this has not been achieved by any other C++ compiler so far. Although our model was designed for C++, it is also applicable to other languages that use virtual dispatch. Our benchmarks show an average of 0.8% performance improvement on real-world C++ programs, with more than 30% speedup in some cases. The implementation is already a part of the upstream LLVM/Clang and can be enabled with the -fstrict-vtable-pointers flag.
Integrating Path Planning and Visual Servoing in Manipulation Tasks

This paper proposes a novel methodology to integrate both geometric manipulation planning and visual servoing. Geometric manipulation planning is able to handle robots with many degrees of freedom in cluttered environments while visual servoing makes execution of the planned trajectories robust to inaccuracies. The method is illustrated by a demonstration on a real humanoid robot manipulating an object.
PENERAPAN SOFTWARE AKUNTANSI ACCURATE V.5 PADA PT. CIPTA KARYA LESTARI INDAH JAKARTA

At this time the financial statements are the basic capital which is very important in measuring the performance of a company and making a calculated profit. A growing business utilizes the sophistication of computers using adequate applications, with calculations made that can be used as the company's foundation for making the right decisions for the company. PT. Cipta Karya Lestari Indah is a company engaged in the automotive sector, namely body repair services. One of the software that can help in the preparation of financial statements is the Accurate Accounting Accounting System Version 5 is easy to learn, understand, understand and easy to use in the field of business type, can be accessed the results of financial statements that are more accurate and in accordance with general financial accounting standards.
Simple Quantum Circuits for Data Classification

The paper is dedicated to the problem of supervised learning in quantum circuits. We present two solutions: SWAP-test and Simple Quantum Circuits (SQCs) based on the tree tensor networks which are able to properly classify samples from Moons, Circles, Blobs and Iris sets. Moreover, the mentioned circuits were constructed not only for qubits, but also for the units of quantum information with higher freedom level. The SWAP-test, prepared as a part of this paper, works for units like qutrits and ququads – so far this solution has been only discussed in the context of qubits. We present the procedure of data preparation which is important in further data classification with high success rate. It should be emphasized that the shown circuits are effective in pattern recognition in spite of a low level of their complexity.
ROBOTIC MOTION PLANNING USING CONVEX OPTIMIZATION METHODS

Collision avoidance techniques tend to derive the robot away of the obstacles in minimal total travel distance. Most ofthe collision avoidance algorithms have trouble get stuck in a local minimum. A new technique is to avoid local minimum in convexoptimization-based path planning. Obstacle avoidance problem is considered as a convex optimization problem under system state andcontrol constraints. The idea is by considering the obstacles as a convex set of points which represents the obstacle that encloses inminimum volume ellipsoid, also the addition of the necessary offset distance and the modified motion path is presented. In the analysis,the results demonstrated the effectiveness of the suggested motion planning by using the convex optimization technique.
Governance of the Internet of Things (IoT)

Today's increasing rate of technological change results from the rapid growth in computer processing speed, when combined with the cost decline of processing capacity, and is of historical import. The daily life of billions of individuals worldwide has been forever changed by technology in just the last few years. Costly data breaches continue at an alarming rate. The challenge facing humans as they attempt to govern the process of artificial intelligence, machine learning, and the impact of billions of sensory devices connected to the Internet is the subject of this Article. We proceed in nine sections. First, we define the Internet of Things (IoT), comment on the explosive growth in sensory devices connected to the Internet, provide examples of IoT devices, and speak to the promise of the IoT. Second, we discuss legal requirements for corporate governance as a foundation for considering the challenge of governing the IoT. Third, we look at potential IoT threats. Fourth, we discuss the Mirai botnet. Fifth, is a look at the IoT threat vector vulnerabilities during times of crisis. Sixth, we discuss the Manufactured Usage Description (MUD) methodology. Seventh, is a discussion of recent regulatory developments. Next, we look at a few recommendations. And finally, we conclude. We believe this Article contributes to our understanding of the widespread exposure to malware associated with IoT and adds to the nascent but emerging literature on governance of enterprise risk, a subject of vital societal importance.
H-O, S, He-Ar isotopes constrain on the genesis of the Baolun Gold Deposit in Hainan Island, South China

The late Triassic Baolun gold deposit hosted by Silurian phyllites is a large-scale gold deposit in Hainan Island, South China. In order to discuss the source of ore-forming material and deposit type, H-O isotope analyses of fluid inclusion, He-Ar isotopic and S isotopic studies of pyrite have been analyzed from auriferous quartz veins. The oxygen and hydrogen isotopic compositions (δ18O = 4.1–6.5‰, δD = –77.7 to –60.5‰) of ore-forming fluid, which are incompatible with metamorphic fluid, coincide with the characteristics of magmatic fluid. The He-Ar isotopic compositions from pyrite imply that the metallogenic material is derived from a crustal component and a mantle component. The δ34S values of pyrite and pyrrhotite from mineralized quartz veins range from 2.3‰ to 6.3‰ and 1.5‰ to 7.1‰ respectively, which are lower than δ34S values of pyrite from ore-hosting rocks and other gold deposits in Hainan Island. The values are higher than that derived from the mantle and are similar to magmatic rocks in nearby, which suggest that the sulfur is mainly derived from magmatic rocks of Hainan Island. Hence, the ore-forming fluid is primarily the product of magmatic differentiation, but the contribution of meteoric water could not be excluded. Based on the close spatial and temporal relationship with the Jianfnegling granite pluton (ca. 240 Ma), which are alkali granites containing mantle components, the Baolun gold deposit is proposed to be an intrusion-related gold deposit instead of presupposed orogenic gold deposit. Based on structures, ore-hosting rocks, and isotope characteristics, the Baolun gold deposit was identified as a sediment-hosted intrusion-related gold deposit. Combined with contemporary Gezhen-type gold deposits (ca. 228 Ma) that are a series of similar gold deposits hosted by the Baoban Group along the Gezhen ductile shear zone in Hainan Island, it is concluded that an identical gold metallogenic event occurred in Hainan Island during middle-late Triassic.
DSSMFM: Combining user and item feature interactions for recommendation systems

Effort has been done to optimize machine learning algorithms by applying relevant knowledges in data fields in recommendation systems. Ways are explored to discover the relationship of features independently, making the model more effective and robust. A new model, DSSMFM is proposed in this paper which combines user and item features interactions to improve the performance of recommendation systems. In this model, data are divided into user features and item features represented by one-hot vectors. The pre-training for the model is proceeded through FM, and implicit vectors are obtained for both user and item features. The implicit vectors are used as the input of DSSM, and the training of the DSSM part of the model will maximize the cosine distances of the user attributes vectors and the item attributes vectors. According to the experimental results on dataset of ICME 2019 Short Video Understanding and Recommendation Challenge, the model shows improvements on some results of the baselines.
Learning Loop Invariants

One aspect of developing correct code, code that functions as specified, is annotating loops with suitable invariants. Loop invariants are useful for human reasoning and are necessary for tool-assisted automated reasoning. Writing loop invariants can be a difficult task for all students, especially beginning software engineering students. In helping students learn to write adequate invariants, we need to understand not only what errors they make, but also why they make them. This poster discusses the use of a Web IDE backed by the RESOLVE verification engine to aid students in developing loop invariants and to collect performance data. In addition to collecting submitted invariant answers, students are asked to provide their steps or thought processes regarding how they arrived at their answers for each submission. The answers and reasons are then analyzed using a mixed-methods approach. Resulting categories of answers indicate that students are able to use formal method concepts with which they are already familiar, such as, pre and post-conditions as a starting place to develop adequate loop invariants. Additionally, some common trouble spots in learning to write invariants are identified. The results will be useful to guide classroom instruction and automated tutoring.
An Imagery-to-Source Mapping for Phase-Shifting Profilometry Using Consumer-grade Equipment

Consumer-grade projector and camera are both fabricated to be nonlinear for better visual effect, and hence induce significant errors in optical-based profilometry. Previous methods improve the 3D reconstruction ability of consumer-grade equipment in an error compensation way, but are challenged by the accuracy bottleneck due to the compensation basis. In this paper, an imagery-to-source (IS) mapping approach is proposed to break through the accuracy bottleneck, by eliminating all of the nonlinear errors in theory. Furthermore, it is easy implementation and does not need additional projections for tedious error pre-calibration. Simulation and experimental results confirm the validity of the proposed method.
TEACHING WRITING FOR STUDENTS OF SMK WIRAHUSADA MEDAN

This study aims at describing how the teacher teaches the students to write texts to the eleven grade students of SMK Wirahusada Medan and the underlying reasons of why the teacher did the way she did. Qualitative research design was used by the researcher to conduct this study. The subject of this study was English teacher who taught the eleven grade students of SMK Wirahusada Medan in academic year 2018/2019. The data were collected by observing, video or audio recording, and interview. The data were analysed by using Miles and Huberman data analysis techique. The findings of the study showed that most of the ways of teaching were focusing on telling the students the genre knowledge of text than focusing on teaching writing. The underlying reasons of the teacher’s ways in teaching writing were due to (1) Teacher believed that by reminding the definition of the text made the students be able to differentiate the text. (2) the teacher believed that by knowing the purpose of material, the students are able to differ a text with other text, (3) the teacher believed that the the generic structure and language feature helped the students to know the steps of writing text, (4) teacher believed that by giving the task from the easiest types, the students will slowly were able to write their other texts later.Keywords:Teaching, Teaching writing, Qualitative research