Reviewerly/exHarmony huggingface dataset:
Investigations into intuitionistic and other negations

Abstract Intuitionistic logic formalises the foundational ideas of L.E.J. Brouwer’s mathematical programme of intuitionism . It is one of the earliest non-classical logics, and the difference between classical and intuitionistic logic may be interpreted to lie in the law of the excluded middle , which asserts that either a proposition is true or its negation is true. This principle is deemed unacceptable from the constructive point of view, in whose understanding the law means that there is an effective procedure to determine the truth of all propositions. This understanding of the distinction between the two logics supports the view that negation plays a vital role in the formulation of intuitionistic logic. Nonetheless, the formalisation of negation in intuitionistic logic has not been universally accepted, and many alternative accounts of negation have been proposed. Some seek to weaken or strengthen the negation, and others actively supporting negative inferences that are impossible with it. This thesis follows this tradition and investigates various aspects of negation in intuitionistic logic. Firstly, we look at a problem proposed by H. Ishihara, which asks how effectively one can conserve the deducibility of classical theorems into intuitionistic logic, by assuming atomic classes of non-constructive principles. The classes given in this section improve a previous class given by K. Ishii in two respects: (a) instead of a single class for the law of the excluded middle, two classes are given in terms of weaker principles, allowing a finer analysis and (b) the conservation now extends to a subsystem of intuitionistic logic called Glivenko’s logic . This section also discusses the extension of Ishihara’s problem to minimal logic. Secondly, we study the relationship between two frameworks for weak constructive negation, the approach of D. Vakarelov on one hand and the framework of subminimal negation by A. Colacito, D. de Jongh, and A. L. Vargas on the other hand. We capture a version of Vakarelov’s logic with the semantics of the latter framework, and clarify the relationship between the two semantics. This also provides proof-theoretic insights, which results in the formulation of a cut-free sequent calculus for the aforementioned system. Thirdly, we investigate the ways to unify the formalisations of some logics with contra-intuitionistic inferences. The enquiry concerns paraconsistent logics by R. Sylvan and A. B. Gordienko, as well as the logic of co-negation by G. Priest and of empirical negation by M. De and H. Omori. We take Sylvan’s system as basic, and formulate the frame conditions of the defining axioms of the other systems. The conditions are then used to obtain cut-free labelled sequent calculi for the systems. Finally, we consider L. Humberstone’s actuality operator for intuitionistic logic, which can be seen as the dualisation of a contra-intuitionistic negation. A compete axiomatisation of intuitionistic logic with actuality operator is given, and comparisons are made for some related operators. Abstract prepared by Satoru Niki. E-mail: Satoru.Niki@rub.de
Nonparametric log kernel estimator of extropy function

About seventy years ago, Shannon (1948) introduced the concept of entropy, a measure of uncertainty associated with the random variable X. Lad et al. (2015) identified that Shannon's entropy function has a complementary dual function, named as extropy.For developing inferential aspects of this measure, in this work, we propose a log kernel estimator for the new measure of uncertainty, extropy.Asymptotic properties of the estimator is proved under suitable regularity conditions.A Monte Carlo simulation study is explored to illustrate the performance of the proposed estimator.The methods are illustrated using real data sets.
Sistem Informasi Pembayaran Tagihan Layanan Internet Berbasis Website di PT Indonesia Comnets Plus

Internet technology is currently developing rapidly, the need for internet in the community in the current era of the COVID-19 pandemic is increasing because studying and working can be done at home. By utilizing technology, processing customer bill payment data will be faster because of the ease of use. To support the implementation of this inseparable development of Information and Technology, a website-based internet bill payment system was created with the aim of making it easier for customers to make payments and check payment history and provide convenience for the field of collection in checking accounts receivable data so that they can be followed up in accordance with standard operating procedures. applicable. So that customers feel comfortable because they don't need to be constantly reminded regarding missed payments. The design of the internet service bill payment system is described by Data Flow Diagrams (DFD) and Entity Relationship Diagrams (ERD). The design of the system prototype uses the PHP programming language and the PostgreSQL database. From this study, it was found that the website-based internet bill payment system was running well. In appearance, the website is responsive to many browsers. Meanwhile, in terms of functionality, the system can perform the functions of each feature.
PENGARUH MEDIA PEMBELAJARAN POP UP TERHADAP HASIL BELAJAR MATERI IPS KELAS V SD NEGERI 12 KAYUAGUNG

