Reviewerly/exHarmony huggingface dataset:
Revisiting McKinsey's 'Syntactical' Construction of Modality

In 1945 J.C.C. McKinsey produced a ‘semantics’ for modal logic based on necessity defined in terms of validity. The present papers looks at how to update F.R. Drake’s completeness proof for McKinsey’s semantics by comparing McKinsey ‘models’ with the now standard Kripke models. It also looks at the motivation behind the system McKinsey called S4.1, but which we now call S4M; and use this motivation to produce a McKinsey semantics for that system. One lesson which emerges from this work is an appreciation of the superiority of the current possible worlds semantics based on frames and models, both in terms of an intuitive understanding of modality, and also in terms of the ease of working with particular systems.
Data Integrity Checking for Securing Students Grades Lists Using the Hash Function

Presently, institutions should preserve the quality of teaching, services and resources to ensure the quality of the institutions.All information is presented in full, fast and always in accordance with existing developments.The use of computer technology has an impact on eliciting gaps by irresponsible parties.The list of grades or transcripts of student grades is one of the objects targeted by the irresponsible parties experienced by several institutions in Indonesia.The fact that the list of student values in an institution is very important, a mechanism is needed to secure data manipulation from irresponsible parties.For the purpose of securing the list of grades, cryptography techniques are used.Data integrity, part of authentication in cryptography, is the right choice for this purpose.This study uses the data integrity method by comparing the initial hash value and final value.In this study the integrity of the data is examined using the SHA-512 algorithm which has the one-way function.A scheme and n algorithm which can be used to check changes in values in the database has been created to ensure the integrity of the students grades.Furthermore, a software prototype that has been developed can be used to check the integrity of student grades.With the prototype software, it is proven that if student data has been changed by an unauthorized party, a warning should appear.Changes in value that have occurred can be reported by using program history which can be used as evaluation material in the future.To provide a warning to the leader of a faculty, a pop-up notification containing a report message is made each time there is a change in the data value without the right permissions.The pop-up notification is generated by a trigger in the database and thus perform a comparison of hash values using the right query in an application.
Unsupervised Anomaly Detection for Safe Robot Operations

Faults in robot operations are risky, particularly when robots are operating in the same environment as humans. Early detection of such faults is necessary to prevent further escalation and endangering human life. However, due to sensor noise and unforeseen faults in robots, creating a model for fault prediction is difficult. Existing supervised data-driven approaches rely on large amounts of labelled data for detecting anomalies, which is impractical in real applications. In this paper, we present an unsupervised machine learning approach for this purpose, which requires only data corresponding to the normal operation of the robot. We demonstrate how to fuse multi-modal information from robot motion sensors and evaluate the proposed framework in multiple scenarios collected from a real mobile robot.
Probabilistic multiple correlation based term weighting scheme for measuring similarity of unstructured text records

Background/Objectives: In this study, a term weighting scheme derived from probabilistic multiple correlation is defined for measuring similarity between unstructured text records.Methods: While the intra-correlation is the correlation of terms in the same record, inter-correlation is the correlation of terms that exist in different records.Probabilistic multiple correlation based term weighting calculates the weight or relevance of a term by considering its intracorrelation with one or more terms simultaneously.Subsequently, the term weights are used in measuring the inter-correlation of terms and then the similarity between two text records.Findings: The experiments are run on unstructured text records that are incomplete and employ abbreviations.There is significant improvement in precision, recall and f-score using probabilistic multiple correlation based term weighting scheme when compared with probabilistic simple correlation weighting scheme.Applications: Using probabilistic multiple correlation based term weighting scheme can improve the overall accuracy in matching unstructured text records that contain abbreviations and incomplete data.
Use of Internet Resources for the Formation of Creative and Communicative-Creative Competence of Students

The article considers the problem of preparing students for participating in international creative projects.For this purpose, it is proposed to use computer support to form their creative competence and communicative-creative competence, including using Internet resources.The general and particular tasks of the application of computer support for this activity are determined.The Internet resource CreaWise CIC is described, which was developed specifically for the formation of the competencies considered in the article based on the use of technology of activating individual and group creativity -associative-synectic technology (AC technology).A number of key aspects of computer support are described that provide a sufficient level of effectiveness in organizing the activities for the formation of communicative and creative competence of students and the organization of international interaction in the framework of their project activities.Examples of computer support implemented and tested in the framework of complex creative activities are given.Computer support of co-creation activities is capable of ensuring the formation of diverse age-group, child-adult project groups with participants speaking different languages.The use of AC technology as a unifying core of the components of activity and the creative results of children and adults activates the process of forming communicative and creative competence of all participants in the project group, regardless of age.Work experience in project groups organized on such principles is especially important for the professional development of students in pedagogical profiles of higher education.
A Multi-direction Psychological Distance Weighted Image Reconstruction Method for Objective Evaluation of Edge Detectors

