Reviewerly/exHarmony huggingface dataset:
Typestates to Automata and back: a tool.

Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended execution flow of applications, and are thus behind many formal approaches, namely behavioral types. Typestate-oriented programming allow us to model and validate the intended protocol of applications, not only providing a top-down approach to the development of software, but also coping well with compositional development. Moreover, it provides important static guarantees like protocol fidelity and some forms of progress. Mungo is a front-end tool for Java that associates a typestate describing the valid orders of method calls to each class, and statically checks that the code of all classes follows the prescribed order of method calls. To assist programming with Mungo, as typestates are textual descriptions that are terms of an elaborate grammar, we developed a tool that bidirectionally converts typestates into an adequate form of automata, providing on one direction a visualization of the underlying protocol specified by the typestate, and on the reverse direction a way to get a syntactically correct typestate from the more intuitive automata representation.
Pit and Fissure Sealent Sebagai Pencegahan Karies Gigi Bagi Siswa Sekolah Dasar Negeri Kukuh Kecamatan Marga Tabanan Tahun 2018

Indonesian Ministry of Health data (2013) showed 89% of children aged <12 years had dental caries, this is one proof that public awareness is still lacking in maintaining the health of their teeth and mouth. Residents who stated that they had problems with their teeth and mouth in the last 12 months in Tabanan Regency were 25.7%. This figure is above the Bali provincial figure of 24.0%. One of the preventive measures for dental caries is to seal (seal) pits and deep fissures on the surface of the tooth. Based on the preliminary interview with the Head of Kukuh Elementary School 1, 3 and 4 in Marga Sub-district, Tabanan Regency, it is known that there are no UKS or UKGS elementary schools. Based on the description above, a problem statement can be formulated: how to prevent dental caries for students in Kukuh District 1, 3 and 4 SDN in Marga Sub-district, Tabanan Regency in 2018? The service method is carried out with practice or direct action on the teeth of students of SDN 1,3, and 4 Kukuh, Marga District, Tabanan Regency. Based on the results and discussion, it can be suggested as follows: sealant action is carried out even earlier, to avoid carious teeth; if similar activities are carried out again, the community service team prepares tools and materials for dental fillings. Keywords: pit and fissure sealant, dental caries
Work in Progress: "I’m Not Your Standard Student": Examining the Rationales for Studying MDE or IDES Programs through Usability Interviews

This Work-in-Progress paper in the Multidisciplinary Engineering Division begins to explore how undergraduate students use program websites to identify and select an engineering education program that supports their diverse interests.Traditional disciplinary engineering curricula are often perceived as limiting for some students.However, multidisciplinary engineering or interdisciplinary engineering education programs provide opportunities for students to pursue engineering as a career that aligns with their interest, career goals, and a space to establish a sense of belonging.Prior studies have broadly examined what influences students to select engineering as a major; however, little work has explored what influences students in their decision making to transition to an interdisciplinary engineering education program.In this work-in-progress paper, we describe our preliminary findings from a usability study using the program websites to elicit responses about what influences students' identification with multidisciplinary engineering or interdisciplinary engineering studies programs.These user experiences begin to provide insight into how students use websites to identify multidisciplinary engineering or interdisciplinary engineering studies program as an academic home, student rationale for changing their degree, instead of staying in a traditional engineering program, and suggestions on how program websites can be improved to support prospective students with their decision to select an interdisciplinary engineering education program.
Comparative Analysis of Number Correct and Item Pattern Scoring Methods for Waec and Neco Chemistry Items Among Senior Secondary Students in Osun State

The study determined the unidimensionality using Item Response Theory (IRT) also compared the number correct and item pattern scoring methods of Senior School Certificate Examination (SSCE) examinee estimated scores from WAEC and NECO chemistry items in Osun State, Nigeria. This is with the view of providing empirical explanation on the appropriateness of decisions made statistically from examinee scores using classical test and item response theory approaches. The study adopted a descriptive survey design. A sample of 1,105 students was randomly selected from a population of 36,182 students who sat for the 2017/2018 SSCE chemistry paper 1 in Osun State. An adopted version of June/July 2015 NECO (Type 1) and May/June 2015 WAEC (Type 2) SSCE Chemistry (Objective) Paper 1 titled Chemistry Achievement Test (CAT) were utilized for data collection. Data collected were analyzed using STEU implemented in DIMTEST mean, standard deviation, paired sampled t-test, MIRT and equate IRT packages of R language. The results showed that the traits measured by the two groups of items were significantly different from one another (multidimensionality). Also, results showed that IRT (item pattern) scoring method has significant effect on the examinees scores in WCI (t = 13.06, p < 0.05) and NCI (t = 7.667, p < 0.05) than CTT (number correct) scoring method. In conclusion, the study established that there is no statistical equivalence between IRT (item pattern) and CTT (number correct) scoring method on WAEC and NECO chemistry items in Osun State.
Cryptographic mechanisms for secure interaction of control and measuring devices

