Reviewerly/exHarmony huggingface dataset:
Using Model Scoping with Expected Model Elements to Support Software Model Inspections: Results of a Controlled Experiment

Context: Software inspection represents an effective way to identify defects in early phase software artifacts, such as models. Unfortunately, large models and associated reference documents cannot be thoroughly inspected in one inspection session of typically up to two hours. Considerably longer sessions have shown a much lower defect detection efficiency due to cognitive fatigue. Goal: The goal of this paper is to propose and evaluate a Model Scoping approach to allow inspecting specific parts of interest in large models. Method: First, we designed the approach, which involves identifying Expected Model Elements (EMEs) in selected parts of the reference document and then using these EMEs to scope the model (i.e., remove unrelated parts). These EMEs can also be used to support inspectors during defect detection. We conducted a controlled experiment using industrial artifacts. Subjects were asked to conduct UML class diagram inspections based on selected parts of functional specifications. In the experimental treatment, Model Scoping was applied and inspectors were provided with the scoped model and the EMEs. The control group used the original model directly, without EMEs. We measured the inspectors’ defect detection effectiveness and efficiency and collected qualitative data on the perceived complexity. Results: Applying Model Scoping prior to the inspection significantly increased the inspector defect detection effectiveness and efficiency, with large effect sizes. Qualitative data allowed observing a perception of reduced complexity during the inspection. Conclusion: Being able to effectively and efficiently inspect large models against selected parts of reference documents is a practical need, in particular in the context of incremental and agile process models. The experiment showed promising results for supporting such inspections using the proposed Model Scoping approach.
Buku Ajar Tematik Berbasis Muatan Lokal untuk Kelas IV Sekolah Dasar

&lt;pre&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; The purpose of this development research is to produce textbooks based on local content in Kabupaten Tulungagung for grade IV Primary School. Textbooks based on local content can be used as one learning resource in learning. The textbook product is developed based on the steps of the 4-D development model. Validation and test results that have been done, obtained data that is (a) the validation of the student's book reached a percentage of 85.34% with criteria is very valid; (b) the result of the attractiveness test on the student's book reaches 89.44% percentage with very interesting criteria; (c) the results of the practicality test students and teachers reached a percentage of 87.84% with very practical criteria; (d) the effectiveness test results that the learning outcomes have improved by comparing pretest and posttest results. &lt;/pre&gt;&lt;pre&gt;&lt;strong&gt;Abstrak:&lt;/strong&gt;&lt;em&gt; &lt;/em&gt;Penelitian pengembangan bertujuan untuk menghasilkan buku ajar berbasis Muatan lokal di Kabupaten Tulungagung untuk kelas IV Sekolah Dasar. Buku ajar berbasis muatan lokal dapat dijadikan salah satu sumber belajar dalam pembelajaran. Produk buku ajar dilaksanakan dengan langkah-langkah model pengembangan 4-D. Hasil validasi dan uji coba yang telah dilakukan, diperoleh data yakni (a) hasil validasi terhadap buku siswa mencapai persentase 85.34% dengan kriteria sangat valid; (b) hasil uji kemenarikan terhadap buku siswa mencapai persentase 89,44% dengan kriteria sangat menarik; (c) hasil uji kepraktisan siswa dan guru mencapai persentase sebesar 87.84% dengan kriteria sangat praktis; (d) hasil uji efektivitas bahwa hasil belajar mengalami peningkatan dengan membandingkan hasil &lt;em&gt;pretest&lt;/em&gt; dan &lt;em&gt;posttest&lt;/em&gt;.&lt;/pre&gt;
ORGANIZATION OF EDUCATIONAL ACTIVITIES OF VOLUNTEERS AS A SOCIAL AND EDUCATIONAL PROJECT