Edge detection is a fundamental task in computer vision and image processing. Despite the fact that a great number of edge detection approaches have been proposed, there is no universal edge detection operator due to the diversity and complexity of the image. Without the ground truth of edges, there is no reliable evaluation method for edge detectors. Based on the detected edges and the original image, we propose a multi-direction psychological distance weighted interpolation image reconstruction method. This method searches the reconstruction source pixels on different directions, and then reconstructs the new pixel by linear interpolation which is weighted by the psychological distances between the new pixel and the source pixel. Compared with the existing edge-based image reconstruction methods, this method can overcome the problems of region distortion and the occurrence of fake edges, thus it has higher similarity between the reconstructed image and the original image. The method can be used to evaluate the integrity and location accuracy of edge detection, thus providing support for edge evaluation.
Survey Paper on Algorithms used for Sentiment Analysis

Analysis of human sentiments is a trending topic in this era. The motive of this survey is to determine the emotional state of people or a person by using data mining concepts. Here, the process analyses the state based on keywords provided by the user. Feeling, opinion, emotion or attitude are the Sentiments. By computational identification of a text and processing it, Sentiment analysis can be carried out to find whether the writer's feelings in a specific context is positive, negative, or neutral. So implementing NLP and to categorize, classify or statistically view the report of analysis from a group of text is what is considered as "sentiment analysis". The motive of this paper is to perform a thorough survey on sentiment analysis algorithms that use machine learning concepts. The topics henceforth explored include various algorithms, quality measurement metrics, feature selection and training methods.Our paper also focuses on the three kinds of machine learning algorithms for Sentiment Analysis-Supervised, Unsupervised and Semi-Supervised Machine Learning Algorithms. I.
Criminal law measures of ensuring the security of the crypto sphere

In the first issue of the Bratislava Law Review magazine for 2018, our article addressed the problem of legal regulation of relations related to the crypto sphere “Failure to repatiate funds in foreign currency from abroad and modern issues of currency regulation” was published. In December 2017, Bitcoin predicted the cost of $ 40 – $ 100 thousand. However, in 2018, the situation changed-the Bitcoin exchange rate began to lose from $ 0.5 to $ 1 thousand per day, and its market capitalization fell to $ 70 billion. The crisis of the crypto market has affected not only the capitalization of cryptocurrencies, but also the issues of legal regulation of relations associated with its use. Currently, only three countries – Sweden, the Netherlands and Japan – recognize cryptocurrency as a legal means of payment. In Spain, the cryptocurrency is classified as an electronic means of payment only in relation to the gaming business. The legislation of Germany, as well as Finland, allows to classify cryptocurrencies as financial instruments. In China, Singapore and Norway cryptocurrency is considered as a financial asset in the US – as property, i.e. developed countries are in no hurry to equate cryptocurrency to means of payment. In Russia, the use of cryptocurrencies is not regulated by any rules, but there is no legislation prohibiting the circulation of cryptocurrencies as means of payment. At the same time, the draft bill “On digital nancial assets”, designed to regulate financial relations in the crypto sphere, completely excludes the issues of mining and circulation of existing crypto-currencies. However, new electronic entities carry certain risks associated with their turnover. In this regard, many States seek to develop mechanisms to ensure the security of actions in the new crypto sphere of legal relations before the direct legalization of cryptocurrencies and other modern electronic entities. The purpose of the article is to analyze the approaches related to the security of the crypto sphere in modern society by criminal law measures taking into account foreign experience.
IMPLEMENTATION OF WEBQUESTS IN THE PREPARATION PROCESS OF FUTURE TEACHERS OF THE UKRAINIAN LANGUAGE AND LITERATURE (ON MATERIALS OF MODERN UKRAINIAN LITERATURE)

