Reviewerly/exHarmony huggingface dataset:
The Problem of Old Evidence

In science, phenomena are often unexplained by the available scientific theories. At some point, it may be discovered that a novel theory accounts for this phenomenon—and this seems to confirm the theory because a persistent anomaly is resolved. However, Bayesian confirmation theory—primarily a theory for updating beliefs in the light of learning new information—struggles to describe confirmation by such cases of “old evidence”. We discuss the two main varieties of the Problem of Old Evidence (POE)—the static and the dynamic POE—, criticize existing solutions and develop two novel Bayesian models. They show how the discovery of explanatory and deductive relationships, or the absence of alternative explanations for the phenomenon in question, can confirm a theory. Finally, we assess the overall prospects of Bayesian Confirmation Theory in the light of the POE.
Stochastic Feedforward Neural Networks: Universal Approximation

We take a look at the universal approximation question for stochastic feedforward neural networks. In contrast with deterministic networks, which represent mappings from inputs to outputs, stochastic networks represent mappings from inputs to probability distributions over outputs. Even if the sets of inputs and outputs are finite, the set of stochastic mappings is continuous. Moreover, the values of the output variables may be correlated, which requires that their values are computed jointly. A prominent class of stochastic feedforward networks are deep belief networks. We discuss the representational power in terms of compositions of Markov kernels expressed by the layers of the network. We investigate different types of shallow and deep architectures, and the minimal number of layers and units that are necessary and sufficient in order for the network to be able to approximate any stochastic mapping arbitrarily well. The discussion builds on notions of probability sharing, focusing on the case of binary variables and sigmoid units. After reviewing existing results, we present a detailed analysis of shallow networks and a unified analysis for a variety of deep networks.
Side Channel Attack

Embedded frameworks remain continuously adopted in a varied range of application places. Cryptography is the design besides analysis of calculated structures that enable communications for security issue in the presence of malicious adversaries. Side channel attacks are a current class of attacks that remains very powerful in practice. Via measuring side channel data, the attacker has the ability to capture very sensitive data. Despite the fact that conventional side-channel attacks, such by means of power analysis attacks besides electromagnetic analysis attacks, required physical presence of the attacker by means of expensive equipment, an application is all it takes to exploit the leaking data on nowadays trendy mobiles. Given the vast amount of sensitive data that remain putting in storage on smartphones, the ramifications of side-channel attacks affect both the security besides confidentiality of utilizer’s besides their gadget. Side-channel attacks remain a technique that can break the security protection via exploiting non-functional behaviors. This study focused on various parametric attacks, like time analysis Attack, Power Analysis Attack, Electromagnetic Analysis Attack. In this paper we have evaluated the current memory-level side-channel attacks and countermeasures, mainly focusing on the timing attacks against cloud and embedded frameworks available in the literature.
Hambatan dalam upaya pengembangan BIPA di luar negeri

Law Number 24 Year 2009 gives a mandate to National Agency of Language Cultivation and Development, Ministry of Education and Culture through the Centre for Language Strategy and Diplomacy Development to increase function of Indonesian language as an international language. The mandate is then realized by the Centre by launching a program deploying Indonesian language teachers to 23 countries. As part of its evaluation, this research aims to identify obstacles in developing Indonesian as a Foreign Language (IFL) abroad particularly during the program from 2015 to 2017. This research used a descriptive qualitative method through document analysis. The data were obtained from 95 assignment reports by the Indonesian as a Foreign Language (IFL) teachers assigned by the Centre for Language Strategy and Diplomacy Development. The results show that there are eight aspects of obstacles found. The aspects are learning standard, students, teachers, infrastructures, institutions, environments, administration abroad, and inter-agency coordination.
A 360 $$^\circ $$ Video Virtual Reality Room Demonstration

The “third mission” of higher education institution demands them to closely engage with the general society and stakeholders in the economy. An established method to do so is giving demos of different laboratories at events like open house days. 360 $$^\circ $$ Virtual Reality (VR) can be a valuable medium in such settings, especially when laboratories or exhibits in these rooms cannot easily be visited. A fundamental task in such VR applications is to highlight important elements in this room to guide the user’s attention. The creation of these cues for highlighting in 360 $$^\circ $$ video VR is already a non-trivial task itself. It is even more challenging for laymen in the field of VR who want to introduce their laboratory. In this paper we propose a 360 $$^\circ $$ demo concept that allows presenters to virtually introduce rooms, like laboratories, to laymen in the field of VR, such as visitors of open house events at universities. We describe an implementation of our demo concept and give insights in the authoring work flow. A challenge that arises during the authoring of video-based VR demos is the mandatory interdisciplinary knowledge. Programming skills and specific knowledge in the field of 3D modeling is necessary as for common 3D model-based VR. But furthermore, the recording of videos and the integration of domain-specific knowledge and involvement actors in these videos is crucial for VR demos. In an in-the-wild user study we evaluate our demo concept and show that it is well-accepted by the targeted audience.
Reading and Understanding Code