Purpose of Study: The article is devoted to the study of the organization of educational activities of volunteers as a social and educational project. It is established that the strategic goal of the new generation of Federal-state educational standards is the formation of graduates ' competences. A framework of competence approach helps to gradually transfer the student from learning activities to his future professional activities. In this article, the authors identify the activities of volunteers as one of the ways to adapt students to real working conditions. The article reveals the essence of volunteer activity, which allows to acquire new and improve existing competencies as a social and educational project. In the Nizhny Novgorod State Pedagogical University named after KozmaMinin, the development of volunteer activities proceeds through the work of The center "territory of opportunities", implemented within the framework of the project "Social and educational environment", in which a sufficient number of stakeholders are involved, providing students with the opportunity for further employment. The article also highlights the activities carried out by the Center, for which volunteer students are offered a lot of special courses (social design, robotics, ZD-modeling). On the basis of the revealed facts, the positive effect of volunteer activity for all participants of this process is established.&#x0D; Methodology: The paper presents an analysis of employed student volunteers. As practice shows, students engaged in volunteer activities, quickly enough to get a job in the profession, unlike students who do not have the experience of volunteering. 49% of volunteers work on a permanent or partial basis, while students without volunteer experience employ only one in three students (33%) [Pavlov, Kindaev, Vinnikova, &amp; Kuznetsova, (2016)]. In order to identify the positive impact of this activity on the development of students as professionals, we have shown the activities Of the center "territory of opportunities", which operates in the Nizhny Novgorod state pedagogical University named after KozmaMinin.&#x0D; Results: Results showed ha students engaged in volunteer activities are more satisfied with their leisure time compared to ordinary students. In addition, the study showed that those students who have devoted their time to participate in volunteer activities are employed much faster than students who have not engaged in volunteering.&#x0D; Implications/Applications: The higher education institutions should make every effort to improve the conditions in which volunteer activities are carried out and offer ample opportunities for the development of the student's personality because students can easily employ both in the learning process and after graduating from high school.
Deterministic entanglement extraction

We propose a scheme for a deterministic extraction of entanglement by means of a reduction process involving local von Neumann measurements. In an example of a tripartite system, we show that by choosing appropriate measurement bases for a given qubit, one can map an initial three-qubit state into outcome pure bipartite states with the same amount of entanglement of formation. In addition, by optimizing local projective measurements, one can efficiently convert higher-order correlations, contained in a multipartite state, into their lower-order counterparts, and thus significantly enhance the initial (reduced mixed-state) entanglement. We find the analytical expressions for the bounds of the deterministically extracted entanglement and relate them with the initial three-tangle and bipartite (mixed-state) concurrences.
The Construction of the Territorial Image in Tourism Websites: The Case of the Veneto Provinces

Websites are popular platforms for institutional Tourist Boards that want to promote their territories to visitors from all over the world. When tourism promotion is directly conducted by local institutions it entails greater responsibilities for the promoters since they are the real, actual territory introducing itself to prospective tourists. Therefore, the construction of the territorial image is fundamental to convey the aspects that best symbolize the land and that, eventually, will be the reason why tourists will choose to visit the area. This study investigates how local institutions in the Italian region of Veneto promote their districts (a.k.a. ‘provinces’) both in English and in Italian. To do so, the official tourism websites of the seven Veneto provinces are considered. The corpora, composed of texts taken from the websites, are examined quantitatively and qualitatively to identify the most recurrent keywords used in the texts. The aim is to identify the most representative aspects chosen by the seven territories as their symbolic markers, i.e. elements typical of a destination that are selected to provide an iconic, but also stereotypical, image of the local culture they are promoting.
Analogics and its Cognitive Efficiency

Analogy is a logical methodology, which can maximize the efficiency of human reasoning.Notwithstanding, few papers analyzed its logical characteristic.In this paper it is claimed that analogy is a typical form of logics, and the term and concept "analogics" is suggested.The reasoning principle, structure and process of this logicis are shown with some examples.It is certain that the analogics has great cognitive efficiency but it must obey rules to acquire the logical validity.
Construction and Application of Grammar Teaching Model in College English Education Major

English grammar is the game rule of English language movement, the indispensable condition for learning, mastering and using English, and the key to opening the door of English skilled communication. In contemporary college English teaching, the grammar teaching mode obviously lags behind the actual needs of English teaching. Comparatively rigid and single cramming teaching mode prevails, which is not conducive to the long-term development of English teaching. According to the present situation of English grammar teaching, this paper puts forward some corresponding countermeasures for the problems in English grammar teaching.
The Mineralogical Society of America Turns 100

The society that led scientists through some of the most groundbreaking discoveries of the past century looks ahead to the next challenges with a Centennial symposium in late June.
Effective Method of Fake Currency Detection System using Image Processing

