Reviewerly/exHarmony huggingface dataset:
Systematic Dimensional Exploration and Constructional Path of Construction System in Colleges and Universities

The style of study is the embodiment of the school's academic spirit, attitude and principle, the style of being a man and the embodiment of the school's temperament and soul.Grasp the essence of the style of study, avoid the misunderstanding of the construction of the style of study, based on the practice of the school in which the author is located, and build a systematic style of study construction system in eight aspects, such as guarantee, guidance, support, supervision, cooperation, support, guidance service and value orientation, so as to accomplish the fundamental task of building people by virtue in colleges and universities.
THE EFFECT OF PAIRED READING STRATEGY IN READING STUDENTS’ ACHIEVEMENT

: The aim of the study was to find out the effect of paired reading strategy in reading students’ achievement of  the Eighth Grade Students of SMPN 1 Teluk Bayur. The design of this research was quantitative design. The subject of the research was the eighth grade students of SMPN 1 Teluk Bayur. By using purposive sampling, the researchers found a sample in this research.  The sample of the research was class VIII C having 31 students which consisted of 17 female and 14 male students. Reading test in the form of multiple-choice which consisted of 20 questions was used to collect the data. To analyze the data, the researcher applied formula paired sample t-test. Based on the result of paired samples test, the mean scorewas 8.064 , standard error was 1.325, the value of tobtained was 6.084, at the significance level of p<0.05 in two-tailed testing and df=30. Since the value of tobtained (6.084) was higher than ttable (2.0423) and pvalue (0.00) was less than αvalue (0.05), it meant that  a paired reading strategy helped students learn easily to understand the content of the text.
Trend analysis in L-fuzzy contexts with absent values

Sometimes we have to work with  $L$-fuzzy context sequences where one or more values are missing. These sequences can represent, among other things, the evolution in time of an $L$-fuzzy context. The studies of tendencies that we have done so far used tools that are not valid when the $L$-fuzzy context has unknown values. In this work we address such situations and we propose new methods to tackle the problem. Besides, we use the study of tendencies to analyse relations between the objects and the attributes of $L$-fuzzy contexts and to replace the absent values  taking into account the behaviour of the sequence.
Bell-CHSH inequalities and non-locality of pure symmetric three-qubit States

We explore nonlocality of three-qubit pure symmetric states shared between Alice, Bob and Charlie using the Clauser-Horne-Shimony-Holt (CHSH) inequality. We make use of the elegant parametrization in the canonical form of these states, proposed by Meill and Meyer (Phys. Rev. A {\bf 96}, 062310 (2017)) based on Majorana geometric representation. The reduced two-qubit states, extracted from an arbitrary pure entangled symmetric three-qubit state do not violate the CHSH inequality and hence they are CHSH-local. However, when Alice and Bob perform a CHSH test, after conditioning over measurement results of Charlie, nonlocality of the state is revealed. We have also shown that two different families of three-qubit pure symmetric states, consisting of two and three distinct spinors (qubits) respectively, can be distinguished based on the strength of violation in the conditional CHSH nonlocality test. Furthermore, we identify {\em six} of the 46 classes of tight Bell inequalities in the three-party, two-setting, two-outcome i.e., (3,2,2) scenario (Phys. Rev. A 94, 062121 (2016)). Among the two inequivalent families of three-qubit pure symmetric states, only the states belonging to three distinct spinor class show maximum violations of these six tight Bell inequalities.
Поведінкові аспекти управлінських рішень.

Main factors that influence human behavior in the process of finding management solutions are identified. The essence of the concept of limited rationality, effect of possession and perception of justice is revealed.
An annotation system for specifying aliasing invariants on object fields

Aliasing is an essential concept in programming languages, used to represent self-referential structures and share data between components. Unfortunately, it is also a common source of software bugs that are often hard to find and fix. In response, a plethora of methods have been proposed to tame aliasing. They usually rely on uniqueness and/or immutability to establish strong safety guarantees, but are often too restrictive to write common idioms, as they generally enforce a single-writer policy. This paper suggests to relax this constraint by focusing on the specific parts of an object representation for which aliasing should be controlled, otherwise allowing unrestricted mutations of its fields.
Determination of photovoltaic power by modeling solar radiation with Gamma distribution in the CEDER microgrid

