Reviewerly/exHarmony huggingface dataset:
Task adaptive siamese neural networks for open-set recognition of encrypted network traffic with bidirectional dropout

• Create highly distinguishable similarity scores by a bidirectional dropout method. • Handle task adaptive open-set recognition by a non-parametric Bayesian based metric. • Improve the confidence of similarity scores by a hierarchical cross entropy loss. • Experiments demonstrate our method achieves high performance and generalizability . Existing deep learning approaches have achieved high performance in encrypted network traffic analysis tasks. However, practical requirements such as open-set recognition on dynamically changing tasks (e.g., changes in the target website list), challenge existing methods. While few-shot learning and open-set recognition methods have been proposed for domains such as computer vision , few-shot open-set recognition for encrypted network traffic remains an unexplored area. This paper proposes a task adaptive siamese neural network for open-set recognition of encrypted network traffic with bidirectional dropout data augmentation. Our contributions are three-fold: First, we introduce generated positive and negative pairs into the siamese neural network training process to shape a more precise similarity boundary through bidirectional dropout data augmentation. Second, we utilize Dirichlet Process Gaussian Mixture Model (DPGMM) distribution to fit the similarity scores of the negative pairs constructed by the support set of each query task, and create a new open-set recognition metric. Third, by leveraging the extracted features at coarse and fine granular levels , we construct a hierarchical cross entropy loss to improve the confidence of the similarity score. Extensive experiments on a network traffic dataset and the Omniglot dataset demonstrate the superiority and generalizability of our proposed approach.
Pengembangan Screencast Presentasi Akuntansi Untuk Siswa SMA

Interest, attention and motivation of students in doing learning can be made more interesting by using learning media in the form of screencasts. Screencast is the activity of recording from a computer screen display or also called screen capture video with additional narration in the form of audio. In using this media, students can learn independently, because the material can be repeated as needed. Presentation of material that is interesting and clear, does not give people boredom because the learning is coherent according to the learning procedure, is not complicated and can be equipped with practice questions and discussions. Very clear and good voice filling, various images, colors and motion effects add value to the use of this learning media, so that material in lessons that are considered difficult can be completed easily. Students can clearly know the course of the lesson and explain the material. This research development method uses the ADDIE model. This method includes Analysis, Design, Development and Implementation and Evaluation. Validation from media experts, material experts and colleagues, even this media was tested on 34 students/respondents. The conclusion on this media is through the responses of each validator questionnaire so that this media gets results in the form of criteria that are very suitable for use in the learning process.
14 Education in Mechanical Engineering in Early Universities and the Role of Their Graduates in Japan’s Industrial Revolution: The University of Tokyo , the Imperial College of Engineering and the Imperial University

14 Education in Mechanical Engineering in Early Universities and the Role of Their Graduates in Japan’s Industrial Revolution: The University of Tokyo , the Imperial College of Engineering and the Imperial University was published in Accessing Technical Education in Modern Japan on page 390.
Simulation of Scour Pattern Around Cross-Vane Structures Using Outlier Robust Extreme Learning Machine

Simulation of Scour Pattern Around Cross-Vane Structures Using Outlier Robust Extreme Learning Machine
Penerapan Metode CRC32 dalam Mendeteksi Orisinalitas File Video

One of the courses in higher education, especially in the field of computers, is cryptography. The rapid development of technology today proves that it is easy to commit crimes using computer science in the video field. In addition, from time to time more and more free video editing software and easier to use. However, the development of this technology is often misused by cases of scattered videos that cannot be trusted by the public. Video file forgery is an act of modifying documents, products, images or videos among other media. This video, which is very easy to edit and fake, has made many irresponsible people destroy the authenticity of the video and spread the video to social media so that the information or message in the video can change its authenticity. Computer-based learning is one way to improve the quality of learning. Various methods that can be applied in computer-based learning, one of which is CRC32 (Cyclic Redundancy Check) can be used to ensure the integrity of the data to be transmitted or stored. CRC works in a simple way, namely by using a mathematical calculation of a number called a checksum, which is made based on the total bits to be transmitted or to be stored. CRC is designed in such a way as to ensure data integrity against random degradation due to noise or other sources (media corruption etc.). So that later the learning application that will be made can help students in the process of answering about material concerning the authenticity of a video file more easily and can be understood using the CRC32 method. In addition, it is hoped that the learning application which will be made more interactive is able to attract students' interest to be more curious
Revealing hidden standard tripartite nonlocality by local filtering

Quantum nonlocality is a kind of significant quantum correlation that is stronger than quantum entanglement and EPR steering. The standard tripartite nonlocality can be detected by the violation of the Mermin inequality. By using local filtering operations, we give a tight upper bound on the maximal expected value of the Mermin operators. By detailed examples we show that the hidden standard nonlocality can be revealed by local filtering which can enhance the robustness of the noised entangled states.
Three Levels of Protection to Secure Secret Message

