Reviewerly/exHarmony huggingface dataset:
Textbook on ukrainian literature in projection on new ukrainian school

In the paper, the author has outlined the theoretical concept of a contemporary Ukrainian textbook on literature in the aspect of ideas and conceptual foundations of the New Ukrainian School. The analysis of technological innovations, which help to transform the textbook into a contemporary navigator, is intended to help students in realization of educational opportunities. It is clarified in the paper which features of the textbook will help to practically implement the New Ukrainian School approaches in the aspect of formation of a free educational environment, all participants of which are in an integrated environment of mutual exchange and mutual enrichment with experience, ideas, etc. The competent potential of the contemporary textbook on literature has been spotlighted, the importance of leaving the knowledge paradigm in the organization of the program material is emphasized in order to strengthen the competence approach. The concrete examples of implementation in the textbook of crosssubject lines, which provide the connection of literature with other branches of knowledge (nature, foreign languages, mathematics, etc.) has been explained. Competent textbook cannot be considered as an immaculate receptacle of knowledge because according to contemporary psychological and sociological studies in the XXI century the technological pace has been extremely accelerated, which affects the fact that what we could see fifty years ago in two years now can be reached in two months. Consequently, this results in an extremely rapid informational change. Our task is to draw what students are interested in, talking about software things. Each lesson should be a conversation about what is vital and corresponds to the spirit of the time. The textbook should help both students and teachers (all participants of the educational process) acquire something new, since the role of the teacher changes in the New Ukrainian School. Besides, he or she is not the bearer of absolute knowledge, since such an approach contradicts the essence of change and the pace of technological development, the pace of change of cultural dimensions, and so on.
STUDI BANDING PERANGKAT LUNAK APLIKASI GANESHA DIGITAL LIBRARY (GDL) SEBAGAI REPOSITORY INSTITUSI BERBASIS OPEN SOURCE

The purpose of the research is to analyze the technical features of the Ganesha Digital Library (GDL) application with DSpace and Eprints, so that it will be proved technically whether the GDL application can meet the standards and criteria as the application software repository institution ?. Using experimental approach research methods by installing GDL, DSpace and Eprints application to further analyze and compare the technical features of the three applications. The results show that GDL application meet standards and criteria as institutional repository application, since they have most of the technical features of institutional repositories including the features of the OAI-PMH (Open Archives Initiative Protocol for Metadata Harvesting); has a dublincore metadata standard; and has been licensed to open source (General Public License) GPL that is needed for the utilization, use and development of institutional repository applications according to the needs of a college institution.
The Impact of Immersive Virtual Reality on Learning, Post-Hoc; a Cautionary Tale

With the growing push to implement innovative technologies in today’s classroom, the prospect of infusing extended reality (XR)-learning has jettisoned education into uncharted territory, creating dynamic learning experiences with a potential breadth of unknown effects (Ahn, Bailenson &amp; Park, 2014; Ahn, Bostick, Ogle, Nowak, McGillicuddy &amp; Bailenson, 2016; Lieberman, 2018). While there are significant merits of transporting learners to places that were previously inaccessible in the traditional classroom through immersive experiences, we must walk back the preconceived notion that because technology <i>itself </i>is engaging, students will be more engaged. Additionally, the K-12 learning environment does not exist in a vacuum; what students experience in one part of their day has the potential to create a ripple effect in their subsequent lessons. This quasi-experimental study looked to explore the effects of XR-learning, specifically virtual reality (VR) on student motivation and engagement, post-hoc, in a middle school. The implications of this research are promising and showed varying results based on engagement. The results themselves provide significant foundations for future investigations, however, the survey tool utilized in this research proved problematic and needs retuning for future studies.
OPTIMIZATION OF INTELLECTUAL CREATIVE ACTIVITIES AS А FACTOR OF IMPROVEMENT OF PROFESSIONAL TRAINING OF A FUTURE PEDAGOGUE-MUSICIAN