The article proposes a methodology applicable to any photovoltaic (PV) plant to obtain an approximation of the monthly production of solar array power. The analysis was carried out in seven systems, of different technologies and capacities, connected to the microgrid of the Center for the Development of Renewable Energies (CEDER) belonging to the Center for Energy, Environmental and Technological Research (CIEMAT) in Soria, Spain. The proposal simulates radiation by combining and crossing two Gamma probability distributions, representing the days with the best and worst solar resources, respectively. As a result, a matrix was created with 12 variables that define the monthly behavior of the radiation. On the other hand, the granularity of the PV generation was homogenized to know it at any moment through polynomial functions. Once both characterizations were known, it was possible to predict the monthly power of each PV array. The methodology has been validated with the measurement approximation index, developed in the text, and with specialized software. The results presented will help in the dimensioning of a backup model and will collaborate in the adequate management of energy.
Context-aware Generation of Proof Scripts for Theorem Proving

Formal verification is a trustable method to produce correct, safe, and fast code. However, the cost of formal verification remains prohibitively high for most projects, as it requires significant manual effort by highly trained experts. In this paper, we propose a novel approach to proof automation in Coq that generates proof script based on context-awareness. We develop AutoMagic, an automatic theorem proving framework, which can use the generated proof script to achieve a fully automatic proof of the theorem. Our method is simple but pushes the limits of automatic proof. The performance of AutoMagic is evaluated in the Coq standard library. We show that 37.87% of the theorems can be proved in a push-button mode, and can be used to prove new theorems not previously provable by automated methods.
ICS International Chronostratigraphic Chart 2019/05

Units of all ranks are in the process of being defined by Global Boundary Stratotype Section and Points (GSSP) for their lowerboundaries, including those of the Archean and Proterozoic, long defined by Global Standard Stratigraphic Ages (GSSA). Charts and detailed information on ratified GSSPs are available at the website http://www.stratigraphy.org. Numerical ages are subject to revision and do not define units in the Phanerozoic and the Ediacaran; only GSSPs do. For boundaries in the Phanerozoic without ratified GSSPs or without constrained numerical ages, an approximate numerical age (~) is provided. Numerical ages for all systems except Quaternary, Cretaceous, Triassic, Permian and Precambrian are taken from ‘A Geologic Time Scale 2012’ by Gradstein et al. (2012); those for the Quaternary, Cretaceous, Triassic, Permian and Precambrian were provided by the relevant ICS subcommissions. Coloring follows the Commission for the Geological Map of the World (http://www.ccgm.org). To cite: Cohen, K.M., Finney, S.C., Gibbard, P.L. & Fan, J.-X. (2013; updated 2019/05)The ICS International Chronostratigraphic Chart. Episodes 36: 199-204.
Research on Operation Mode and Risk Prediction of Security Vulnerability Platform

In the Internet age, the acquisition and trading of security vulnerabilities will become a hot spot. This paper firstly analyzes the background and definition of network security vulnerabilities, then analyzes the existing security vulnerabilities platform in the market, and finally introduces the Markov model with profit risk analysis to evaluate the profit of related companies. The experimental results show that in the market environment, different security vulnerability platform companies have the opportunity to profit and share the entire growing market, but the risk of loss still exists.
Digital relationship genres

This article is about two particularly popular digital genres: the blog and the vlog. “Prescribed” technogenres, they do not exist offline, and their discursive production formats are strongly constrained by their technological environment. Prototypical and emblematic of Web 2.0, they present a plurisemiotic character where communicative modalities intermingle (textual, iconic, video, etc.). In this article, the blog and the vlog are described according to the recent theoretical framework of digital discourse analysis. After characterizing the digital enunciation of these two technogenres, we interrogate their relational structure between, on the one hand, technodiscourse and, on the other, between ecrilecteurs. In conclusion, a definition of the “digital relationship genre” is proposed.
АНАЛИЗ ПЛОТНОСТИ РАСПРЕДЕЛЕНИЯ ОШИБОК В ОПРЕДЕЛЕНИИ КООРДИНАТ ОЧАГА ЗЕМЛЕТРЯСЕНИЯ ПО МЕТОДАМ СФЕР И ЭЛЛИПСОИДОВ

