Reviewerly/exHarmony huggingface dataset:
The Integration of Augmented Reality and Virtual Laboratory based on the 5E Model and Vark Assessment: A Conceptual Framework

Engineering education in aviation vocational education builds up skills and attitudes. Students must deal with the laboratory complexity, especially in radar training. Students must understand so much basic knowledge and enhance their skills. The high equipment cost and inflexibility of current learning make radar training less effective and cognitive. Augmented Reality (AR) integrated with laboratory activities is an opportunity to improve learning outcomes for vocational education training in an online learning platform. This study aims to find student learning problems in radar training and propose a framework for integrating virtual radar laboratories with Augmented Reality. This research used a descriptive analysis approach and a literature study. A survey at four Aviation Polytechnics in Indonesia results in cognitive load and troubleshooting skills as the main problem in radar training. The proposed framework concept for laboratory integration with Augmented Reality is added a learning style: the VARK framework and Augmented Reality design with a 5E-based model to make laboratory interaction design. Virtual laboratory integration with Augmented Reality with learning style proposed to enhance laboratory activity to achieve the troubleshooting capability on radar laboratory and make this learning more flexible and personalized.
Android-Based Mobile Learning Application Design: Its Implementation and Evaluation for Aiding Secondary School Students' to Study Inorganic Compound Nomenclature

Inorganic compound nomenclature is one of the most basic concepts in chemistry. Therefore, for students, correct naming of the chemicals is essential before learning advanced chemistry. However, nomenclature as a learning topic consists of rules and thus requires frequent practice. Tenth graders will face difficulties if they have remember thousands of the chemicals' names. The objective of this research is to develop and validate the effectiveness of android-based learning media to help students in learning chemical compound nomenclature. In order to meet the goal, this study was conducted in stages; they are (1) information collection, (2) planning, (3) product draft development, (4) small-scale trials, (5) product revisions, and (6) large-scale trials. The effectiveness of the examined mobile-app was measured using post-test questions, resulting in 87.88% student completion. Furthermore, since experts have been in agreement concerning the validity of the examined mobile app – both the content and the media, the app can be used for learning process.
Public Speaking Training as a Method for Disseminating Information and Persuasion for MSMEs in West Java

Public speaking is the art or skill of speaking in front of the public which is done orally and has a specific purpose. The purpose of holding Public Speaking training is to train MSME actors to have maximum skill performance in marketing their products. Speaking and persuasion skills will be mastered when the speaker has self-management skills both physically and mentally. Having calm and confidence will enable speakers to present their products clearly and attractively. This presentation display will assist the speaker in describing and explaining the product. These skills are an absolute must for MSME actors to get customers for the products they sell. One indicator of the success of this training is that some of the participants can directly make presentations promoting themselves and the products being sold.
Coupling local and nonlocal fourth-order evolution equations for image denoising

Local and nonlocal regularization methods have attracted an extensive interest in image denoising. In this paper, we propose two hybrid energy functionals that benefit from the local Laplacian regularization in homogeneous regions and the nonlocal Laplacian regularization in texture regions. The existence and uniqueness of solutions for the gradient flows, which are local and nonlocal coupled fourth-order evolution equations, are proven via the fixed point method. We consider nonlinear generalizations of the coupled equations for image denoising by proposing a new fourth-order operator that reduces the contrast losing effect of the second-order operator. The operator splitting method is adopted for the numerical implementation such that the local and nonlocal parts are handled separately. By numerical experiments, we illustrate that the proposed equations inherit advantages of the local and nonlocal methods for image denoising.
Multipartite entanglement and purity dynamics in channels influenced by fractional Gaussian noise

The dynamical map of entanglement, coherence and mixedness in four-qubit maximally entangled GHZ-class state paired with classical channels driven by fractional Gaussian noise is investigated. The qubit-channel coupling is assumed in four distinct ways: common, bipartite, tripartite, and independent local channel-qubit configurations comprising single, double, triple, or independent noisy sources. Using entanglement witness, negativity, purity and von Neumann entropy, except for the independent configuration, we show that indefinite entanglement, coherence, and purity preservation may be simulated in multipartite GHZ-like states. Quantum correlations and purity decrease exponentially in four qubits, and exact fluctuating local field behavior, as well as entanglement sudden death and birth revivals, are completely suppressed. Entanglement, coherence, and purity preservation are affected by noise and the number of independent channels utilized. The Hurst parameter of fractional Gaussian noise was discovered in the four qubits to improve entanglement, coherence and avoid mixedness.
Features of Role and Innovative Behavior in Relation to Work Experience

