Reviewerly/exHarmony huggingface dataset:
초기 동학의 천제 : 제천(祭天)과 기천(祈天)

In Korean religious culture, the belief and practice of a heavenly god (天神) or a heavenly way (天道) are important research topics. Korean new religions are no exception to this. This paper discovers historical materials pertaining to ritual to heaven of early Eastern Learning and tries to understand the characteristics of the rituals in an attempt to grasp heavenly rituals of Korean new religions.Firstly, this paper focuses on the examples of ‘building altars and holding heavenly rituals’ (設壇祭天) in the time of Suwoon (水雲), the founder of Eastern Learning. Depending on the writer’s perspective, the ritual was either described as sacrifice or prayer. Generally, outside critics portrayed these rituals of Eastern Learning as a sacrificial rite that deludes the world and deceives the people. On the other hand, inner believers emphasized it was a form of devout prayer that enabled holy communion with god.Secondly, this paper pays attention to the insurgent leader Lee Pilje (李弼濟)’s ritual cases of ‘slaughtering of cows and dedicating them as an offering to heavenly god’ (殺牛祭天) in Younhae and Youngyang. He secretly carried out this ritual to god in order to legitimize his own political rebellion and inspire his followers’ will to revolt before taking violent action.With data on the ritual to heaven of early Eastern Learning, we can interpret the characteristics of their prayer and sacrifice, and recognize their effects on religious awakening and political action.
Grundy Numbers of Impartial Chocolate Bar Games.

Chocolate bar games are variants of the CHOMP game in which the goal is to leave your opponent with the single bitter part of the chocolate. In this paper, we investigate step chocolate bars whose widths are determined by a fixed function of the horizontal distance from the bitter square. When the width of chocolate bar is proportional to the distance from the bitter square and the constant of proportionality is even, the authors have already proved that the Grundy number of this chocolate bar is $(m-1) \oplus (n-1)$, where $m$ is is the largest width of the chocolate and $n$ is the longest horizontal distance from the bitter part. This result was published in a mathematics journal(Integers,15, 2015). On the other hand, if the constant of proportionality is odd, the Grundy number of this chocolate bar is not $(m-1) \oplus (n-1)$. Therefore, it is natural to look for a necessary and sufficient condition for chocolate bars to have the Grundy number that is equal to $(m-1) \oplus (n-1)$, where $m$ is the largest width of the chocolate and $n$ is the longest horizontal distance from the bitter part. In the first part of the present paper, the authors present this necessary and sufficient condition. Next, we modified the condition that the Grundy number that is equal to $(m-1) \oplus (n-1)$, and we studied a necessary and sufficient condition for chocolate bars to have Grundy number that is equal to $((m-1) \oplus (n-1+s))-s$, where $m$ is is the largest width of the chocolate and $n$ is the longest horizontal distance from the bitter part. We present this necessary and sufficient condition in the second part of this paper.
ORGANIZATION OF DEFECTOLOGY STUDENTS` INDEPENDENT STUDY IN THE CONTEXT OF A COMPETENCE-BASED APPROACH

Problem statement:Higher education is the basis for the professional self-esteem. Therefore, the success and positive evolution of the whole society in general depends on the quality of the higher education offerings. An important indicator of education achievement is the independence of students. It is necessary for a student to make independent judgments and actions while overcoming the difficulties in learning.Purpose of the study:1. reveal the essence, structure and content of an independent study of the students of the speciality of Defectology in the context of a competence-based approach2. identify pedagogical conditions for the organization of defectology students` independent study in the context of a competence-oriented approach. Methods:An analysis of the literature on the professional training problems, the implementation of a competence-based approach in students' education, the initial methodological positions were formed, which determined the general approaches to solving the problem of a competence-based approach implementing to the organization of defectology students` independent study. The methodology of T.I. Ilyina was used for determining the initial data on the level of motivation development of students` training activity, the methodology of T.D. Dubovitskaya was used for identifying its orientation, the test of N.I. Shevandrina “Assessment of cognitive skills in studing” was used for identifying the degree of intensity of students` cognitive skills.Results of the study:A set of pedagogical conditions has been developed that ensures the effective organization of independent activities of students at a university in the context of a competency-based approach.Conclusions:The results of the experimental work demonstrate the effectiveness of using a well-designed integrated program for an independent study in the process of defectology students` project in the context of a competence-based approach and demonstrate its positive impact on the level of their professional competence.References:[1] Bolonskyi process: na puti k Berlinskoi konferencii (evropeickyi analiz) [Tekst]/ pod nauch. red. B.I. Baidenko.- M., 2004. – S. 387. [Bologna process: on the way to the Berlin Conference (European analysis) [Text] / under scientific. ed. B. I. Baidenko. - M., 2004 .-- S. 387.][2] Belyaeva S.A. Problema edinstva fundamentalnyh y professionalnyh zhanyi y postroenie uchebnogo predmeta v vuze [Tekst] / S.A. Belyaeva, Z.A. Reshetova// Sovremennaya vysshaya shkola. – 1985. - № 4. [Belyaeva, S.A. The problem of the unity of fundamental and professional knowledge and the construction of a subject in a university [Text] / S.A. Belyaeva, Z.A. Reshetova // Modern Higher School. - 1985. - No. 4.][3] Arkhangelskyi, S.I. Uchebnyi process v vysshei shkole, ego zakonomernye osnovy y metody [Tekst] / S.I. Arkhangelskyi. – M.: Vysshaya shkola. 1980.-380 s. [Arkhangelskyi, S.I. The educational process in high school, its regular principles and methods [Text] / S.I. Arkhangelskyi. - M.: Higher School, 1980.-380 p.]
ADAPTIVE TECHNOLOGIES BASED ON LEARNING STYLES FOR DISTANCE EDUCATION

