Reviewerly/exHarmony huggingface dataset:
The protection of the owners of cryptocurrencies, in particular bitcoin: selected aspects of Swiss financial market and insolvency law

Cryptocurrencies, such as bitcoin, ether or many others, relying on a distributed blockchain system (based on Distributed Ledger Technology, DLT), constitute an important and ever-growing market. The circulation of bitcoin alone currently has an estimated value of USD 115 billion. By way of comparison, the cash in circulation in Switzerland – not to be confused with the monetary aggregates M1, M2 and M3 which are much larger – totals CHF 84.5 billion. EY Switzerland announced that from January 2017 its clients could pay for their audit and advisory services in bitcoin; the town of Zug made a similar announcement recently. Numerous legal questions are raised in relation to the protection of individuals who have acquired cryptocurrency wallets or store them online. The aim of this chapter is to determine the existing protection for cryptocurrency holders (in particular for bitcoin, but in principle the reasoning can be transposed to any type of cryptocurrency based on identical technology) if a key storage supplier goes bankrupt. First, the analysis will focus on the issue of whether a positive cryptocurrency balance constitutes a thing and whether the activity of keeping cryptocurrency wallets is subject to authorisation by the Swiss Financial Market Supervisory Authority (FINMA); the answer to this question will determine the scope of protection for the claimant in insolvency law.
Pairing Free Certificate Based Signcryption Schemes Using ECQV Implicit Certificates

Signcryption schemes offer the possibility to simultaneously sign and encrypt a message.In order to guarantee the authentication of both signer and receiver in the most efficient way during the signcryption, certificate based solutions have been proposed in literature.We first compare into detail three recently proposed certificate based signcryption systems relying on the elliptic curve discrete logarithm problem and without the usage of compute intensive pairing operations.Next, we demonstrate how the performance of these certificate based systems can be improved by using the Elliptic Curve Qu Vanstone (ECQV) implicit certificates.What is more, generalized signcryption schemes are easily derived from these schemes and the anonymity feature of sender and receiver is already inherently included or can be very efficiently obtained without a significant additional cost.
Developing Usable Academic Library Website for International Students through Usability Testing

A usable website is a key to ensuring user satisfaction whiles an unusable website brings about frustration and user dissatisfaction.Usability testing has been identified as a great way to check how usable products are to users.This is however ignored by many designers during the designing stage of products such as websites.This in the long run makes the user experience difficulties, errors, and frustration because the product was not created with the user needs in mind.Usability testing is a great way to explore the needs of users and also identify problems and challenges that users encounter while using a product.Involving users in usability testing helps to produce user-centered websites.This study therefore is an attempt to examine the Jiangsu University English Library Website which was designed for international students.Thus the study seeks to identify the needs of the international students as well as problems the users face whiles using the academic library website by involving them in the usability test.A user evaluation usability test with the Morae software was used in this study to analyze data.The study involves twenty international student participants of whom ten were from Asian Countries outside China and the other ten were from African countries and compared usability issues encountered by the groups when using the JUELW.According to the rule of the thumb 5 users are enough to help explore the usability issues.This study therefore serves as a guide for various libraries to use while conducting usability tests for their users and also makes recommendation for libraries to consider when designing library websites for their users especially international student.
PARAMETER ASOSIASI UNTUK MENENTUKAN KORELASI JURUSAN DAN INDEKS PRESTASI KUMULATIF

One of the problems in higher education is the mistake of prospective students in majors selection. This is caused by not paying attention to the suitability of the major in the original school with the chosen major in higher education so that it impacts not only non optimal processing and learning outcomes, such as the low GPA, but also on social life, such as increasing unemployment. The selection of the right major is very important and to help prospective students in choosing it requires an online system that can be accessed by everyone and select original school majors to see conformity with majors in higher education. This system uses association rules and parameters of support and confidence in data mining. The purpose of this research is to determine the correlation between majors in the original school, majors in higher education and the achievement of the GPA through the use of support and confidence parameters that process the knowledge base in the form of an alumni database on the online system created. Training or testing was conducted on 10,254 data in the database and produced new information and knowledge that between the majors of the original school, the choice of majors in higher education and GPA had a strong correlation with the value of confidence reaching 100%.
Analysis of Various CNN Models for Locating Keratin Pearls in Photomicrographs