&lt;p&gt;The authors have shown the relevance and justified the need to study the relationship between the types of innovative and role behavior of project team members and students who have no experience in group design. The purpose of the research is to study the correlation between the types of role behavior in a team and innovative behavior among managers with experience in project teams and students without such experience. In the 1st part of the study, a group of employees of industrial enterprises aged from 19 to 40 years and with work experience from 6 months to 22 years (n=45) took part, in the 2nd part of the study &amp;ndash; undergraduate students in the direction of "Innovation" (n=20, age 20&amp;ndash;22 years) and working managers with experience (n=30, age 21&amp;ndash;41 years). The main hypothesis of the study is the assumption of significant discrepancies among students between their characteristic types of role and innovative behavior and their ideas about what team roles and types of innovative behavior are characteristic of them. In the first part of the study, using questionnaires of role behavior in a team and innovative behavior, the types of role and innovative behavior and combinations of types of role and innovative behavior of project team members were studied. The complementarity in frequently occurring combinations of role and innovative behavior of managers of innovative projects is revealed; such complementarity is absent in students. The results of the second part of the study show that employees with experience have the most widespread types of innovative behavior that provide incremental innovations, students have radical innovations. Among employees with experience, team roles of a social orientation are significantly more widespread than among students, among students &amp;ndash; action roles, significant discrepancies between the types of role behavior according to questionnaires and those that students choose according to descriptions as characteristic of them were revealed. Students, in comparison with employees of enterprises, overestimate their readiness for intellectual roles in the team. The practical significance of the obtained results is shown, prospects for further research are outlined.&lt;/p&gt;
Information-theoretically secure equality-testing protocol with dispute resolution

There are often situations where two remote users each have data, and wish to (i) verify the equality of their data, and (ii) whenever a discrepancy is found afterwards, determine which of the two modified his data. The most common example is where they want to authenticate messages they exchange. Another possible example is where they have a huge database and its mirror in remote places, and whenever a discrepancy is found between their data, they can determine which of the two users is to blame. Of course, if one is allowed to use computational assumptions, this function can be realized readily, e.g., by using digital signatures. However, if one needs information-theoretic security, there is no known method that realizes this function efficiently, i.e., with secret key, communication, and trusted third parties all being sufficiently small. In order to realize this function efficiently with information-theoretic security, we here define the ``equality-testing protocol with dispute resolution'' as a new framework. The most significant difference between our protocol and the previous methods with similar functions is that we allow the intervention of a trusted third party when checking the equality of the data. In this new framework, we also present an explicit protocol that is information-theoretically secure and efficient.
The Forward-Forward Algorithm: Some Preliminary Investigations

The aim of this paper is to introduce a new learning procedure for neural networks and to demonstrate that it works well enough on a few small problems to be worth further investigation. The Forward-Forward algorithm replaces the forward and backward passes of backpropagation by two forward passes, one with positive (i.e. real) data and the other with negative data which could be generated by the network itself. Each layer has its own objective function which is simply to have high goodness for positive data and low goodness for negative data. The sum of the squared activities in a layer can be used as the goodness but there are many other possibilities, including minus the sum of the squared activities. If the positive and negative passes could be separated in time, the negative passes could be done offline, which would make the learning much simpler in the positive pass and allow video to be pipelined through the network without ever storing activities or stopping to propagate derivatives.
Features of learning in higher school in the conditions of pandemic

The article examines the problems and tasks that have become aggravated at the university in the context of a prolonged pandemic. The issues of combining electronic platforms of distance learning are considered. The questions about the need to create electronic textbooks are raised in a reasoned and lapidary manner. It is necessary to comply with specific requirements for them. It is advisable to use electronic textbooks in conjunction with traditional educational systems. This approach will help change the student's habitual reproductive activity in class. This approach will attract the student to actively assimilate new material, independently analyze and solve problem situations. The consequence of these processes is that the student is competent in his future professional activity. This will help intensify the educational process. These measures will have a positive impact on the quality of training. These measures will have a good influence on the value of the future professional graduate in the eyes of the employer.
Verification of C++ Programs with VeriFast

VeriFast is a prototype tool based on separation logic for modular verification of C and Java programs. We are in the process of adding support for C++. In this report, we describe the features of C++ for which we added support so far, as well as the proof obligations we generate for these features. At this point, VeriFast has basic support for most object-oriented programming features of C++: member functions, member function and operator overloading, implicit and explicit conversions, constructors and initializer lists, destructors, reference types, allocation and deallocation on the stack or on the heap (using new and delete), inheritance (including multiple inheritance but not virtual base classes), and virtual member functions and overriding. To support specification of inheritance hierarchies, we added support for instance predicates, which can be introduced in a base class and overridden in derived classes. The main missing feature at this point is support for C++ templates, which we plan to work on next.
Algorithm-Aware Qubit Mapping

