Reviewerly/exHarmony huggingface dataset:
A Trend Analysis of Studies on Non-curriculum based Teachers - Based on School Health Teachers -

The purpose of this study is to find research trends and observe future research directions on school health teachers. For this purpose, the electronic databases reviewed included: RISS, KISS, e-article, KoreaMed, KMBASE, and NDSL databases in Korea. The search terms was ‘school health teacher’ and publication period was set from January 1, 2002 to March 17, 2022. 86 journal papers were met the final conditions and analyzed using descriptive statistics. Research examining the actual conditions and phenomena was the most common with 79 studies, 4 studies(4.7%) verified the effectiveness of the program and qualitative studies accounted for 9.3%. As a result of analyzing the research contents focusing on the main variables dealt with in the study, the most common studies dealing with psychological characteristics(50%). Most of the studies, excluding the psychological characteristics of health teachers, were nursing-based studies dealing with health, and only 2.4% of the studies were pedagogy-based studies. Through this result, it was found that experimental study, tool development research reflecting health teacher specificity, and pedagogy-based research should be conducted more actively.
Historical Symbolism and Heritage Value of Bupyeong Armory

Recently, opinions on demolition and preservation are conflicting with each other over the traces and some of buildings of the Incheon Army Arsenal of Japanese Colonialism. The main reason for this conflict of opinions is that research or investigation on the historical meaning of the Incheon Army Arsenal and its ripple effects, which were created in the Bupyeong area under the Japanese colonialism, has not been dealt with in earnest from a comprehensive perspective. This study reveals the location background and main functions of the Incheon Army Arsenal in the Bupyeong area during the Japanese colonial era, focusing on related data at the time, while exploring the historical meaning of the Incheon Army Arsenal today to identify some of the buildings that made up the Incheon Army Arsenal. We tried to propose a solution to the recent disagreement over preservation and demolition
HYPERNOR project: high-resolution hyperspectral camera for microsatellites.

Hyperspectral cameras are capable of obtaining highly useful data for geology, agriculture, urban planning, and many other applications. Several satellite-based hyperspectral cameras are currently operational, providing hyperspectral data to various users. Even large instruments usually have relatively large ground sampling distance (GSD): 10m or larger in 400 to 1000nm range and 30m or larger in 900 to 2500nm range. GSD is even coarser in hyperspectral cameras for microsatellites. Based on the information from PRISMA 2021 Workshop and our customer’s feedback, the most requested feature for satellite-based hyperspectral cameras is significantly improved GSD. Also, there is a strong demand for smaller microsatellite-compatible hyperspectral cameras. Due to lower mission cost, such cameras can provide hyperspectral data to more users. Additionally, microsatellite constellations could provide swath and revisit time that would be impossible for a single large satellite. Creating a hyperspectral camera with acceptable Signal-to-Noise Ratio (SNR) and small GSD, that would be still compatible with a small platform, is a big challenge. Our approach has been to create a hyperspectral camera that would surpass the current limitations of small satellite platforms, and would provide data that, for some specifications, exceed what is available for free from large instruments. Our focus has been on providing significantly improved GSD, small spatial and spectral misregistration, while keeping acceptable spectral sampling and SNR. The instrument development has been funded by the Norwegian Space Agency. One of the proposed instruments has been selected by the Norwegian Space Agency as the primary payload on an upcoming Norwegian In-Orbit Demonstrator satellite.
Trans-RL: A Prediction-Control Approach for QoE-Aware Point Cloud Video Streaming

In point cloud video streaming systems, the field of view (FoV) prediction is critical for selecting the tiles, the objective of which is to optimize the expected long-term quality-of-experience (QoE) from the perspective of a user. On one hand, a satisfactory QoE accounts for not only the playback quality but also the playback smoothness. On the other hand, the large data volume of a selected tile requires the transmission to be adaptive to the system uncertainties. This paper applies a Markov decision process to formulate the problem of tile selection across the infinite discrete time horizon. In particular, a system state includes the FoV information, which is predicted from the Transformer. To alleviate the dependence on system uncertainty statistics, a deep reinforcement learning approach is derived for solving the optimal control policy. Under different settings, we conduct experiments based on the real throughput and head-mounted display data. The results show that compared to the existing baselines, our proposed prediction-control approach achieves a higher FoV prediction accuracy, better playback quality as well as smoothness, and hence a better average QoE for the user.
Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin’s Data Types with Coq-Elpi