Many data cryptography methods are based on DES; these methods have a lot of disadvantages such as fixed block size, fixed private key length, multiple rounds and sometimes low level of security. In this research paper a method of secret messages cryptography will be introduced. It will be shown that the proposed method can be easily used to apply data cryptography for short, medium and long messages keeping the values of the quality parameters (MSE, PSN and CC) acceptable. The method will use three image_key to generate the required private keys needed to calculate the number of rotation digits used in character rotation. The images are to be kept in secret and it is possible to change them any time without changing the operations used in the proposed method. The proposed method will be compared with DES to show the improvements provided by the proposed method.
Alternative Media in Supporting Learning in Indonesia During The Covid-19 Pandemic

This study aims to determine the level of understanding of lecturers and students, especially universities in Indonesia, on the use of alternative media in the form of video conferences in supporting lectures in Indonesia in the midst of the current corona virus (covid-19) outbreak. The alternative media in question are Zoom Meet, Google Meet, Skype, Webex, and Discord, where each of these media has a different function but to achieve the same goal. Able to support lectures in Indonesia in the midst of the corona virus (covid-19) outbreak by using alternative media such as video conferencing. This study uses a descriptive qualitative approach where the meaning of the descriptive qualitative approach itself is research that uses qualitative data and then developed descriptively, this type of research is a combination of qualitative and descriptive approaches. The subjects of this study were all lecturers and students at universities in Indonesia, in which it was clear that video conferencing was widely used and played a role in supporting the learning process at the university level in Indonesia in the midst of the corona virus outbreak.
Recent Advances on Video Super Resolution

Super-resolution(SR) reconstruction is a technique which constructs high-resolution(HR) images/videos from low- resolution(LR) images/videos. Recently super resolution tech- niques has been prospering rapidly and being applied in various areas. In this article we look through recent works which made great contributions to SR, mainly on VSR. We will compare different works’ effectiveness and their unique structures, dis- cussing their pros and cons, trying to ﬁnd out the reasons why some SR approaches perform signiﬁcantly better than the others and how they can be applied to help further improve the best performance we can achieve.
On Network Engergy of Random Graphs

Due to the changes of the times, there have been some problems in the use of teaching buildings in the old campuses of many colleges and universities. The Department of Architecture and Regulation of Wuhan University of Technology is a typical case. The purpose of this paper is to investigate the current situation of the building planning department, integrate the existing problems of the building, and on this basis, use the principles and methods of architectural planning to put forward suggestions for the reconstruction and expansion of the department. It is hoped that this research can point out the direction for the reconstruction and expansion of old teaching buildings to a certain extent, and provide scientific and reasonable reconstruction measures.
Implementasi Penggunaan Lembar Kerja Peserta Didik (LKPD) Kelas IV SD Negeri 275/Vi Bungo Tanjung III

One of the learning tools that can be used is the Student Worksheet or often referred to as LKPD. In addition, LKPD also plays a role in helping teachers in directing students to find concepts through their own activities. With the LKPD, students are expected to be able to carry out learning activities and express their creative ideas both individually and in groups, able to think critically and establish good cooperation with group members. This research uses a qualitative approach with the type of case study with the subject being the fourth grade teacher at SDN 275/VI Bungo Tanjung III. In collecting data, researchers used the methods of observation, interviews, and documentation. The data analysis technique used is data reduction, data display, and drawing conclusions. To test the validity of the data used triangulation method. Based on the data from research results in class IV, it is known that there are several applications in the use of LKPD in the learning process such as making it easier for students to interact with the material provided, presenting tasks that increase students' understanding of the material provided, training students' learning independence, and make it easier for teachers to give assignments to students. Based on the results of research and discussion, it can be concluded that the implementation of the use of student worksheets for class IV SD Negeri 275/VI Bungo Tanjung III is in accordance with teaching materials and can be seen on the student activity sheets including: Title LKPD, Introduction, Activity Objectives, Tools and materials, Activity Steps, Tables/observations, Questions, Conclusions.
Upaya Meningkatkan Hasil Belajar Bahasa Indonesia Tema Bumiku Melalui Model Discovery Learning di kelas VI UPTD SDN 02 Taeh Baruah Tahun 2022