C. ViriyavejakulKing Mongkut's Institute of Technology Ladkrabang, Faculty of Industrial Education and Technology (THAILAND)
Designing and Manufacturing the Arad Rescue Robot and Evaluating Its Efficiency for USAR Missions

Introduction.Every year, natural disasters such as earthquakes, floods, and storms occur around the world and many people die as a result of the devastation.In the relief and rescue operations, many injured people may lose their lives as they remain under the rubble for hours and even days because rescue agents have no access to them.Problem Statement.One of the major problems for rescuers is overcoming and removing obstacles on the path for quick access to injured people.Purpose.To study the process of designing the Arad rescue robot for urban search and rescue (USAR), to de fine the robot tasks, and to design suitable mechanisms for their fulfillment.The general purpose is to design and to build a rescue robot with a high speed and precision and a low cost in order to better find the injured people under the rubble.Materials and Methods.To complete the design method, CATIA software was used to apply the finite element method for powerful analysis of complicated parts.Also, Solidworks was used to model the mechanisms, where 3D sketch of each component of the robot was generated by means of it.Finally, the components are convened together with controlling hardware.Two central processors are used within the control system of the robot.The director's PC as the master processor and the laptop installed on the robot as the vassal processor.The general design of the robot has been performed using the SOLIDWORK modeling software while to design the robot arm, CATIA software is employed so that the manipulator motion analysis is made in this software in addition to using the software modeling power.In order to pass obstacles and impassable routes, a caterpillar has been used in the robot motion system and also, two arms have been embedded in the front part of the robot to climb obstacles and rugged terrains.Results.In addition to the rotating arm, one skilled arm has been designed for robot to overcome these prob lems.In addition, the use of sand wheels has forced the robot to increase its ability to travel on different routes.Conclusion.Different national and international competitions have provided an opportunity for this robot to display its capabilities in an environment close to the real conditions.The robot has been awarded with many titles, which testifies to a great success and actual improvements in every aspect.The performance of this design and build has been shown in the Rescue Robots League and appreciated as one of the best designs.K e y w o r d s : Rescue robot, arm, urban search and rescue (USAR) missions.
CLASSIFICATION OF PEDAGOGICAL TECHNOLOGIES AS THE BASIS FOR THEIR INTEGRATION AND IMPROVING THE QUALITY OF EDUCATION AT THE UNIVERSITY

