Reviewerly/exHarmony huggingface dataset:
The technology of teaching pupils logical thinking

We regard the innovative educational environment as a means of developing pupils in the process of teaching natural science disciplines. The following was taken into account: the forms of logical thinking are understood as concepts, judgments, inferences; the definition of a concept assumes a classification, which is possible on several grounds. An algorithm for teaching pupils to classify is presented on examples from a school course in biology. The pedagogical conditions of the effectiveness of the formation of logical thinking of pupils on natural science material in the new educational environment are revealed: the use of a system of special tasks aimed at the formation of logical thinking; strengthening the activity ofpupils in solving Olympiad problems; application of the system of didactic games using multimedia presentations.
Object-Level Reasoning with Logics Encoded in HOL Light.

We present a generic framework that facilitates object level reasoning with logics that are encoded within the Higher Order Logic theorem proving environment of HOL Light. This involves proving statements in any logic using intuitive forward and backward chaining in a sequent calculus style. It is made possible by automated machinery that take care of the necessary structural reasoning and term matching automatically. Our framework can also handle type theoretic correspondences of proofs, effectively allowing the type checking and construction of computational processes via proof. We demonstrate our implementation using a simple propositional logic and its Curry-Howard correspondence to the lambda-calculus, and argue its use with linear logic and its various correspondences to session types.
Blockchain: Sustainability in the Field of Security

In today’s world, new technology is evolving, and existing technology is used in different ways. Moreover, people are depending more on technology for sharing information. This leads to evolving nature of security needs. This paper deals with a study on blockchain, the working and types of blockchain, features and various applications of blockchain. It also covers advantages of blockchain over traditional system and the security vulnerabilities of blockchain.
IMPLEMENTASI BACKPROPAGATION UNTUK DETEKSI JUDUL KONTEN CLICKBAIT PADA YOUTUBE

Content creators use clickbait as a way to attract visitors on Youtube. This research is related to the title of Youtube content which is clickbait. This study aims to display the results of the detection of YouTube content titles adapted to the learning data from respondents. The metContent creators use clickbait as a way to attract visitors on Youtube. This research is related to the title of Youtube clickbait content which is clickbait. This study aims to display the results of the detection of YouTube content titles adapted to the learning data from respondents. The method used in this research is text mining, backpropagation. Text mining for preprocessing text, term frequency-inverse document frequency, and text extraction. Text preprocessing includes case-folding, tokenizing, filtering and stemming. Term frequency-inverse document frequency includes weighting term frequency, document frequency, inverse document frequency, and weighting document term. Text extraction consists of positive keywords and the weight of the connection between sentences. While backpropagation is to detect output with target values. Based on the results of testing with 353 Youtube content title data conducted, backpropagation has a precision value of 43% and a recall value of 42%.
Smart Pathways for smart future

Higher education sector is going through the unprecedented upheavals & transformations, which is technology driven. This sector is in its transition state, where in HEIs are compelled to convert themselves to proactive partners of knowledge economy & knowledge society through innovation R & D. The world is entering in to the IR 4.0 (Industrial Revolution 4.0) & the higher education sector has to adopt itself to this challenging time through its preparedness to future ready higher education, which is going to be ‘Higher Education 4.0’. This trend is dismantling existing structures and constructing new once, which demands for engineering the system and human capital and all stakeholders. There are smart pathways & pitfalls for reaching to smart future of higher education, youth and society at large.
Integrated coherent Ising machines for next-generation optimization accelerators

Coherent Ising machines have been proposed as a promising platform for combinatorial optimization. Initial fiber-based, FPGA-assisted instantiations experimentally outperform quantum annealers based on superconducting qubits in speed and energy-efficiency due their ability to have programmable all-to-all connectivity between the Ising nodes. Since then, multiple flavors of coherent Ising machines have been proposed based on silicon photonics. In this talk, we will compare and contrast these integrated Ising machines with their table-top setup counterparts and their upcoming competitors in digital and analog electronics. Moreover, we will explain how large-scale problems can be mapped to small-scale integrated Ising cores.
Some Thoughts on Computational Natural Language in the 21st Century

Modern neural language models (LMs) have grabbed much attention in recent years, due in part to their massive sizes and the resources (time, money, data) required to derive them, and in part to their unprecedented performance on language understanding and generation tasks. It is clear that massive LMs are a required component of any future natural language system, are critical to improving existing applications such as search, and enable new applications previously beyond the reach of technology. Modern LMs also make incredibly silly mistakes, that no five-year-old would ever make. One take on this is that all limitations will fade away as model sizes, training data and training time increase, as they surely will. An alternative take is that this is wishful thinking, and that the models require thoughtful guidance in order for them to approach human-level linguistic performance. This talk discusses this latter perspective.
Digital Image Security in DICOM