&lt;p&gt;Algorithm-Aware (AlgAw) qubit mapping aims at directly providing the solutions to qubit mapping of algorithms with regular structures based on the algorithm's features. Although the exact method provides a high-quality solution, its compilation time grows exponentially with the circuit size. To improve its scalability, we propose the AlgAw qubit mapping. The main idea is to first determine the subcircuits in an algorithm to be mapped, then analyze the optimal solutions of small-scale subcircuits found by exact methods to obtain solutions of large-scale subcircuits, and finally reconstruct the entire circuit and assign parameters. Applying AlgAw to the Quantum Approximate Optimization Algorithm (QAOA) on linear and T-shaped subtopologies produces optimal and scalable solutions for arbitrary numbers of qubits and depths, which is critical to the algorithm's performance on Noisy Intermediate-Scale Quantum (NISQ) computers. Compared to Qiskit, Tket, and SWAP-Network, AlgAw produces the least number of CNOT gates and the lowest circuit depth. Furthermore, AlgAw takes only a few seconds to obtain a circuit with a hundred qubits that satisfies the connectivity constraints. The benchmarking results on Quantum Processing Units (QPUs) show that AlgAw qubit mapping yields higher values of approximation ratio than others. AlgAw can also be applied to other algorithms such as the Variational Quantum Eigensolver (VQE).&lt;/p&gt;
Ring of Endomorphisms and Modules over a Ring

Summary We formalize in the Mizar system [3], [4] some basic properties on left module over a ring such as constructing a module via a ring of endomorphism of an abelian group and the set of all homomorphisms of modules form a module [1] along with Ch. 2 set. 1 of [2]. The formalized items are shown in the below list with notations: M ab for an Abelian group with a suffix “ ab ” and M without a suffix is used for left modules over a ring. 1. The endomorphism ring of an abelian group denoted by End ( M ab ). 2. A pair of an Abelian group M ab and a ring homomorphism <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" display="inline"> <m:mrow> <m:mi>R</m:mi> <m:mover> <m:mo>→</m:mo> <m:mi>ρ</m:mi> </m:mover> </m:mrow> </m:math> R\mathop \to \limits^\rho End ( M ab ) determines a left R -module, formalized as a function AbGrLMod ( M ab , ρ ) in the article. 3. The set of all functions from M to N form R -module and denoted by Func_Mod R ( M, N ). 4. The set R -module homomorphisms of M to N , denoted by Hom R ( M, N ), forms R -module. 5. A formal proof of Hom R (¯ R, M ) ≅ M is given, where the ¯ R denotes the regular representation of R , i.e. we regard R itself as a left R -module. 6. A formal proof of AbGrLMod ( M ′ ab , ρ ′) ≅ M where M ′ ab is an abelian group obtained by removing the scalar multiplication from M , and ρ′ is obtained by currying the scalar multiplication of M . The removal of the multiplication from M has been done by the forgettable functor defined as AbGr in the article.
The science learning media to improve new literacy skills in the 4.0 industrial revolution era

The impact of the industrial revolution 4.0 era in the world of education is that it is proven that there are more and more technology-based learning media that make it easier for teachers to convey material, not even face-to-face. The rapid development of science and technology is what makes students as the next generation need to have new literacy skills. This is due to the contextual integration of science and science materials that can provide meaningful learning. This study aims to find out what learning media are used to improve New Literacy skills in science learning activities. This research uses the content analysis method. From the results of this study, it was found that technology-based learning media can help improve the three aspects of new literacy. The technology-based learning media used is augmented reality to improve technology literacy, to improve data literacy, you can use the software in the form of GIS applications, while improving human literacy skills, using global issues that exist in social media. This technology-based media has succeeded in increasing new literacy abilities because it is efficient in providing various types of media, visual, audio, and audio-visual
Eye Tracking as a Tool for Evaluating Electronic Presentations by Russian and Foreign Students