T. Kalegina1, D. Gaynutdinova1, A. Galiakhmetova2 1Kazan Federal University (RUSSIAN FEDERATION) 2Kazan State Power Engineering University (RUSSIAN FEDERATION)
Policy-Based Sanitizable Signatures.

Sanitizable signatures are a variant of signatures which allow a single, and signer-defined, sanitizer to modify signed messages in a controlled way without invalidating the respective signature. They turned out to be a versatile primitive, proven by different variants and extensions, e.g., allowing multiple sanitizers or adding new sanitizers one- by-one. However, existing constructions are very restricted regarding their flexibility in specifying potential sanitizers. We propose a different and more powerful approach: Instead of using sanitizers’ public keys directly, we assign attributes to them. Sanitizing is then based on policies, i.e., access structures defined over attributes. A sanitizer can sanitize, if, and only if, it holds a secret key to attributes satisfying the policy associated to a signature, while offering full-scale accountability.
Real-time information retrieval from Identity cards

Information is frequently retrieved from valid personal ID cards by the authorised organisation to address different purposes. The successful information retrieval (IR) depends on the accuracy and timing process. A process which necessitates a long time to respond is frustrating for both sides in the exchange of data. This paper aims to propose a series of state-of-the-art methods for the journey of an Identification card (ID) from the scanning or capture phase to the point before Optical character recognition (OCR). The key factors for this proposal are the accuracy and speed of the process during the journey. The experimental results of this research prove that utilising the methods based on deep learning, such as Efficient and Accurate Scene Text (EAST) detector and Deep Neural Network (DNN) for face detection, instead of traditional methods increase the efficiency considerably.
CAREER GUIDANCE ASPECT OF PRE-UNIVERSITY TRAINING OF FOREIGN CITIZENS IN UNIVERSITIES OF THE RUSSIAN FEDERATION

I. Baranova, M. Vinogradova, M. DotsenkoPeter the Great St. Petersburg Polytechnic University (RUSSIAN FEDERATION)
Prosodic Markers of Communicants’ Maximum Emotional Level under Conditions of Abnormal Communication

The article aims to analyse prosodic markers of abnormal communication. Relevance of the paper is conditioned by the necessity to study communicative anomalies so as to be able to detect and overcome them. Objects of the research are conflict communicative situations; the author’s attention is focused on such a prosodic indicator of communicative conflict as verbalized cry. The analysis of fiction discourse has revealed new information about communicants’ emotional states and their non-verbal response to the interlocutor’s raising tone. Gender peculiarities of communicants’ abnormal prosodic behaviour are identified; frequency of prosodic meta-communicative markers of conflict communication is determined.
Parallel Computation of Optimal Ate Cryptographic Pairings at the $128$, $192$ and $256$-bit security levels using elliptic net algorithm

Efficient computations of pairings with Miller Algorithm have recently received a great attention due to the many applications in cryptography. In this work, we give formulae for the optimal Ate pairing in terms of elliptic nets associated to twisted Barreto-Naehrig (BN) curve, Barreto-Lynn-Scott(BLS) curves and Kachisa-Schaefer-Scott(KSS) curves considered at the $128$, $192$ and $256$-bit security levels, and Scott-Guillevic curve with embedding degree $54$. We show how to parallelize the computation of these pairings when the elliptic net algorithm instead is used and we obtain except in the case of Kachisa-Schaefer-Scott(KSS) curves considered at the $256$-bit security level, more efficient theoretical results with $8$ processors compared to the case where the Miller algorithm is used. This work still confirms that $BLS48$ curves are the best for pairing-based cryptography at $256$-bit security level \cite{NARDIEFO19}.
SHAPING STUDENTS’ ENGINEERING SKILLS IN THE ERA OF PERMANENT TECHNOLOGICAL DEVELOPMENT

