Reviewerly/exHarmony huggingface dataset:
VOICES OF ITALIAN POETS. Una piattaforma per l'ascolto e lo studio fonetico delle letture della poesia italiana contemporanea

This paper aims to present the start and the development of the first Italian archive of voices of Italian poets. It is mainly dedicated to the collection of original recordings and allows also the comparison among different recordings of a same text by many readers, together with a deep observation of many recordings of each author, through studies of Expeerimental Phonetics. The platform is part of the Voices of Italian Poets project, aimed at the Research on Phonetics applied to poetry, and is described in its structure and purpose, together with an introduction to the general methodology used. The different phases of devolpment of the project, its different potentialities and also its distinguishing features in an international panorama will be presented, as well as the current situation of the poetry vocal archives and the state of the studies connected to the poetry readings. In this paper we will explain the main consultation approaches of the archive and the operating methods adopted in the selection, collection, processing and analysis of data.
Analysis of Utilization of Biological Resources Using Text Mining Based on Freshwater Biodiversity Information Platform

The Nagoya Protocol on access to genetic resources and fair and equitable sharing of benefits arising from their utilization in the convention on biological diversity entered into force on October 12, 2014. Accordingly, attention toward securing the sovereignty and discovering the utilization value of biological resources has been increasing to secure national competitiveness. We are developing a freshwater biodiversity information platform for the systematic conservation and industrialization of freshwater biodiversity in South Korea. The platform comprises an integrated management system of freshwater bioresources for systematic registration and management of freshwater biodiversity information based on databases; a management system of storage for managing freshwater biological specimen; a utilization information system that manages efficacy, experimental method, and activity produced by the Nakdonggang National Institute of Biological Resources and external big data such as literature and patent; and a freshwater bioresources culture collection for preservation, ordering and deposition of biological resources. These systems are connected organically. Text mining, one of the big data technologies, helps to determine the utility of biological resources through comprehensive analysis. We tried to establish utilization foundations by predicting the usability of biological resources through systematic collection, processing, and analyzing external data, such as abstract, in order to support industrialization of national freshwater bioresources. Through text mining, we constructed a literature-based corpus and preprocessed the corpus with lowercase conversion and removal of stop word. Then, a word cloud was created and statistical analysis was performed. As a result, genes and diseases associated with specific biological resources have been identified. In this study, through a comprehensive analysis of species, genes, and disease information using text mining, we were able to determine the utilization value of biological resources. This study will help the freshwater biodiversity researchers by adding a function for utilization analysis in the utilization information system of the platform in the future.
Exploring the English Achievement Assessment of Junior High School Students

In the past years, most traditional item analysis only analyses difficulty and discrimination of each item, and test analysis only analyses overall test reliability and validity. As a result, EFL educators are lack of information on students’ response data for both students’ learning styles and item types in test questions preparation. Thus, the study presents the various item types of the English achievement assessment of Junior High School Students in Taiwan, and illustrates the various learning styles of the EFL students. The participants were randomly selected from one thousand four hundred and forty two junior high school students, who participated in Taiwan Assessment of Student Achievement in Junior High School English (TASA) held by National Academy for Educational Research (NAER). The data was analyzed based on the dichotomous scoring and the Student-Problem Chart Analysis. The result of Caution Index for Students shows that high achievement students account for one third of the sample students. However, the other students were classified as learning abnormality, inattention learning, and lack of learning adequateness, insufficiency learning, and lack of academic ability. Also, the result of caution index for problems shows that the test items of English Achievement Assessment were capable of measuring the English achievements of junior high school student and it also can differentiate high achievers from the low achiever in Taiwan. To improve the further test question preparation, only partial revisions are suggested for National Academy for Educational Research (NAER).
Phenomenon of the Game in Modern Music Works