This study will provide information about the different methods and algorithms used for fake currency detection system. The fake currency detection system is developed to detect the fake currency by applying different techniques and methods on currency note. F ake currency can be found only in high denominations like 10,000 kyats and 5,000 kyats in Myanmar. The increasing technological advancements have made the possibility for creating more counterfeit currency which is circulated in the market which reduces the overall economy of the country. This system consists of many steps like input image, preprocessing, feature extraction, comparison and output image. There are various ways to acquire image such as with the help of camera or scanner. Acquired image should retain all the features. Acquisition of image is process of creating digital images, from a physical scene. Here, the image is captured by a simple digital camera such that all the features are highlighted. Image is then stored for preprocessing. After preprocessing apply the image segmentation and features extraction. Finally compare the image into original image and then output the image. The result will predict whether the currency note is fake or not. 800x600 Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable{mso-style-name:Table Normal;mso-tstyle-rowband-size:0;mso-tstyle-colband-size:0;mso-style-noshow:yes;mso-style-priority:99;mso-style-parent:;mso-padding-alt:0in 5.4pt 0in 5.4pt;mso-para-margin:0in;mso-para-margin-bottom:.0001pt;mso-pagination:widow-orphan;font-size:10.0pt;font-family:Calibri,sans-serif;mso-bidi-font-family:Times New Roman;} Effective Method of Fake Currency Detection System using Image Processing 800x600 Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable{mso-style-name:Table Normal;mso-tstyle-rowband-size:0;mso-tstyle-colband-size:0;mso-style-noshow:yes;mso-style-priority:99;mso-style-parent:;mso-padding-alt:0in 5.4pt 0in 5.4pt;mso-para-margin:0in;mso-para-margin-bottom:.0001pt;mso-pagination:widow-orphan;font-size:10.0pt;font-family:Calibri,sans-serif;mso-bidi-font-family:Times New Roman;}
Email Security Classification of Imbalanced Data Using Naive Bayes Classifier

Email is a widely accepted communication method even in large cooperates.However, it is not a safe platform for the companies due to the risk of information leakage, spamming or privacy threat.Corporate-based email systems have different standard etiquette's.It should ensure that the personal information of a company is not being leaked.It is a very hard task for the cyber team to manually check and verify the outbound emails from a company that the private information or important documents of the company is kept safe.So, in the present work we introduce a system to scrutinize the number of outbound emails that the manager has to check by classifying them according to their security levels.This inturn curtails the effort for the cyber security team within the company.The email dataset of all the employees within the company is first obtained in the form of a csv file and is then fed into the classifier to train them and classify new mails according to their security levels.The emails are pre-processed first before classifying them in real time.The high security mails are then send to the manager for verification.And the mails are either forwarded or discarded.
A Fully Conservative Parallel Numerical Algorithm with Adaptive Spatial Grid for Solving Nonlinear Diffusion Equations in Image Processing

In this paper we present simple yet efficient parallel program implementation of grid-difference method for solving nonlinear parabolic equations, which satisfies both fully conservative property and second order of approximation on non-uniform spatial grid according to geometrical sanity of a task. The proposed algorithm was tested on Perona–Malik method for image noise ltering task based on differential equations. Also in this work we propose generalization of the Perona–Malik equation, which is a one of diffusion in complex-valued region type. This corresponds to the conversion to such types of nonlinear equations like Leontovich–Fock equation with a dependent on the gradient field according to the nonlinear law coefficient of diffraction. This is a special case of generalization of the Perona–Malik equation to the multicomponent case. This approach makes noise removal process more flexible by increasing its capabilities, which allows achieving better results for the task of image denoising.
Proceedings of the 12th Art of Record Production Conference : Mono: Stereo: Multi

Editor’s PrefaceThe 12th Art of Record Production Conference (ARP2017) - Mono: Stereo:Multi was held at the Royal College of Music, Stockholm, Sweden, December1 - 3, 2017. ARP2017 was organized in ...
INFORMATION AND EDUCATIONAL ENVIRONMENT FOR MONITORING AND FORMING A CUMULATIVE ASSESSMENT OF A STUDENT’S ACADEMIC WORK IN A SEMESTER

The article discusses the use of the student's cumulative assessment system of academic progress as a valid element of e-learning in universities. Today, online learning is becoming mainstream. Training on online platforms is convenient and interesting, however, it is not acceptable for all students due to the need to conclude network contracts or lack of regulations on how to recalculate the results of online training at the university, etc. Using the cumulative system becomes the mechanism that solves the issue of e-learning at universities, including using distance learning technologies, without cooperating with the online platforms. The suggested approach is a new one. The purpose of the article is to study the electronic information and educational environment of the university to monitor the students’ progress. The recommended assessment means the cumulative assessment, which reflects the consistency of knowledge of the student as a participant in the training process. The recommended assessment is suggested by the information system and is calculated using a mathematical model that considers all types of student work. The assessment becomes the main one and should be considered during an interim assessment. The study of the recommended assessment formation uses the methods of mathematical statistics, data grouping, associative data sets, data verification, database manipulation. The authors also give an optimal strategy for storing large amounts of data based on minimizing their volume while maintaining the necessary access speed.
BlackLivesMatter and hashtag activism in a critical discourse analysis perspective