We’ve now learned quite a bit of ARM 32-bit Assembly language; one of the things we can do is read another programmer’s code. Reading other programmer’s code is a great way to add to our toolkit of tips and tricks and improve our own coding. We’ll review some places where you can find Assembly source code for the ARM 32. Then we’ll look at how the GNU C compiler writes Assembly code and how we can analyze it. We’ll look at the NSA’s Ghidra hacking tool that can convert Assembly code back into C code—at least approximately.
Parametric Guess and Determine Attack on Stream Ciphers

Due to the rapid evolution and usage of IoT devices in the world, the need for lightweight cryptography for resource-constrained devices gained a great importance. Although it has been common in the cryptology community that stream ciphers are supposed to be more efficient in speed and area than block ciphers, it has been seen in the last 10–15 years that most of ciphers designed for resource-constrained devices to take up less area and less energy on hardware-based platforms, such as ASIC or FPGA, are lightweight block ciphers. On the other hand, the design and analysis of stream ciphers using keyed internal update function is put forward against this belief and it has become one of the popular study subjects in the literature in the last few years. Plantlet, proposed in 2017, and its predecessor Sprout, proposed in 2015, are famous algorithms as examples of stream ciphers using keyed internal update function. Sprout was broken after a short time by many researchers but Plantlet hasn't been succesfully broken yet. Traditionally, key stream generators of stream ciphers update their internal states only by using their current internal state. Since the use of the key in the internal update is a new approach, the security analysis of this approach is not fully understood. In this study, the security analysis of the key stream generators with keyed update function has been studied. A new attack algorithm for internal state recovery and key recovery has been developed and mounted on Plantlet algorithm as an instance of stream ciphers with keyed update function.
Feature Importance in Causal Inference for Numerical and Categorical Variables

Predicting whether A causes B (write A → B ) or B causes A from samples (X, Y) is a challenging task. Several methods have already been proposed when both A and B are numerical. However, when A and/or B are categorical, few studies have already been performed. This paper aims to learn the causal direction between two variables by fitting the regressions of X on Y and Y on X with machine learning algorithm and giving preference to the direction that yields a better fit. This paper will investigate which features are the most important when A/B is numerical/categorical. Via an ensemble method, it finds that the features that are important heavily depend on the different combination of numerical/categorical.
Giải pháp phân loại bài báo khoa học bằng kĩ thuật máy học

Publication of research is the ultimate and significant step to recognize scientific work. However, in the submission system with a wide range of subjects (e.g. Association for Computing Machinery with 2,000 subjects), it may take the authors a lot of time to classify a manuscript into an appropriate group of subjects before it is submitted to a journal or conference. Therefore, this article is aimed to propose automatic solutions to extract information and categorize scientific papers on suitable topics. The experiments was based on the data set of scientific articles published in Can Tho University Journal of Science. The input data were pre-processed, extracted, vectorized and classified using three machine learning techniques including support vector machines, Naïve Bayes, and k-nearest neighbors. The experimental results showed that with the accuracy of over 91%, support vector machines technique proved its feasibility for developing the automatic classification system of scientific papers.
EVALUASI PENERAPAN SISTEM INFORMASI AKUNTANSIPENGELUARAN KAS DENGAN APLIKASI SYSTEM APPLICATION AND PRODUCT IN DATA PROCESSING (SAP) DALAM RANGKAPENINGKATAN EFEKTIVITAS KINERJA (STUDI KASUS PADA SUBDIT TRESURI DAN PENGELOLAAN DANAPT. PELABUHAN INDONESIA III (PERSERO) KANTOR PUSAT)

The aim of this study is to evaluate the application of a cash expenditureaccounting information system with SAP as conducted by the PT. PelabuhanIndonesia III (Persero) Head Office, especially in the Sub-Directorate ofTreasury and Fund Management, in order to improve performanceeffectiveness. This research is a qualitative study using a case study. Datawas obtained by conducting observations, documentation, and interviews.The utilized analysis technique of this study was descriptive analysis byidentifying the main components of the cash expenditure accountinginformation system, internal control of cash expenditure accountinginformation system, and comparing the theories with the practices thatoccur in the field. The results of the analysis showed that the implementedcash expenditure accounting information system with SAP had not beeneffective and efficient. This is seen in the incompatibility of internal controlsin the division of tasks between cash functions and accounting functions.From the results of the analysis, it is recommended that the companyimplement strategies that can be used to improve the effectiveness of itsperformance. Keywords:Accounting information system, cash expenditure.
Metamorphosis with Proxy and Reflect