The monograph presents European and regional development trends in innovative scientific researches in pedagogical sciences. The general issues of the history of pedagogy, theory and methodology of teaching, correctional pedagogy, theory and methodology of vocational education and management of education, information and communication technologies in education, etc. are considered. The publication is intended for scholars, teachers, postgraduate students, and students of pedagogical specialties, as well as a wide readership interested in pedagogy. Innovative scientific researches: European development trends and regional aspect. Collective monograph. – 1st ed. – Riga, Latvia : “Baltija Publishing”, 2020. – 492 p.
Parallelization implementation of Bayesian algorithms based on Spark platform

With the rapid development of Internet technology, all kinds of data are growing exponentially. How to effectively manage and utilize these data has become the focus of research in the era of big data. Under the requirement of massive data processing, aiming at the time requirement of massive data processing which cannot be met by traditional single-machine serial, this paper proposes a Spark computing framework, studies Bayesian algorithm in data mining, realizes the establishment method of parallel Bayesian algorithm and optimizes it. By using Spark memory computing framework, the efficiency of iteration is high. The computational performance of the parallel computing program is investigated. By comparing Spark parallel computing with traditional single-machine serial experiments, it is found that the algorithm can effectively improve the speed of text classification. With the expansion of cluster size, the performance of classification accuracy, time performance and acceleration ratio is better. Parallel Bayesian algorithm based on Spark platform is feasible, which solves the problem that traditional single computer cannot handle large-scale data, and can effectively deal with all kinds of classification problems.
Disentangling Aspect and Opinion Words in Sentiment Analysis Using Lifelong PU Learning

While sentiment analysis can mine valuable information from online reviews, performing a fine-grained sentiment analysis task is very challenging due to the complex patterns in text. In this work, we focus on a Fine-grained Target-based Sentiment Analysis (FTSA) task, which is to identify target-specific aspect words and opinion words. This task is very useful in practice. However, existing solutions cannot generate satisfactory results, especially when we have limited or no labeled data. To provide a holistic solution, we design a novel two-stage approach. Stage one groups the target-related words (call t-words) for a given target, which is relatively easy. Stage two separates the aspect and opinion words from the grouped t-words, which is more challenging due to the lack of sufficient word-level aspect and opinion labels. To address it, we formulate the task in a Positive-Unlabeled (PU) learning setting and incorporate the idea of lifelong learning, which achieves promising results.
IMPLEMENTATION OF INNOVATIVE EDUCATIONAL PRACTICES IN THE PROCESS OF FUTURE TRANSLATORS’ TRAINING

The monograph presents European and regional development trends in innovative scientific researches in pedagogical sciences. The general issues of the history of pedagogy, theory and methodology of teaching, correctional pedagogy, theory and methodology of vocational education and management of education, information and communication technologies in education, etc. are considered. The publication is intended for scholars, teachers, postgraduate students, and students of pedagogical specialties, as well as a wide readership interested in pedagogy. Innovative scientific researches: European development trends and regional aspect. Collective monograph. – 1st ed. – Riga, Latvia : “Baltija Publishing”, 2020. – 492 p.
Balanced Literacy Model in Taman Baca Masyarakat Surabaya

In advancing children's literacy proficiency balanced literacy platform has a central role.A number of empiricalstudies exploring literacy programsamong school-age children have been administered in rural areas and/or low socio-economic groups of people.However, most of them are conducted under school setting.Explorations on the practices of literacy outside of the school setting are hardly found.In Indonesian setting, to the best of the researchers' knowledge, there has been only one investigationreporting on how literacy is encouraged in public library circles.To respond to this scarcity, the current study collected data from Taman Baca Masyarakat(Community Reading Gardens, henceforth, CRGs) in Surabaya, Indonesia.Responses from 292 female and 103 male teacher librarians collected from an online questionnaire were analyzed.The results of data analysis in Phase 1 describing the educational background and work experience of the CRG staff as well as their familiarity with the concept of Balanced Literacy become the basis of the implementation of the simplified Balanced Literacy Training in Phase 2.
Sentence Complexity in Writing Learning in BIPA Class