The purpose of this study is to describe the Indonesian language using a scientific approach to the discovery learning model to improve student learning outcomes in Indonesian subjects in class VI UPTD SD Negeri 02 Taeh Baruah. This type of research is Classroom Action Research. The research was carried out based on classroom action research steps with two cycles starting from the planning, implementation, observation and reflection stages. Research data in the form of test results, learning observations, field notes, and documentation of each learning improvement action. The source of research data is the process of learning activities. The data were obtained from the research subjects, namely teachers and students of class VI, totaling 25 people, which was held from January to March 2022. The results of the research data analysis showed that the use of a scientific approach to the discovery learning model could improve student learning outcomes. This is evident from the increase in student learning outcomes in terms of knowledge and skills. The learning outcomes of the knowledge aspect have increased from 68.00 in pre-cycle activities to 74.00 in the first cycle, increasing again to 91.20 in the second cycle with an increase of 23.20. The learning outcomes of skills aspect obtained an average of 67.60 in the pre-cycle, increasing to 75.20 in the first cycle and increasing again to 97.60 in the second cycle with an increase of 30.00. Based on the results of this study, the conclusions of the study using a scientific approach to the discovery learning model in Indonesian subjects need to be applied and developed in order to improve the quality of education.
EXPLORING MASLOW’S HIERARCHY OF HUMAN NEEDS IN “POLLYANNA” NOVEL

This descriptive qualitative research psychologically explored the hierarchy of human needs in “Pollyanna” novel. The quotations from all characters were examined seeing that the hierarchy of human needs is not only unfulfilled by the main character. However, other characters of the novel also have struggles in fulfilling the hierarchy of human needs. In collecting the data, the researchers applied library research because this research also used books and articles of the relevant object. Furthermore, the researchers analyzed the data by taking the descriptive analysis method. The data were analyzed by implementing Abraham H. Maslow’s theory regarding the hierarchy of human needs. The research result reported that the physiological needs, love and belonging needs, and self actualization are fulfilled by the characters of “Pollyanna” novel. As for the unfulfilled needs, those are safety needs and self-esteem needs as the needs that are not fulfilled by the characters. The safety needs are unfulfilled because the main character named Pollyanna did not get a proper room in Ms. Polly’s house. Also, Ms. Polly's self-esteem needs are unfulfilled because she does not feel respected because of the duty that assigns the woman to look after Pollyanna.
Feasibility study on sea related physical education curriculum in our university -- Taking Shandong Jiaotong University as an example

The implementation of the maritime power strategy is not only an important background to promote the training of navigation professionals, but also a prerequisite for the establishment of sea related physical education courses.The feasibility of curriculum development is affected by many factors. This paper studies and combs the factors affecting curriculum development between 2011 and 2021 by using neural network algorithm.According to the relationship between the development of sea related courses and influencing factors in Weihai Campus of Shandong Jiaotong University, a binomial logistic regression equation model is constructed to judge the feasibility of the development of sea related physical education courses.The binomial logistic regression equation model logitp = -3.209 + 1.497 teachers + 2.226 policy support -0.726 infrastructure + 0.704 curriculum construction level (1) + 1.609 curriculum construction level (2) + 2.309 curriculum construction level (3), the summary is that the level is 72.5%. Based on this, it is predicted that the feasibility of sea related physical education curriculum in Weihai Campus of Shandong Jiaotong University is logitp (sea related physical education curriculum) = 0.009, and the result is close to 0, The course can be carried out.
The number of 8n+1 primes compare with 8n-1 primes

There is a phenomenon in mathematics: there is a phenomenon that before a natural number K, primes of the form 4n+1 do not appear more frequently than 4n-1 primes; Beyond k, between k and k+k', the above phenomenon is reversed, the frequency of 4n+1 primes is not less than 4n-1 primes; After exceeding k+k', between k+k 'and k+k'+k'', it is reversed again ...... The J.E. Littlewood proved the first stage of the phenomenon: primes of the form 4n+1 appear no more frequently than 4n-1 primes before a natural number k. In this paper used a more easy method and directly prove the phenomenon very shortly , provides a theoretical proof for this description.This method is more easy directly and elementary than Littlewood’,and It can help people understand this phenomenon better, and at the same time, it provides a good example for the optimization of number theory research methods and the use of some elementary methods to study mathematical problems. At the same time, there is a generalization conjecture: before a natural number K, which of 8n+1 and 8N-1 primes appear more frequently? The conjecture remains unsolved. Littlewood proved the occurrence frequency theorem of 4n+1 primes and 4N-1 primes, and this paper also gave the proof, the method is different from Littlewood, but he was the first; However, for 8n+1 primes compare with 8n-1 primes, we prove for the first time that the result is same as 4n+1 primes compare with 4n-1 primes.
Syntheto: A Surface Language for APT and ACL2

Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit.Syntheto aims at providing more familiarity and automation, in order to make this technology more widely usable.Syntheto is a strongly statically typed functional language that includes both executable and non-executable constructs, including facilities to state and prove theorems and facilities to apply proof-generating transformations.Syntheto is integrated into an IDE with a notebook-style, interactive interface that translates Syntheto to ACL2 definitions and APT transformation invocations, and back-translates the prover's results to Syntheto; the bidirectional translation happens behind the scenes, with the user interacting solely with Syntheto.* US Government Notice: Approved for Public Release, Distribution Unlimited 1 We are not taking a position on whether Lisp-like syntax is better or worse than Java-like syntax, or whether untyped languages are better or worse than typed languages; in fact, our position is simply that there are relative pros and cons.We are merely stating that, based on our observations, the majority of users, both inside and outside the formal methods community, finds certain language features more familiar and intuitive than others.This motivates our design choices for Syntheto.
Making Punctuation Restoration Robust with Disfluency Detection