The article presents the author's vision of the process of optimization of the intellectual and creative component of the professional training of a future teacher-musician based on the principle of education through science and creativity. This implies the possession of not only professional competencies in the field of music and pedagogical education, but also the ability to design and creatively realize the individual trajectory of professional and personality’s self-development and self-realization.The process of organizing the creative – performing and scientific -research activities of students in the artistic and educational space of the Faculty of Arts of the University has been considered. It is emphasized that just such a symbiosis facilitates the unleashing of creative potential of a future specialist-musician’s personality not only in the field of art, but also in the process of his or her scientific research activities. In this regard, the content aspect and specificity of mastering the professionally oriented disciplines in the “Musical art *” specialty has been revealed. The mastering of these disciplines is carried out by means of facilitation and is based on partnership between teachers and students. Particular attention is paid to the research work of students as the basis for the development of their intellectual and research culture. The presence of the latter leads to a successful scientific search, the acquisition of a system of values and relevant knowledge about the nature of research activities as creative, productive and aimed at finding original and effective solutions, as well as to availability of developed research competencies.The theoretical foundations and practical implementation of the author’s project “Viva, masters!” has been proposed for consideration at the Faculty of Arts. The author believes that in the process of the project deployment a student is becoming and developing as a subject of future professional activity, possessing high intellectual, research, cultural, and creative potential.
Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.
Correction to: Competitive dynamics in not-for-profit organizations: evidence from India

The original version of this article unfortunately contained mistakes. Tables and figures were mixed-up both in text citations and figure headings.
Algorithmic aspects of elliptic bases in finite field discrete logarithm algorithms

Elliptic bases, introduced by Couveignes and Lercier in 2009, give an elegant way of representing finite field extensions.A natural question which seems to have been considered independently by several groups is to use this representation as a starting point for discrete logarithm algorithms in small characteristic finite fields.This idea has been recently proposed by two groups working on it, in order to achieve provable quasi-polynomial time for discrete logarithms in small characteristic finite fields.In this paper, we do not try to achieve a provable algorithm but, instead, investigate the practicality of heuristic algorithms based on elliptic bases.Our key idea is to use a different model of the elliptic curve used for the elliptic basis that allows for a relatively simple adaptation of the techniques used with former Frobenius representation algorithms.We have not performed any record computation with this new method but our experiments with the field F 3 1345 indicate that switching to elliptic representations might be possible with performances comparable to the current best practical methods.
Introducing Certified Compilation in Education by a Functional Language Approach

Classes on compiler technology are commonly found in Computer Science curricula, covering aspects of parsing, semantic analysis, intermediate transformations and target code generation. This paper reports on introducing certified compilation techniques through a functional language approach in an introductory course on Compiler Construction. Targeting students with little or no experience in formal methods, the proof process is highly automated using the Why3 framework. Underlying logic, semantic modelling and proofs are introduced along with exercises and assignments leading up to a formally verified compiler for a simplistic imperative language. This paper covers the motivation, course design, tool selection, and teaching methods, together with evaluations and suggested improvements from the perspectives of both students and teachers.
Nursing Students’ Perceptions of Biomedical Education with Augmented Reality

Innovative techniques provide a teaching strategy to improve education in biomedical sciences for nursing students [1]. With augmented reality (AR) technology, elements in the physical environment can be enriched or supplemented by computer-generated sensory inputs such as text, images, 3-dimensional (3D) graphics, and audio. AR has been paradigmatically applied worldwide to education of different disciplines, making some contributions to teaching and learning [2]. However, AR products on the market mainly focus on primary or secondary education where the pleasurable aspects of AR are promoted [3]. Although acceptance of using AR in healthcare education was reported [4], the actual impacts of AR applications in the training of healthcare professionals have not been well-studied [5]. In view of the potential advantages of integrating AR into nursing education, such as a better visualization of body structures [6], a survey was conducted to specifically assess the effectiveness of AR in improving the quality of biomedical education as perceived by nursing students.
THE EFFECT OF MIND MAPPING LEARNING METHODS ON SOCIAL STUDIES MATERIALS COMPREHENSION OF STUDENTS

This study aims to examine the effect of mind mapping learning methods on social studies materials comprehension of students at Baleendah 2nd Junior High School. This study used a quasi-experimental method with the design of "nonequivalent control group design" with the pattern of "pretest" and "posttest" and carried out treatments in class VIII-F as the experimental class group and VIII-H as the control group used as a comparison. Sampling uses a purposive sampling technique. Data collection on the social studies material comprehension of students use questions as the main data. After the data is collected, the analysis is carried out quantitatively through hypothesis testing or T-Test. The results of the difference between "pretest" and "posttest" in the experimental class given treatment showed a significant difference in improvement, while the control class between "pretest" and "posttest" which were not given treatment the results were no difference or no improvement. It can be said that there are influences from mind mapping learning methods to on social studies materials comprehension of students.Keywords: comprehension of material, Mind Mapping Learning Method, Social Studies Learning
ONLINE WEB TOOLS: FORMING AN EUROPEAN COMMUNITY OF LEARNING