This paper addresses the linguistic strategies used by so-called ‘hashtag activism’, i.e. grassroots activism that pre-eminently takes place on social media. It specifically analyses the discursive features of #BlackLivesMatter, a hashtag and socio-political movement that emerged online in the United States to characterise the strong opposition against what is seen by many as a form of institutionalised racism, as expressed mainly by alleged police brutality. Given that the protest provoked strong counter-reactions on social-media, also the hashtags #BlueLivesMatter and #AllLivesMatter – whose main objective is to delegitimize #BlackLivesMatter’s cause – are examined. The main premise of this research is that activist hashtags on Twitter work as ideological weapons serving the purposes of affiliation and group inclusion as well as polarization, exacerbating a ‘we versus them’ division, but, at the same time, encouraging the circulation of resistant or ‘counter-hegemonic’ discourses. The paper adopts a critical approach to the analysis of specific categories of language (such as agency, transitivity, lexical items, implications and presuppositions...) in a corpus of Twitter microposts, marked by the above-mentioned hashtags and retrieved from September to November 2018. The Appraisal Framework (Martin and White 2005) is also applied, as suggested in studies by Zappavigna (2012, 2018). The result is an exploration of how specific socio-political discourses are structured, contested and resisted in the context of social media and through the use of tags that are increasingly assuming a vital interpersonal function.
ARRANGING UNIVERSITY EDUCATIONAL PROCESS BASED ON THE REGIONAL COMPETENCE PROFILE

To date, there are not enough tools by which the high school would target a graduate to work in a particular company. Moreover, various bodies, even public ones, periodically request educational establishments to submit proposals for improving the staff selection and training practices. This is the relevance of our research. This article deals with a tool that allows an employer to reasonably select a university graduate who most fully meets the requirements of a particular company. Such a tool should be a mechanism for integrating the regional competence profile for the graduates. This mechanism can be implemented through the upload of students' academic project (term theses, projects, design graphics and research works, graduate thesis, etc.) in an electronic information system. In addition to the student’s study, the employer is offered access to abstracts, which contain a list of professional competences acquired by the student during the implementation of these studies. In addition, the employer is given the opportunity to write a comment regarding the relevance of the work and their final assessment, as well as suggest their own topic in the abstract. This will allow employers to track the professional growth of students they are interested in. In high school, this mechanism will affect the personal rating of the teacher - the head of the student’s academic work. Thus, the teacher motivated to increase their rating will be forced to make contact with employers through the online information environment to obtain relevant topics offered by them, and to improve the quality of students’ projects. The purpose of this study is to create a mechanism for integrating a regional competence profile of a graduate into a real educational process throughout the student’s entire learning path. The result of the study is a mechanism for the teacher to continuously have in mind the requirements of the regional labor market and design an in-demand competence profile throughout the student’s entire learning path. The study was carried out using the method of analysis, management in the chain "student-teacher-employer" on the basis of feedback, methods of observation and experiment.
Repository and CRIS interoperability issues within a 'connector lite' environment

Repositories continue to be systems designed principally for gathering, disseminating and preserving the intellectual output of research institutions and, in so doing, fulfilling the goals of Open Access (OA), generating global visibility for institutional research and collecting institutional research content in a single digital location. A CRIS, by contrast, tends to be more holistic in the nature of the information and data it is designed to curate; providing a comprehensive overview of contemporaneous institutional research activity by drawing together information from a number of disparate research-relevant sources, thus enabling improved administrative processes within research-intensive organisations. The differing functions of both systems is the pretext for many of the interoperability issues which now impede efforts to improve integration, data sharing, etc. between CRIS platforms and repositories. The purpose of this contribution is therefore to present the repository and CRIS configuration used at the University of Strathclyde, specifically the parallel operation of both EPrints and Pure. The contribution will review the technologies used and explore the technical obstacles which impedes greater technical interoperability, as well as some of the workarounds which have been deployed to improve integration and funder compliance. The use of a so-called ‘connector-lite’ approach to servicing the differing technical requirements of the repository will also be described.
Personalized Online Live Video Streaming Using Softmax-Based Multinomial Classification

As the demand for over-the-top and online streaming services exponentially increases, many techniques for Quality of Experience (QoE) provisioning have been studied. Users can take actions (e.g., skipping) while streaming a video. Therefore, we should consider the viewing pattern of users rather than the network condition or video quality. In this context, we propose a proactive content-loading algorithm for improving per-user personalized preferences using multinomial softmax classification. Based on experimental results, the proposed algorithm has a personalized per-user content waiting time that is significantly lower than that of competing algorithms.