Objectives The purpose of the study is to obtain an expression for determining the coordinates of the earthquake focus using the ellipsoid method, as well as testing the possibility of using the method using the figures of the second order of the ellipsoid during the initial determination of the coordinates of the earthquake hypocenter. Method A comparative analysis of the probability density of errors in the hypocentral zone of the earth's surface, in combination with various spheres, ellipsoid and hyperboloid and ellipsoids, is carried out. Result Obtained an expression for determining the coordinates of the earthquake focus by the method of ellipsoids, as well as the density of the distribution of error probabilities in the determination of the earthquake hypocenter the in calculations by the method of spheres, by the combined method of spheres, hyperboloid and ellipsoid, and also by the method of ellipsoids. Conclusion Methods used to determine the coordinates of the hypocenter ellipsoid, have large errors in comparison with the method of areas. This can explained by the fact that in determining the coordinates of the hypocenter in the sphere method, three errors are used in determining the difference in the travel times of seismic waves, while in the ellipsoid method and the combined method of the sphere of the ellipsoid and hyperboloid have four errors, which introduces final errors in the distribution. All the obtained dependences of the error distribution have the form close to the Cauchy distribution.
Programmable Integrated Photonics for Classical Applications

Programmable photonics can also be applied to classical systems. While these systems rely mainly on pure fixed application-specific photonic circuits, the advantages of programmability are decisive when systems grow in complexity. This chapter reviews application areas where programmable photonics can enable technology: optical switching interconnection and routing to provide myriad powerful solutions that encompass broadcasting and wavelength selective operation; artificial intelligence (AI) and neurocomputing to enables the implementation of reconfigurable analogue cores required for the operation of neural networks and neurophotonic systems. Microwave and analogue photonics are particularly appealing areas which require substantial cost reductions and broadband operation flexibility simultaneous with most of the required functionalities in a single chip, which span 5G communications, satellite payloads, electromagnetic and photonic radar, Internet of Things and autonomous driving. Finally, it covers optical signal processing, including examples in signal filtering and sensing, controllable Talbot effect and more speculative futuristic applications, e.g. synthetic domains.
ТЕОРИЈЕ НАСТАНКА ПРОБЛЕМА ПРИ КОРИШЋЕЊУ СИСТЕМА ВИРТУЕЛНЕ РЕАЛНОСТИ

Virtual reality has the potential to be applied in many fields, including education, medicine, scientific research, etc. Yet virtual reality technology itself is under-explored. Considering the impact of the virtual environment on the experience of the participants and the problems encountered when using them, they should be considered from the early stages of its design, as the capabilities and limitations of users can greatly affect the effectiveness and usability of the virtual environment. Earlier studies of virtual environments have focused on the development and application of technology itself, and it is only in recent years that emphasis has been placed on use problems that include the human factor. The technology of virtual reality systems is evolving rapidly, but these developments can be slowed down by the perceived negative symptoms and effects that occur with users when interacting with the virtual environment.
การพัฒนาคู่มือและนวัตกรรมภาษาอังกฤษเพื่อเตรียมความพร้อมในการทำงาน ด้านอุตสาหกรรมบริการสาขาการบริการการท่องเที่ยวในประชาคมอาเซียน สำหรับนักศึกษาวิทยาลัยการอาชีพจอมทอง

The research on “Development of English Innovation and Guidebook for Working Preparation about Hospitality Industry Concerning Tourism Services in ASEAN Community for Chomtong Industrial and Community Education College   Students aimed to 1) construct an English innovation and guidebook using communicative approach to prepare about hospitality industry concerning Tourism Services in ASEAN Community for Chomtong Industrial and Community Education  College   Students and 2)  find the difference between the students’ achievement before and after using English Innovation and Guidebook. The population were  29 2nd year Vocational Certificate students studying in the first semester, academic year 2017.  The research instruments consisted of a questionnaire, 4 units of English Innovation with QR code and Guidebooks, and 30 items of English test .  The data obtained were analyzed by using efficiency test, mean and standard deviation.  The results were as follows:  1) The efficiency level of the English Innovation and Guidebook was at 76.03/75.75  2) The difference between students’ achievement before and after using English Innovation and Guidebook was 11.90.
Comparison of CAS and Manage Oauth in Single Sign on (SSO) Client Applications

Single Sign On is one of the systems that have been developed long ago to meet the expectations of developers to provide ease and convenience of accessing data. In the development of the system, methods and protocols have been formed in varied ways to suit the needs of the developers . In a variety of methods and protocols , a developer can choose the architecture and protocols that can be used to develop the system. Central Authentication Service and Open authorization is two Single Sign On systems most widely used in the manufacture of a web log . Both can be used as the basis for the application of the system of Single Sign On for developers who intend to design a login system that is safe and comfortable , so that developers can create a system that suits his desire .
Use of ICT in Higher Education, University Teacher Prospective an Analysis of Categorical Data