Abstrack : Pengaruh Media Pembelajaran Pop Up Terhadap Hasil Belajar Materi IPS Kelas V SDN 12 Kayuagung The Purpose of this study aims to determine whether there is an effect of pop-up learning media on the learning outcomes of class V social studies at SD Negeri 12 Kayuagung. The population is 42 students of class V. With a sample of 30 randomly selected, namely class V.A and class V.B. The method in this study is a quantitative experimental design, namely a true experimental design with a test only posttest design. Hypothesis testing using t-test Independent sample t-test. After doing the posttest test for social studies material, the experimental class got a score percentage of 73% and the control class got a score of 20%. The control class and the experimental class had a 53% increase in value. through t-test Independent sample t-test obtained sig (2-tailed) results, namely 0.000 ≤ 0.025 significant value. So it can be concluded that the results of learning using Pop Up media can affect the learning outcomes of fifth grade students, especially in social studies learning materials.
Side-Channel VoIP Profiling Attack against Customer Service Automated Phone System

In many VoIP systems, Voice Activity Detection (VAD) is often used on VoIP traffic to suppress packets of silence in order to reduce the bandwidth consumption of phone calls. Unfortunately, although VoIP traffic is fully encrypted and secured, traffic analysis of this suppression can reveal identifying information about calls made to customer service automated phone systems. Because different customer service phone systems have distinct, but fixed (pre-recorded) automated voice messages sent to customers, VAD silence suppression used in VoIP will enable an eavesdropper to profile and identify these automated voice messages. In this paper, we will use a popular enterprise VoIP system (Cisco CallManager), running the default Session Initiation Protocol (SIP) protocol, to demonstrate that an attacker can reliably use the silence suppression to profile calls to such VoIP systems. Our real-world experiments demonstrate that this side-channel profiling attack can be used to accurately identify not only what customer service phone number a customer calls, but also what following options are subsequently chosen by the caller in the phone conversation.
Energy of the “Damned Side of Things”

The concept of "energy" formed the basis of numerous concepts of European philosophy: from Aristotle to J. Baudrillard. Beginning with Aristotle, the concept of energy refers to being in its statics and becoming. The ancient and medieval theories of energy are developed within the framework of the essentialist approach. According to this approach, the world is a system of emerging, developing and collapsing things. Energy is movement. This ontological approach to the study of the problem of energization of developmental processes in modern times has practically disappeared from the writings of philosophers. It has been replaced by physicalist energyism. Energy is the potential for things to move. In the 20th century, the issue of energy is again updated in all its aspects. The French philosopher J. Baudrillard considers such a source of energy, which he calls the "principle of Evil." This is the principle of destruction, destruction, which keeps systems alive. Baudrillard describes the mechanism for generating energy, which he calls the energy of the "damned side of things": inside the system there are asystem elements that resist centripetal forces, giving life to centrifugal forces. The cursed side of a thing releases energy for the construction of new elements of the system, but this energy is produced by those processes that are condemned by society. The French philosopher comes to the conclusion that various types of destruction are necessary for systems to survive. The destruction of a part of the system allows it to develop immunity, teaches the system more complex behavior when adapting to the environment. According to the philosopher, systems oriented towards stability as a heavenly artificial state, paradoxically turn into an "artificial hell" and tend to death.
SISTEM REKOMENDASI PEMILIHAN PRODUK BASIC SKINCARE BERDASARKAN JENIS KULIT MENGGUNAKAN ALGORITMA SIMPLE ADDITIVE WEIGHTING (SAW)

In general, women want to have clean and healthy skin so they feel more confident. To get healthy and clean skin, of course you need to work hard to care for and choose skin care products that are suitable for your facial skin. Some sequences of using the right skin care products are serum, serum, moisturizer, sunscreen. Before knowing the right basic skin care products, we need to know about each of our skin types. In this website- based skin care recommendation system, we need to enter each standard type, and the system will provide skin care recommendations. The method used is the Simple Additive Weighting (SAW) algorithm with weight and ranking calculations, the results of this calculation will bring the largest value as a skincare recommendation.
Pelatihan Komputer untuk Meningkatkan Keterampilan Bidang Administrasi Pengurus Unit Kerja Karang Taruna (UKKT) RW 06 Mampang, Jakarta Selatan

