Reviewerly/exHarmony huggingface dataset:
Transformational Verification of Quicksort

Many transformation techniques developed for constraint logic programs, also known as constrained Horn clauses (CHCs), have found new useful applications in the field of program verification. In this paper, we work out a nontrivial case study through the transformation-based verification approach. We consider the familiar Quicksort program for sorting lists, written in a functional programming language, and we verify the pre/-postconditions that specify the intended correctness properties of the functions defined in the program. We verify these properties by: (1) translating them into CHCs, (2) transforming the CHCs by removing all list occurrences, and (3) checking the satisfiability of the transformed CHCs by using the Eldarica solver over booleans and integers. The transformation mentioned at Point (2) requires an extension of the algorithms for the elimination of inductively defined data structures presented in previous work, because during one stage of the transformation we use as lemmas some properties that have been proved at previous stages.
UPAYA MENINGKATKAN KEMAMPUAN BERBICARA TEMA KEGIATANKU MELALUI METODE ROLE PLAYING

This research is motivated by the lack of students' ability to speak in the learning process, such as asking and answering teacher questions. Through the learning method role playing is expected to improve students' speaking ability. This research was conducted at SDN 005 Pulau Kumpai, Pangean District. The instrument used was the observation sheet of students' speaking ability. The results showed that the students 'speaking ability in the first cycle was 67.05 which is a sufficient category, this result has not reached the expected indicators so it was continued and made improvements in cycle II which resulted in students' speaking ability with an average percentage of 75.29 which was included in the category good. Based on the results of this study it can be concluded that the ability to speak the theme of my activities for grade 1 students at SDN 005 Pulau Kumpai, Pangean District can experience an increase through the learning method of role playing.
Analisa Dan Pengembangan Sistem Informasi Distribusi Dan Penjualan Cv Jogja Konveksi

The system applied by CV Jogja Convection which is one of the distributors in the city of Padang. In the data processing information system that supports sales which includes goods data, customer or customer data, and others. The design of this system is one of the choices to help the distribution of goods such as sales at CV Jogja Convection. The information system created is based on a website and has a function as a medium for the distribution of goods CV Jogja Convection. This web-based information system can speed up accurate data entry and fast search processes in sales information systems in particular.
Replacing Keywords with Word Clouds

Abstracts and keywords are commonly used to summarize articles.In this editorial, we introduce a third option: word clouds. 1 For understanding articles at a glance, they are far superior to keywords.Therefore, …Qualitative…Criminology (QC) is replacing keywords with word clouds.We are the first criminology journal, at least, to take this step.Below, we explain the decision and show you how to make word clouds for your papers.They are a great way to capture people's attention and get them reading.
Extending OCaml's 'open'

We propose a harmonious extension of OCaml's 'open' construct. OCaml's existing construct 'open M' imports the names exported by the module 'M' into the current scope. At present 'M' is required to be the path to a module. We propose extending 'open' to instead accept an arbitrary module expression, making it possible to succinctly address a number of existing scope-related difficulties that arise when writing OCaml programs.
A Wavelet Based Concatenation Algorithm for Gujarati Speech Synthesis

Speech is used to express information, emotions, and feelings.The goal of Text to speech system (TTS) is the automatic conversion of written text into corresponding speech signal.TTS system is widely useful for the people with disabilities and very useful tool for visually challenged person.TTS synthesizers are available in many Indian languages along with English.It has been observed that people feel more comfortable in hearing their own native language than other language.In this research work Guajarati language is used and small footprint of database is created.Gujarati (ગુ જરાતી) is an Indo-Aryan language spoken by the people of Gujarat.Indian languages are syllable centred, where pronunciations are mainly based on syllables.A Syllable can be the best unit for Indian language Speech synthesis systems.In this paper Wavelet-Domain algorithm is used for concatenation of extracted syllables.Different syllables are concatenated to get natural sounding words.Subjective listening test Mean Opinion Score (MOS) is carried out with list of questionnaires.
Socio-demographic profile of juvenile delinquent in Serbia