Numerous dynamic changes in the world around us cause unprecedented challenges for higher education, whose main task is to educate future specialists. Competences that future university graduates should have are changing dynamically (European Principles for Enhancement of Learning & Teaching Project EFFECT, 2017).This implies a strong demand for careful analysis of the content and methodology of academic education, as well as methods of supporting students in their learning process. What are the basic competences that future university graduates should be equipped with? What teaching methods should be used to ensure the quality of education for the future?In this article I would like to present and discuss various methods of supporting university students in their learning process, in order to give them an opportunity to acquire skills necessary from the point of view of their future engineering profession.This analysis will be immersed in the context of the quality of education, in their new sense taking into account current trends in higher education, and will be illustrated by the examples of good practices observed in the university of technology.
FOUR EFFECTIVE PEDAGOGICAL INSTRUMENTS FOR UNDERSTANDING ECONOMIC ACTIVITY

M. LychaginNovosibirsk State University, Institute of Economics and Industrial Engineering (RUSSIAN FEDERATION)
Free online speech and the suppression of false claims in politics

I will consider the approach taken in a number of different jurisdictions to the use of restrictions, including criminal law prohibitions, to prevent, deter and punish the making of false online claims designed to influence the course of political events, especially (but not solely) elections. I will explain, first, how a commitment to freedom of expression ought to make state measures to deter the dissemination of false political information online seem problematic. Secondly, I will show how a number of jurisdictions, including some liberal democracies, have wrongly been drawn into a more authoritarian response to the spread of such false information: a response that tries to set the terms on which people seek to make substantive contributions to politics. I explain how coercion may be employed (i) to secure equality conditions at the polls, when these are threatened by false claims, and (ii) to support transparency about authorship, but it should not be used to deter the propagation of substantive political content, simply on the grounds of its falsity.
Augmenting a Research Information System with automatically acquired category and keyword information

With an ever-increasing amount of data, it is essential for many systems that documents can be retrieved efficiently.The process of information retrieval can be supported by metadata enrichment of the documents. The aim of thiswork is to make scientific publications and project descriptions, consisting of titles, abstracts and bibliographicalreferences, easier to find. Therefore, we investigate text analytical methods such as keyword extraction algorithms(TFIDF, Log-Likelihood, RAKE, TAKE and KECNW) and classification approaches using a SVM withensembles of classifier chains (Web of Science and GEPRIS categories as taxonomies) and compare their quality.We present an altered an optimized keyword extraction algorithm and a supervised subject and keywordclassification approach which are, to our knowledge so far, one of the first automatic applications of this kind ininformetrics and scientific information retrieval.The most promising methods are employed and the extracted information is attached to the documents as metadata.These support a search query, using pseudo relevance feedback, to obtain further relevant search results and canalso be used to derive profiles for authors, faculties, etc. The concepts developed here will serve as a basis for theLeipzig University Research Information System.
Reasoning as Speech Acts

By considering reasoning as speech acts, the paper gives a new perspective to evaluate good reasoning, that is, not only involving the consequence relation between premisses and conclusions, but also involving the goal of doing reasoning by an agent. Moreover, in this paper, we propose a framework for characterizing the reasoning for persuasion from the logical perspective.
First-order Gradual Information Flow Types with Gradual Guarantees