In an age when the information and communication technology (ICT) is part of our daily lives, education changes to accommodate the growing need of users to interact and engage across geographical distances.This implies both a change of infrastructure to include the new ICT instruments and a change of student teacher relationships as they adapt to the new environment.What online tools to deem most appropriate to use so they convey the desired message is a challenge, partly due to the large offer available, and, partly, due to the lack of familiarity and the hesitance in approaching these tools.This paper is a narrative viewed through the lens of social learning theory of a training course on education web tools with participants from six countries in Europe, sponsored by the Erasmus + Program of the European Union.Its purpose is to present an example of collaborative project aimed at introducing online tools to youth workers.Continuity and Change in European GovernanceThe five different projects presented at the end, as well as the feedback from the participants, confirm this type of program answers a need of educators to know more about online tools.Furthermore, the incipient stages of building a community were exhibited.This facilitated learning and collaboration, while allowing the participants to create valuable artefacts.Methods: The paper used the researcher's journal and observations, artefacts created during the exercises, feedback from the students at the end of the training, and reflexive letters from participants and organisers after the group training was completed.All this information was organized into a narrative that showed what happened during the one-week training, with focus on collaborative learning.
COMBINATORIAL ANALYSIS IN THE SCHEME OF ALLOCATION OF DISTINGUISHABLE PARTICLES INTO INDISTINGUISHABLE CELLS WITH A GIVEN NUMBER OF NON-EMPTY CELLS

The scheme of allocating r distinguishable particles into n indistinguishable cells with k non-empty cells is studied along the directions of enumerative combinatorics. They are the direct enumeration of the outcomes of the scheme with a particular discipline of their numbering, finding their numbers, establishing a one-to-one correspondence of the types of outcomes with their numbers, also known as numbering problem in direct and inverse statements, and modeling of outcomes of the scheme.
Experimental Analysis of Color Image Scrambling in the Spatial Domain and Transform Domain

This paper proposes two image-scrambling algorithms based on self-generated keys.First color image scrambling method works in the spatial domain, and second, works in the transform domain.The proposed methods cull the R, G, and B plane from the color image and scramble each plane separately by utilizing the self-generated keys.The keenness of security of proposed methods is the keys or parameters used in the scrambling process.The exploratory outcomes show that both proposed image scrambling technique performs well in terms of Number of pixel change rate (NPCR), Normalized correlation (NC), Entropy, and time consumed in encoding and decoding.The adequacy of the proposed framework has demonstrated on a data set of five images.In furtherance, the present paper gives a comparative performance analysis between proposed image scrambling methods of spatial domain and transform domain.The proposed paper also tosses some light on the scrambling work reported in the literature.
Admission tools and academic performance: evidence from a first course in a bachelor’s degree in business administration

Admission tools have become imperative means for private schools to handle both limited space and the search of excellence. We use a supervised algorithm to predict the score of admitted students in a private-run Spanish business school. The main target is understanding the effects of the features defined in the admission process to assess both the validity of the process and the final ranking of the student after one year in the school, trying to ascertain what is the best mix of the variables in place to forecast the final score of the students when ending their first year in the BBA; along with the mix, we also want to define the decision rules allowing the best prediction. The results will prove that the present admission process in place is working properly even if some fine tuning could be set in place for an even better performance.
An Open Integrated Electronic System Software Architecture Design for Launch Vehicle

In view of advantages and disadvantages analysis of software communication architecture (SCA), general open architecture (GOA) and avionics software system structure (ARINC653), a new type of integrated system software architecture which is suitable for launch vehicle was designed in this paper. According to the characteristics of the launch vehicle software, the new software system architecture including four layers, such as resource service layer, operating system layer, middleware layer, and application layer. Each layer is independent to each other, and all layers can integrate the functions of the traditional launch vehicle software system. The new software system architecture can support flexible functional expansion and tailoring, which enables it to quickly adapt to the requirements of different types of launch vehicles, and greatly reduce the repetitive design work.
Reward Mechanism in Multi-agent Information System Integration Based on Bilateral Moral Hazard