In this paper, there are analyzed data on socio-demographic characteristics of juvenile delinquents in Serbia. The evidence of the Statistical Office of the Republic of Serbia have been used for this purpose. The reference period for the analysis is between 2005, after the adoption of the new Law on Juvenile Offenders (2005) and 2016. The analysis is based on two research questions: a) what the socio-demographic characteristics of juvenile delinquents are and b) whether the observed characteristics change within the analyzed period. Based on identified characteristics, the aim of the analysis is to point out the possible factors that shape the juvenile delinquency, its features and change in contemporary Serbian society. The analysis has shown: a) previously observed oscillating trend in total number of cases of juvenile delinquency, b) low ratio of juvenile delinquents in total number of offenders with the modest tendency of increase during the analyzed period and c) moderate changes towards diversity of offenses. According to the data, typical juvenile offender is male, with no formal elementary education and often a dropout. Among convicted, one third lives in single-parent families. Observed typical characteristics do not necessarily cause juvenile delinquency among youngsters but may have a warning effect, especially if they act simultaneously, superposing mutual impacts and generating new risks.
The Level of Politeness in Indonesian Speech Act for Madrasah Aliyah Students in Multi-Ethnic Context

Polite language that applies in certain societies, but does not apply or is not suitable for other communities.The purpose of this study was to formulate a view on the level of courtesy of directive instructed speech acts by using certain speech strategies for Madrasah Aliyah students of their respective ethnicities in Padang City.This research will be conducted by distributing questionnaires online using the Google Form application.First rank is given to the formulation of suggestions.Second place to question preparation.The third rank for fenced performative, strong cues and subtle cues.Ranked fourth in the statement of desire.Ranked fifth to the statement of necessity.Sixth rank for explicit performative.The last rating for sentences with imperative mode.The three ethnic groups both chose the formulation of suggestions is the most polite speech and sentences in the imperative mode are the least polite speech.
Improved Mathematics Learning Outcomes with Powerpoint Media for Class 3 Elementary Student

&lt;p&gt;&lt;em&gt;The purpose of this study was to determine the increase in mathematics learning outcomes of subtraction material using powerpoint media for third grade students of SDN 03 Tegalsari.&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;em&gt;Data collection methods used include documentation, test, and observation methods.&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;em&gt;The research results obtained&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;em&gt;&lt;/em&gt;&lt;em&gt; &lt;/em&gt;&lt;em&gt;The average value of mathematics learning outcomes of class III students in cycle I was 66, in cycle II was 82 so that there was an increase in the average value from cycle I to cycle II&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;em&gt;&lt;/em&gt;&lt;em&gt;The percentage of students 'learning completeness in cycle I was 54%, in cycle II it was 92% so that there was an increase in students' learning completeness from cycle I to cycle II.&lt;/em&gt;&lt;/p&gt;&lt;p&gt;&lt;em&gt;Based on the information above, it can be concluded that: through powerpoint media it can improve mathematics learning outcomes in class III students of SDN 03 Tegalsari.&lt;/em&gt;&lt;em&gt;&lt;/em&gt;&lt;/p&gt;
First International Conference for Pure and Applied Sciences (ISCPS), Faculty of Science, University of Kufa, Najaf, Iraq

The ISCPS Proceedings volume contains the written versions of the contributions presented during the First International Conference for Pure and Applied Sciences (ISCPS), it had been held at Faculty of Science, University of Kufa, Najaf, Iraq(http://sci.uokufa.edu.iq/), at 13 and 14 July 2020, ISCPS also hosted a session from 3 rd Creativity and Innovation Forum which it’s had been held at University of Babylon. The Conference provided a forum for discussion and sharing between lecturers, researchers, academics, practitioners, communities, and Information technology specialists, from universities, research institutes, corporations, industries, the government, and the general public in terms of Pure and Applied Sciences in the aspect of Biology, Chemistry, Geology, Physics, and Mathematics. The conference has been a great opportunity for participants coming from UK, Turkey, Egypt, Lebanon, Qatar, Algeria, Syria, Iran, India, Pakistan, Malaysia, Palestine, Senegal, Morocco, and Many other Countries to present and discuss topics in their respective research areas. List of Conference Chairs, Editorial Committee, Organizing Committee (Faculty of Science, University of Kufa), Scientific Committee (Faculty of Science, University of Kufa), Invited Speakers, Organizing Institutions and Sponsors are available in this pdf.
Study on English Learning Motivations Based on the Grey Relation Analysis

Based on the Grey Relation Analysis (GRA), this study establishes an evaluation model of motivational factors influencing English learning achievement.Through a questionnaire survey among 266 first-year academic engineering graduate students, this study clarifies the impacts of achievement goal setting and self-efficacy (SE) on English learning achievement (ELA).The results show that: 1) Mastery approach goal, achievement approach goal, English learning behavior self-efficacy, English learning plan self-efficacy and English learning strategy self-efficacy have direct positive influences on English learning achievement, while mastery avoidance goal and performance avoidance goal have direct negative influences on English learning achievement; 2) Mastery approach goal has the biggest impact on self-efficacy, followed by achievement approach goal, English learning plan self-efficacy, English learning strategy self-efficacy, mastery avoidance goal, performance avoidance goal, and performance avoidance goal; 3) On the whole, English learning achievement is related more to achievement goal setting than self-efficacy.This study also demonstrates that compared with traditional evaluation methods of motivational factors, Grey Relation Analysis is superior for its objectivity.The results of the present study can give some hints on English teaching.
A Comparison Between Cytological and Histopathological Grading System in Cases of Breast Malignancy

