Reviewerly/exHarmony huggingface dataset:
TRANSFER PENGETAHUAN PENGAJAR TUNANETRA DI YAYASAN MITRA NETRA

This paper discusses the process of transferring knowledge blind educators in Yayasan Mitra Netra.The aim of this research is to explain the process of transferring knowledge blind educators and also to find out the obstacle in process of transferring knowledge blind educators in Yayasan Mitra Netra.This paper used a qualitative approach with study case method.Data collection techniques in this research used interview, observation, and document analysis.This research found that transferring knowledge blind educators in Yayasan Mitra Netra is to develop student's knowledge and skills.Yayasan Mitra Netra is informal education institution with the majority of student in Yayasan Mitra Netra are adult students who will go on to college and work.Collaboration between teachers and students who feel that they have something in common makes the knowledge transfer process effective.The seci process in socialization phase is most prominent compared to the other phase, because teachers and students are blind who have lack in seeing and making them only rely on the other senses such as hearing, touch, taste, and etc. in receiving knowledge.So, tacit knowledge can be created and transferred well, although that there are many obstacles in process of transferring knowledge blind educators are laziness, mood, teach too fast, and blind with other needs.
Cyber Threat to Critical Infracstructure and Defending National Security in Nigeria

Cybercrime especially those that threatens critical infrastructures is a growing phenomenon in Nigeria, and posing great danger to the nation’s national security. Prior to this time, cybercrime was limited to advance fee fraud with limited impact on the Nigeria’s national security, however of recent cybercrimes have extended to other critical areas, such as finance, maritime, oil sector, telecommunication, defence etc that are vital for the survival of the nation’s economy and national security. Apart from economic sabotage committed by internet criminals, terrorist organisations and individuals with subversive tendencies have also taken advantage of the weak enforcement of the regulatory framework in Nigeria to commit cybercrime. As many companies including government institutions are becoming digitalized, so cyber criminals are devising ways to attack the nation’s critical infrastructures.. The long term impact of cybercrime on the nation’s critical infrastructure is grave if the government does not take serious steps to tackle the problem. This paper examines the threat posed by cybercrime to Nigeria’s critical infrastructure such as banking, information and telecommunication and national security.
Deteksi Emosi Wicara pada Media On-Demand menggunakan SVM dan LSTM

To date, there are many speech data sets with emotional classes, but with impromptu or intentional actors. The native speakers are given a stimulus in each emotion expression. Because natural conversation from secretly recorded daily communication still raises ethical issues, then using voice data that takes samples from movies and podcasts is the most appropriate step to take the best insights from speech. Professional actors are trained to induce the most real emotions close to natural, through the Stanislavski acting method. The speech dataset that meets this qualification is the Human voice Natural Language from On-demand media (HENLO). Within HENLO, there are basic per-emotion audio clips of films and podcasts originating from Media On-Demand, a motion video entertainment media platform with the freedom to play and download at any time. In this paper, we describe the use of sound clips from HENLO, then conduct learning using Support Vector Machine (SVM) and Long Short-Term Memory (LSTM). In these two methods, we found the best strategy by training LSTMs first, then then feeding the model to SVM, with a data split strategy at 80:20 scale. The results of the five training phases show that the last accuracy results increased by more than 17% compared to the first training. These results mean both complement and methods are important for improving classification accuracy.
LIBRARY SOCIAL INSTITUTE IN THE FIRST QUARTER OF THE 21ST CENTURY: HISTORICAL AND SOCIO-CULTURAL FACTORS OF DEVELOPMENT

Purpose of the Article. Library Social Institute is a complex, multifaceted concept that simultaneously covers many spheres of human activity – documentary, information, and communication, socio-cultural, educational and enlightening. The purpose of the study is to analyze the historical and socio-cultural development factors of the library social institute from the current positions of global information influences and activation of information and communication national international interaction as well. The methodology of the study means the historical, institutional and systematic approaches to the study of historical, social, information and communication influences that determine the transformation of the library social institution in the near future. Scientific Novelty. The main historical factors in the development of the BSI include the influence of national revival ideas, the development of civil society, free access to information and knowledge, informatization and so on. The range of socio-cultural factors that significantly influence the development of the BSI in the first quarter of the 21st century the overarching influence of the digital cultureand concept of the knowledge society is attributed. Conclusions. The findings reveal the prospects for implementing the Library Development Strategy in the period till 2025 “Qualitative Changes of Libraries for Ensuring Sustainable Development of Ukraine” as well as the involvement of library and information institutions in participating in the governmental digital transformation projects of Ukraine.Key words: library, library social institute, historical factors, socio-cultural factors, knowledge society, digital culture.
(Co)inductive proof systems for compositional proofs in reachability logic

