Reviewerly/exHarmony huggingface dataset:
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

One of the ultimate goals of software engineering is to leave virtual spaces and move real things.We take one step toward supporting users with this goal by connecting a type-based synthesis algorithm, Combinatory Logic Synthesizer ((CL)S), and its IDE to a logistics lab environment.The environment is built and used by domain experts, who have little or no training in formal methods, and need to cope with large spaces of software, hardware and problem specific solution variability.It consists of a number of Cyber-Physical Systems (CPS), including wheel-driven robots as well as flying drones, and it has laser-based support to visualize their possible movements.Our work describes results on an experiment integrating the latter with (CL)S.Possibilities and challenges of working in the domain of logistics and in cooperation with its experts are outlined.Future research plans are presented and an invitation is made to join the effort of building better, formally understood, development tools for CPS-enabled industrial environments.
On the Rate-Distortion Function of Sampled Cyclostationary Gaussian Processes

Man-made communications signals are typically modelled as continuous-time (CT) wide-sense cyclostationary (WSCS) processes. As modern processing is digital, it operates on sampled versions of the CT signals. When sampling is applied to a CT WSCS process, the statistics of the resulting discrete-time (DT) process depends on the relationship between the sampling interval and the period of the statistics of the CT process: When these two parameters have a common integer factor, then the DT process is WSCS. This situation is referred to as synchronous sampling. When this is not the case, which is referred to as asynchronous sampling, the resulting DT process is wide-sense almost cyclostationary (WSACS). In this work, we study the fundamental tradeoff of sources codes applied to sampled CT WSCS processes, namely, their rate-distortion function (RDF). We note that RDF characterization for the case of synchronous sampling directly follows from classic information-theoretic tools utilizing ergodicity and the law of large numbers; however, when sampling is asynchronous, the resulting process is not information stable. In such cases, commonly used information-theoretic tools are inapplicable to RDF analysis, which poses a major challenge. Using the information spectrum framework, we show that the RDF for asynchronous sampling in the low distortion regime can be expressed as the limit superior of a sequence of RDFs in which each element corresponds to the RDF of a synchronously sampled WSCS process (but their limit is not guaranteed to exist). The resulting characterization allows us to introduce novel insights on the relationship between sampling synchronization and RDF. For example, we demonstrate that, differently from stationary processes, small differences in the sampling rate and the sampling time offset can notably affect the RDF of sampled CT WSCS processes.
Continual Learning Long Short Term Memory

Catastrophic forgetting in neural networks indicates the performance decreasing of deep learning models on previous tasks while learning new tasks.To address this problem, we propose a novel Continual Learning Long Short Term Memory (CL-LSTM) cell in Recurrent Neural Network (RNN) in this paper.CL-LSTM considers not only the state of each individual task's output gates but also the correlation of the states between tasks, so that the deep learning models can incrementally learn new tasks without catastrophically forgetting previously tasks.Experimental results demonstrate significant improvements of CL-LSTM over state-of-the-art approaches on spoken language understanding (SLU) tasks.
Enhancing Approach for Information Security in Hadoop

Developing a confident Hadoop essentially a cloud computing is an essential challenge as the cloud. The protection policy can be utilized during various cloud services such as Platform as a Service (PaaS), Infrastructure as a Service (IaaS), and Software as a Service (SaaS) and also can support most requirements in cloud computing. This event motivates the need of a policy which will control these challenges. Hadoop may be a used policy recommended to beat this big data problem which usually utilizes MapReduce design to arrange huge amounts of information of the cloud system. Hadoop has no policy to ensure the privacy and protection of the files saved within the Hadoop Distributed File System (HDFS). Within the cloud, the safety of sensitive data may be a significant problem within which encryption schemes play an avital rule. This paper proposes a hybrid method between pair well-known asymmetric key cryptosystems (RSA and Rabin) to cipher the files saved in HDFS. Therefore, before storing data in HDFS, the proposed cryptosystem is employed to cipher the information. In the proposed system, the user of the cloud might upload files in two ways, secure or non-secure. The hybrid method presents more powerful computational complexity and smaller latency as compared to the RSA cryptosystem alone.
ERROR ANALYSIS OF SIMPLE PRESENT IN WRITING DESCRIPTIVE TEXT