Background&#x0D; Treatment of breast malignancies depends on its types and grades. Classification of breast lesion is usually based on the histological appearance of tissue in the tumor. Like histopathology, the diagnostic cytology is also a useful tool for the oncologist and surgeons. It is possible to grade breast cancer on fine-needle aspirates.&#x0D; Material and methods: &#x0D; A prospective study of FNAC of breast lesions was carried out along with its histopathological correlation. Malignant breast lesion diagnosed on FNAC were graded using Robinson's grading system and correlated with Elstons modified Bloom Richardson histological grading system.&#x0D; Results: &#x0D; The sensitivity, specificity and accuracy of the fine needle aspiration cytology to diagnose breast malignancy were 84.84%, 100.00% and 93.75% respectively. Out of 17 cases of Robinson gradeing on FNAC, 12(70.59%) cases were well correlated with Bloom-Richardson histological grade.&#x0D; Conclusion: &#x0D; Cytological grading is simple, less time consuming and with rare exceptions correlates precisely with the histological grade. It helps to know prognostic evaluation of breast carcinoma along with diagnosis.
Sequentially Estimating the Approximate Conditional Mean Using Extreme Learning Machines

This study examined the extreme learning machine (ELM) applied to the Wald test statistic for the model specification of the conditional mean, which we call the WELM testing procedure. The omnibus test statistics available in the literature weakly converge to a Gaussian stochastic process under the null that the model is correct, and this makes their application inconvenient. By contrast, the WELM testing procedure is straightforwardly applicable when detecting model misspecification. We applied the WELM testing procedure to the sequential testing procedure formed by a set of polynomial models and estimate an approximate conditional expectation. We then conducted extensive Monte Carlo experiments to evaluate the performance of the sequential WELM testing procedure and verify that it consistently estimates the most parsimonious conditional mean when the set of polynomial models contains a correctly specified model. Otherwise, it consistently rejects all the models in the set.
Estimation of the number of clusters on d-dimensional sphere

Spherical data is distributed on the sphere. The data appears in various fields such as meteorology, biology, and natural language processing. However, a method for analysis of spherical data does not develop enough yet. One of the important issues is an estimation of the number of clusters in spherical data. To address the issue, I propose a new method called the Spherical X-means (SX-means) that can estimate the number of clusters on d-dimensional sphere. The SX-means is the model-based method assuming that the data is generated from a mixture of von Mises-Fisher distributions. The present paper explains the proposed method and shows its performance of estimation of the number of clusters.
Research on Network Teaching Mode System

Network teaching, especially Internet-based network teaching, will impact the traditional teaching mode and become the mainstream teaching form in the new century.This article mainly expounds the characteristics and classification of network teaching mode, discusses the existing problems and solutions in current network teaching, and constructs the network teaching system structure.
ADAPTATION OF MODERN INFORMATIONAL AND EDUCATIONAL TECHNOLOGIES TO TEACHING OF PHYSCOLLOID CHEMISTRY

Adaptation of modern informational and educational technologies to the educational process in universities is a characteristic feature of a pedagogical science and its important component. Interactive computer models and innovative technologies are now widely used to promote cognitive learning activity of students at almost all departments of the university. Currently, the role of the media and informational environment, especially the Internet is steadily increasing. Among the undeniable advantages of the latest information technologies is providing the constant access to complete, up-to-date information in electronic format, the options to save data, to use them repeatedly. However, there is also a dark side of this issue. It may be difficult for students to navigate though a flux of multifaceted information, especially for the first and the second-year students when preparing to practical classes as they have not been taught to prioritize and to define the scope of the information they really need within the scope of the curriculum. This article is to analyze the ways of students’ adaptation to media and information technologies in the course of their university disciplines. This analysis was based on investigating the relevant reports of the conferences, reference literature, methodological guidelines as well as the experience of our department in delivering the course for the last period.
THE ATTITUDE OF STUDENTS TO PSYCHOLOGICAL HEALTH WITHIN THE PARAMETERS OF COMPETENCE APPROACH