Reachability Logic is a formalism that can be used, among others, for expressing partial-correctness properties of transition systems. In this paper we present three proof systems for this formalism, all of which are sound and complete and inherit the coinductive nature of the logic. The proof systems differ, however, in several aspects. First, they use induction and coinduction in different proportions. The second aspect regards compositionality, broadly meaning their ability to prove simpler formulas on smaller systems and to reuse those formulas as lemmas for proving more complex formulas on larger systems. The third aspect is the difficulty of their soundness proofs. We show that the more induction a proof system uses, and the more specialised is its use of coinduction (with respect to our problem domain), the more compositional the proof system is, but the more difficult is its soundness proof. We present formalisations of these results in the Coq proof assistant. In particular we have developed support for coinductive proofs that is comparable to that provided by Coq for inductive proofs. This may be of interest to a broader class of Coq users.
Analysis of Satisfaction of University e-Learning Classes

This study, therefore, aims to propose a direction for the future e-learning class, by analyzing the satisfaction with e-learning class.&#x0D; It also administered questionnaires to 96 freshmen at universities located in Seoul, from Jun. 22 to Jun. 30, 2020, and used a total of 92 copies in the finally analysis. From the findings above, following suggestions for the quality improvement of e-learning class in general universities can be summarized:&#x0D; First, it needs to prioritize the establishment of stable and available e-learning systems in schools. Second, professors should quickly adapt to e-learning class, a new paradigm of education. Third, student should primarily acquire basic abilities to use computers, recognize that self-directed learning is the core of university education and make effort to escape from learning by rote, which had been conducted from elementary to high schools. In addition, they should reasonably judge what a method is desirable for enhancing their learning performance.
Polycost : A telephone-speech database for speaker recognition

This article presents an overview of the POLYCOST database dedicated to speaker recognition applications over the telephone network. The main characteristics of this database are: large mixed speec ...
Support Kernel Classification: A New Kernel-Based Approach

In this paper, we introduce a new classification approach that learns class dependent Gaussian kernels and the belongingness likelihood of the data points with respect to each class.The proposed Support Kernel Classification (SKC) is designed to characterize and discriminate between the data instances from the different classes.It relies on the maximization of the intra-class distances and the minimization of the intraclass distances to learn the optimal Gaussian parameters.In fact, a novel objective function is proposed to model each class using one Gaussian function.The experiments conducted using synthetic datasets demonstrated the effectiveness of the proposed algorithm.Moreover, the results obtained using real datasets proved that the proposed classifier outperforms the relevant state of the art approaches.
The Design of Correlation-aware Service Composition System

Abstract A correlation-aware service composition system is designed in this paper. The involving key modules in this system are introduced including service description, service request submission, service composition construction, service composition instantiation, service composition optimization, and service correlation extraction. The feasibility of the system is verified and analyzed based on the example of “online purchasing automobiles parts”.
Comparative Analysis of Comparison and Non Comparison based Sorting Algorithms

Sorting is one of the most important task in many computer applications.Efficiency becomes a big problem when the sorting involves a large amounts of data.There are a lot of sorting algorithms with different implementations.Some of them sort data by comparison while others don't.The main aim of this thesis is to evaluate the comparison and noncomparison based algorithms in terms of execution time and memory consumption.Five main algorithms were selected for evaluation.Out of these five, three were comparison based algorithms (quick, bubble and merge) while the remaining two were non-comparison based (radix and counting).After conducting an experiment using array of different data sizes (ranging from 1000 to 35000), it was realized that the comparison based algorithms were less efficient than the noncomparison ones.Among the comparison algorithms, bubble sort had the highest time complexity due to the swapping nature of the algorithm.It never stops execution until the largest element is bubbled to the right of the array in every iteration.Despite this disadvantage, it was realized that it is memory efficient since it does not create new memory in every iteration.It relies on a single memory for the swapping array operation.The quick sort algorithm uses a reasonable amount of time to execute, but has a poor memory utilization due to the creation of numerous sub arrays to complete the sorting process.Among the comparison based algorithms, merge sort was far better than both quick and bubble.On the average, merge sort utilized 32.261 seconds to sort all the arrays used in the experiment while quick and bubble utilized 41.05 and 165.11 seconds respectively.The merge algorithm recorded an average memory consumption of 5.5MB for all the experiment while quick and bubble recorded 650.792MB and 4.54MB respectively.Even though the merge sort is better than both quick and bubble, it cannot be compared to the non-comparison based algorithms since they perform far better than the comparison based ones.When the two groups were evaluated against execution time, the comparison based algorithms recorded an average score of 476.757 seconds while the non-comparison obtained 17.849 seconds.With respect to the memory utilization, the non-comparison based algorithms obtained 27.12MB while the comparison ones obtained 1321.681MB.This clearly reveals the efficiency of the non-comparison based algorithms over the comparison ones in terms of execution time and memory utilization.
A. N. Bernshtein. New insight in the theory of perception. Questions of philosophy and psychology. 1898, January-February

