Reviewerly/exHarmony huggingface dataset:
A Web-Based Decision Support System for Quality Prediction in Manufacturing Using Ensemble of Regressor Chains

In this study we construct a decision support system (DSS), which utilizes the production process parameters to predict the quality characteristics of final products in two different manufacturing plants. Using the idea of regressor chains, an ensemble method is developed to attain the highest prediction accuracy. Collected data is divided into two sets, namely “normal” and “unusual”, using local outlier factor method. The prediction performance is tested separately for each set. It is seen that the ensemble idea shows its competence especially in situations, where collected data is classified as “unusual”. We tested the proposed method in two different real-life cases: textile manufacturing process and plastic injection molding process. Proposed DSS supports online decisions through live process monitoring screens and provides real time quality predictions, which help to minimize the total number of nonconforming products.
Bug Localization Using Multi-objective Approach and Information Retrieval

Detecting software bugs is considered to be an active area of research as bugs detected after the delivery of software is considered to be very expensive to deal with. Whenever a new software bug is detected, software developer faces extreme difficulty in detecting the exact location of the bug in the product. Identifying bugs efficiently through genetic algorithms is the active area of research nowadays. Based on the bug reports dataset, a self-operating genetic algorithm, Strength Pareto Evolutionary Algorithm (SPEA II) identifies and ranks the application files in the reference code as per their likelihood of carrying bugs. In the presented exposition, a text-mining strategy, term frequency–inverse document frequency (TFIDF) is applied for the proper ranking of application files. The ranking is based on the history-based similarity and lexical similarity within the generated report of bugs and the documentation of the application program interface (API). The striking feature of the paper is that a multi-objective approach is used to improve upon the conventional techniques such that contradictory demands of increasing the similarity index and minimizing the number of suggested classes are met simultaneously. Thus, the proposed new approach employs SPEA II as the multi-objective genetic algorithm to meet the conflicting demands and uses both history-based as well as lexical similarity for information retrieval and ranking.
A Robust Methodology for Creating Large Image Datasets Using a Universal Format

In this paper, an autonomous methodology to create large image datasets by cropping images from an elementary and universal format has been suggested. This format consists of rectangles which can vary in size, number, and position. This methodology enables us to extract thousands of images in a matter of minutes without much manual effort. The primary reason for developing such technique is that large datasets are required in order to train intensively deep and enormous networks, which are the foundation of Artificial Intelligence(AI) and Computer Vision. Using this methodology we can harness large datasets quite conveniently and without the use of any special equipment. Also, this format can be used to collect diverse dataset which can help engineers and researchers from various domains. Another benefit of this methodology is that the proposed format can be used in real-time applications as well. In the present work, we have used this methodology to collect handwritten image dataset written in the Punjabi language. This technique uses contours and edge detection to locate specific shapes and match their dimensions and locations with the described parameters. Using this technique we were able to collect handwritten image datasets from three different forms of the Punjabi language with high accuracies.
Modified Monarch Butterfly Optimization and Real-life Applications

In this chapter, a monarch butterfly optimization (MBO) method is discussed. In order to overcome some of the existing limitations, few modifications are also discussed, the new variant is known as novel monarch butterfly optimization with greedy strategy and self adaptive crossover operation (GCMBO). The nature inspired, MBO in-spite of various advantage as describe in previous chapter has some technical issues related to its conversion characteristics. So, a new variant of this MBO is suggest with salient features i.e. greedy strategy and self adaptive crossover operation which has improved global solution finding ability. This chapter will demonstrated the improvement done in the recognized version of MBO by help of its step by step algorithm, computer programming, relevant example and comparison done in the to version.
Developmental Education for University Students: Ways and Methods of its Organization

This article is devoted to the organization of developmental education of students of higher educational institutions. Based on works by I.A. Zimniaia, T.I. Iliin, V.V. Kraevskii, G.M. Kodzhaspirova, I.Ia. Lerner, I.F. Kharlamov and other researchers, the authors clarified the concept of “developmental education of university students", analyzed its components, systematized domestic and foreign experience in organizing developmental education in a higher educational institution. The article also presents the author’s set of pedagogical conditions, which contributes to the organization of developmental education for university students. This set includes the following components: correction of students' value orientations in the educational process of the university; the development of cognitive activity of students and the construction of the educational process at the university, subject to the requirements of a person-centered approach.
Cuckoo Search Optimisation — Modifications and Application