In this paper we describe the design and implementation of feqb, a tool that synthesizes sound equality tests for inductive data types in the dependent type theory of the Coq system. Our procedure scales to large inductive data types, as in hundreds of constructors, since the terms and proofs it synthesizes are linear in the size of the inductive type. Moreover it supports some forms of dependently typed arguments and sigma types pairing data with proofs of decidable properties. Finally feqb handles deeply nested containers without requiring any human intervention.
Foreword to NEJLT Volume 8, 2022

An introduction to the Northern European Journal of Language Technology in 2022
Blockchain Cryptography and Security Issues

Transaction records and other user information are stored in blocks that form a distributed ledger called blockchain. For blockchain to gain widespread adoption, it is crucial that user and transaction data be kept safe. This technology provides cryptographically safe and anonymous financial transactions among the user nodes of the network allowing the transactions to be evaluated and authorized by all the users in a transparent environment. In this paper, we provide a comprehensive overview and classification scheme for all cryptographic ideas currently used in blockchain. Moreover, the current security issues of blockchain are shown, and a future research objective is predicted.
Distributed Energy Control System Based on Blockchain and 5G

In recent years, the application of blockchain in distributed energy transactions has been studied globally, but blockchain is difficult to apply to scenarios such as distributed energy control due to performance issues. For this reason, this paper proposes a distributed energy control system with blockchain and 5G fusion. Firstly, for the data characteristics of distributed energy control, deviated data transmission method is used to transmit reduced data volume, and 5G communication technology is adopted to further reduce communication delay and enhance security. Secondly, the nodes are ranked in terms of trustworthiness and the PBFT consensus algorithm is improved to reduce the number of communications. Then, distributed applications are implemented through smart contracts on the blockchain. Finally, simulation results show that the proposed method can achieve distributed energy control and is effectively compatible with malicious and faulty nodes.
Virtual puzzle as an interactive module of a multimedia resource ensuring art communication of primary schoolchildren in the process of distance art learning

The article highlights the issue of using a virtual puzzle in teaching of art to primary schoolchildren of institutions in general secondary education in the conditions of a distance learning – via asynchronous and synchronous forms. The main attention is focused on the need for art teachers to transform forms and technologies of working with students and to transfer the process of art education to the virtual space due to the challenges of the pandemic and the war in Ukraine in 2022. It is noted that of using the latest multimedia technologies is reasonable as a complex of information technologies with the possibility of combining different types of data (text, sound, graphics, video, etc.) working in dialog mode and creating multimedia tools for various purposes.A virtual puzzle is considered as an interactive module available for students to use and to create a new one on various online services or platforms. Online services that have greater potential for this module to use during art education in institutions of general secondary education are Puzzle It!, Jigsawplanet and LearningApps.org. The features of using ready-made puzzles from services and constructing new ones are described according to the subject of art lessons, lesson tasks (summarization of lesson or semester material, formative types of assessment, etc.), preferences or tastes of students, levels of their development.The author concludes that the virtual puzzle as an educational and game interactive form encourages primary schoolchildren to learn about art through research, accumulate experience in active artistic activity, as well as stimulates students to communicate on art topics and promotes the development of communication skills.The value of the virtual puzzle for a teacher lies in its opportunity to encode any information, concepts of art in it, use it in individual, pair and group work, and use it in research, quests, competitions and other art activities at online lessons, or do puzzle as a task for asynchronous distance learning form. The virtual puzzle attracts students because of its similarity with a computer game. It allows them to learn new things in art in an interesting, easy and exciting way, to demonstrate their knowledge, to gain experience using it in new educational situations, to learn about art in communication with the teacher and peers that certifies the formation of students’ subject competencies and soft skills.
Tailored vertex ordering for faster triangle listing in large graphs

Listing triangles is a fundamental graph problem with many applications, and large graphs require fast algorithms. Vertex ordering allows the orientation of edges from lower to higher vertex indices, and state-of-the-art triangle listing algorithms use this to accelerate their execution and to bound their time complexity. Yet, only basic orderings have been tested. In this paper, we show that studying the precise cost of algorithms instead of their bounded complexity leads to faster solutions. We introduce cost functions that link ordering properties with the running time of a given algorithm. We prove that their minimization is NP-hard and propose heuristics to obtain new orderings with different trade-offs between cost reduction and ordering time. Using datasets with up to two billion edges, we show that our heuristics accelerate the listing of triangles by an average of 38% when the ordering is already given as an input, and 16% when the ordering time is included.
DIC measurement method for large rotation based on improved grid-based motion statistics