The author emphasizes the fact that for psychology, a particularly dangerous moment is the fragmentation into the development of its special tasks and the isolation of separate studies without comprehensive coverage and expedient generalization of data obtained in various ways. At the present time, psychology has broken down into several special sections, which are developed completely independently and pursue their own specific goals.
PSYCHOLOGICAL FOUNDATIONS OF DEVELOPING FOREIGN LEARNERS’ DISCUSSION SCILLS BASED ON FICTION: ACT AND ACTION

Scholars who address the issues concerning the second language communicative competence claim that learners should be able to use a foreign language as a means to increase professional and general educational level, that is not only for communicative, but also for cognitive purpose. The development of non-standard, creative thinking skills meets the social demand of our society at the present stage of its scientific and technological progress, social, political and cultural development. The aim of this study is to clarify the psychological basis of holding an effective discussion, determine its principles and methods, reveal the influence of individual psychological characteristics, acts and actions of discussion participants while disputing socio-cultural and literature problems. The research objectives are to highlight the main principles and methods that ensure effectiveness of discussion process, specify individual psychological characteristics of participants that have an impact on successful discussion course, provide examples from fiction, which show behavior of communicators. On the whole, the conditions of discussion, its techniques and psychological aspect, as well as the consideration of individual psychological characteristics of discussion participants come forward, on one side, as an important facet of discussion, on the other side, they determine the its effectiveness, aiming at solving various cultural problems.
ANALISIS KONSEKUENSI DISPERSI GAS, KEBAKARAN, DAN LEDAKAN PADA TANGKI PENYIMPANAN LPG DENGAN MENGGUNAKAN PERANGKAT LUNAK ALOHA

This research discusses the analysis of the consequences of gas dispersion, fire, and explosion at SPPBE PT Aroma Jaya Sejati. This study uses a semi-quantitative method that uses secondary company data and direct observation. The data is then analyzed using ALOHA software to determine the extent and impact of gas dispersion, fire, and explosion due to leakage of LPG storage tanks. The results of research in scenario A, scenario A propane dispersion yellow zone reaches a distance of 262 meters, with a propane concentration of 5,500 ppm, the orange zone of propane dispersion scenario A reaches a distance of 133 meters, with a propane concentration of 17,000 ppm. The red zone of propane dispersion reaches a distance of 89 meters, with a propane concentration of 33000 ppm. In scenario B, the yellow zone of propane dispersion reaches a distance of 72 meters with a propane concentration of 5500 ppm, the orange zone reaches a distance of 34 meters with a propane concentration of 17000 ppm, the red zone reaches a distance of 23 meters, with a propane concentration of 33,000 ppm. Meanwhile, jet fire scenario A, for 39 minutes with total burning propane of 46,085 kg with a maximum fuel rate of 3740 kg/minute. The maximum length of the flame reaches 37 meters. Scenario B, a jet fire occurs for 1 hour with total burning propane of 15,088 kg with a maximum fuel rate of 256 kg/minute. The maximum length of the flame reaches 10 meters. Conclusion of propane dispersion in scenario A and B, it is found that the safe distance for propane dispersion is after 262 meters, while the results of jet fire modelling with scenario A and scenario B show that the safe distance for jet fire is after 133 meters.
Having a Ball With the Sphere

Robert Casteels has composed a growing corpus of more than 100 musical works cross cultures, genres and disciplines. These range from miniature to large-scale works in the European tradition, as well as multidisciplinary works which combine European, Chinese and Indian instruments, as well as the gamelan, together with computer-generated sound and images. Instances of space for creative interaction between the performers in these compositions have been far and few between. The work, time:space:, has unveiled new possibilities for interaction and a blurring the line between performer and composer creating an artistic interconnectivity and interdependency.
Malaria Detection Using Image Processing