The complexity of sentences is one important aspect that needs to be considered in learning to write, specifically writing in second language learning.The second language in this context is Indonesian as a foreign language.This study aims to describe the complexity of sentences in learning to write in BIPA classrooms.The research method used is the document analysis method.The objects of this study were 8 students of BIPA at Muhammadiyah University of Surakarta.The data in this study are Indonesian ssentences from the essay text produced by BIPA students including; diaries, favorite foods, unforgettable experiences, visit to Sekaten, and procedure text.The results of this study indicate that the complexity of sentences in the essay text is determined by 1) the number of words produced, 2) the type of sentence used.The more words produced, the more complex the sentences produced.The highest number of words produced is 790 words.The average number of words each student can produce is 386 word and can know that in making a text, students are able to write as many as 77 words.Along the most dominant type of word used is equivalent single and compound sentences.
LCM-Ufrgs Research Group Report: What are we doing in Computer Music?

In this paper, we present a historical overview and a brief report of the main recent activities at LCM (Laboratório de Computação Musical) of UFRGS (Universidade Federal do Rio Grande do Sul).
SHYNESS DITINJAU DARI FIVE GUIDANCE NEEDS PADA REMAJA SMA DI MAKASSAR

his study aims to determine the relationship between 5 guidance needs, namely educational needs, vocational needs, physic needs, social needs, and psychological needs with shyness among Senior High School adolescents in Makassar. A total of 415 Senior High School adolescent as the subject in this study by using accidental sampling technique. Inventory that used to assess shyness is Ridfah’s shyness inventory and guidance needs inventory to assess guidance needs. The Result showed that shyness have significant relationship with guidance needs and all the areas, which are educational needs, vocational needs, physic needs, psychological needs and social needs. Results revealed that the among the five areas of guidance needs, social needs have the highest correlation value to shyness in individuals with r = -0,448. This study revealed that the need for guidance needs is measured in order to optimize the guidance to be provided.
Probabilistic action planning based on linear temporal logic

With the increase of people’s demand for agents, the activities of agents are no longer limited to simple environment and task format. Facing complex application scenarios, agents need to be able to make decisions and execute them autonomously. This paper studies the probabilistic action planning considering complex task constraints described by linear temporal logic. At the same time, the success rate and cost of task are both considered. The uncertain factors include agent behavior and environment attributes, and the task description is expressed by soft and hard constraints. The strategy of agent is generated here applying model checking in formal method. Single- and multi-agent model is established using Markov decision process, while task model is established using double-layer automata. Then, agent-task network model is designed to describe the constraints and the control strategy is solved through a coupled linear programming. The method above is verified through numerical simulation. The results show that the complex task constraints in the form of soft and hard constraints can be satisfied. The optimal strategy enable the agent to complete the task according to the constraint strength, and the control strategy can be adjusted by controlling the relaxation degree of control network model relevant to the penalty factor.
ESP Course Book Evaluation from the Perspectives of Teachers, Cadets, and Graduates: The Case of Maritime English

Course books are considered as important elements in the language teaching and learning process.This study was aimed to evaluate a course book used in Preparation Class of Maritime English Test in one of Merchant Marine Polytechnic from three perspectives: teachers, graduates, and cadets.This study employed a qualitative descriptive analysis.There were 12 teachers, 111 cadets and 14 graduates involved in this study to give their opinions.Textbook evaluation checklist developed by Daoud and Celce-Murcia (1979) was adopted with several adjustments and used as a guide in collecting data.There were five aspects of the book to be analyzed: subject matter, vocabulary and structure, exercise, illustration, and physical make-up.The data were recapitulated, analyzed, and described qualitatively.The findings revealed that the book covers various materials, including maritime vocabulary and grammar, but they are not organized systematically.The exercises are sufficient, but some parts need more addition.The illustration and the physical make-up need to be improved to enhance the process of language teaching and learning.It is concluded that the coursebook investigated in this study needs several revisions and improvement.
Students’ Reading Comprehension: Between the Effectiveness of Interactive Approach, Reading Habit and Self-Actualization

This study attempts to identify the effectiveness of conducting an interactive approach in improving the students' comprehension in reading instruction viewed from students' self-actualization and reading habit.The study was conducted at IAIN Kediri.The researcher used a treatment by applying interactive approach to the experimental class, while on the other hand grammar translation method is for the control class.Questionaires on students' self actualization and reading habit were shared to 2 classes of Intensive Reading course.After applying the statistical computation, it can be concluded that the difference between the two means of scores is significant.After correlating post-test score and self-actualization score, the result shows that the better reading ability, the higher self-actualization of the students, this also occur for the correlation of reading comprehension and students' reading habit.