Reviewerly/exHarmony huggingface dataset:
Note on &lt;em&gt;Principia&lt;/em&gt;'s *38 on Operations

Principia Mathematica *38 introduces what it calls “Relations and Classes Derived from a Double Descriptive Function”. The notion of a relation-e (relation in extension) so derived is called an operation, and of course all dyadic relation-e theorems rely ultimately on the comprehension axiom schema for relations in intension given at *12.11. But in attempting to give a general pattern of definition, *38 uses the odd-looking “x?y ” which lends itself to the misconception that is itself an operation sign. The informal summary makes matters worse, writing “E!(x?y)” which is ungrammatical. This paper argues that with P, R and S as relation-e variables and ?, ?, and ? as class variables, operations are comprehended by wffs such as “ P=x?y”, “?=???” and “P=R?S”. Relying on triadic relations-e, I explain how the sign ? can be entirely avoided using comprehension. Along the way, puzzling cases such as ? and ? are resolved. [Greek and other symbols do not repoduce here. See the first page of the paper for the correct abstract.--Ed.]
An Exploration Tool for Retrieval of Travel Information with Personal Photos

Photos can be treated as life logs of photo owners. Photos can be reliable information to estimate patterns of actions and movements of the owners. Based on this discussion, we are developing an interactive technique to explore the recommended tourist spots based on their past personal travel photos. The technique extracts a set of keywords from the photo set applying a generic object recognition and constructs a tree structure to support the exploration of the keywords. When a user selects a set of interesting keywords, the system provides travel information related to the selected keywords. Our previous paper already introduced the visualizations that demonstrate the appropriateness of the structure of the keywords. This paper focuses on the mechanism for interactive travel information retrieval of our system and user evaluations with this system.
Facial Expression Recognition Based on Snaking Data Access and Pipeline Convolution Neural Network

In this paper, we proposed facial expression recognition based on snaking data access and pipeline convolution neural network. This paper performs an expression recognition system composed of fast convolution operations. We use Winograd algorithm to reduce the number of multipliers and design data reuse, pipeline and Snaking data access structures to increase the performance of the chip. Therefore, the chip can perform high-speed computing and achieve a well facial expression recognition rate.
Segmentasi Baris Lontar Dengan Metode A * Path Planning

Historical documents in the form of ancient manuscripts are one form of the Indonesian nation's cultural heritage that deserves to be important, one of which is Lontar. Currently not many people can read the writings in palm leaves, therefore, ancient manuscript collectors have made efforts to digitize ancient manuscripts. The digitization of ancient manuscripts aims to improve the image quality of ancient manuscripts with the help of computers. Digitization requires an image quality improvement process by performing noise reduction and edge detection and line segmentation on digital images of ancient manuscripts. In this study, the noise reduction process uses the Mean Filter method, edge detection uses the Sobel operator, and line segmentation in this study uses the A * Path Planning Algorithm. Based on research conducted on 24 lontar images, line segmentation process obtained an accuracy of 95%.
PENGARUH KUALITAS E-LEARNING, SELF-EFFICACY, DAN INTERAKSI TERHADAP STUDENT SATISFACTION PADA PEMBELAJARAN ONLINE DI SEKOLAH MENENGAH KEJURUAN

The purpose of this study was to determine the effect of e-learning quality, self-efficacy, and interaction on student satisfaction during online learning.The research method used is quantitative with explanatory research. The research was conducted on 261 students with expertise in Business and Management at SMK Negeri 2 Blitar. Data were collected using a questionnaire distributed online and then analyzed using multiple linear regression with the help of SPSS IBM version 21.The results of the study found that the services provided by the teacher were quite responsive, friendly, and fair when students experienced system problems so that it had an impact on student satisfaction in using e-learning. Then, it was also found that students had high confidence in operating the e-learning platforms used by teachers (Moodle and Google Classroom), although they lacked confidence in doing assignments and completing exams. Furthermore, during online learning, the average student has low interaction with the teacher. Some students tend to be passive when the teacher asks questions. It can be concluded that there is a positive and significant influence between the quality of e-learning, self-efficacy, and interaction on student satisfaction.
Cash Flow Analysis of School Operational Assistance Funds (BOS) at SMA Negeri 9 Seluma