The relevance of the article is the need to investigate the phenomenon of the game as a form of activity, consider the types of games and game strategies and determine their place in the musical and creative activity of a person. Also identify and substantiate the hypothesis of the emergence of new types of mimicry games in music practice, music and computer nature in particular.Main objectives of the article are to describe and analyse the features of various types of games, to present their classification, and also to state and comprehend ways of using game forms of activity, strategies, the principle of competition and different types of games in music.The methodology involves the use of descriptive and comparative methods to describe the modern concepts of defining and classifying games and comparing various types of gaming and musical activities. The method of cross-disciplinary analysis was also used to identify relation between various types of games, including music. The method of summarizing the selected data was also used to group the facts of attracting game strategies to musical activity. The complex use of these methods allowed us to explore ways of composing works according to game models, as well as attempts to imitate music in computer and other games, to identify the game organization of time and space in such compositions and ways to create musical analogues of games.Results and conclusions. The article clarified and investigated the phenomenon of the game as a form of activity and gave a typology of games and game strategies. The features of various types of games are described and analysed, their classification is given. The ways of using game forms of activity, strategies, the principle of competition and various types of games in music have been analysed, as a result of which the deep connections between game forms of activity and the algorithms of musical creativity used by modern composers have been clarified. Theoretically, the conclusions are confirmed by a number of examples of composers creating essays for game models and game ways of organizing time and space. For the first time, successful examples of imitation in modern music of the principles of computer games and the creation of their musical analogues are thoroughly reviewed and analysed. A hypothesis about the possibility and fruitfulness of further successful research into development of algorithms and principles of computer games in the composer's creativity of the present has been put forward.
The Analysis of Effects of Semantic Comprehension upon the Anxiety Indices in People with Autism Spectrum Disorder

Hypersensitivity to stimuli is one of main way of anxiety symptoms in people with Autism Spectrum Disorders (ASD) owing, within other factors, to deficit cognitive attribution performed on stimulating input. This research studies precisely the possible existence of relationships between the comprehensive elements of the information input and the anxiety increase in people with ASD.A total of 30 students with ASD have participated in the study, aged between 6 and 14 age years, divided into two groups, an experimental group (EG) consisting of 20 students and a control group (CG) formed by 10 other students. Study aims are to study the relationships between perception and information understanding, as well the consequent anxiety reactions in people with ASD and, finally, analyze the improvement of these data from application of a naturalistic systemic program. Results found along 3 successive measures along 12 months, performed throughout correlation analysis, ANOVA W test of 1-factor comparative measures and post- hoc analysis to age variable, allows to conclude the students who belong to EG significantly improved in aspects related to conceptual coding and in self-management of their own learning and, accordingly, they reduce anxiety level with regarding to their CG peers.
A Linear Logical Framework in Hybrid (Invited Talk)

We present a linear logical framework implemented within the Hybrid system [Felty and Momigliano 2012]. Hybrid is designed to support the use of higher-order abstract syntax for representing and reasoning about formal systems, implemented in the Coq Proof Assistant. In this work, we extend the system with a linear specification logic, which provides infrastructure for reasoning directly about object languages with linear features. We developed this framework in order to address the challenges of reasoning about the type system of a quantum lambda calculus. In particular, we started by considering the Proto-Quipper language [Ross 2015], which contains the core of Quipper [Green et al. 2013; Selinger and Val- iron 2006]. Quipper is a new quantum programming language under active development with a linear type system. We have completed a formal proof of type soundness for Proto-Quipper [Mahmoud and Felty 2018b]. Our current work includes extending this work to other properties of Proto-Quipper as well as reasoning about other quantum programming languages [Mahmoud and Felty 2018a]. It also includes reasoning about other object languages with linear features in areas such as meta-theory of low-level abstract machine code, proof theory of focused linear sequent calculi, and modeling biological processes as transition systems and proving properties about them [Despeyroux et al. 2018].
PENGEMBANGAN AWETAN ARTHROPODA DILENGKAPI POCKET BOOK SEBAGAI MEDIA PEMBELAJARAN DI KELAS X SMAN 3 GOWA

This study aims to develop learning media aways arthropoda equipped with pocket book and determine the level of validity, practicality, and effectiveness of arthropod-preserved equipped with pocket book developed. This research and development refers to the 4D development model which includes four stages, namely define, design, develop , and disseminate. The research instrument is a validation sheet to obtain product validity data, questionnaire responses of students to get practicality data products, as well as test items to get product effectiveness data. Based on the results of epert validator research, the level of validity of learning media aways arthropoda is in the valid category with an average value 3,45. Based on the results of the students response to the practicality level of learning media is on the category is very positive with an average total value 3,75. Based on the test results of the students learning media awetan arthropoda equipped with pocket book is categorized effevtive because is reaches  81,02%.
The Assessment in Mathematics: Educational Process?

Evaluation as an educational process is fundamental and important, particularly of the teaching and learning process in the area of mathematics in which this research paper focuses, because although two different processes are closely related to each other and it is not possible to assess one of them without taking into account the other, because when assessing, for example, learning is necessary to evaluate the factors, contexts, emotions and other variables that affect to both, like the culture (interests, attitude, life project, values, and principles, teacher training, …), ICT and the quality.
Improving quantum spatial search in two dimensions