Malaria is one of a serious infectious disease in the world caused by a peripheral blood parasite of the genus Plasmodium. Traditional microscopy method, for malaria diagnosis is old method and has been occasionally proved inefficient since it is time consuming and results are difficult to reproduce. As it constitutes a serious global health problem, the evaluation process is of high importance. In this work, an accurate, easy, rapid and affordable model of malaria diagnosis using stained thin blood smear images was developed. The method makes use of the intensity features of Plasmodium parasites and also erythrocyte or red blood cell images. Images of infected and non-infected red blood cells were taken, pre-processed, and then relevant features were extracted from them and eventually diagnosis was made based on the features extracted from the images. A set of features based on intensity have been proposed, and the performance of these features on the red blood cell samples from the database have been evaluated using an artificial neural network (ANN) classifier. The results have shown that these features could be extremely successful if used for malaria parasite detection.
Optimizing the C4.5 Decision Tree Algorithm using MSD-Splitting

We propose an optimization of Dr. Ross Quinlan's C4.5 decision tree algorithm, used for data mining and classification.We will show that by discretizing and binning a data set's continuous attributes into four groups using our novel technique called MSD-Splitting, we can significantly improve both the algorithm's accuracy and efficiency, especially when applied to large data sets.We applied both the standard C4.5 algorithm and our optimized C4.5 algorithm to two data sets obtained from UC Irvine's Machine Learning Repository: Census Income and Heart Disease.In our initial model, we discretized continuous attributes by splitting them into two groups at the point with the minimum expected information requirement, in accordance with the standard C4.5 algorithm.Using five-fold cross-validation, we calculated the average accuracy of our initial model for each data set.Our initial model yielded a 75.72% average accuracy across both data sets.The average execution time of our initial model was 1,541.57s for the Census Income data set and 50.54 s for the Heart Disease data set.We then optimized our model by applying MSD-Splitting, which discretizes continuous attributes by splitting them into four groups using the mean and the two values one standard deviation away from the mean as split points.The accuracy of our model improved by an average of 5.11% across both data sets, while the average execution time reduced by an average of 96.72% for the larger Census Income data set and 46.38% for the Heart Disease data set.
Modified K-nearest Neighbor Algorithm with Variant K Values

In Machine Learning K-nearest Neighbor is a renowned supervised learning method.The traditional KNN has the unlike requirement of specifying 'K' value in advance for all test samples.The earlier solutions of predicting 'K' values are mainly focused on finding optimal-k-values for all samples.The time complexity to obtain the optimal-k-values in the previous method is too high.In this paper, a Modified K-Nearest Neighbor algorithm with Variant K is proposed.The KNN algorithm is divided in the training and testing phase to find K value for every test sample.To get the optimal K value the data is trained for various K values with Min-Heap data structure of 2*K size.K values are decided based on the percentage of training data considered from every class.The Indian Classical Music is considered as a case study to classify it in different Ragas.The Pitch Class Distribution features are input to the proposed algorithm.It is observed that the use of Min-Heap has reduced the space complexity nonetheless Accuracy and F1-score for the proposed method are increased than traditional KNN algorithm as well as Support Vector Machine, Decision Tree Classifier for Self-Generated Dataset and Comp-Music Dataset.
Particularities of media education metodology for students in the United States of America

International scientific and practical conference «Current trends and factors of the development of pedagogical and psychological sciences in Ukraine and EU countries» : conference proceedings, September 25–26, 2020. Lublin : Izdevnieciba «Baltija Publishing», 2020. 516 pages.
Sketching enactive interactions

The continuous development of interactive technologies and the greater understanding of body importance in cognitive processes has driven HCI research, specifically on interaction design, to solve the user’s relationship with a multitude of beyond desktop devices. This has opened new challenges for having processes, methods and tools to achieve appropriate user experiences. Insofar as new devices and systems involve the body and social aspects of the human being, the consideration of paradigms, theories and support models that exceed the selection of navigation nodes and the appropriate visual organization of widgets and screens becomes more relevant. The interaction design must take care not only to get the product built properly but also to build the right product. This thesis is at the crossroads of three themes: the design of interactive systems that combine a foot in the digital and one in the physical, the theories of embodied and enactive cognition and the creative practices supported by sketching, in particular the processes of generation, evaluation and communication of interaction design ideas. This work includes contributions of different character. An in-depth study of the theories on embodied and enactive cognition, the design of interaction with digital devices and sketching as a basic tool of creative design is carried out. Based on this analysis of the existing literature and with a characterization of the enactive practice of enactive interactions based on ethnomethodological studies, a framework is proposed to conceptually organize this practice and a support tool for that activity conceived as a creative composition. The contributions are discussed, and possible lines of future work are considered.&#x0D;