This study aims to describe the Management of Senior High School Operational Assistance Funds (BOS SMA) in SMA Negeri 9 Seluma in 2018; (1) Planning for SMA BOS Funds at SMA Negeri 9 Seluma, (2) Implementation of BOS Funds for SMA Negeri 9 Seluma, (3) Supervision and Evaluation of BOS Funds for SMA at SMA Negeri 9 Seluma, and (4) Reporting on BOS Funds for SMA SMA Negeri 9 Seluma. This research is a qualitative descriptive study. The location for this research is SMA Negeri 9 Seluma, with the research subjects of the Principal, BOS Treasurer, Teachers, and the School Committee. Data collection techniques used are through observation and interviews. The validity of the data in this study with trigulation and membercheck. Data analysis techniques used in the study were: data reduction, data display / presentation, and drawing conclusions and verification. The results showed that (1) Planning for the BOS Fund for SMA Negeri 9 Seluma in 2018 was carried out by compiling RKAS by the school budget team with the knowledge of the School Committee, teachers, employees, and parents of students. The preparation of the RKAS was carried out simultaneously with the preparation of the BOS SMA RAB. (2) Implementation of SMA BOS Funds, the distribution of BOS SMA 2018 Funds in 4 stages. Withdrawal of BOS SMA Funds by the BOS Treasurer. The use of BOS SMA 2018 funds is intended to finance the operational activities of non-operational schools as in the 2018 BOS SMA technical instructions. Publication is carried out by posting a summary of the RKAS on an announcement board and providing a leaflet for the use of BOS SMA funds to student guardians.
Quantum Gauss-Jordan Elimination for Code in Quantum

Quantum computers can efficiently model and solve certain problems on their own. Already in various fields, quantum computing is expected to outperform classical computers. In this flow, it is important to quantize classical arithmetic to achieve the benefits of quantum computing. In this paper, we efficiently implement quantum Gauss-Jordan elimination for binary matrix. Quantum Gauss-Jordan is required to accelerate Information Set Decoding, a cryptanalysis algorithm for code-based post-quantum ciphers, with Grover’s algorithm. In our understanding, the most important module when implementing ISD as a quantum version is quantum Gauss-Jordan elimination. We implement quantum Gauss-Jordan using only quantum gates (e.g., X, CX, CCX, and Swap) that replace classical operations. Finally, we analyze the quantum resources required for our implementation. For the simulation and resource estimation of our work, the quantum programming tool ProjectQ is used.
RANCANG BANGUN DAN PEMANFAATAN MIKROTIK DALAM JARINGAN RT RW NET

Jl. Medokan Sawah RT 02 / RW 01 Kota Jakarta is a densely populated environment, the people are very hungry for fast and accurate information. This internet is available which is relatively expensive as the main choice in finding the information needed. However, the cost is very expensive for a connection that must be paid every month. Although there are currently many available CDMA and GSM modems circulating in the market, it is not enough to meet the need for the speed of an internet connection. Even though there are internet cafes that have been established, it is still not efficient for the cost and time of internet users in the area. The purpose of this study is to save bandwidth rental costs per month for unlimited connections, provide stable internet connections that can be used for 24 hours, provide data transfer with bandwidth management, thus guaranteeing the quality of internet connections. The system development method used is Prototyping whose stages include identifying user needs, making a prototype, user approval, and using a prototype. As a server, using Mikrotik Os where in Mikrotik Os there are several important and interesting features provided by Mikrotik itself, among these features are bandwidth management, firewall, DNS client caching, and many other features provided by Mikrotik. With this Mikrotik provides stable internet data transfer in accordance with the management of Mikrotik Os as a server. The client uses a windows-based operating system, this is because the tool drivers used are more compatible with the windows operating system compared to using a linux-based operating system, because they have to compile drivers.
COMPETÊNCIAS E ATRIBUIÇÕES DE ASSISTENTES SOCIAIS NOS SERVIÇOS DE SAÚDE NO CONTEXTO DA COVID-19 NO ESTADO DO RIO GRANDE DO NORTE (RN)