No API can or should attempt to be complete. Depending on the use-case, and the problem space, we often find that we may need to add, remove, or even constraint behavior to an object, or a type. Historically our approach to this was leveraging JavaScript’s dynamic nature, and simply tack on the additional behavior we wanted to see on any object. Symbols can help in this regard, by giving us the guarantee of collision-free keys. However, in many cases it can feel a tad hackish, especially when we do not wish to permanently modify behavior of an object for the lifetime of our application.
A Hybrid Optimization Algorithm for Pathfinding in Grid Environment

Grid computing has been highly effective in the area of life sciences, financial analysis, research collaboration, and engineering. This paper is a study of existing algorithms like Swarm Intelligence (SI) algorithms such as Ant Colony Optimization (ACO), Particle Swarm Optimization (PSO), Artificial Bee Colony (ABC–PSO), and Parallel Particle Swarm Optimization (PPSO) to opt for the optimal path in a grid computing environment. These algorithms were used to solve the complex optimization problems in finding the path between source node to destination node effectively. Nature computing techniques based on the study of the collective behavior of ants, particle swarms, and bees are used to find the optimal path, improve the optimization methods and scalability in a set of representative problems. The hybridization of a grid computing environment and nature-inspired computing algorithms such as ACO, PSO, ABC–PSO, and PPSO has resulted in a class of solutions that differ in structure and design from the peer-to-peer network algorithms and the evaluated results showed the effectiveness of the pathfinding problem. ACO is implemented on a dynamic grid computing environment to demonstrate scalability and a solution for pathfinding. A class of four algorithms is used to find an optimal path and improve the optimization methods and shorten the computational time in a grid computing environment.
Traditions and Innovations in Primary Education

Based on an analysis of the principles of traditional and innovative education, the article argues in favor of the need to combine them in primary education. The positive and negative aspects of pedagogical innovations and related forms and methods of teaching are considered. Attention is drawn to the concept of the content of education, developed taking into account the use of innovative technologies in primary school. The psychological conditions and promising areas that ensure the successful development and self-development of each elementary school student, as well as the feasibility of dosing traditional and innovative teaching methods depending on the level of preparedness of the students and the teacher’s pedagogical experience, are revealed.
The Business Chain Analysis and Display Method for Digital Substation Network Monitoring

The paper introduced the status of digital substation network monitoring and message analysis, analyzed the procedures and execution process of the typical business chains, including control business chain, relay action business chain, and measurement business chain, and proposed the business chain analysis and display method for digital substation network monitoring. By taking the control business chain as an example, the author illustrated the model mapping method of business chain and the key information points of the protocols, and realized the function of business chain analysis and display method for network monitoring via multi-protocols association analysis. At last, presented the verification instance, and summarized the beneficial effects of the method.
Getting Started with Oracle Cloud Services

Oracle Cloud Services provides you with a rich and diverse set of tools and services which you can leverage for a wide variety of purposes. In this chapter, you will get a brief introduction to Oracle Cloud Services including what the Cloud Services can be used for and the types of services offered. Next, you will use the step-by-step process for signing up with Oracle Cloud Services. Then you will use the detail to successfully navigate the Oracle Cloud web sites and related content. You will then come to better understand the various Oracle Cloud subscription options including both metered and nonmetered subscription offerings. Finally, this chapter will highlight the Oracle Cloud Service Trial program as well as the free cloud services promotions provided by Oracle and demonstrate how you can activate a trial subscription and verify that your trial subscription is running.
A Feasible Approach to the Shortest Route for Gate Entering of Automated Guided Vehicles with Laser Range Finder

This paper studies the autonomous entering gate capability for the automated guided vehicles (AGVs) mounted with the laser ranger finder (LRF). The AGV is a 4-wheel drive vehicle which can turn in any speed, while the equipped LRF can detect all the closer objects, such as the gateposts of gates, within the scanning span angle more than  90 . The shortest route for an AGV entering the gate is the main performance index while the gateposts of the gate within the LRF scanning span angle is necessary. This paper proposes a feasible geometry approach to satify the optimal performance index under the constrants of the scanning span angle for the gateposts. Besides, this paper also formulates the performance index and the constrants in mathematics. The results show that this proposed approach is feasible and realizable for the gate entering tasks of AGVs with LRF.
Minimum-Energy Multi-Section Transport Trajectory Planning for Holonomic Logistics Robots