The paper describes the key features of the cryptographic protocol providing secure interaction between control and measuring devices. The hierarchical structure underlying this protocol and the relationship between the transport and session levels of the ISO model, to which different stages of message processing are linked are described. The security of the protocol is based on the use of the standardized domestic cryptographic algorithms and mechanisms that ensure the authentication and integrity of transferred data. The protocol supports different options for establishing a connection, depending on used authentication method and technical capabilities of the devices. The protocol was developed in accordance with the recommendations of the national system of standardization of theRussian Federationon the principles of development and modernization of encryption (cryptographic) means of information protection, and is designed as recommendations on standardization in2020. Inthis paper a number of the certain properties of safety identical to tasks which are put by the infringer at attempt of compromise of work of the protocol and necessary for substantiation of cryptographic stability of considered mechanisms are formulated. Feasibility of the considered properties of safety, based on various mechanisms embedded in structural elements and logic of the protocol, and on complexity of compromise of the standardized domestic cryptographic solutions is shown.
METHODS OF PREPARING FOR THE WORLDSKILLS DEMO EXAM IN AN AUTOMOBILE COLLEGE

The paper reveals specifi c features of WorldSkills standards and their role in the process of improving the system of secondary professional education, which resulted in the development of new Federal State Educational Standards for the TOP-50 of the most sought-after and promising professions and specialties requiring secondary professional education. The authors have made a comparative analysis of the main distinctive features of the demo exam and the traditional form of State Final Assessment. The demo exam contains criteria for assessing the quality of training college graduates based on international requirements and the needs of enterprises. This exam includes tasks modeling real production conditions to check the skills of solving practical professional problems in accordance with the best world and national practices. The options for introducing WorldSkills standards into the study process of the automobile college are proposed and described. The fi rst option is characterized by a dispersed introduction into the study process, theoretical and practical training in all subjects, aimed at the development of the corresponding WorldSkills competences. The second option provides for a concentrated penetration into the study process, requiring changes in syllabi and curricula, while targeted training is carried out according to each competence. In order to strengthen the advantages and level off the disadvantages of these methods, a combined version is proposed. This version involves the development of each competence within all subjects, as well as the introduction of a subject course or an interdisciplinary course into the study process to provide for “full immersion”, develop skills and abilities in accordance with the WorldSkills standard specifi cation for the competence, including the use of modern information and communication technologies. This will provide optimal conditions for college students to successfully pass the State Final Assessment in the form of a demo exam.
Learning Commercial Letters App to Improve Students’ Learning Outcomes

Before the COVID-19 pandemic, the development of information and communication technology had influenced the use of instructional media where teachers required to be creative in utilizing technology optimally. Therefore, this research aims to produce android-based learning media products to improve student learning outcomes. Now among the Covid-19 pandemic, learning media products that were developed can be a choice. This research and development use a modified Borg and Gall Research and Development model. The data analysis technique used is the descriptive percentage and independent sample t-test. The results of this research and development are android-based learning media on correspondence subjects called Learning Commercial Letters which have been declared to be very valid and suitable for use in correspondence learning by media experts, material experts, and 6 small group trial students and are proven to improve student learning outcomes significantly in large group trials. Hence, it can be concluded that Learning Commercial Letters is feasible and effective as a learning media to improve student learning outcomes in correspondence subjects.
Technological competence of a modern educator as a condition of educational tasks efficient solving

This paper considers a problem of technological competence of educators, which influences effectiveness of their activity. The problem of technological competence is considered in terms of requirements to educational institutions. It highlights the critical requirements to personality development of modern human. The paper touches upon the role of pedagogical engineering as a base for successful selection of educational technology. It describes modern technologies with specification of their applicability to solve educational challenges. The paper summarizes the experience of the author who has worked at school for many years. The paper describes capabilities of the technology for critical thinking development by means of reading and writing. The possibility of this technology for creativity, critical thinking, communication skills and teamwork development is proved. The paper provides a brief presentation of pedagogical technologies based on the ideas of psychotechnics. The author gives information about pedagogical technologies focused on the right hemisphere development. In the conclusion the author gives her own vision of the technological competence of a modern teacher, which is determined not only in quantitative, but also in qualitative characteristics.
Reinforcement Learning of Repetitive Tasks for Autonomous Heavy-Duty Vehicles