Worldwide, cancer occupies the second position in the list of diseases associated with the high mortality rate. Cancer is the condition, where in the body immune system will not be having any control over the population of the cells and their division process. Oral cancer is the cancer associated with the oral cavity or the mouth area. The detection of cancer from the photomicrographs is done manually by the pathologists and oncologists. This paper tries to automate the detection process by locating the keratin pearls which are rose like patterns found in the photomicrographs of malignant tissues. This is achieved through the Tensorflow object detection API freely available through the github repository. We have used four different models used for the coco data set. The analysis of the same is presented here.
Virtual Map-Based Approach to Optimize Storage and Perform Analytical Operation on Educational Big Data

The mechanism of knowledge delivery system in a cloud-based e-learning system can be significantly improved if an advanced analytical operation can be performed over it. Although, there are various research attempts that have used big data approach on educational data by introducing various sophisticated techniques; however, the problems associated with the elementary structure of data is less reported. Therefore, this paper presents a novel concept of virtual map generation that is meant for repositing the structured data after it is transformed from unstructured educational data. The proposed system offers the advantage of independence from any existing software frameworks to introduce a simplified approach that can not only perform an effective transformation but can also perform an analytical operation using a semantic-based approach. The system also offers the benefit of faster response time with better consistency over educational big data.
Estudio de caso: Estrategia de enseñanza y aprendizaje asistida por computadora para un curso de matemática discreta a través del uso del paquete VilCretas en el software Wolfram Mathematica

This research paper presents the results obtained in a descriptive case study carried out on two experimental groups of a course of discrete mathematics at the National University of Costa Rica (UNA). At the UNA, a computer-assisted teaching and learning strategy was implemented based on the use of a software package created by the author, named VilCretas; its platform of use is provided by Wolfram Mathematica, a commercial program. The methodology used in this research was mixed in nature, combining a participant observation, during the first half of the year 2017, with the application of a questionnaire at the end of the experience. The study focused on determining the level of satisfaction shown in the student population in terms of learning activities developed, and the identification of strengths and weaknesses in the use of the VilCretas package as a didactic resource to support teaching in the field of finite mathematics. The analysis of results was established from an instrument conformed by a Likert scale, where the arithmetic mean of the values, whose representation corresponds to the answers per individual, is estimated. In addition, a test of Student's hypothesis t was applied to compare the academic performance shown by the experimental groups and a control group. The study shares a series of evidence of the positive characteristics that the VilCretas package has under a didactic perspective and, in a binding way, the contribution provided by the laboratory-type activities that were used with the participating students, to produce better learning.
Standing on the Shoulders of Giants

The aim of this one-day workshop is to provide a forum for HCI researchers to discuss a wide range of issues at the intersection of philosophy and HCI. The participants will reflect on how philosophy influenced the development of HCI in the past, how philosophical insights are being utilized in current HCI research, and how philosophy can help HCI identify and address the emerging challenges facing the field. The main objectives of the workshop are to bring together HCI researchers interested in philosophy and produce an agenda for future research bringing HCI and philosophy closer together.
Navigasi Robot Mobile Pada Lingkungan Tak Pasti Dengan Pendekatan Behavior Based Control

Robots have been widely used to reach difficult environments or terrain such as disaster areas, wilderness and ruins of buildings. However, to reach these areas, there are many constraints on the limitations of robotic navigation because of the dynamic terrain. Therefore, a behavioral based control algorithm is needed that can make robots adapt flexibly to their environment.On the scheme of this behavior based control the robot moves based on its tasks. Each task is defined as robotic behavior. Each behavior take input from the sensor and send output to the effector. At each behavior there is a sensor as input for robot that work according to the stages in navigation to overcome uncertain obstacles. The results of the study show that robot can explore, avoid obstacles and reach the final destination.
A Self-adaptive Differential Evolution with Local Search Applied to Multimodal Optimization

The main difficulty encountered by population-based approaches in multimodal problems is their loss of diversity while converging to an optimum. Also, it is known that parameters play a big role in the performance of metaheuristics. Hence, in this paper two variations of the NCDE algorithm for multimodal optimization are proposed. The first version applies the jDE self-adaptive mechanism for parameter tuning along with the neighborhood mutation and crowding strategies, called NCjDE. The second version adds to the first the Hooke-Jeeves direct search at the end of the optimization process, called NCjDE-HJ. The proposed algorithm is compared in terms of peak ratio with three other state-of-the-art algorithms and results obtained show that the proposed variations are competitive for multimodal problems.
Minimalistic Explanations: Capturing the Essence of Decisions