In this chapter, we present an illustration of basic cuckoo search optimization (CSO) algorithm. Generally, the parameters of CSO are kept constant. We also explore some of its modified variants from existing literature to improve its performance, i.e. modified cuckoo search by varying step size only, and an improved cuckoo search by varying both step size and probability index. The application of CSO algorithm to solve complex combinatorial optimization problems is also demonstrated. A real-life engineering optimization problem for designing the power system stabilizer parameters of multi-machine power system to enhance small-signal stability is solved by using CSO algorithm.
Formation of Skills to Implement Non-Traditional Forms of Control at Physics Lessons in the System of Masters Preparation in the Course 44.04.01 “Pedagogical Education”

The article presents a non-traditional form of knowledge control of master’s students in the direction of 44.04.01 “Pedagogical education”, profile “Physical education”. The authors worked out a system of additional tasks to test the knowledge gained by students during the development of the discipline “School physical experiment”. Each task is a small experimental study. To implement a differentiated approach to knowledge control, tasks are offered in three levels of complexity. The article provides several examples of such tasks and their possible solutions. To teach master’s students non-traditional forms of control, they are invited not only to independently do an experimental task and present the results of their work, but also to evaluate the work of other students using specially designed tables. When assessing the formed experimental skills of students, the professor takes into account both types of activity. Keywords: training of physics teachers, non-traditional forms of knowledge control, individual approach, multi-level experimental tasks.
Teacher’s Competency Model in Vocational Education and Training within Uncertainty of Labor Markets (On the Example of L.B. Krasin Moscow Vocational School of Creative Industries)

In the article the author presents a relevant experience of designing an actual competency model of an educator in vocational education and training (VET) which is based on the researches of the world and Russian labor markets. There is explained a term “innovative segment of a labor market” and given risks of vocational education and training in part of its interaction with this segment. The author made an analysis of trends affecting the vocational education and training development and analyzed data of the VET economics monitoring. The approach to designing a competency model of an educator in VET is described in consideration of the transforming role of an educator. The L.B. Krasin vocational school of creative industries experience in designing a competency model of an educator is presented, the competency models is given with detailed description of the competencies. Keywords: vocational education and training, VET, staff development, labor market, innovative segment human capital, educator, competency model.
Open schooling with inquiry maps in network education: supporting Responsible Research and Innovation (RRI) and fun in learning

This article discusses the open schooling approach which has been promoted by the European Commission for preparing learners in cooperation with partners to develop real-world issue projects and shape a desirable future together. This approach is designed to engage all participants with RRI - Responsible Research and Innovation (EC, 2015). The objective of RRI is to align research and innovation with societal needs and sustainable development goals (UNESCO, 2015) through the interaction of researchers with society. Open schooling for RRI is considered an interactive approach to help youth develop knowledge, skills, attitude and values for the 21st century. This study presents some contributions of using inquiry mapping (OKADA, 2006) as a participatory research-action method to engage multi-partners in an open network. This exploratory study supported by a set of examples from the literature provides recommendations for developing inquiry-maps for open schooling in network projects and facilitates fun in learning.
Research and Practice of College English Teaching Based on Production-Oriented Approach

With the continuous development of global economy, the probability of the use of English in various countries is also increasing.The responsibilities of college English teachers themselves are even more arduous.In order to teach more effectively, many teachers began to explore new and effective teaching methods under the background of teaching reform.Production-oriented approach is a new English teaching method, which can greatly improve students' English proficiency.This paper first introduces the meaning of production-oriented approach, then analyzes its influence on teachers and students, and finally expounds the application of the production-oriented approach in college English teaching, and discusses the construction strategy of the college English teaching model based on the production-oriented approach.
Efficient Forward-Secure Threshold Public Key Encryption

The purpose of forward-secure threshold public key encryption schemes is to mitigate the damage of secret key exposure. We construct the first CCA forward-secure threshold public key encryption scheme based on bilinear pairings with groups of prime order that is secure against adaptive and malicious adversaries in the standard model. Our scheme is very efficient since it has a non-interactive key update and decryption procedure. Additionally, our scheme does not require a trusted dealer and has optimal resilience as well as small ciphertexts of constant size. It is the first scheme which achieves all of these and that can also be implemented on standardized elliptic curves.
The Kanban Maturity Model in the Context of Common PI Models