Many industrial applications of heavy-duty autonomous vehicles include repetitive manoeuvres, such as, vehicle parking, hub-to-hub transportation etc. This thesis explores the possibility to use th ...
Development of the system inducing Kinesthetic Illusion with movies and reflection

In recent years, the kinesthetic illusion has been used in rehabilitation to recover from paralysis. In addition, there are several studies suggesting that the stretch reflex is also effective in rehabilitation. Therefore, in this study, we created a system that induces the kinesthetic illusion by presenting the VR image and the stretch reflex at the same time. The results suggest that in order to induce the kinesthetic illusion, it is necessary for the movement of the subject and the movement of the video to match at the position level. It was also suggested that adding a device of attention could increase the sense of physical possession.
THE USE OF QUIZ-DEMONSTRATION-PRACTICE-REVISION (QDPR) TO IMPROVE STUDENTS’ PRONUNCIATION

The objective of this research was to find out whether or not the use of Quiz-Demonstration-Practice-Revision (QDPR) learning model can improve students’ pronunciation especially in pronouncing sound /f/, /v/, /θ/, and /t/. The method of this research was pre-experimental with one group pre-test and post-test as an instrument of the research. The population of the research was the eleventh grade of SMA Negeri 11 Pangkep that consisted of 240 students. The number of samples was 30 students. The data collection consisted of pre-test, treatment and post-test. Forms of pre-test and post-test were oral test that contained 20 words that related with the focus sounds. The findings of the research showed that the students’ mean score of pre-test before treatment was (39.17). While after treatment, the mean score of post-test was (76.83). Therefore, the significant between pre-test and post-test was 96%. In order that, the researcher assumed that using Quiz-Demonstration-Practice-Revision (QDPR) could improve students’ pronunciation correctly especially in pronouncing sound /f/, /v/, and /θ/, /t/. Thus, QDPR can be an alternative model to English pronunciation instruction in English classrooms
Single-shot readout of a solid-state spin in a decoherence-free subspace

We propose and theoretically study the single-shot readout capabilities of spins within a Quantum Dot molecule decoherence-free subspace utilizing microwave π -pulses and optical cycling.
이누이트 전통문화의 변화 -케임브리지 베이를 사례로-

This study is about the change of Inuit traditional culture. Inuit has their specific culture due to the Arctic’s harsh environment. But recently, because of the climate change and newcomers, traditional culture has changed. Hunting, the base of Inuit’s traditional culture decreased and was getting hard. And shelter and transportation for hunting has been modified. According to the change of hunting, food and adoption culture also changed. Inuit is in a situation to consume junk food and processed food instead of fresh food. Those food induce many problems to Inuit including health. And Inuit trade the food, not share. It means the community spirit weakened. Reduction of the importance of IQ (Inuit Qaujimajatuqangit) and the role of the senior also contributes to the weakening of community spirit. Inuit adopt non-Inuit child and adopt the child according to the law. It makes Inuit difficult to adopt child. As a result, climate change and newcomers makes today’s Inuit culture. Therefore, we have to know climate change and newcomers to understand the culture of the Arctic and residents.
Corpus-Based Methods for Recognizing the Gender of Anthroponyms

This paper presents a series of methods for automatically determining the gender of proper names, based on their co-occurrence with words and grammatical features in a large corpus. Although the results obtained were for Spanish given names, the method presented here can be easily replicated and used for names in other languages as well. Most methods reported in the literature use pre-existing lists of first names that require costly manual processing and tend to become quickly outdated. Instead, we propose using corpora. Doing so offers the possibility of obtaining real and up-to-date name-gender links. To test the effectiveness of our method, we explored various machine learning methods as well as another method based on simple frequency of co-occurrence. The latter produced the best results: 93% precision and 88% recall on a database of ca. 10,000 mixed names. Our method can be applied to a variety of natural language processing tasks such as information extraction, machine translation, anaphora resolution or large-scale delivery or email correspondence, among others.
COMPETÊNCIA EM INFORMAÇÃO (CoInfo): NUANCES TRAZIDAS PELO PARADIGMA PÓS-CUSTODIAL AO PROFISSIONAL ARQUIVISTA NA ATUALIDADE