The question of whether quantum spatial search in two dimensions can be made optimal has long been an open problem. We report progress towards its resolution by showing that the oracle complexity for target location can be made optimal, by increasing the number of calls to the walk operator that incorporates the graph structure by a logarithmic factor. Our algorithm does not require amplitude amplification. An important ingredient of our algorithm is the implementation of multi-step quantum walks by graph powering, using a coin space of walk-length dependent dimension, which may be of independent interest. Finally, we demonstrate how to implement quantum walks arising from powers of symmetric Markov chains using our methods.
An Analysis of Politeness Strategies of Disagreement: The Case of Students of English Education Study Program in one State Islamic University in Sumatera, Indonesia

The pupoposes of this study were (1) to find out the realizations of politeness strategies of disagreement by the sixth semester students of English Education students of Islamic State University in Sumatera, and (2) to figure out the most common types of politeness strategy used by them. The study employed qualitative research. The data were taken through a written test and Discourse Completion Test (DCT). The sample was taken by using cluster random sampling method which consisted of 12 male students and 12 female students. The study revealed that female and male English language learners experienced four types of politeness strategy: positive politeness, negative politeness, bald-on-record politeness, and off-record politeness with negative politeness as the most frequent strategy used by female and male English language learners. The result of the study showed that negative politeness was dominant politeness strategy which had value of 63,33%. The second place was bald-on-record (23,33%), the third place was positive politeness (11,67%), and the last one was off-record (1,67%). The conclusion of this study indicated that in expressing politeness strategy for disagreement, both female and male respondents tended to perform negative politeness strategy.
Reading Activities and Programmes Required to Encourage Grade Three Learners to Develop the Reading Interest in Vhembe District

There are various reading programmes and activities that teacher can use to help learners to develop the reading interest. The aim of this paper is to provide an overview of reading activities and programme required to encourage grade three learners to develop the reading interest in Vhembe district. This paper followed the qualitative research methodology. The case study was employed as the research design for the study. Eight subject teachers were selected to participate in this study. The purposive sampling method was utilised. Data were gathered by making use of face to face interviews, observation and document analysis. The following findings emerged from the study: Firstly the teachers encourage learners to read by using the reading programs and activities. Secondly the other finding is that subject teachers and teacher librarians have initiated different types of reading programs and activities to encourage learners to read. Recommendation are made based on the findings of the study that, concerning the reading programmes the relevant workshops addressing the various types of reading programmes stipulated for the specific grade level should be arranged so that subject teachers will be aware of the available reading programmes that they can use effectively to encourage learners to read.Keywords: collaboration, shared reading, reading culture, reading resources, role playing
THE IMPACT OF VIDEO CLIPS ON STUDENTS’ SPEAKING SKILL AND MOTIVATION (AN EXPERIMENTAL TEACHING AT THE SECOND GRADE OF STATE JUNIOR HIGH SCHOOL 2 LHOKSEUMAWE)

Abstract Name: Rini Arnita Sari Student’s Number: 1309200080073 Department/Program: English Education/Postgraduate Title:The Impact of Video clips on Student’s Speaking Skill and Motivation Keywords: Video Clips, Speaking Skill, Motivation This research aimed to investigate the impact of video clips on student’s speaking skill and motivation. It researched at the Second Grade of State Junior High School 2 (SMPN) 2, Lhokseumawe. The research employed the pre-test and post-test design. The sample by using random sampling through lottery technique and the total sample is 64. The experimental group was given the special treatment using video and the control group was given another technique without video, namely textbook-based as the teacher usually does. Test and questionnaire were used as data collection instruments in this research. The tests were given to evaluate student’s speaking skill while the questionnaires were distributed to students to find the students’ motivation responds in learning speaking. The data from the tests were then analyzed by using SPSS (Statistical Product and Service Solutions) looking at statistical procedures which include mean, standard deviation, and t-test. The data from questionnaire were analyzed using descriptive statistical. The t-test result for pre-test which was compared to post-test both experimental and control group were found to be statistically significant (p=0,000) which was lower than significance degree (0.05). This finding indicates that video clips improve speaking skill. The result of questionnaire shows that using video clips effective for all students. Comparing students’ achievement in both male and female, it found that there is no significant difference in terms of pronunciation, fluency, performance and grammar.
An Analysis of the Grammatical Errors in Narrative Writing Made by Eleventh-grade Students of One Private Islamic Senior High School Palembang, South Sumatera, Indonesia