With the enhancement in technology, digital images are transmitted through the Internet for various purposes. Confidentiality, integrity, and availability are the major information security goals. Wide range of strategies are carried out in order to secure the digital image shared over the network, such as encryption, watermarking, and double watermarking. Various analyses have proven that the above-mentioned techniques individually are not adequate enough to provide a wholesome security. The paperwork provides a considerable acquaintance with a fusion of security techniques-encryption, watermarking, and double watermarking. The major cornerstones of the approach are as follows: (1) the confidential image is encrypted using secret key with the standard 128 bit AES algorithm, (2) for watermarking, encrypted image is modifiedusing LSB watermarking in spatial domain and incorporating the secret information in the partitioned subband in the case of frequency domain inorder to obtain the watermarked image, then (3) watermarked image is double watermarked in the time and frequency domains to assure authentication. The watermarked images are analyzed using various quality metrics and resistance toward various attacks.
Programmable quantum photonic processor based on integrated silicon nitride waveguides

Photonics integration is a key technology for realizing large-scale photonic quantum information processing. We demonstrate state-of-art reconfigurable photonic processors based on low-loss silicon nitride waveguide networks. We present the science behind such a processor, which consists of a large mesh of integrated reconfigurable Mach Zehnder interferometers. In this talk, we will present the newest results of the current generation of our programmable quantum photonic processors obtained by classical as well as quantum optical characterization. Furthermore, we show the challenges of scaling up quantum photonic processors and the range of potential applications of large-scale quantum information processing those will enable.
A comparative study of Distributed Large Scale Data Mining Algorithms

Essentially, data mining concerns the computation of data and the identification of patterns and trends in the information so that we might decide or judge. Data mining concepts have been in use for years, but with the emergence of big data, they are even more common. In particular, the scalable mining of such large data sets is a difficult issue that has attached several recent findings. A few of these recent works use the MapReduce methodology to construct data mining models across the data set. In this article, we examine current approaches to large-scale data mining and compare their output to the MapReduce model. Based on our research, a system for data mining that combines MapReduce and sampling is implemented and addressed
Strategic Position and Value Implication of Cloud Computing

In this paper, we examine the determinants and consequences of adopting cloud computing technologies. Using text-based measures of cloud computing and business strategies obtained from 10-K filings, we show that firms focusing on a product differentiation strategy are more likely to adopt cloud computing technologies. We also document that the contemporaneous stock market values the adoption of cloud computing positively. This positive valuation is higher for firms adopting a product differentiation strategy than for those adopting a cost leadership strategy. We further show that cloud-computing-adopters focusing on a product differentiation strategy earn higher future excess returns than those focusing a cost leadership strategy, suggesting that investors fail to fully recognize the value created by cloud computing technology adopted by differentiators. Additional analyses suggest that cloud-computing-adopters with a differentiation strategy exhibit an increase in return on asset and profit margin, while those adopters with a cost leadership strategy do not experience such an improvement. Overall, our study suggests that a company’s strategic positioning affects the adoption decision and the value implication of cloud computing technologies.
Zero Trust Scenarios

Throughout this book, we’ve examined many different aspects of enterprise security and IT infrastructure. We’ve looked at things from a technical and architectural perspective, and have mentioned various use cases throughout. In this chapter, we’ll be examining seven different scenarios, and discussing how you can evaluate and approach them for inclusion in your Zero Trust program. This is not an exhaustive set of use cases, but does cover most of the major scenarios.
SISTEM INFORMASI MONITORING BERBASIS WEBSITE UNTUK MENILAI PERKEMBANGAN SISWA

One of the objectives of the assessment is monitoring, which aims to see whether the implementation of the learning assessment is in accordance with the assessment plan or not. In the era industrial revolution 4.0, technology is needed to facilitate the assessment process so that it can be carried out by various parties. Parents' busyness is one of the factors in the need for a tool to monitor children's development at school. This study aims to produce a website-based monitoring information system in assessing student development. The method used is the research and development method, with Four-D model, namely define, design, develop, and disseminate. This article only discusses two stages, namely define and design. At the define stage, some information is collected about problems in monitoring student assessments. Data collection was carried out by using a questionnaire method given to high school students and teachers, as well as interviews with several parents/guardians of high school students. The results of the define stage indicate that a student development monitoring system is needed that can be accessed by parents from home. At the design stage, a website-based monitoring information system is designed which contains seven main views, namely: Login, Home, Student Identity, List of Values, Monitoring, Settings, and Logout. With the website-based information system, it is hoped that it can support the monitoring process intensively, so that parents can see directly the results of student assessments from the teacher.
The Impact of Distance Learning Requirements in Achieving Learning Outcomes During COVID- 19 Pandemic A study at Private Jordanian universities