Eye tracking research involved into educational process yields objective visualized data on the compliance of a product, interface or content with the goals and objectives of users. The mechanisms of controlling visual attention, interest and cognitive load are of importance in pedagogical research based on eye tracking. The article discusses the results of a pilot study to understand the perception of electronic presentations by Russian and foreign students based on eye tracking technique. A total of 10 respondents took part in the study, the purpose was to test eye tracking as a tool for evaluating and tailoring the textual and visual parts of a presentation. The hypothesis of the study about the difference in the strategies of studying presentations for Russian and foreign students was confirmed. Gaze plots, heat maps and total viewing time as a result of the study render the main strategies of students’ interaction with the electronic presentations’ content. The data provides the educational practitioners with the insights on honing the educational content to different categories of students. It is recommended to carry out further research to study the multimodal stimuli of static and dynamic presentations in the process of perception of lecture material.
Professional and pedagogical training of future students of higher education with elements of gamification

In particular, in order to comprehensively provide applicants with the necessary didactic and developmental materials, to create a functional educational space, it is advisable to use gamification as a promising method to improve the educational process. This paper reviews research publications reflecting the degree of effectiveness and functional possibilities of game mechanics application in the educational environment. It has been established that the application of game mechanics has a particularly effective effect on career guidance processes. The augmented reality technology contributes to the learning material assimilation, and the game learning environment allows future students to realize their creative potential.
Research on grassland grazing environment planning based on GA-ACO hybrid algorithm

Aiming at the problems of overgrazing by pastoralists and the reduction of grassland utilization rate, a Genetic Algorithm-Ant Colony Optimization (GA-ACO) hybrid algorithm was proposed to solve the problem of grazing in pastoral areas. Firstly, the pastoral environment is analyzed, and the overgrazing area and the usable area of the pastoral area are obtained by calculation, and the three types of operators in the genetic algorithm are designed according to the stock carrying capacity, the number of sheep and the grazing days as the standard for dividing the grazing area. Connectivity concept, so as to ensure that the algorithm reasonably divides the pastoral rotation area. Then, on this basis, the information backtracking mechanism and dynamic detection mechanism of the ant colony algorithm are improved, so as to improve the convergence speed of the algorithm and quickly find the shortest path for grazing in grassland pastoral areas. Finally, in order to verify the effectiveness of the hybrid algorithm, random generation maps of different sizes of pastoral areas are used for algorithm simulation experiments. The experimental results show that the algorithm can reasonably divide the rotation grazing area, effectively avoid the overgrazing area, and quickly plan the shortest grazing path, which is the scientific basis for the unmanned aerial vehicle.
SUBJECT-LEVEL MODEL OF FUTURE MATHEMATICS TEACHER METHODOLOGICAL PREPARATION FOR WORK IN EDUCATION INDIVIDUALIZATION CONDITIONS

Formation of the specialized competence of a future mathematics teacher to work in conditions of individualization of education is one of the priority tasks of modern higher pedagogical education, which has become a serious challenge for universities within the framework of the existing concept of methodological training of a mathematics teacher. The conducted research is aimed at analyzing the existing system of methodological training of a mathematics teacher in the context of the individualization of education, identifying existing problems, scientific justification for updating the existing concept of methodological training of a future teacher. A subject-level model of methodological training of mathematics teachers is proposed taking into consideration the context of their readiness to work in the conditions of individualization of teaching mathematics. In order to succeed in adaptation of a university graduate — mathematics teacher to working with students with special educational needs, including students with pronounced mathematical abilities, in the conditions of individualization of teaching mathematics it is necessary to include a methodological component in the subject-mathematical training of a future teacher, to strengthen the methodological component in mastering future subject teachers of the course of elementary mathematics, as well as to provide the possibility of implementing individual educational routes including practical training for the development of methodological disciplines by students — future mathematics teachers.
Ecpoc: an evolutionary computation-based proof of criteria consensus protocol

Recently, blockchain technology has been applied in many domains in our life. Blockchain networks typically utilize a consensus protocol to achieve consistency among network nodes in a decentralized environment. Delegated Proof of Stake (DPoS) is a popular mechanism adopted in many networks such as BitShares, EOS, and Cardano because of its speed and scalability advantages. However, votes that come from nodes on a DPoS network tend to support a set of specific nodes that have a greater chance of becoming block producers after voting rounds. Therefore, only a small group of nodes can be selected to become block producers. To address this issue, we propose a new protocol called Evolutionary Computation-based Proof of Criteria (ECPoC), which uses ten criteria to evaluate and select a new block procedure in each round. Next, a set of optimal weights used for maximizing the network’s decentralization level is identified through the use of evolutionary computation algorithms. The experimental results show that our consensus significantly enhances the degree of decentralization in the selection process of witness nodes compared to DPoS. As a result, ECPoC facilitates fairness between nodes and creates momentum for blockchain network development