Transcripts generated by automatic speech recognition (ASR) systems usually have poor readability caused by lacking of punctuation and containing a large portion of dis-fluency. Existing methods for automatic punctuation restoration have obtain great improvements by finetuning large pre-trained language models (LMs). However, large amount of well-formatted written language are used in pre-training and finetuning LMs, leaving a mismatch between the training and application. In this paper, we modify the ELECTRA model with disfluency generator and multi-task discriminator for automatic punctuation restoration. The generator dynamically inject disfluency into the input training data, and the discriminator is trained to distinguish disfluency from generator outputs and predict punctuation marks. Experimental results demonstrate that our proposed method significantly outperforms the baselines based on the English IWSLT dataset and our newly collected Chinese dataset.
Keefektifan Model Pembelajaran Discovery Learning Terhadap Hasil Belajar Peserta Didik Kelas X MAN Bantaeng

This pre-experimental study aims to determine the effectiveness of the online Discovery Learning Model the Learning Outcomes of Students in Class at MAN Bantaeng on Oxidation Reduction Main Reaction Material. The research design used is a one-shot case study. The sample in this study were all the students in class X MIA 1 MAN which consisted of 22 students. Data was collected by presenting a post-test to the experimental class. This study uses descriptive and inferential statistical analysis. The results showed that the average value of the learning outcomes was 82.8, the percentage of class completeness was 86.3%, the percentage of completeness indicators was 83.90%, the average of the student response was 75.5%, and the percentage of student activity was 73%. In testing the hypothesis using the Wilcoxon signed rank test with = 0.05, the probability &lt; (0.001 &lt; 0.05). With this, it can be concluded that the application of the Discovery Learning model improves the students’ learning outcomes of class X MIA 1 MAN Bantaeng on the reduction reaction material subject matter.Keywords: Effectiveness, Discovery Learning, reduction oxidation reaction
Stream-keys generation based on graph labeling for strengthening Vigenere encryption

This paper address the cryptographic keys management problem: how to generate the cryptographic keys and apply them to secure encryption. The purpose of this research was to study on utilizing graph labeling for generating stream-keys and implementing the keys for strengthening Vigenere encryption. To achieve this objective, the research was carried out in four stages: developing an algorithm for generating stream-keys, testing the randomness of the constructed keys, implementing the eligible keys in a modified Vigenere encryption and, finally, analyzing the security of the encryption. As the result, most of stream-keys produced by the algorithm are random, and the implementation of the stream keys to the modified Vigenere cipher achieve good security. The contributions of this research are utilizing graph labeling to generate stream-keys and providing different encryption keys for different blocks in a block based cipher with low storage capacity. The novel technical results yielded from this research are the algorithm of developing the source of the stream-keys based on graph labeling, the algorithm of constructing the initial block keys, and the protocol of a modified Vigenere encryption using stream-keys and operated in cipher block chaining mode.
Digitalization of Higher Education: New Trends and the Factors that are Associated Students’ Grades

The purpose of the study is to analyze the factors that are associated the attitude of students to the processes of digitalization of higher education.The key research method is a questionnaire survey of students (N = 1107) conducted in June-November 2021.The results of the study showed that students, for the most part, positively perceive the processes of digitalization of education.Respondents recognize online learning during quarantine restrictions as an integral part of the digitalization of education.Personal experience and assessments of a number of characteristics of online learning have had a significant impact on the attitude to the digitalization of education in general.The dominant factors were a clear control system and clear presentation of the material.The factor "sufficient time to communicate with the teacher" received the least weight.Despite its significance, when answering the clarifying question, students' opinions were divided.Less than half of the respondents (43 %) believe that digital technologies have a negative impact on the learning process by reducing the time of live communication between the teacher and students.At the same time, the students unanimously believe that the use of digital technologies in the educational process is a factor in improving the quality of education, a competitive advantage of an educational organization.