The minimum-energy multi-section trajectory was generated for holonomic robots. First, minimum-energy trajectory planning on a section for various constraints was performed using the optimal control theory, dynamic models, and a cost function, which represent the energy drawn from the battery. Then, two novel strategies were established to formulate a minimum-energy, multi-section trajectory generation algorithm. Through these strategies on loop arrangement considering the computational load of each trajectory generation algorithm on a section, unknown variables for a multi-section could be found within a practical execution time. The generated trajectory for logistics robots saved 7.18% energy compared with the conventional trajectory using the trapezoidal velocity profile. Further, the actual performance was shown using the resolved-acceleration controller, which was implemented in the preliminary research.
A Study on the Use and Understanding of Infinitive Clause’ Usage

The purpose of this paper is to investigate the difference of terms between English infinitive and infinitive clauses and to find ways to use them through a questionnaire. Students were asked how they understand terms infinitive and infinitive clause. 71.7% of the respondents regarded them as different form each other. When asked how infinitive clause is used, 81.8% showed a positive response. When asked whether to know the types of infinitive clause, 98.7% showed a negative response. The type of infinitive clauses is not a part that Korean students in EFL can easily identify and use. In the question of understanding the difference between the infinitive marker to and the preposition to, 60.6% of the students understand it. However, many students only understand to as a preposition. grammar education is certainly necessary, but it should be improved in the way of teaching and acquiring it. Also, English teachers must teach in correct terms. Teaching only with entrance-level grammar will result in incomplete understanding. In conclusion, it is important and necessary to understand the term infinitive clauses and to clearly understand how to use them.
Teachers’ Compliance with the Use of English as Medium of Instruction in the Liberal Arts Department

The use of English as a medium of instruction is growing so fast. This institutional research determined the teachers’ compliance with the use of English as a medium of instruction. The researcher made use of the questionnaires as the primary source and main data gathering instrument. The statistical tools used were the frequency count, percentage, weighted mean and average mean. The total population of the respondents was utilized. The findings revealed that the respondents failed to comply with the use of English as the medium of instruction due to several factors, such as, majority of the faculty members were not motivated to initiate the use of English, no cooperation among subject teachers that they used mother tongue in communication instead of English, did not create a friendly environment in learning English, and failed to explore ways to improve and enhance their teaching. As recommended, the compliance should be elevated at all times, the faculty should find ways to enhance their knowledge and skills about the English language, and the administration should spearhead to conduct seminars and workshops on language training, and create policies to oblige the faculty to use English as the medium of instruction and communication.
Formation of Social and Communicative Skills of Primary School Students During the Implementation of the Extracurricular Activities Program

The article discusses the theoretical foundations of the problem of socio-communicative development of primary school children, the formation of their communicative universal educational actions. The pedagogical possibilities of the program of social and communicative development of primary school students in extracurricular activities are revealed. The goals, objectives and structure of the author’s program “We live in the world”, the mechanisms, forms, methods of its implementation in primary education are described. The results of a study of the ecopsychological types of interaction between a primary school student in the “man – educational environment” system and the formation of his subjective position in the process of communication with peers are presented.
Penerapan Fuzzy String Matching Pada Aplikasi Pencarian Judul Skripsi Teknik Informatika Berbasis Android

The library is the center of the gathering of various information and knowledge both in the form of books and other recording materials to meet the needs of the learning process. In addition to storing books, the library also stores final assignment documents or thesis of students who have graduated from the college. This description can usually be used as a reference material for students in preparing the final assignment. The more years the number of thesis increases so that it requires a storage space the wider. The problem that is often faced by students is that the thesis search process needed as reference material takes a long time. From these problems it is necessary to make innovations by utilizing information technology. Mobile phones are not only used to call and send messages, but cellphones also have various other functions such as internet access, audio and video player media, and so on. Android is one of the operating systems for mobile phones among the development of other mobile operating systems such as Windows Mobile, Symbian, Blackberry OS and others. In this study, we will build a repository application for an Android-based thesis search that is built by applying the Fuzzy String Matching algorithm. Fuzzy String Matching Algorithm is one of the string search methods that uses the approach process to the pattern of the string being searched for. Search for the same string and also the string that approaches the other strings collected in a container or dictionary. By utilizing the Fuzzy String Matching algorithm in the thesis search application on informatics engineering, it is expected to be able to search quickly and efficiently.