This study was aimed at finding out: (1) the types of grammatical errors in narrative writing made by eleventh-grade students of one private Islamic senior high school Palembang, South Sumatera, Indonesia and (2) the most frequent type of grammatical errors in narrative writing made by eleventh-grade students of private Islamic senior high school Palembang, South Sumatera, Indonesia. This study was a descriptive qualitative research. The data were collected from narrative writing written by the 32 eleventh grade students. In this study, grammatical items analyzed were covering noun, pronoun, verb, conjunction, adjective, adverb and preposition. In analyzing students’ errors, some procedures of error analysis were applied. They were identification, description, and explanation. The frequencies of errors were calculated in percentages. Based on the result of the analysis, there were 621 grammatical errors found in students’ narrative writing. Errors in using verb became the most frequent type of errors with 308 errors (49.59%), followed by errors in pronoun with 136 errors (21.90%), in adjective with 87 errors (14.00%), in preposition with 61 errors (9.82%), in noun with 13 errors (2.09%), in conjunction with 10 errors (1.61%) and the last errors in adverb with 6 errors (0.96%).
Formal reasoning over class models using TOMM.

Class diagrams are widely used in modelling and system design.They capture the relation between the requirements specification (problem domain) and system components (solution domain).However, constant changes to requirements and manual modelling may result in invalid software models, and potentially invalid software solutions.We propose an automated approach at the meta-model level to reason about the validity of diagrams and/or their associated requirements.This paper introduces the foundations of the formal framework TOMM, and illustrates how it can be used for validation of class diagram based models, and potentially extended for model generation and comparison.
A Study on Awareness of Process-Focused Assessment and Its Practicability in Middle School History Class

The process-focused assessment is intended to revive the original purpose of assessment, that is, supporting students’ growth. By improving the existing assessment method which is just based on the result, it considers both the learning process and result.BR Since history teachers are aware of the necessity of the process-focused assessment, it is expected that the concrete practice in history lessons is feasible if they recognize exactly what this assessment method is. The feedbacks tailored to the learning needs of students are also required. In addition, given that history teachers have difficulties in ensuring objectivity in process-focused assessment, it is considered that the development of a specific scoring table is needed to improve the fairness and reliability of the scoring. In order to develop these assessment expertises of teachers, it is suggested that it is necessary for them to establish a professional learning community of the history teachers and the discussion and mutual support among them.
ANALISIS HASIL BELAJAR DAN KEMANDIRIAN SISWA PADA PEMBELAJARAN ASAM BASA DENGAN METODE BLENDED LEARNING

The development of information technology has a big impact on the world of education. Progress in information technology makes it easier to implement learning. Blended learning is one of the learning that is in accordance with these developments. This study aims to analyze the learning outcomes and autonomy of students after blended learning. The research method used is mixed methods. The design used is explanatory sequential design. The research sample was taken using purposive sampling technique, with the study sample using one class in the XI MIPA class of SMA N 1 Padamara. Data collection methods in this study include documentation, tests, observations, questionnaires and interviews. The results of the study showed that the edmodo application assisted blended learning was obtained by the percentage of classical learning completeness of 86.67%, the percentage of skill aspects was 88.40% and the student attitude aspect was 82.29%. The analysis of the autonomy of students in class XI MIPA 1 obtained a percentage of 77.27%. Based on the results of the study, it can be concluded that the learning outcomes and autonomy of students of class XI MIPA 1 in SMA N 1 Padamara on acid-base material with assisted blended learning are edmodo applications are good. This shows that assisted blended learning is an effective edmodo application on student learning outcomes and autonomy.
Transaction Procedure of Cryptographic Validated Digital Currency

Abstract This paper covers our exploration towards an examination of the exchange procedure engaged with the fiat monetary standards, which are convertible decentralized virtual monetary forms dependent on cryptographic activities and blending digital currency in the customary exchange process. Our beginning stage is the perception that their expanding fame of its use which looks for the consideration of diggers, financial specialists and also people utilizing computerized monetary standards as instalment. Therefore, work has just been led around there, for the most part concentrating on procedure of exchange. Tending to this issue, the paper initially exhibits the advantages and disadvantages of conventional monetary standards and in addition decentralized monetary forms. This paper even comprises of moral issues included or accepted to be associated with the procedure if digital forms of money are utilized. This goes for giving a response to the open inquiry, regardless of whether cryptographic forms of money ought to be incorporated into the exchange procedure. Keywords: Cryptocurrency, Bitcoin, Centralized Electronic Currencies Cite this Article Dhruvin Shah, Poojan Shah. Transaction Procedure of Cryptographic Validated Digital Currency. Journal of Computer Technology & Applications . 2019; 10(1): 23–31p.