At this time digital technology makes it easier for everyone to disseminate and get information quickly, and makes it easier for us to get the information we want. Digital technology has been used in all areas of life, one of which is education. Increasing the mastery of digital science and technology is not only carried out in formal education, but also in non-formal education. Skills in using computers which are basic skills to be able to apply digital technology are very necessary, including in the field of storage and administrative data processing. The problem faced by the management of UKKT RW 06 is the lack of skills in using computers for administrative management activities. Increased skills in the use of computer-based software technology applications greatly assist the management of UKKT RW 06 in administrative management activities so that they become more effective and efficient. This has prompted the holding of administrative skills training activities for UKKT RW 06. The purpose of this computer training is to improve the administrative skills of UKKT RW 06 administrators so that they can assist in the process of correspondence and processing of incoming and outgoing funds to be more effective and efficient. The evaluation results from the preparation, implementation, monitoring and evaluation stages based on the answers of 19 participants, it can be concluded that for each question given, on average, participants choose the agree and strongly agree scales. This means that participants are satisfied with the community service activities in the form of computer training so that they can help improve the skills of participants in using Microsoft Office for administrative management activities.
Sistem Rekomendasi Event Online Menggunakan Metode Content Based Filtering

Covid-19 has spread widely with various variants, disrupting human social activities, the activities in question include the implementation of events, but there are other alternatives by utilizing technology, events can still be held online. However, the number of events that are held online makes it difficult for someone to find the event they want because there are too many events on the website so someone experiences information overload. Therefore, the authors conduct research with the goal to make it easier for someone to find the event they want by implementing a recommendation system on the website. In this study, the authors make a recommendation system using the Content-Based Filtering method in recommending an online event. The results of this study obtained an accuracy of 86% of the performance of the model carried out by SVM.
IMPACT OF SERVICE STRATEGY AND SERVICE QUALITY ON OPERATIONS EFFICIENCY

The relevance of conducting research in this field is obvious, and there is considerable opportunity for adapting service strategy and service quality concepts to the operational performance. This significance is attributed to recent developments in the organizations, such as the introduction of new types of services, the fierce multidimensional rivalry in price, speed, quality, delivery, flexibility, creative methods for managing human resources, and new technologies that enables operations efficiency. This research contributes to exploring the impact of service strategy and service quality on operations efficiency
Constructing Organism Networks from Collaborative Self-Replicators

We introduce organism networks, which function like a single neural network but are composed of several neural particle networks; while each particle network fulfils the role of a single weight application within the organism network, it is also trained to self-replicate its own weights. As organism networks feature vastly more parameters than simpler architectures, we perform our initial experiments on an arithmetic task as well as on simplified MNIST-dataset classification as a collective. We observe that individual particle networks tend to specialise in either of the tasks and that the ones fully specialised in the secondary task may be dropped from the network without hindering the computational accuracy of the primary task. This leads to the discovery of a novel pruning-strategy for sparse neural networks.
On the Scalar-Vector Fusion Loop for GNSS Signal Tracking

The vector tracking loop has a dominant feature of utilizing the interaction among all tracking channels to maintain signal tracking in harsh environment. However, one of the most frequently stated issues of vector tracking is that vector loop seems to cause equally bad problem as strong channels will be contaminated by weak channels in turn during navigation filtering stage, thus leading to deteriorative tracking performance. It has been noted that traditional scalar tracking loop based on PLL and DLL usually tends to be relatively more concise and accurate than vector loop when satellite signal is in good condition with no interference or blockage. Previous research concerning cascade vector tracking has shed light on the way to design scalar-vector fusion loop. Therefore, this paper proposes a fusion loop using tracking-tracking (T-T) Kalman filter to combine NCO updating parameters from both scalar and vector loops. In this way, the precision from scalar tracking and the channel coupling from vector tracking are well unified.
UAV Path Planning Based on Improved GWO Algorithm

An improved algorithm based on the Grey Wolf optimizer (GWO) is addressed to generate the optimal path. Firstly, to use the optimization method to solve the path planning problem of UAV, the unconstrained path planning problem, and the constraints such as the no-fly area are abstracted as objective function and constraint function, respectively. Secondly, a penalty-based technique is applied to modify the extended cost function and the improved GWO is proposed to solve it. Finally, the result of digital simulation shows that the algorithm has good performance in the processing ability of constraint problems, convergence, and the robustness of globally optimal solutions.
A Multimodal Image Matching Algorithm Based on Structure Feature

Multimodal image matching is a crucial technique for aircraft navigation in GPS denied environment. However, the nonlinear radiometric difference between multimodal images and significant image noise make this task considerably challenging. A multimodal image registration algorithm build on structural features is presented. The method can also accurately extract structural features in the case of severe noise distortion. Besides, A similarity measure method based on parallelism is presented for adapting nonlinear grayscale distortion. The evaluation show that the algorithm has significant superiority over other state-of-the-art algorithms.
Research on Improved PIO Based on Adaptive Inertia Weight Strategy and Fruit Fly Optimization Strategy