This primary study uses of ICT in higher education, university teacher prospective analysis of categorical data using r programming tries to explore the satisfaction of ICT uses in higher education of university teacher on Prithvi Narayan campus Pokhara. The primary data were collected from February to March 2020. Although there was a large research gap in many researchers to analyze accurately if the variable is in categorical type. This research tries to meet the gap between the selection of appropriate tools for a categorical questionnaire survey of 32 university teachers.  The satisfaction of teachers’ concepts regarding the use of ICT to enhance student educational quality had expressed on different Likert scale could be summarized with the count, 93 percent of university teacher was satisfied for ICT use in classroom teaching. The chi-square value p equal to 0.08 signifies there was not rejection evidence of avoiding the null hypothesis. The different bar plots with a colorful image and their percentage and count could easily plot using r programming.
Проректоры российского университета: социологический портрет и структурные изменения

The article aims at studying the key features of the universities subordinate to the Ministry of Education and Science of the Russian Federation on the basis of monitoring their pro-rectors. The study is methodologically based on the the functional, bureaucratic, and structural approaches to the organization management. The main research method is the analysis of documents and materials from the official websites of Russian universities in order to obtain analytical data on their pro-rectors’ gender, age, academic degree and rank, work experience, and activity profile. The sample totals 239 universities, which are departmentally subordinated to the Ministry of Education and Science of the Russian Federation. The study was conducted in 2018–2019, the results of the 2006, 2008, 2012 analysis having been taken for comparison. The results of the research presented in the article include a generalized sociological portrait of a Russian university pro-rector and an analysis of changes in the pro-rectors’ structure according to the functional areas of their activities in universities. The study has certain limitations and possible consequences concerning a number of changes, which require a systematic search and justification of ways to increase the role of university pro-rectors in building a university’s reputation. These changes might be a basis for further special studies. In accordance with the latest changes in the management system of higher education, considering the features identified in the pro-rectors’ structure according to the functional areas of their activities in universities will allow university management to focus on the most significant areas of responsibility in the university management system, and on this basis to increase the reputation and competitiveness of Russian universities. Here, this research comes to be essential, as it shows a Russian university pro-rector’s sociological portrait and today’s features of the functional areas distribution of pro-rectors’ responsibility. It is proved that a prerequisite for forming a university’s sustainable competitiveness and maintaining its reputation at a high level is pro-rectors’ more active participation in managing the functional areas of a higher educational institution’s activity.
Fundamental study for Structural Analysis using Machine Learning

In design process, recent digitizing technologies make total cost reduced, however CAE computation relatively becomes larger than before. In the situation 1D-CAE or model-based simulation techniques become popular in the early stage of design process. Machine learning has an ability to reduce more cost, however accurate regression using machine learning should be established. The important point is data design and amount of data to be trained for machine learning. Material design and numerical fluid dynamics should handle a large amount of data and those data is the effective learning data. Many successful research works using machine learning are reported recently. On the other hand, in the fields of stress analysis or structural analysis, several research works are only presented. In this work, we propose an effective input data augmentation technique for convolutional neural network to be applied to accurate regression prediction. In engineering phenomena, several important parameters make a formula with polynomials using the parameters. Possible polynomials are computed in advance and the polynomials are arranged in grid like a digital image. The arranged polynomials are an augmented input data of convolutional neural network for regression prediction. All of input values are normalized between 0 to 1 or -1 to 1. The corresponding output data with input data are also normalized. Furthermore, usual data augmentation is conducted to prevent overfitting.
Image SR-based NLM and DCNN improved IBP with cubic B-spline

Image super-resolution (SR) techniques aim to estimate high-resolution (HR) image from low-resolution (LR) image. Existing SR method has slow convergence and recovery of high-frequency details are inaccurate. To overcome these issues, two algorithms have been proposed for image SR based on non-local means improved iterative back projection (NLM-IIBP), deep convolutional neural network improved iterative back projection (DCNN-IIBP) to produce high-resolution images with low noise, minimal blur by restoring high-frequency details. In NLM-IIBP denoised images have been interpolated using cubic B-spline interpolation and processed using IIBP based on guided bilateral method. NLM preserves the edges effectively, but does not consider high dimensional information and over smoothing during noise minimization. To further improve the resolution, NLM is replaced by DCNN. DCNN denoising method suppresses different noises at different noise levels. The proposed algorithms have been analysed and compared with existing approaches using various parameters to prove the effectiveness.