The paper analyses potential impacts of the Kanban Maturity Model (KMM) on the current Software Process Improvement (SPI) Approaches as represented in the SPI Manifesto. Additionally, the paper presents and compares ISO/IEC 33014 (2013), the PEMM Model, ImprovAbility Model and Test Process Improvement (TPI) with KMM. It also contains a short comparison between the agile extension of TestSPICE and the KMM. In the last section the paper explores where the SPI community can benefit from ideas of the KMM.
Educational situations as a unit of events in the educational process

The article reveals the essence of the concept of the educational situation from the perspective of pedagogical design as a methodology and technology of modern education. The importance of designing educational situations as a micro-event of pedagogical reality in the context of the ideas of developing education is substantiated. The difference and similarity of concepts of the pedagogical situation, the learning situation and the educational situation is substantiated. A situation is educational if (a) its purpose is to increase the cognitive, operational or motivational resources of students, (b) it is specified with respect to the time it began and ended, and also the place in the educational process, (c) it suggests involvement and co-distributed activity of the participants in the educational process. The signs of the educational situation are discussed: openness, probabilistic nature, situatedness. A structural model of the educational situation is proposed and recommendations are given for scenarios of situations for developing education.
The concept of citizenship as the core of civic education

The article presents civic consciousness as a crucial component of civic education and the collaboration of a democratic state and civil society. The approaches to the definition of civic consciousness are analyzed. The forms and criteria of the formation of civic consciousness in the process of development of a democratic society are determined. A change of paradigm in scientific image about civic consciousness in various historical and political systems is demonstrated. The problem of civic consciousness forming as a unique quality of the postmodern era is part of the systemically important tasks of Ukrainian statesmanship. Its solution allows realizing the teleological maxim «free man - developed civil society – powerful state». The article states that one of the main goals of national education is to educate competent citizens of a law-governed democratic state, capable of political socialization, respect for rights and freedoms, fulfill the duties of a citizen, and have a civic identity based on national values.&#x0D; The phenomenon of civic consciousness and «civic» categories are components of civil society, operated in political participation (active or passive), and are a problematic area of principles for regulating political relations of society, the individual and the state. Civic consciousness indicates the level of development of democratic consciousness, acceptance by citizens of democratic values, experience of democratic relations, which determines the norms of social and legal collaboration of governmental authorities with civil society institutions and individuals. It is defined as a special property of a socially active, self-sufficient personality, which has a determination by the content of historical, civilizational and socio-cultural development.&#x0D; The process of acquiring civic qualities is considered in the context of a sociocultural context, when the demonstration of individual behavior is shown as a collaboration of subjective and objective factors. It is noted that the ontological existence of citizenship requires the development of qualities associated with political functions, that is, the ability to be included in the system of relations about power, the ability to collaborate with others for the sake of common goals, the ability to subject to personal interests to common.
Electronic Educational Resources as Pedagogical Toolkit in the Process of Teaching Pop Singing

One of the promising areas of development and perfection of the musical art of pop is the widespread deployment of information and communication (computer) technologies into the practice of learning variety singing. The best “educational toolkit” in this process would be to include specialized electronic educational resources – programs designed to optimize the work with the voice, to improve the effectiveness of the training of pop singer. The article focuses on classifying these kinds of educational resources, describing their functions and selection criteria. Methodical requirements for the preparation of a pop singer with the use of electronic educational resources are formulated, taking into account their pedagogical potential and the basic professional characteristics of learning variety singing. The functions performed in the educational process by electronic educational resources, which may be used as a kind of reference material in the practice of learning variety singing, are systematic. In general, it is shown that electronic educational resources involve different forms of educational content and pedagogical interaction, complement and expand the possibilities of traditional learning of variety singing, thereby contributing to the development and improvement of the performing skills of students.
Model of developing students' subject activity in teaching geography

The relevance of the article is due to systemic changes in the design and organization of schoolchildren’s activities in teaching geography. In accordance with the requirements of the Federal state educational system, basic General geographical education needs to expand the activity potential, which can be provided by implementing a modern model for the development of students ‘ subject activities. The article reveals the main components of the model, which is formed by the target, theoretical and methodological, content, procedural, evaluative and effective blocks. The article reflects some results of the experimental part of the research, including on the basis of scientific and educational platforms of the Department of methods of teaching geography of the Moscow Pedagogical State University.
A Validation Methodology for OCaml-to-PVS Translation