The purpose of this study was to determine the extent of the ability to write descriptive text. This research was conducted at the University of PGRI Yogyakarta and specifically investigated how simple present tense is used and which errors are most often done by research subjects.The subjects of this study were 8 4th-semester students majoring in English Education at PGRI University of Yogyakarta. Researcher used qualitative descriptive method in this study. The first step taken by researcher was to gave students three themes, namely Family, My Idol &amp; Beautiful Place in Yogyakarta. After that students choose one of these themes and then wrote it into descriptive text. By using the Surface Strategy Taxonomy, researcher then classify what errors they have made.The results of this study indicate that students made 33 errors (47.14%) from 70 Present Present Tense sentences. This was less than the correct use of Simple Present Tense, with a total of 37 (52.86%). Students made the most error in misformation by 13 (39.39%). Whereas the most rarely made error is addition with a total of 2 (6.07%).
Integer Matrix Keys for Secure Data Aggregation in Clustered Wireless Sensor Networks

Providing Privacy and security for aggregated data in wireless sensor networks has drawn the attention of practicing engineers and researchers globally.Several cryptographic methods have been already proposed to solve security and data integrity problems for aggregated data.Matrix cryptography is a better option for creating secure encryption/decryption algorithms to counter quantum attack.However, these algorithms have higher computational cost and increased communication overhead.Hence, a new technique of loss-less secure data aggregation in Clustered Wireless Sensor Networks is presented.The proposed method uses integer matrices as keys for data security and data integrity.Matrix operations are carried out in finite field Zp.Loss-less secure data aggregation is extended for homomorphic summation while the cipher text expansion ratio is kept substantially low.The proposed algorithm has inbuilt fast and efficient signature verification facility.The execution time of our signature verification mechanism is found to be approximately 50 percent less compared to a couple of standard existing signature verification schemes.
Compressively sampled light field reconstruction using orthogonal frequency selection and refinement

This paper considers the compressive sensing framework as a way of overcoming the spatio-angular trade-off inherent to light field acquisition devices. We present a novel method to reconstruct a full 4D light field from a sparse set of data samples or measurements. The approach relies on the assumption that sparse models in the 4D Fourier domain can efficiently represent light fields. The proposed algorithm reconstructs light fields by selecting the frequencies of the Fourier basis functions that best approximate the available samples in 4D hyper-blocks. The performance of the reconstruction algorithm is further improved by enforcing orthogonality of the approximation residue at each iteration, i.e. for each selected basis function. Since sparsity is better preserved in the continuous Fourier domain, we propose to refine the selected frequencies by searching for neighboring non-integer frequency values. Experiments show that the proposed algorithm yields performance improvements of more than 1 dB compared to state-of-the-art compressive light field reconstruction methods. The frequency refinement step also significantly enhances the visual quality of reconstruction results of our method by a 1.8 dB average.
PPMGNet: A Neural Network Algorithm for Point Cloud 3D Object Detection

3D object detection based on point cloud data is an essential part of L4 automatic driving. This paper proposes a novel end-to-end trainable deep learning network structure, PPMGNet, which can quickly encode point clouds, obtain the spatial feature of point clouds, predict multiple categories, and perform 3D object detection in real time. A large number of experiments show that in terms of speed and accuracy, PPMGNet's detection performance is very suitable for direct deployment in autonomous driving applications.
Injecting Event Knowledge into Pre-Trained Language Models for Event Extraction

The recent pre-trained language model has made great success in many NLP tasks. In this paper, we propose an event extraction system based on the novel pre-trained language model BERT to extract both event trigger and argument. As a deep-learningbased method, the size of the training dataset has a crucial impact on performance. To address the lacking training data problem for event extraction, we further train the pretrained language model with a carefully constructed in-domain corpus to inject event knowledge to our event extraction system with minimal efforts. Empirical evaluation on the ACE2005 dataset shows that injecting event knowledge can significantly improve the performance of event extraction.
Problems of Implementing the Principles of Equality and Social Justice in Education

The most important issue of particular relevance at the present time, which is of great importance in modern socio-economic realities, is the problem of implementing the principles of equality and social justice in the field of education.In this regard, the purpose of this article is to identify existing problems and to form new approaches to solving issues of implementing the principles of equality and equity in education; substantiate modern effective forms of achieving their effectiveness in the interests of restoring social justice and universal equality.The leading approach to the study of this problem is the dialectical method of knowledge based on the use of dialectical-materialistic teaching. The article examines the problems of implementing the principles of equality and social justice in the field of education, taking into account the latest changes and additions to the current legislation; presents the author’s judgments, author’s reflection on the stated problem; identifies problems in the research of other scientists on this topic. As a result of the conducted research, the necessity to state the goal of restoring social justice as the goal of achieving social justice is justified.The practical significance of the research results is that the materials presented in the article can be used by teachers of secondary educational institutions, teachers of pedagogical and law schools, judges and law enforcement officers in their professional activities to counteract violations of the principles of universal equality and social justice in education.The conclusion contains conclusions on the article, clearly revealing the aspects that are briefly stated in the abstract.
Theoretical analysis of the concept of «technological competence»