As a noncontact optical measurement method, the digital image correlation (DIC) method can provide full-field displacement and strain measurement during object deformation. In the case of small rotation deformation, the traditional DIC method can obtain accurate deformation measurement results. However, when the object rotates at a large angle, the traditional DIC method cannot obtain the extreme value of the correlation function, resulting in the occurrence of decorrelation. In order to address the issue, a full-field deformation measurement DIC method based on improved grid-based motion statistics is proposed for large rotation angles. First, the speeded up robust features algorithm is applied to extract and match the feature point pairs between the reference image and the deformed image. Furthermore, an improved grid-based motion statistics algorithm is proposed to eliminate the wrong matching point pairs. Then, the deformation parameters of the feature point pairs obtained by the affine transformation are taken as the initial deformation value for DIC calculation. Finally, the intelligent gray-wolf optimization algorithm is used to obtain the accurate displacement field. The effectiveness of the proposed method is proved by simulation and practical experiments, and the comparative experiments show that the proposed method is faster and more robust.
Analysis and prediction of student achievement in online teaching based on KNN

Using learning analytics technology to mine online learning features can optimize the teaching process. On the basis of collecting students' online learning information, the similarity between features is firstly analyzed; secondly, machine learning algorithm is used to construct a student's learning performance prediction model, and the accuracy and K value of the model are analyzed; the teacher's teaching process reform puts forward the corresponding direction.
Realigned Audio-Recorded Materials using Repeated Reading and the of Oral Reading Fluency of Non-Fluent Learners

This study was conducted to determine the significant difference before and after exposure to the Realigned Audio Recorded Reading Materials Using Repeated Reading in Grade 7 learners’ reading fluency, such as expressions, accuracy, phrasing, and pace. With the analysis and interpretation of data, this experimental study used statistical tools such as Mean, Standard Deviation, and T-Test. Hypotheses were tested, and the findings revealed the following information; The null hypothesis that there is no significant difference in reading fluency before and after exposure to the Realigned Audio Recorded Reading Materials is rejected. Having all those findings, the study recommends that teachers may utilize realigned audio-recorded reading materials as an intervention for struggling readers to improve their reading fluency; as realigned audio-recorded reading materials using repeated reading are an innovative method of instruction, teachers should receive training on how to create and implement the program in the classroom; and future researchers may do a similar study to determine the advantages of realigned audio-recorded reading materials and, consequently, improve the reading fluency of readers. Keywords: realigned audio recorded materials, repeated reading, expression, accuracy, phrasing, pace
The Importance of Digitalization of Legal Documents Preparing Process and Its Impact on Peoples’ Legal Guarantees

Legal document preparing method has not been progressed since the time it was invented and it still is done by human lawyers manually. This manual method of preparation makes legal documents expensive, time-consuming and overall unpleasant for the customers, which is why mostly they refuse to use it at all and put legal guaranties of their life on a risk. This paper explores possibility replacing human lawyers’ necessity by digital (tech) products during legal document preparation process and its positive impact for peoples’ legal guaranties. Here will be discussed strong and weak sides of changing the current (traditional) method of preparing legal documents and potential of developing digitalization legal document preparing process in all legal professions (for attorneys, judges, notaries etc.). Implementing and developing of the system discussed below will be attempt of updating the way legal documents are prepared and beginning of making legal documents tech based.
Retraction notice to “Developmental validation of the VersaPlex™ 27PY system” [Forensic Sci. Int. Rep. 2C (2020) 100156]