The use of complex machine learning models can make systems opaque to users. Machine learning research proposes the use of post-hoc explanations. However, it is unclear if they give users insights into otherwise uninterpretable models. One minimalistic way of explaining image classifications by a deep neural network is to show only the areas that were decisive for the assignment of a label. In a pilot study, 20 participants looked at 14 of such explanations generated either by a human or the LIME algorithm. For explanations of correct decisions, they identified the explained object with significantly higher accuracy (75.64 % vs. 18.52 %). We argue that this shows that explanations can be very minimalistic while retaining the essence of a decision, but the decision-making contexts that can be conveyed in this manner is limited. Finally, we found that explanations are unique to the explainer and human-generated explanations were assigned 79 % higher trust ratings. As a starting point for further studies, this work shares our first insights into quality criteria of post-hoc explanations.
Optimalisasi Peran Sistem Pengendalian Intern dalam Mencegah Terjadinya Penyelewengan Kas dan Aset pada Lembaga Pendidikan Non Pemerintah (Swasta)

The purpose of this study is to analyze how to optimize the role of internal control system in preventing the occurrence of fraud on cash and assets in non government or private educational institution. Tool of analyzed used in this research is internal control system according to COSO definition and combined with internal control system according to Government Regulation Number 60 Year 2008 with 5 internal control component that is; 1) Control Environment, 2) Risk Assessment, 3) Control Activity, 4) Information and Communication and 5) Monitoring. The result of the research shows that optimizing the role of the internal control system is very helpful to the management in managing the finances and assets owned so as to prevent the occurrence of fraud on the cash and assets in private educational institution. The expectation of the future by optimizing the role of internal control system on cash management and assets in non government/or the private educational institution will be more efficient and effective which will ultimately improve the quality and accountability of the private educational institution.
Assessing the Practice of Learner-Centered Approach in Teaching Speaking Skill in English Language Classroom: The Case of Five Government Primary Schools in WolaitaSodo City

This study was carried out with the purpose of assessing the practice of learner-centered approach in teaching speaking skill in English Language classroom in grade seven and eight of Wolaita Sodo City.It also aimed to explore the restraints that inhibit the practice of this approach and the coping strategies teachers use to minimize these constraints.The study was conducted in five government primary schools.Seven English language teachers who are currently teaching at grade seven and eight level participated in the study.The instruments used were interview, written reflection and classroom observation.The qualitative data generated through these instruments were analyzed and categorized thematically and presented in a narrative form.The results of the study indicated that teachers were not practicing learner-centered approach to the level that the policy advocates because there were various factors that hampered the practice of learner-centered approach in teaching speaking skill in English Language classroom.The first factor was students" background such as mother tongue interference, lack of vocabulary, lack of self-confidence, and low level of motivation.The other factors include time constraints, large class size, seating arrangement and lack of adequate teaching materials.The findings also suggest that the teachers in the study lack sufficient trainings on how to apply the learnercentered approach.The results of the study indicate that teachers do not use coping strategies that would help to minimize the challenges that impede the practice of learner-centered approach.Therefore, it was recommended that teachers should be provided with adequate preand in-service trainings on how to apply the learner-centered approach, and teachers should give due emphasis to find effective ways of practicing communicative activities in speaking teaching classrooms.
Supporting English competence development in university teachers: Principles and practices

In todayâ€™s world, the English language communicative competence is a major soft skill of university teachers which is needed for personal and professional fulfilment and career development. This study aimed at the design and practical realisation of the 72-hour English course stimulating the teaching staffâ€™s engagement in language learning and English communicative competence development at the Omsk State Agrarian University. The authors have discussed the principles and approaches to the course content design and efficacy of four classroom management strategies: the use of real life communication situations, making presentations, visual thinking strategy and short-film-based discussions for developing EFL communicative competence in university teachers. The situational approach to the content design introduced â€˜real-lifeâ€™ communicative situations serving as a teaching method and an assessment tool. The participants of the course took an online test: â€˜Evaluation of Readiness for The Certificate Exam in Englishâ€™, developed by the Tomsk Polytechnic University, at the beginning, in the middle and at the end of the course.&#x0D; Keywords: Communicative competence, adult language learning, university teaching staff, visual thinking, situational approach, communicative environment.
Historical Document Image Binarization Based on Edge Contrast Information