The article reveals the problem of defining technological competence, analyzes various approaches to the concept of technological competence from the standpoint of personality quality, specificity of activity, or a personal-activity approach to learning. The scientific work reflects fundamental research on the problems of the competence approach in education and technological competence of V.I. Zagvyazinsky, V.V. Kraevsky, V.M. Polonsky, M.N. Skatkina, E.F. Zeera, A.V. Khutorsky, L.S. Vygotsky, A.N. Leontiev and others. The authors also analyzed scientific works on the problem of technological competence among young researchers such as S.M. Markova, V.V. Borisov, S.Yu. Yagupets, E.I. Nikiforova, N.N. Shumilkin, Ya.V. Chub, showing a versatile attitude to this concept. The feasibility of a complete constructive and correct definition of the concept of "technological competence" is due to the presence of unsettled definitions in science, that is, researchers often use different terms to denote the same phenomenon, or use the same term to designate different concepts, and do not reflect the methodological essence of technological activities. In addition, there was a lack of clarity, mixing or substitution of the concepts of "technological competence" and "technical competence", "technology" and "technique", "technological means" and "technical means". The presented material allows us to consider technological competence as an integral component of professional competence from the standpoint of the personality-activity approach, taking into account the personality characteristics and the specifics of technological activity, as generalized for all areas.
LEADERSHIP POTENTIAL OF A FUTURE TEACHER: A COMPONENT OF HIS INDIVIDUAL STYLE

According to the conditions of intensive democratic, social, state and legal transformations in our country, for the effective functioning of the state and radical reform of the education system and socio-economic relations, it is necessary to form in future professionals competencies that ensure the creation of an authoritative professional representative. To ensure successful work, the teacher needs to master a set of qualities of leadership potential, the creation in the future of a certain concept of mastering the necessary practical skills, the formation of an individual teaching style. A modern teacher must have the qualities of leadership, communication, management style, creative abilities. Today's researchers have determined that what is necessary for a competitive teacher is: maximum responsibility, initiative, ability to take risks, make decisions, solve problems creatively, implement modern teaching methods and more. In the works of scientists insufficiently covered issues: the mechanism of formation of personal style of the teacher, his experimental approbation, psychological and pedagogical monitoring of the formation of individual style of pedagogical activity etc.The article investigates theoretical and practical issues theoretical issues of formation of leadership potential in future teachers, which is a basic element of the individual style of teaching future professionals, are studied. It is determined that the process of development of leadership qualities should be part of a holistic pedagogical process of higher education. It was found necessary for the future teacher to quickly master innovative educational technologies, effectively apply them in real educational practice, perform the roles of leader, organizer, mentor, mentor and take into account the individual qualities of students in the learning process. The system of formation of individual style of the teacher is offered.
Digital Education as a System Strategy for Saving the Nation

The immediacy of the problem research is due to the increased attention of the Russian government to the education issues, which is reflected in the National Doctrine of Education in the Russian Federation until 2025, where the digital education is defined as the general direction of the country; economic and socio-cultural development.The purpose of the article is to identify the digital education role in supporting the implementation strategy of saving the nation.The modern education is viewed as "soft power" from the actor-network and connectivism approaches; position in the modern society integration processes; as a way to achieve the goals of the national youth development in the global space of cooperation; as a functional mechanism that develops a digital society and overcomes the digital inequality; as a new type of the subject-subject interaction, provided by the subject continuous education in the field of telecommunication technologies, as well as the communication between subjects and social institutions; as the teaching staff training for the scientific and technological development of the society, which became digital in the 21st century.The leading method in the problem study was the educational practice reflection, which allows identifying the mechanisms of the digital education diversification and upgrading; to determine the degree of the digital product influence on the educational strategy realization; to evaluate the educational organizations; responsibility for the results, the quality of the subject education.As a result of the study, the authors will determine the cognitive barriers existing in the education practice which actualize the situation "here and now", which contribute to the appeal to the digitalization phenomenon as a change in the thinking paradigm; to the study of the new technologies, the living projection of the virtual world with its inherent mutations and contradictions by the human subject; to creation the practice-oriented educational environment that can form competencies among students which allow the educational subject to be competitive in the labor market and indemand in the global digital world.
Research on Key Technologies and Scenario Application of Emerging Business under the Energy Internet