It addresses theoretical questions that surround the thematic information literacy directed to the professional Archivist.It aims to understand the effects brought by the impact of the post-custodial paradigm on the field of action of the Archivist and on his professional practices.In this direction, uses the bibliographic review to achieve this objective and presents the paradigmatic transition through which Archival Science has become a driving force for the development of information literacy in the professional, as well as in the archival users.In this context, it is understood that the technological tools of communication have considerably altered the social environment and the ways in which individuals seek, access and disseminate information.It understands that in this era of innovations, the archival professional or information professional must be aware of the advances of the 21st century to develop their activities and assist their users in the processes of search, access and use of information, as well as Perspectivas em Gestão & Conhecimento, João Pessoa, v. 10, n. 2, p. 22-41, maio/ago.2020. 23to assertively identify the real informational need.It concludes that the archivist must seek mechanisms and methodologies that lead the user in the best way in the search and use of information, as well as that the subject should gain greater visibility in the scope of the Archival Science as a way to help and give more support to the scholars of the area in the area development of new studies.
Abstract domains in SMT solving for real algebra (invited talk)

SMT solving is a technology which aims at solving logical formulas over different theories. For real algebraic formulas, some SMT solvers make use of a method based on the cylindrical algebraic decomposition. We discuss relevant abstract domains in this context and illustrate how a modified abstract domain view can improve the solving techniques.
Analisis Spasial Tingkat Kerawanan Longsorlahan Di Kabupaten Kulonprogo Daerah Istimewa Yogyakarta

Disaster is an event or series of events that threatens and disrupts the life and livelihood of the community which is caused, both by natural and or non-natural factors as well as human factors, resulting in human casualties, environmental damage, property loss, and psychological impacts. One of example of natural disasters that often occur in Indonesia, especially in Kulonprogo Regency, is landslides. Landslide disaster in Kulonprogo Regency caused material and non-material losses so it is necessary to conduct a study about the vulnerability of landslides in Kulonprogo Regency.A study on landslide vulnerability in Kulonprogo Regency fulfilling several geographic concepts, including the concept of location both relative and absolute, distance, landslide agitation patterns, land forms and slope, area differentiation in Kulonprogo Regency, and spatial relation which each characteristic becomes a parameter in determining landslides. Landslide hazard mapping is carried out using a geographic information system (GIS). The analytical method used is a weighted tiered quantitative analysis method. A weighted tiered quantitative analysis is an analysis that provides a rating value but with a different weight for each parameter used (Adil et al, 2014). The weight given takes into account the effect of each landslide hazard parameter. According to the method of Kusratmoko et al (2002) the parameters used in determining landslide vulnerability include slope slope, land use, soil erodibility, and rainfall.Landslide vulnerability in Kulonprogo Regency is divided into 5 hazard classes, namely non-vulnerable, a bit vulnerable, quite vulnerable, vulnerable, and very vulnerable. The landslide hazard class that dominates Kulonprogo Regency is the non-vulnerable landslide with an area of 26,454.42 ha or 46% of the total area of Kulonprogo Regency which is distributed in the south to the north from the east to the middle. Meanwhile, very vulnerable landslide hazard was 526.38 ha or only 1% of the total area of Kulonprogo Regency and distributed in mountainous areas from west to south. A bit vulnerable class covering an area of 13,052.45 ha; quite vulnerable class covering an area of 13,456.84 ha; vulnerable class with an area of 3,454.25 ha. The landslide vulnerability is generally grouped according to the distribution pattern of the slope as the greatest influence of determining landslide hazard. These results indicate that a tiered-weighted quantitative method that takes into account the existing parameters is very helpful in mapping landslide hazard and needs further study.
INFORMATION LITERACY SKILLS FOR RESEARCH OUTPUT OF ACADEMIC STAFF IN POLYTECHNICS IN DELTA AND EDO STATE

The study investigated information literacy skills as correlates of research output of academic staff in Polytechnics in Delta and Edo States. Correlational and descriptive survey research design was used for the study. The population of the study is 3,101 lecturers in the 7 Polytechnics in Delta and Edo states. The study adopted quota-sampling techniques. Questionnaire was used for data collection. Data were analyzed using descriptive statistical tools. Hypotheses was tested using Pearson Product-Moment Correlation Coefficient (PPMCC) at 0.05 level of significance. The study found that level of research output of the lecturers was high; the level of information literacy skills of the academic staff was high; the extent to which Polytechnic academic staff information literacy skills affect their research output was high; the extent of scholarly publishing of lecturers was high; and there is significant relationship between information literacy skills and research output of lecturers. The study recommended that young and newly employed academics should be trained to fully acquire the information literacy skills for research output. The Polytechnics administration should endeavor to give research grants and incentives to the lecturers as these will serve as an encouragement towards higher research commitment and improved delivery of academic services. The study established that there is a high correlation between information literacy skills and research output of academic staff in Polytechnics in Delta and Edo states.