The present article entitled (In)Constitutionality Of The Circumstantiated Confession: Signed in the Criminal Procedure Code with the advent of the well-known "Anti-Crime Package ", the Criminal Non-Persecution Agreement brought several discussions about of the mandatory requirements for its concession.Despite having added to Brazilian legal system benefits related to criminal business justice, there is still such a significant dispute regarding one of its main requirements of art.28-A, the constitutional analysis of the detailed confession as a requirement mandatory required by current legislation, contrasting with principles and guarantees fundamental provisions of our Federal Constitution.To that end, this article aims to clarify and analyze the addictions possibility related to the confession detailed in the non-prosecution agreement based on the premise constitutional law, using bibliographic and jurisprudential research.it is postulated that, through the analyzed procedures, a discussion has been reached quite controversial about the constitutionality, and one should stick to primarily those that do not cause legal uncertainty to the Brazilian legal system.
“Hybrid One” as Media to Facilitate English Learning in Blended Learning System at SMPN 1 Lamongan

Hybrid One” is one of the learning management systems which is own by SMPN 1 Lamongan to facilitate students learning process while implementing a blended learning system. This study used a descriptive qualitative design to find how “Hybrid One” works and how the use of “Hybrid One” during the learning process. Researchers used two instruments to find the data, those are Questionnaires which were distributed to seventh-grade students, and interview guidelines which were conducted to 3 English teachers in the school selected. The result of the study showed that “Hybrid One” is an ideal learning management system to be used to support the students’ learning process during this pandemic era. It could be seen from the aspects, they are Implementation, strength, weakness, effectiveness, and application which could work and use appropriately. Although a feature of Hybrid One cannot be used maximally, the others could work maximally during the English learning process&#x0D;
VI. Weak Points and Strong-虛實

This chapter is involved with finding weaknesses of the enemy and using ones own strength. Some game theoretical aspects are used for his explanation. We used this chapter to show the pervasiveness of Conditional Sentence patterns in Sun Tzu’s text, by coloring the various types of patterns.
Comparing Different Persistent Storage Approaches for Containerized Stateful Applications

Cyber-physical systems are highly distributed, flexible, and closely connected to the physical world. State preservation is an essential aspect of operating cyber-physical systems. If stateful applications fail, the current state needs to be restored so that the system can operate again. With the entry of edge computing, applications can now be containerized close to the equipment and allow new use cases. The lack of persistent storage in containers to ensure statefulness requires external, centralized, or distributed solutions. This paper explores this spectrum by comparing three experimental implementations and indicates possible causes for state loss. The underlying aim is to provide a starting point for choosing which state preservation approach is most suitable for which application type. The paper concludes with future research steps.
Multi-view Geometry Distillation for Cloth-Changing Person ReID

Most person re-identification (ReID) methods aim at retrieving people with unchanged clothes. Meanwhile, fewer studies work on the cloth-inconsistency problem, which is more challenging but useful in the real intelligent surveillance scenario. We propose a novel method, named Multi-View Geometry Distillation (MVGD), taking advantage of 3D priors to explore cloth-unrelated multi-view human information. Specifically, a 3D Grouping Geometry Graph Convolution Network (3DG $$^{3}$$ ) is proposed to extract ReID-specific geometry representation from the 3D reconstructed body mesh, which encodes shape, pose, and other geometry patterns from the 3D perspective. Then, we design a 3D-Guided Appearance Learning scheme to extract more accurate part features. Furthermore, we also adopt a Multi-View Interactive Learning module (MVIL) to fuse the different types of features together and extract high-level multi-view geometry representation. Finally, these discriminative features are treated as the teacher to guide the backbone by the distillation mechanism for better representations. Extensive experiments on three popular cloth-changing ReID datasets demonstrate the effectiveness of our method. The proposed method brings 9 $$\%$$ and 7.5 $$\%$$ gains in average in terms of rank-1 and mAP metrics against the baseline, respectively.
Implementasi Port Knocking Dalam Mengamankan Jaringan VPN Pada Sistem E-learning