We present a methodology, called OPEV, to validate the translation between OCaml and PVS, which supports non-executable semantics. This validation occurs by generating large-scale tests for OCaml implementations, generating test lemmas for PVS, and generating proofs that automatically discharge these lemmas. OPEV incorporates an intermediate type system that captures a large subset of OCaml types, employing a variety of rules to generate test cases for each type. To prove the PVS lemmas, we developed automatic proof strategies and discharged the test lemmas using PVS Proof-Lite, a powerful proof scripting utility of the PVS verification system. We demonstrated our approach on two case studies that include two hundred and fifty-nine functions selected from the Sail and Lem libraries. For each function, we generated thousands of test lemmas, all of which are automatically discharged. The methodology contributes to a reliable translation between OCaml and PVS.
Physical Training-Basic Component in the Training of the Future Officers

Abstract This work is designed to challenge the maintenance of the highest standards of physical training required to perform armed tasks. It is desired to accumulate a development experience that will culminate with the set upof very well-trained leaders. The training of the military is based on physical training. It ensures the possibility and availability of the military to cope with combat missions, obligations in the military environment, ensures the maintenance and development of resistance to intense physical and mental effort, and develops self-confidence and teamwork. The physical training considers the fulfillment of some general objectives and of some specific objectives, absolutely necessary in the conditions of carrying out the combat actions.
Pengembangan Lembar Kerja Siswa Dengan Strategi React Pada Tema “Bermain di Lingkunganku” untuk Siswa Tunagrahita Kelas IV di Home Schooling Primagama Malang

Development of mentally retarded student worksheets using the strategies of relating, experiencing, applying, cooperating, and transferring (REACT) in Primagama Malang Home Schooling 4th grade is based on the fact that there are no thematic student worksheets for the theme "Playing in My Environment". So far the thematic learning at Primagama Malang Home Schooling is still in general, there are no elements of relating, experiencing, applying, cooperating, and transferring (REACT) in the evaluation of learning, this is evidenced by the developer having never met any thematic student worksheets in which using a strategy relating, experiencing, applying, cooperating, and transferring. The purpose of this study is to produce student worksheets using relating, experiencing, applying, cooperating, and transferring strategies on the theme of "playing in my environment" for mentally disabled students in class IV at Primagama Malang Home Schooling which is valid, practical and effective. The development of this teaching material uses the development of the Dick and Luo Carey design model. The results of this development produce student worksheets based on relating, experiencing, applying, cooperating, and transferring strategies for Grade 4 mentally retarded students at Primagama Malang Home Schooling. The products of the development are tested through several sequential stages namely validation of content experts, validation of learning design experts, validation of learning experts, as well as field trials. The results of the content expert research were 86% with very good qualifications, 86% of learning media experts with very good qualifications, 83% learning experts with good qualifications, 85% field trials with very good qualifications. Analysis of the data used Paired Samples T Test with SPSS 16 tools and the results of Sig 0,000 0.02 then Ho is rejected, meaning that there are differences in learning outcomes from classes that have used student worksheets. So it can be concluded that the use of student worksheets using strategies relating, experiencing, applying, cooperating, and transferring can improve the thematic learning of playing themes in my environment at Primagama Malang Home Schooling
Profile and funding of health research triggered by the COVID-19 pandemic in Brazil

Introduction: Facing COVID-19 pandemic challenges Brazil on taking actions to deal with the installed health crisis, and to choose which interventions are more efficient and effective with the problems arising from the new disease This picture of uncertainties has led to health research financing actions, which aim at scientific and technological improvement, supporting evidence-based decision making Objective: To map the health research funding opportunities to face the COVID-19 in Brazil, in terms of priority areas, funding sources and financial volumes Methods: We search public sources to map documents related to the promotion of research and innovation in health, with public and private sectors We conducted a survey directly on the websites of public research institutions and an unsystematic search to identify private financing, and categorized objects of the financing notice and calls identified in large areas and specific topics Results: We found 23 financing opportunities focusing on the combat of COVID-19 pandemic, covering 20 different financing agents in a total amount of BRL 337,460,612 00 Five public institutions finance 75 0% of the resources Conclusions: Despite the small amount of resources, there was an effort to promote health R&D in a timely manner, mainly by federal public agencies, with emphasis on CAPES and CNPq The most contemplated areas were the inputs needed to face COVID-19 (diagnostic tests, medical equipment and devices, medicines, vaccines and biological products) and telecommunication and information technologies However, the contributions covered practically all the important areas for knowledge, prevention and treatment of the disease It is noteworthy that health REtD in Brazil has had its resources significantly reduced since 2015