This article has been retracted: please see Elsevier Policy on Article Withdrawal (https://www.elsevier.com/about/our-business/policies/article-withdrawal). This article has been retracted at the request of the Section Editor and Authors after a thorough investigation. While NIST informed the journal that it followed appropriate human subjects protocols, it has come to light that the manuscript fails to indicate whether consent was obtained for all sample acquisition. The article further incorrectly implies that NIST collaborated with the Guangzhou Forensic Science Institute. All authors have been informed of this decision. Apologies are offered to readers of the journal that this was not detected during the submission process.
Exploration of "Power Electronics Technology" Teaching Method for New Engineering

In recent years, even though the new economy and new technology are constantly developing and progressing, the teaching of power electronics technology in many colleges and universities is still slightly behind.The progress of the times has not led the teaching to keep pace with the times.The lag of college education to a certain extent, it hinders the further development of this technology.Therefore, under the background of the rapid development of new engineering, how to cultivate relevant professionals in power electronics technology, so as to effectively solve the problem of the lack of highquality professional and technical personnel in enterprises and institutions remains to be considered.This paper discusses the teaching methods of "power electronic technology" under the background of new engineering, in order to improve the teaching effect.
Research on Interactive Application of College English Network Multimodal Teaching Platform

The construction and sharing of English resources and the interactive use of English network multimodal teaching platform can improve the quality of English teaching in colleges and universities.This paper takes "English network resources + interactive use of English multimodal teaching" as the entry point to explore the great potential of English teachers guiding online learning, learning tasks, independent training board content and interactive use of multimodal network teaching platform model in English network teaching, especially English resource construction and content sharing design training process, modules and network teaching to achieve teacher-student interaction Participating in the learning process, guiding college students to reach the independent learning mode, allowing students to self-manage and self-control the English learning tasks to be completed independently.
Research on Monitoring Processing and Early Warning Model Based on Big Data Analysis

With the continuous development of deep mining, mining environment is getting worse, and the risk of ground pressure rockburst caused by deep high stress is becoming increasingly prominent.In order to rationally develop deep resources and effectively prevent and control safety risks, a real-time monitoring and early warning model of deep mining based on big data analysis is put forward, and a data platform model of ground pressure disaster risk control that connects, analyzes, makes decisions, dynamically predicts and synergistically controls is established, so as to realize the intelligent perception and early warning of ground pressure disaster information and help safe and efficient exploitation of deep resources.
Exploration on the Effectiveness of Pre class Introduction in English Classroom Teaching in Higher Vocational Colleges

In higher vocational English teaching, many English teachers have misconceptions about the teaching methods of pre class introduction, and most English teachers do not use the methods of pre class introduction efficiently.In their view, as a language discipline, English teaching is mainly based on the teaching of basic knowledge, rather than too much careful design of the part introduced before class.With such a wrong understanding of pre class introduction, English teachers can not efficiently design teaching introduction in teaching, which is not conducive to cultivating the English thinking and practical ability of higher vocational students.
An Analysis of Education Problems in the Post-pandemic Era of COVID-19

The Corona Virus Disease 2019 has caused an immeasurable impact and damage on most countries and regions in the world; and human beings have been entering the postpandemic era to co-exist with the Corona Virus Disease 2019.During the process of fighting against the Corona Virus Disease 2019, most countries and regions have adopted such measures to shut down schools, but we still accumulate the relevant experiences of "suspending class and proceeding learning", such as coordinating the epidemic prevention and control, online lecturing, international cooperation and so on.At the same time, it also shows the maladjustments between teachers and students on the online teaching based on artificial intelligence and the application of artificial intelligence in on-site teaching, all kinds of psychological and social problems caused by this.The root is the closeness and knowledge training mode of institutionalized school education system suitable for industrial society.In the post-pandemic era of COVID-19, we should build up an intelligent education ecological system based on intelligent technology and the socialized education ecosystem with the integration of online education and offline education and multiple interactions between school, society and family.
CREATIVE ACTIVITY OF UNIVERSITY STUDENTS AS A MEANS OF COMPREHENSIVE PERSONAL DEVELOPMENT IN THE CONDITIONS OF DIGITAL LEARNING

The mechanisms of the organization of creative activity of university students, providing comprehensive personal development in the conditions of digital learning, are investigated. Digital learning is seen as a comprehensive system of learning that affects all key aspects of the educational process of higher educational institutions. The aims of students’ creative activity considered as one of the means of all-round development of personality are stated. The methodological basis for planning and organizing students’ creative activity under the guidance of a teacher is presented. The directions of students’ creative activity and its step-by-step organization are described. The principles of digital learning organization of students’ creative activities, in the implementation of which, the educational context of the studied disciplines is filled with practice-oriented professional content, are disclosed. This is achieved by integrating traditional teaching methods and the introduction of active, interactive methods, educational cases in teaching disciplines. Attention is paid to the structure of human abilities, which must be taken into account by the teacher, when organizing the creative activities of students. The scientific novelty of the article is to justify the use of creative activity as a means of comprehensive development of university students in the context of digital learning. As a result, it is concluded that teachers need to explore the possibilities of digital learning, in which the creative activity of students and their all-round development takes place. The article is of interest to teachers of universities, department methodologists, graduate students, organizers of additional education.