Despite that the system of higher education has been greatly affecting during the crisis of COVID-19, the Higher Education institutions forced to adapt to the new situation quickly and change the models of education from traditional system to distance learning system because of the increasing of student enrollments. Although there are different systems of Distance Learning which helps students get their education, still doubts of achieving the planed learning outcomes.&#x0D; The aim of this paper is to try understand the most requirements needed to build a good distance learning system, and to know the impact of distance learning requirements in achieving learning outcomes during COVID-19 at the private Jordanian universities.&#x0D; The results revealed that the Jordanian Private Universities operating at Amman are aware of the importance of distance learning requirements (The Human Resources, the Infrastructure, the Academic, the Financial, and the Managerial). And the learning outcomes (the knowledge, skills and competencies) were achieved by using distance learning as a substitute of face to face education.&#x0D; For this purposes a purposive sample was selected consisted of (11) Universities that are operating at AmmanGovernorate, and the sampling unit was consisted of those who occupied the positions of dean and head of academic department in the (11) universities, and their number reached (235).&#x0D; The most important recommendation of this paper is to strengthen the human resources, the infrastructure and the academic requirements, and to get attention more to the financial and the managerial requirements on achieving leaning outcomes.&#x0D;
An Improved LSA Model for Electronic Assessment of Free Text Document

Latent Semantic Analysis (LSA) is a statistical approach designed to capture the semantic content of a document which form the basis for its application in electronic assessment of free-text document in an examination context. The students submitted answers are transformed into a Document Term Matrix (DTM) and approximated using SVD-LSA for noise reduction. However, it has been shown that LSA still has remnant of noise in its semantic representation which ultimately affects the assessment result accuracy when compared to human grading. In this work, the LSA Model is formulated as an optimization problem using Non-negative Matrix Factorization(NMF)-Ant Colony Optimization (ACO). The factors of LSA are used to initialize NMF factors for quick convergence. ACO iteratively searches for the value of the decision variables in NMF that minimizes the objective function and use these values to construct a reduced DTM. The results obtained shows a better approximation of the DTM representation and improved assessment result of 91.35% accuracy, mean divergence of 0.0865 from human grading and a Pearson correlation coefficient of 0.632 which proved to be a better result than the existing ones.
Quantitative phase imaging by a shearing interferometric module with constant off-axis angle (SICA) module

We report a module employing shearing interferometry with constant off-axis angle (SICA) that works both for coherent light sources and low-coherence light sources, in which the shearing distance in uncoupled to the off-axis angle. In the module, two laterally sheared sample beams are generated by a grating, and the part of the sample area containing no sample details serves as the reference beam, as in any shearing interferometer. However, in our module, the shearing distance can be flexibly adjusted by controlling the axial location of the grating, while the off-axis interference angle remains constant.
Buku Digital Interaktif Sebagai MediaPembelajaran Di Era Digital Untuk MenunjangUKI Hebat Menuju APT Unggul

Based on the learning needs in this digital era, interactive learning media innovations areneeded. The purpose of this research is to find out how interactive digital books havesucceeded in becoming the right learning media to be used in this digital era, especially forthe needs of Great UKI in achieving its target towards Superior APT. When viewed fromvarious important aspects of the usefulness and complexity of material content in the coursestaught to students, UKI lecturers should make teaching materials in the form of digitalbooks, especially interactive digital books. Therefore, the existence of a literature review onwriting about interactive digital books can initiate UKI to conduct further and in-depthresearch and hold training on making interactive digital books for lecturers so that they canbe immediately realized for use in UKI as a learning medium capable of providing a changein the learning atmosphere. it becomes more fun because of the various multimedia contentthat can be used in this interactive digital book. If students are happy and comfortablelearning using interactive digital books, it will certainly make it easier for lecturers toachieve CPL and learning objectives. Interactive digital books can also support UKI whichis growing in terms of digitization and internationalization towards Superior APT because itfits the C6 criteria in the Superior APT instrument.Keywords: Interactive digital books, students, lecturers, learning media, Great UKI
Making Proof Quest Effective for An Automated Prover