Many universities have started using e-learning as a medium of learning and teaching. However, the system on e-learning is still vulnerable to attacks such as identity theft and authentication on e-learning systems. One of the way to secure data on a network is implement a Virtual Private Network (VPN) on the network which can make a network private. That way, the security on the port on the E-learning server will be guaranteed. But attacks on servers more often occur on port 23 (telnet) because telnet does not encrypt the connection process. One of the attacks that is often used is a brute force attack. Based on these problems, research has been carried out to secure port 23 (telnet) and port 80 (e-learning website) on the e-learning server from brute force attacks by implementing the port knocking method. Port 23 and port 80 on the e-learning server that uses the port knocking method are always closed so that the client must do port knocking before being able to use port 23 and port 80 on the e-learning server. By implementing port knocking on the e-learning server, brute force attacks can be avoided because the attacked port is closed.
Dynamic Motion Planning For Mobile Robots Considering Moving Obstacles

This research presents a dynamic motion planning method for mobile robots operating in crowded scenarios. We prioritize safe path planning between moving obstacles such as humans for applications in service robots, particularly for human-centered environments where the robot needs to handle the uncertainty of the moving obstacles. The moving obstacles are tracked online using the sensor onboard the robot and exhibit social navigation behavior utilized by the robot to ascertain the safest path between the moving entities. When planning, the traverse path is calculated to keep a safe distance from the moving person. For this test study, we present the results in the simulation environment and show that the performance of the proposed method can find dynamic paths in such environments.
Fast classification of indoor functional areas based on a pre-trained lightweight network

Lightweight networks can provide a solution to the high equipment requirements of traditional classified networks and the popularity of mobile and embedded devices. This work uses the trans-fer learning method to train MobileNetV3 to obtain a lightweight, fast, and accurate indoor function area scene classifier. The network is first pre-trained on a large dataset to obtain its weight, and then the pre-trained weight is transferred to an indoor functional area dataset for training using a feature extractor. Finally, a high-performance indoor scene functional area classifier with high accuracy, short response time, and low memory requirements is obtained.
Deep Design for Optical Devices

Neural networks can create blueprints for complex device designs that would be difficult if not impossible to generate with traditional techniques.
Location Proving with a Single Witness: A hybrid Prover-Witness and TOTP-based Solution

With the increasing number of mobile and Internet of Things (IoT) devices, Location-Based Services (LBS) became an important part of our life. These applications provide value added services to users within a specific area or vicinity, which as a result may motivate users to declare counterfeit locations and benefit from them. Accordingly, this study proposes a beacon based Prover-Witness (P-W) technique to create a hardened solution for location proving with increased privacy and security in mind. Hence, the proposed solution incorporates P-W technique with time-based one time password (TOTP) mechanism to perform with only one witness in the environment. A prototype of the proposed solution is implemented and tested in a real-world environment by using one prover and one witness. The findings of the evaluation showed that the prototype managed to improve the security and privacy of the location proving process without increasing the required minimum number of witnesses.
Use of “German-Games.Net” Site in an Online-Based German Vocabulary Learning at SMAN 3 Lamongan

The use of the site "german-games.net" aims to determine student activities in using the site "german-games.net" as a medium for learning German vocabulary online. This study also aims to determine students' responses to the use of the site "german-games.net". The subjects of this study were students of class XI Language at SMAN 3 Lamongan with a total of 25 students. The type of research used in this research is descriptive qualitative. Researchers obtained data from observations and interviews. Observations were made to find out the activity of using the "german-games.net" site in learning German vocabulary online. Researchers conducted interviews to determine student responses to the use of the "german-games.net" site. It provides a new learning experience for students, which is entertaining, encourages students to actively participate in online-based learning that results in positive outcomes.
Inclusive society – Reality and virtual reality