The first step of historical document image recognition is the image binarization, however historical documents of poor quality, and there are all kinds of ink, stained and the background texture complexity, which brings huge challenge to the work. This paper proposes a novel binarization method for degraded historical document image based on contrast and location information of edge. Firstly, based on the fact that all pixels in a single edge are connected, a new text edge extraction method is proposed. The method combines the high and low contrast information in the image, avoids the shortcomings of noise and breakage in the edge extraction, and has high accuracy. Secondly, the Sauvola algorithm is improved. In the process of local threshold calculation, the contrast information of the edge is added to improve the adaptability of the algorithm to the brightness change and get more accurate local threshold. Finally, the binarization of image is carried out by using the local threshold and edge location information. The comprehensive experimental results on DIBCO database show that the proposed method can eliminate noise while preserving low contrast foreground, and performs better than the classical methods.
Hybrid Optimization Method Based on the Integration of Evolution Models and Swarm Intelligence in Affine Search Spaces

A composite architecture of a multi-agent bionic search system based on the integration of swarm intelligence and genetic evolution is proposed. The structure of the affine space of positions is developed, which allows to display and search for interpretations of solutions with integer parameter values. The mechanisms for moving particles in affine space to reduce the weight of affine bonds are considered.
Analysis of efficiency of the bioinspired method for decoding algebraic convolutional codes

It has been shown that convolutional codes are widely used, along with various decoding methods, to improve the reliability of information transmission in wireless telecommunication systems. The general principles of synthesis and the parameters and algebraic non-systematic convolutional codes with arbitrary coding rate and maximum achievable code distance have been shown.The basic stages of the bioinspired method for decoding algebraic convolutional codes using a random shift mechanism have been presented. It has been shown that the essence of the presented decoding method implies applying the procedure of differential evolution with the heuristically determined parameters. In addition, this method uses information about the reliability of the adopted symbols to find the most reliable basis for the generalized generator matrix. The mechanism of random shift for the modification of the accepted sequence is additionally applied for the bioinspired search based on various most reliable bases of a generalized generator matrix.The research results established that the bioinspired method for decoding algebraic convolutional codes ensures greater efficiency compared with the algebraic decoding method in the communication channel with additive white Gaussian noise. Depending on the parameters of the algebraic convolutional code and the necessary error coefficient, the energy gain from encoding ranges from 1.6 dB to 3 dB. It was shown that the presented bioinspired decoding method can be used for convolutional codes with a large code constraint length.In doing so, the presented method for decoding algebraic convolutional codes is less efficient than the Viterbi decoding method and turbo codes at a sufficient number of decoding iterations
Information retrieval models for recommender systems

Information retrieval addresses the information needs of users by delivering relevant pieces of information but requires users to convey their information needs explicitly. In contrast, recommender systems offer personalized suggestions of items automatically. Ultimately, both fields help users cope with information overload by providing them with relevant items of information. This thesis aims to explore the connections between information retrieval and recommender systems. Our objective is to devise recommendation models inspired in information retrieval techniques. We begin by borrowing ideas from the information retrieval evaluation literature to analyze evaluation metrics in recommender systems [2]. Second, we study the applicability of pseudo-relevance feedback models to different recommendation tasks [1]. We investigate the conventional top-N recommendation task [5, 4, 6, 7], but we also explore the recently formulated user-item group formation problem [3] and propose a novel task based on the liquidation of long tail items [8]. Third, we exploit ad hoc retrieval models to compute neighborhoods in a collaborative filtering scenario [9, 10, 12]. Fourth, we explore the opposite direction by adapting an effective recommendation framework to pseudo-relevance feedback [13, 11]. Finally, we discuss the results and present our conclusions. In summary, this doctoral thesis adapts a series of information retrieval models to recommender systems. Our investigation shows that many retrieval models can be accommodated to deal with different recommendation tasks. Moreover, we find that taking the opposite path is also possible. Exhaustive experimentation confirms that the proposed models are competitive. Finally, we also perform a theoretical analysis of some models to explain their effectiveness. Advisors : Álvaro Barreiro and Javier Parapar. Committee members : Gabriella Pasi, Pablo Castells and Fidel Cacheda. The dissertation is available at: https://www.dc.fi.udc.es/~dvalcarce/thesis.pdf.
Preserving Cameroon's Cultures and Traditions

This study presents an undergraduate IT project in mobile development aimed at developing a CAMCT App that will greatly help in preserving and later on disseminating consistent and accurate data and information on Cameroon's cultures and traditions from one generation to another. The team used a Rapid application development (RAD) methodology; an agile strategy with an approach to minimize the planning stage and maximize prototype development. They also applied a cross-platform app tools for design and development. To achieve our objective, they determined and categorized different cultures and traditions in Cameroon, embedded multimedia elements and surveyed the perceived benefits of the end users.