The goal of software verification is to establish the correctness of a program formally. Verification of programs that involve combinations of novel and sophisticated data abstractions is a challenge because their verification typically involves mathematical domains for which there are no decision procedures. This research leverages the existing RESOLVE verifying compiler. A central piece of such a compiler is its prover. To scale up, the prover needs to instantiate and utilize appropriate theorems from arbitrary mathematical theory units. This research aims to replace the existing prototype prover with a more powerful one suitable for proving verification conditions in sequent form. The new prover uses a three-tiered searching strategy to optimize the proof quest by eliminating the exploration of unnecessary search spaces. The research uses generic maps and trees to experiment with the proposed strategy and evaluate the new prover.
Selective Multi-source Transfer Learning with Wasserstein Domain Distance for Financial Fraud Detection

As financial enterprises have moved their services to the internet, financial fraud detection has become an ever-growing problem causing severe economic losses for the financial industry. Recently, machine learning has gained significant attention to handle the financial fraud detection problem as a binary classification problem. While significant progress has been made, fraud detection is still a notable challenge due to two major reasons. First, fraudsters today are adaptive, inventive, and intelligent, making their fraud characteristics are too deep stealth to be detected by simple detection models. Second, labeled samples for training the detection models are usually very few as collecting large-scale training data needs a certain performance-time and is costly. To address the two problems, we propose a novel multi-source transfer learning approach with self-supervised domain distance learning for financial fraud detection problems. The core idea is to transfer relevant knowledge from multiple data-rich sources to the data-poor target task, e.g., learning fraud patterns from several other related mature loan products to improve the fraud detection in a cold-start loan product. Specifically, since the feature distribution discrepancy across domains may cause useless or even negative knowledge transfer, we propose self-supervised domain distance learning under the Wasserstein metric to measure the domain relevance/relationships between target and source tasks. The learned Wasserstein distance helps in selectively transferring most relevant knowledge from source domains to target domains. Thus it reduces the risk of negative transfer as well as maximizes the multi-source positive transfer. We conduct extensive experiments under multi-source few-shot learning settings on real financial fraud detection dataset. Experimental analysis shows that the inter-domain relationships learned by our domain distance learning model align well with the facts and the results demonstrate that our multi-source transfer learning approach achieves significant improvements over the state-of-the-art transfer learning approaches.
JORDAN-WIGNER TRANSFORMATION AND QUBITS WITH NONTRIVIAL EXCHANGE RULE

Well-known (spinless) fermionic qubits may need more subtle consideration in comparison with usual (spinful) fermions. Taking into account a model with local fermionic modes, formally only the ’occupied’ states |1〉 could be relevant for antisymmetry with respect to particles interchange, but ‘vacuum’ state |0〉 is not. Introduction of exchange rule for such fermionic qubits indexed by some ‘positions’ may look questionable due to general super-selection principle. However, a consistent algebraic construction of such ‘super-indexed’ qubits is presented in this work. Considered method has some relation with construction of super-spaces, but it has some differences with standard definition of supersymmety sometimes used for generalizations of qubit model.
USING WORD WALL FOR IMPROVING STUDENTS’ WRITING “WHAT ARE YOU DOING”

Abstract : The objectives of study is to investigate whether students’ wrting skills is improved in using “what are you doing” material through word wall as media of students of the eighth year at SMP Negeri 2 Sumowono. The difficulties to write sentences and developing ideas, poor understanding about grammar and lack of vocabulary, lack of interest in learning tenses made them confused as writing can be a means for creation mode in supporting, learning, or testing grammar structural concepts. Observation checklist and the test are used to get data of the research. The research results showed that the implementation of word wall was successful to improve progressively in eaach of the cycle I and the cycle II by knowing the passing grade, that is 70. The result of the mean of the pre-test in the cycle I is lower than the mean of the post-test.  T-test result in cycle I is 13,899, in cycle 2 are 14,668. While the t-test in the cycle II is higher than the t-test of the cycle I. In conclusion, the writers can conclud that word wall can be used as media to improve the students’ writing ability in “what are you doing” at SMP Negeri 2 Sumowono. Keywords : Writing; Grammar; Word Wall; Media.
Micro-learning Instructional Design and Production for Sustainable Chinese Language Education

自适应学习, 亦称为自适应教学, 是提供定制学习资源、学习活动来解决学习者独特需求的教育方法。为了使学习者选择自身所需的学习内容, 需要提前构建备选学习课程。因此,本文提出了微课学习内容的设计方案。首先, 本文讨论了科技变化对教育观的影响。其次, 提出了在微课学习内容制作过程中, 为了快速体现出学习者的反馈, 需要引入循环型教学设计模型。接下来, 简单介绍了微课的概念, 并提出了制作高级中文新闻课程的微课设计方案。最后, 了解了制作微课学习内容时可以使用的软件和网页。此外, 还了解了Gnowbe、Edapp等微课设计学习平台的优缺点。