After clarifying the concept of inclusivity, the chapter lists the factors that need to be borne in mind by a society that treats people with disabilities as equal citizens. Possible means to achieve this goal are properly applied virtual reality methods. The chapter highlights some of the methods that can be applied to people with autism, learning disabilities, cerebral palsy, and wheelchairs, and to help these people with disabilities live as independent life as possible for them. The tools of virtual reality can also play an important role in sensitizing and shaping attitudes in an inclusive society. The third part of the chapter focuses on these possibilities.
ANALYZING OF STUDENTS’SPEAKING SKILL THROUGH V-LOG

This study aimed to determine how students' speaking skills UHKBPNP English Education Study Program through vlogs on courses Interpersonal Speaking. This study uses a qualitative research design descriptive, where the writer describes and analyzes speaking ability. The population in the study was students of the UHKBPNP English Education Study Program in the first semester of the 2020/2021 Academic Year, totaling 10 people. Based on the results from the research it can be concluded that the students' speaking ability is between the "Above" level Average” and “Excellent.” In other words, it can be supposed that vlog media can be attractive alternative media that can be used to improve the speaking skills of the college student.
Cyber Security Breaches and the Long-Run Effect on Firms’ Market Value: A Conceptual Framework

Incidents of cyber security breaches are on the rise and pose a potential threat to businesses. Especially for publicly traded firms as they could create a long-lasting influence on their financial performance and, thus, the market value (MV) of a firm. Following the footsteps of the efficient market hypothesis, previous studies have examined only the short-run impact on MV ensuing to security breach announcements. Therefore, this study aims to conceptualize the impact of security breaches on MV as manifested by long-run abnormal returns those firms. The study is expected to provide a meaningful insight to investors and managers on the long-run interconnection between cyber security breaches and firms’ market value.
PSYCHOLOGICAL AND PEDAGOGICAL CONDITIONS FOR THE FORMATION OF MORAL IDEALS OF STUDENTS IN THE LESSONS OF THE HUMANITARIAN CYCLE

The article deals with the psychological and pedagogical conditions for the formation of students’ moral ideals in the lessons of the humanitarian cycle. The stable formation of moral ideals takes place productively and purposefully in a special educational environment of classes, which actively influences the upbringing of a person who consciously masters the basics of culture and, as a result, is capable of socialization and cultural creativity in the conditions of modern society. Another important condition for the effectiveness of the process of forming moral ideals is the support of independent artistic, creative and research activities of high school students. An important pedagogical condition for the formation of moral ideals is the implementation of the provision on the emancipation of students, the removal of their psychological stress before the answer, the development of independence and courage in substantiating an aesthetic judgment. The process of self-knowledge and personal development of high school students is greatly influenced by significant adults who act as subjects of a certain activity.
Rapid Assessment of Substation Earthquake Risk Based on Minimal Cut Set

Electrical substation systems damaged severely in previous earthquakes. To realize the rapid seismic risk assessment of substation system before an earthquake occurs. This paper proposed a rapid seismic risk assessment framework based on seismic hazard and functional network model. According to structural connectivity of the substation, the series and parallel connection of equipment was clarified. Considering power load capacity of equipment and power transmission requirement of systems, a dual-functional network model combining structure and electricity was built. On the premise of ensure earthquake risk probability, the hierarchical simulation of fault tree model was carried out. Also, the minimum cut set algorithm was used to rapidly evaluate seismic risk of substation system. Aiming at reducing the risk of substation function failure, two risk reduction strategies of seismic retrofitting and additional redundant equipment were put forward. After the seismic analysis of a typical 220 kV substation, key equipment of the substation and the optimal risk reduction strategies were obtained.