Bilateral moral hazard is constructed over undertaking information system integration and resource suppliers based on compensation. Invariable compensation is needed to encourage the participators in making appropriate efforts. From the angle of knowledge accumulation, the article built a remuneration model and further obtain the operational mechanism for such an integration. Conclusion indicates that the optimal effort level of original service provider and the intervention of remuneration does cast impacts on the integration process in terms of the commissioning party. Moreover, it brought forward the optimal system pathway on which best efforts could implement its functions with the effect of bilateral moral hazard.
Determining the End Points of the Score Confidence Interval Using Computer Program

For interval estimation of a proportion the Score Interval is quite accurate. It has good reviews in the Statistics literature. But the problem is that it is not used enough. A reason is that many consider it is complicated. In this paper, we suggest a program and other things that we hope will make the Score Interval more suitable to use in the field of statistics.
GenSMT at SemEval-2019 Task 3: Contextual Emotion Detection in tweets using multi task generic approach

In this paper, we describe our participation in SemEval-2019 Task 3: EmoContext -A Shared Task on Contextual Emotion Detection in Text.We propose a three layer model with a generic, multi-purpose approach that without any task specific optimizations achieve competitive results (f1 score of 0.7096) in the EmoContext task.We describe our development strategy in detail along with an exposition of our results.
DNF: Feature Point Matching Pairs Filter Based on Descriptor Net

Wide-baseline image registration under out-of-plane rotation and larger viewpoint change is still challenging. Most of the commonly used matching algorithms are not invariant to affine transformation. They heavily rely on the local features of image patches and ignore global information, the mismatch is inevitable and greatly affect the accuracy of image registration. To address this issue, we propose a feature point matching pair filter based on global spatial position correspondences of feature points, coined Descriptor Net Filter (DNF). We put forward two criteria to evaluate matching quality. One is the local matching quality computed by independent local feature, the other is the global matching quality relying on geometric network constraint. Combining the advantages of both local feature and large-scale geometric constraint, our method removes mismatches effectively. The experiments on both planar scenes and 3D objects from several standard datasets show that the DNF significantly enhances the matching precision and retains more correct matches as well.
Perception of first year medical students on the use of whatsapp as a supplementary learning tool

Introduction:There is a growing use of Whatsapp as a communication platform between students and also between students and faculties.The present study was conducted to find out the perceptions of first year medical students on the effectiveness of Whatsapp as a teaching learning tool as a supplement to the traditional teaching methods. Material and Methods:The study was conducted in a Private Medical College in Chennai, Tamilnadu.The participants of the study were the first year medical students of 2017 -18 batch.Of the 100 students who had expressed their willingness to participate in the study trial, 91 students (n=91) submitted their feedback.A separate Whatsapp group named "Anatomy Department Official Group" was created.The group was utilized for sharing teaching learning materials such as power points of lectures on Gross Anatomy and Histology, notes on various topics, Histology slides photomicrograph, Spotters containing images of Gross specimens with questions and also for discussion on various topics.The student's perception of Whatsapp as a supplementary teaching learning tool was obtained using a validated questionnaire.Results: In our study 98% of students have agreed or strongly agreed that learning material shared through Whatsapp was easily available and downloadable.It also has helped them learn anytime anywhere and 82% of students felt that their confidence level in learning Anatomy has increased. Conclusion:Owing to the advantages offered by using Whatsapp as a teaching and learning tool for First year Medical students, as perceived by students the author concludes that Whatsapp groups can be used as a supplementary teaching tool in addition to Traditional teaching methods
Permainan Kartu Gambar Dengan Metode Cantol Roudhoh Di Kelompok B TK Mahkota Selong

This research was based on the students tack to recognize the word in learning. This study aims to improve the ability of word recognition through drawing card games using the cantol roudhoh method in group B TK Mahkota Selong in the 2017/2018 academic year. This type of research was Classroom Action Research which is a teacher who plays a direct role in the learning process. The subjects of this study were students of group B TK Mahkota Selong in the academic Year 2017/2018 consisting 25 student. While the object of this research was the application of cantol roudhoh method in improving the ability of word recognition through flashcard games in group B TK Mahkota Selong. Based on the results of the study, the average percentage of the ability of word recognition in group B TK Mahkota Selong before treatment was 33% for the alternative answer "Yes" with the category "Low". After taking action in cycle I with the application of the Cantol Roudhoh method, the ability to recognize words in students increased to 56% for the alternative answer "Yes" with the category "Medium". As for the improvement in cycle II the ability to recognize words in students increased to 78% for alternative answers "Yes" with the category "Good" which means there was increased. In cycle III 95% for alternative answers "Yes" with the category "Very Good".