The problem of a relatively new scientific orientation – the psychology of health, that studies the factors of psychological health of a personality, the methods and ways of its preservation, strengthening and development, was actualized. The parameters, according to which the constructiveness of competence approach is perceived in the aspect of the development among students of value attitude to their health in psychological sphere as an indicator of psychological maturity, were detailed. In accordance with the analytical work performed that was based on the synthesis of scientific literature, it was concluded that the scientific status of the notion “psychological health of a personality” wasn’t defined. It is stated that hitherto the confusion in using such close notions as “mental health” and “psychological health” dominates in the research works. Simultaneously the legality of scientific views is being proven, when psychological health is understood as a complex indicator that is the decisive requirement of a person’s self-actualization, his comprehensive development and functioning. The construct “mental health” ascertains the fact of the absence of psychosomatic health of a person. As a result of the analysis of scientific sources it was stressed on the most important attributive characteristics of the psychological health of contemporary studentship – the acceptance of responsibility for own life, self-understanding and “embracing your original self”, the ability to meet present-day challenges, the capability to understand others and awareness of individual existence. The basis of psychological health of a personality is a normative development of identity in the sense of “independent spiritual life”. Some results of conducted pilot research, that prove established by other researches tendency to mostly indifferent attitude of students to psychological health, lack of awareness of self-worth, are presented.
A Future Image for Web Services' Discovery with A Client Web Based Interface (Dept.E)

Web Services' discovery is a very important issue related to Web Services. From Syntax and using match-making words to semantic web and taking QoS parameters into account for selecting between Web Services having the same functionality for finding the best service that fulfills the customer's requirements . In this paper we put a future image for Web Services' Discovery by merging both UDDI and Search Engines, as the new trend in Web Services' Discovery is building a central repository storing all Web Services after collecting them from UDDI , different UBRS ... , this central point will be a reference to the client for searching the required Web Service Two datasets one contains 365 WS and the other 2500 WS used in the experimental work .Our work will cover two phases from the suggested model phase4 and phase6 fig. (3). Classifying Web Services before storing them will enhance the search process and it could be a step for building open web directory contain all Web Services like that used for searching web sites for a specified issue(ODP, DMOZ..), Online databases maintain a collection of structured domain-specific documents dynamically generated in response to users' queries instead of being accessed by static URLs. We also proposed a client GUI that will will enable the Web Service consumer to easily access data stored inside these databases that contain updated frequently data of Web Services information collected ,classified and stored using different crawlers. This will facilitate and enhance the Web Services' Discovery process , client will be able to select between Web Services due to QoS requirements and find the best Web Service that fulfills his/her requirements
The Influence of the Implementation of Affection-Based Learning With the Help of Poster Media to Improve Bahasa Indonesia Learning Outcome on Students of Grade V SD Inpres Sikumana 3 Kota Kupang

This research aims to identify the influence of the implementation of affection-based learning with the help of poster media to improve the learning outcome of Bahasa Indonesia of students of grade V SD inpres Sikumana 3 Kota Kupang.This research used quasi experiment method by applying research design of post-test only control group design.The data of the learning outcome of Bahasa Indonesia was obtained through a test of the subject.The population in this research was 65 students.33 students were selected as the sample taken using random sampling technique, data collection in this research used objective test method.The data obtained was analyzed using descriptive statistical analysis technique and single line ANAVA.This research result shows that there were influences of the implementation of affective-based learning with the help of poster media to improve the learning outcome of Bahasa Indonesia on students of grade V SD Inpres Sikumana 3 Kota Kupang.
Psychology And Pedagogy Of Creativity In The Light Of "Well-Rounded Knowledge" Concept

The development of creative abilities is a need of modern economy and society on the whole. It is perspective to approach the concept of "well-rounded knowledge" which was developed in XIX - XX by Russian holism philosophy which offers a specific variant of dialect synthesis which does not suppress and impoverish in abstract separate realities but unites their common ideas and strengthens their potential. Its ideas are widely used in studying modern problems nowadays. As the modern researches show that an art act is primarily connected with consciousness rather than with "superconsciousness" suppressing individual potential of human culture, we may find a direct connection of the "well-rounded knowledge" concept with the understanding of creativity abilities. At the same time orientation of "well-rounded knowledge" to multivariate dialect synthesis based on the materials of all spiritual and psychic abilities of a person such as cognitive, sensitive, values system, as well as all higher and lower levels of psyche, connects this conception with the problem of creativity. The basis of art thinking is a combination of what had never been mixed before. It is the synthesis of opposite things in the well-rounded thinking which includes image and symbolic component, the most valuable at the moment of synthesis. The "well-rounded knowledge" conception may be used as a method of studying different educational systems oriented to develop creativity. It helps to make a number of conclusions including methodological ones.