Information flow type systems enforce the security property of noninterference by detecting unauthorized data flows at compile-time. However, they require precise type annotations, making them difficult to use in practice as much of the legacy infrastructure is written in untyped or dynamically-typed languages. Gradual typing seamlessly integrates static and dynamic typing, providing the best of both approaches, and has been applied to information flow control, where information flow monitors are derived from gradual security types. Prior work on gradual information flow typing uncovered tensions between noninterference and the dynamic gradual guarantee -- the property that less precise security type annotations in a program should not cause more runtime errors. This paper re-examines the connection between gradual information flow types and information flow monitors to identify the root cause of the tension between the gradual guarantees and noninterference. We develop runtime semantics for a simple imperative language with gradual information flow types that provides both noninterference and gradual guarantees. We leverage a proof technique developed for FlowML and reduce noninterference proofs to preservation proofs.
FOSTERING YOUNG EFL LEARNERS’ READING INTEREST THROUGH READ FOR LIFE PROGRAM IN MALAYSIA: OPPORTUNITIES AND CHALLENGES

The biggest challenge facing young EFL learners in a predominantly monolingual society is to learn a second language efficiently. This paper addresses this issue by bringing a certain amount of exposure to the young EFL learners in their schools through a community project called Ace your English: Read for Life program. This project carried out in two elementary schools in the east coast state of Malaysia involved 95 eleven year old young EFL learners who were about to sit for the National Examination for Grade 6 in the following year. The goal of the project was to provide extra hours of exposure to English language through reading English books and interacting with facilitators in preparation for their upcoming national examination. Data were collected through interviews with the teachers and the young participants, survey questionnaire and observations. The findings reveal that the teachers were grateful for the efforts from the project team members yet felt burdened as the participants’ learning time outside school hours were taken by the project hence reducing the time for their other core subjects. On the students’ part, most of them were eager to participate and extended their English reading time during lunch break and on weekends.
TEACHER TRAINING SYSTEMS FOR INNOVATIVE AND SUSTAINABLE, PROGRESSIVE DEVELOPMENT

O. Sedlak1, Z. Ciric1, S. Stojanovic2, J. Eremic-Djodjic3, I. Bosnjak4 1University of Novi Sad, Faculty of Economics Subotica (SERBIA) 2College of Applied Professional Studies, Vranje (SERBIA) 3University Edukons, Faculty of Business Economics, Sremska Kamenica (SERBIA) 4Republic of Serbia, Ministry of State Administration and Local Self-Government, Beograd (SERBIA)
An Optimal Oval

SummaryIn designing horse race tracks and velodromes, clothoids, also called Euler spirals, have been used to achieve a smooth transition between straight and circular track segments. This is also a well-known technique for the construction of roads, railways, and roller coasters. Clothoids provide a steady increase in curvature, preventing participants from experiencing a “centripetal shock.” We suggest a track with a smoother curvature behavior, expressed by a single formula. We call the track optimal since the optimization criteria we apply might well agree with how participants would perceive track quality.
Evolutionary Quantum Technology: The Future with Holographic Plasma Voxel

This current situation will affect the future, technology models that are unthinkable or which impossible to happen pops up one by one.Like the hologram, this technology began to develop as a solution to increase user comfort in operating a system that is needed.This paper explains the development of hologram technology that is currently available and what the prediction of future technology models will be.
Cyberspace as a New Living World and Its Axiological Contexts

The subject of the chapter is cyberspace in an axiological perspective, which is our new lifeworld. The focus is particularly on the problem of the quality of our life in its specific circumstances. The aim is (on the background of the characteristics of cyberspace as a lifeworld) to solve the problem of values and significance, but also the risks of our so-called cyber experience. In this context, the aim is also to identify various conditions, axiological indicators and the relevant elements of the quality of our life in cyberspace. The authors pursue their goal using the phenomenological-hermeneutic method within the four parts of the chapter. In part 1, cyberspace is interpreted as a life world that is co-constructed in our acts of communication. In part 2, the problem of values, significance and risks of our cyber experience is discussed. The key variable is digital “well-being.” As they point out in part 3, it should be our morally based value “good life,” which is expressed as “ethos” in our life. In part 4, in this perspective, we are faced with the relevant task of the art of living ‘ars vivendi’ with the necessary coherent self-understanding and value-moral claims and the education should also have a “psychological” dimension.