RMSFOPIO is an improved pigeon-inspired optimization. It is improved by using adaptive inertia weight strategy and fruit fly optimization strategy. It retains the original advantages of Pigeon-inspired Optimization, and reduces the complexity of searching, and overcomes the shortcomings of PIO in convergence accuracy, convergence speed and stability.
Research on the Formation Reconstruction of Multi-aircraft Based on Mission Requirements

Formation reconfiguration caused by the change of mission requirements is very common in the process of multi aircraft formation executing tasks. Based on the actual mission requirements of the battlefield, the multi-aircraft formation was selected as the research object and the problem of the formation reconstruction was studied in this paper. Firstly, the basic model of the problem was established, and a high-dimensional optimization problem model to be simplified was obtained. Then, the dimension of the model was reduced according to the principle of Dubins trajectory. Furthermore, with the help of ISIGHT optimization software, different optimization algorithms were used to solve the model. The simulation results show that the proposed method can obtain the desired feasible track for multi-aircraft in real time during the process of formation reconstruction.
Hypersonic Vehicle Tracking Algorithm Based on Virtual Radar Constructed by Artificial Intelligence

Hypersonic vehicles have complex maneuvering modes and changeable flight trajectories. Therefore, the prior prediction model established for a single flight situation has the problems of low fault tolerance and high modeling cost. To solve this problem, this paper designs a multi-source information fusion filter based on virtual radar constructed by artificial intelligence, which uses a data-driven way to obtain flight information of non-cooperative hypersonic targets. The core principle is that one of the sub-filters uses the support vector regression machine to learn the historical trajectory data online, and provides a predicted value after each radar sampling period, which contains the information of the historical flight trajectory of the hypersonic vehicle. The predicted value is set as a virtual radar sampling result and introduced into the prediction model for filtering and correction, while the input of another sub-filter is the real radar sampling data, and finally the outputs of the two are fused. The simulation results show that the algorithm has stronger fault tolerance and accuracy when tracking hypersonic vehicles.
Generation and Optimization of Robust Trajectory for Tilting Quadrotor

In this paper, a safe and reliable tilting quadrotor motion planning system is proposed which can ensure tilting quadrotor fly through the obstacles with constrained attitude and agile flight in complex experiments. The entire planning algorithm consists of the generation and optimization for spatial trajectory and attitude sequence. First, the spatial trajectory generation method is given. On the front-end, A* algorithm to find an initial path without colliding. In the back-end, the security and efficiency of the space trajectory is optioned using soft constraints based on B-spline. Then, the attitude sequence generation algorithm consists of the smooth and the energy dissipation function is put forward to optimize the attitude. Finally, by following the entire trajectory, the quadcopter can securely and efficiently navigate unique barriers. We verified the proposed algorithms served in the simulation experiments.
STRATEGIES FOR DEVELOPING ENGLISH SPEAKING SKILLS OF FIRST-YEAR ENGLISH MAJOR STUDENTS AT A HIGHER EDUCATION INSTITUTION

English speaking skills are considered the most important necessity to master because of the primary mode of international communication. The majority of learners find it challenging to be fluent in these skills due to ineffective strategies. This study investigated the English-speaking strategies employed by first-year English major students at Hanoi Law University in the 2nd term of the academic year 2021-2022. The study used a descriptive quantitative method with a researcher-made questionnaire for 68 respondents via the active Google link. The results revealed that students did not identify effective strategies for improving their speaking skills. They should be equipped with advanced strategies involving how to improve their speaking skills effectively. This study would help school administrators adjust their program objectives and teaching outcomes to amend their existing programs, teachers change their pedagogical practices, and suggest to students some efficient English-speaking strategies.
SOME TECHNIQUES TO IMPROVE ENGLISH SPEAKING SKILLS FOR NON-ENGLISH MAJOR STUDENTS AT TAN TRAO UNIVERSITY

In English, there are four skills that should be mastered, they are: listening, speaking, reading, and writing. Among the four language skills, speaking skill seems one of the most important skills that allows us to communicate with others and express our thoughts and feelings. However, this skill is also considered one of the most difficult skills of the language learning process. Many students can get good marks in writing exams but they find it difficult to fully express their thoughts in English. Therefore, how to improve students' speaking ability so that they can communicate confidently and fluently is the main goal in the current foreign language curriculum. In this article, the author presents the aspects of speaking skills, some difficulties that students face when learning speaking skill, and also gives some techniques for both teachers and students to improve speaking skills for non major students at Tan Trao University.