This paper has been formally retracted at the author’s request. Requestapproved by the proceedings Editor and the Publisher on September 13, 2022.
Secure Server Key Management Designs for the Public Cloud

The Enterprise Level Security (ELS) model focuses on designing secure, distributed web-based systems starting from basic principles. One area of ELS that poses significant design challenges is protection of web server private keys in a public cloud. Web server private keys are of critical importance because they control who can act as the server to represent the enterprise. This includes responding to requests as well as making requests within the enterprise and to its partners. The cloud provider is not part of this trusted network of servers, so the cloud provider should not have access to server private keys. However, current cloud systems are designed to allow cloud providers free access to server private keys. This paper proposes design solutions to securely manage private keys in a public cloud. An examination of commonly used approaches demonstrates the ease with which cloud providers can currently control server private keys. Two designs are proposed to prevent cloud provider access to keys, and their implementation issues are discussed.
DEVELOPMENT OF INTERACTIVE SNAKE LADDER BOARD JAVANESE ALPHABET (PALU ANDHA AJA) TO INCREASE INTEREST AND LEARNING ACHIVMENT JAVANESE LANGUAGE LESSONS CLASS V SD NEGERI 1 BAJARARJO KEBUMEN CENTRAL JAVA

The purpose of th is research and development was to reveal the quality of the learning media ( PALU ANDHA AJA ) developed in this study and to know the increase on students’ interest and learning achievement. This research was targeted on Javanese language subject through the implementation of snake and ladder learning media ( PALU ANDHA AJA) for grade V students at SD Negeri 1 Banjararjo Ayah Kebumen. The method of this study was Research and Development includ ing: (1) analyzing the potential and problems, (2) collecting data, (3) designing the product, (4) validating the design, (5) revising the design, (6) testing the product, (7) revising the product, (8) conducting field test , and (9) revising the product. The result s of pretest and posttest indicated that there wa s an increase in the learning of Javanese language through the implementation of PALU ANDHA AJA . Moreover, the result of paired sample t test show ed a significance value 0,000 (0,000 &lt;0,05) ; thus, it could be concluded that there was a significant difference on the students’ learning interest and achievement before and after learning by using PALU ANDHA AJA .
pyEQUIB Python Package, an addendum to proEQUIB: IDL Library for Plasma Diagnostics and Abundance Analysis

Danehkar, A., (2020). pyEQUIB Python Package, an addendum to proEQUIB: IDL Library for Plasma Diagnostics and Abundance Analysis. Journal of Open Source Software, 5(55), 2798, https://doi.org/10.21105/joss.02798
The Relationship of Self Efficacy with Cheating Behavior and Implications for Guidance and Counseling Services

Today, the phenomenon of student cheating behavior is still often found in the field. One of the factors causing the occurrence of cheating behavior is the low self-confidence of students or the low self-efficacy of students. This study aims to see an overview of students 'cheating behavior, student self-efficacy, and to examine the relationship between self-efficacy and students' cheating behavior. The research method used is descriptive and correlational approaches. The study population was the students of SMA Negeri 3 Padang, amounting to 667 students, with a sample of 250 students who were selected by using stratified random sampling technique. Collecting data using a Likert scale model questionnaire. To see the relationship between the two variables using Pearson Correlation Product Moment. The results of this study indicate: 1) student self-efficacy is in the high category with a frequency of 144 and a percentage of 57.6%, 2) the student's cheating behavior is in the medium category with a frequency of 48% 3) there is a significant negative relationship between self-efficacy and cheating behavior with rxy = - 0.497 and a significant level of 0.000.
MANAGING THE PROCESS OF ADAPTATION TO THE SCHOOL ENVIRONMENT IN THE CONTEXT OF A MODERN EDUCATIONAL SYSTEM

The present publication examines the possibilities for more effective implementation of the existing models of the Bulgarian educational system through more active coordination. Emphasis is placed on the need for reform of the institutional framework, the realization of which is possible through the involvement of independent, competent and prepared individuals in the preschool, elementary and lower secondary stage of the educational institutions. Without these specialists, an institutional system would not be able by itself to guarantee the required efficiency. A set of measures has been proposed in this respect to ensure the implementation of the necessary change. The problem of human adaptation to the rapidly changing conditions of modern life is particularly important for modern children who from an early age are raised under conditions of frequent adaptation and re-adaptation to new environments. Each period of transition to a new environment is associated with stress and number of difficulties for the child.