Reviewerly/exHarmony huggingface dataset:
Parallel Programming Models in High‐Performance Cloud (ParaMo 2019)

Concurrency and Computation: Practice and ExperienceVolume 33, Issue 18 e6527 EDITORIAL Parallel Programming Models in High-Performance Cloud (ParaMo 2019) Sangyoon Oh, Corresponding Author Sangyoon Oh Guest Editor syoh@ajou.ac.kr Department of Artificial Intelligence, Ajou University, Suwon, Republic of Korea Correspondence Sangyoon Oh, World cup-ro 206, Yeongtong-gu, Suwon-si, Gyeonggi-do, Republic of Korea. Email: syoh@ajou.ac.krSearch for more papers by this author Sangyoon Oh, Corresponding Author Sangyoon Oh Guest Editor syoh@ajou.ac.kr Department of Artificial Intelligence, Ajou University, Suwon, Republic of Korea Correspondence Sangyoon Oh, World cup-ro 206, Yeongtong-gu, Suwon-si, Gyeonggi-do, Republic of Korea. Email: syoh@ajou.ac.krSearch for more papers by this author First published: 26 July 2021 https://doi.org/10.1002/cpe.6527Read the full textAboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinked InRedditWechat No abstract is available for this article. Volume33, Issue18Special Issue: Parallel Programming Models in HP Cloud (ParaMo2019). Computer architecture and high performance computing (WSCAD2019). Secure Mobile Cloud Computing (IWoSeMC2020)25 September 2021e6527 RelatedInformation
A Novel Iterated Function System-Based Model for Coloured Image Encryption

Chaotic cryptography has been a well-studied domain over the last few years. Many works have been done, and the researchers are still getting benefit from this incredible mathematical concept. This paper proposes a new model for coloured image encryption using simple but efficient chaotic equations. The proposed model consists of a symmetric encryption scheme in which it uses the logistic equation to generate secrete keys then an affine recursive transformation to encrypt pixels' values. The experimentations show good results, and theoretic discussion proves the efficiency of the proposed model.
APLIKASI UJIAN SELEKSI MASUK MAHASISWA BARU : Studi Kasus : Kampus STMIK BANDUNG

The Entrance Selection Examination is a must for all agencies, because the instant wants to get people who are worthy to be part of the agency. With the entrance examination test, the candidates who have or have passed the minimum standard in conducting this selection test can be achieved.Especially if this selection exam is held in universities, in universities it is very important to take the entrance examination exam, because it can find highly competent prospective students.Examinations using written paper or conventional examinations have several disadvantages, such as adjusting test data with people who register for exams, how much they buy paper, and errors in correcting test answers from prospective students.In this study, an application has been developed which can be used to register new students and also conduct entrance examination tests to make it easier for institutions to record registrants and also for the selection of test examinations conducted. The system is named Selection of the Online Entrance Test for STMIK Bandung.In addition, the answers to the exam will be corrected by the system that has been made so as to reduce the risk of mistakes in correction that can harm prospective students and institutions. Designing with the waterfall method and system design using UML to simplify the design.In this system there is an automatic e-mail to provide information on the schedule of examinations and announcement of graduation in order to accelerate the process of receiving new students.
Reconnaissance Geophysical Surveys for Gold: Karimpuzha-Thalipuzha Sector of Nilambur, Mallappuram Dist, Kerala, India

Abstract Summary Reconnaissance Geophysical Surveys for Gold: Karimpuzha-Thalipuzha Sector of Nilambur, Mallappuram Dist, Kerala, India.
Affective and Physiological Responses During Acute Pain in Virtual Reality: The Effect of First-Person Versus Third-Person Perspective

Background: Virtual reality (VR) has been previously shown as a means to mitigate acute pain. The critical parameters involved in the clinical efficacy of mitigating acute pain from different perspectives remains unknown. This study attempted to further deconstruct the critical parameters involved in mitigating acute pain by investigating whether affective and physiological responses to painful stimuli differed between a first and a third person perspective in virtual reality. Methods: Two conditions were compared in a repeated-measures within subject study design for 17 healthy participants: First person perspective (i.e., where participants experienced their bodies from an anatomical and egocentric perspective) and third person perspective (i.e., where participants experienced their bodies from an anatomical perspective from across the room). The participants received noxious electrical stimulation at pseudorandom intervals and anatomical locations during both conditions. Physiological stress responses were measured by means of electrocardiography (ECG) and impedance cardiography (ICG). Subjective scores measuring tension, pain, anger, and fear were reported after every block sequence. Results: There were no significant differences in physiological stress responses between conditions. However, the participants reported significantly higher tension during the third person condition. Conclusion: Relative to a third person perspective, there are no distinct physiological benefits to inducing a first person perspective to mitigate physiological stress responses to acute pain in healthy individuals. However, there may be additional clinical benefits for doing so in specific clinical populations that have shown to benefit from relaxation techniques. Further research is needed in order to refine the clinical utility of different perspectives during virtual reality immersions that serve to act as a non-pharmacological analgesic during acute pain.
Residual Network GANs

Generative adversarial networks and adversarial training are truly limitless in concept but often fall short in execution and implementation. As we have seen throughout this book, the failures often reside in the generator. And, as we have learned, the key to a good GAN is a good generator.
KNOWLEDGE REPRESENTATION AND REASONING

This paper provides a professional approach to construct a Knowledge Representation and Reasoning module. The development of AGI agents requires architecture modeled after human cognition and this also provides a framework for agents that have interaction with the actual world and to constitute and use it for making decisions that capture and permit implementation of a behavior.
A Descriptive Study On Questioning Skill In Past Tense Of The Seventh Grade Students At SMP NU Al-Amnan Bangorejo

The design of this research was descriptive quantitative study. The researcher used reading test as the instrument to get the research data. Population of the research was taken from the seventh grade students of SMP NU Al-Amnan Bangorejo 2015/2016 Academic Year, because there is only one class of the seventh grader. Based on the result of the test, the percentage score of the seventh grade students at SMP NU Al-Amnan Bangorejo are 60% students categorized as poor, 36% students categorized as good and 4% student categorized as excellent. One student who got the perfect score test had no difficulty in making interrogative sentences both using Verb2 and Tobe2. Nine students who got the good category in percentage of students reading test score having problems on the using Tobe2 (was and were) and have to add (–ed) in regular verb form and no (-ed) in irregular verb form. The rest of the 15 students who got poor category, facing problems on making interrogative sentences use Verb2 and Tobe2. Moreover, based on the researcher observation during the test, the rest 15 students did not do the tests independently.
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions

Cyclic proof systems are sequent-calculus style proof systems that allow circular structures representing induction, and they are considered suitable for automated inductive reasoning. However, Kimura et al. have shown that the cyclic proof system for the symbolic heap separation logic does not satisfy the cut-elimination property, one of the most fundamental properties of proof systems. This paper proves that the cyclic proof system for the bunched logic with only nullary inductive predicates does not satisfy the cut-elimination property. It is hard to adapt the existing proof technique chasing contradictory paths in cyclic proofs since the bunched logic contains the structural rules. This paper proposes a new proof technique called proof unrolling. This technique can be adapted to the symbolic heap separation logic, and it shows that the cut-elimination fails even if we restrict the inductive predicates to nullary ones.
Pendidikan dan Pelatihan Desain Pengembangan Video Pembelajaran Interaktif di SMAN Kembangbahu Lamongan

This service activity aims to provide education and training for teachers at SMA Negeri Kembangbahu, Lamongan regency on making learning media by designing interactive videos. This is because video besides being used as entertainment media can also be used as a medium for education / learning. The method used is exposure (lectures) and direct practice by changing the power points that have been very familiar to the teacher in delivering material directly to students into interactive videos so that the learning material will be more interesting
Research on the Application of Virtual Reality Technology in College Physical Training

Virtual reality technology has the function of simulating human body feeling, and the degree of simulation is very high. Therefore, with the help of technical equipment, people can produce real body feeling in the virtual environment, which makes the virtual reality technology can be applied to many fields related to body feeling, including college sports training. But in reality, the application of virtual reality technology in college sports training is rare, which indicates that colleges and universities have not popularized the technology, and do not know how to play the role of the technology in training. Therefore for the purpose of technology promotion and understanding the role of technology, this paper will analyze the application of the technology in sports training, and mainly discusses the application of virtual reality technology The function, application methods and matters needing attention of physical education training.
Map-Aided Automotive Dead-Reckoning using Rao-Blackwellized Particle Filter

The paper presents the dead-reckoning algorithm for the vehicles. The algorithm is based on Rao- Blackwellized Particle Filter and operates in global coordinates (latitude, longitude and altitude). The key feature is the usage of buildings' footprints and road networks for position aiding. There are no restrictions on off-road driving. The algorithm fuses the data from low-cost IMU, odometer, road and buildings' maps. The system state consists of vehicle's position, its velocity and attitude, as well as the sensors' errors. The algorithm can operate in real-time on a PC with the number of particles up to 10000. This performance is achieved by utilizing the spatial trees for map data requests and error-state covariance propagation. The algorithm was tested by extensive simulations and real experiments. The average positioning error (APE) in the case of perfectly known road network and buildings' footprints did not exceed 2 meters after 10 minutes of operation in dead-reckoning mode. The maximum error did not exceed 7 meters. In the case of off-road driving and roads' and buildings' representation inaccuracies, the APE after 10 minutes of autonomous operation was ≈ 12 meters. The proposed solution allows to aid the odometry error drift and provide lane-level navigation accuracy on a long periods of operation in dead-reckoning mode.
Robustly self-ordered graphs: constructions and applications to property testing

A graph G is called self-ordered (a.k.a asymmetric) if the identity permutation is its only automorphism. Equivalently, there is a unique isomorphism from G to any graph that is isomorphic to G. We say that G = (V, E) is robustly self-ordered if the size of the symmetric difference between E and the edge-set of the graph obtained by permuting V using any permutation π : V → V is proportional to the number of non-fixed-points of π. In this work, we initiate the study of the structure, construction and utility of robustly self-ordered graphs. We show that robustly self-ordered bounded-degree graphs exist (in abundance), and that they can be constructed efficiently, in a strong sense. Specifically, given the index of a vertex in such a graph, it is possible to find all its neighbors in polynomial-time (i.e., in time that is poly-logarithmic in the size of the graph). We provide two very different constructions, in tools and structure. The first, a direct construction, is based on proving a sufficient condition for robust self-ordering, which requires that an auxiliary graph is expanding. The second construction is iterative, boosting the property of robust self-ordering from smaller to larger graphs. Structuraly, the first construction always yields expanding graphs, while the second construction may produce graphs that have many tiny (sub-logarithmic) connected components. We also consider graphs of unbounded degree, seeking correspondingly unbounded robustness parameters. We again demonstrate that such graphs (of linear degree) exist (in abundance), and that they can be constructed efficiently, in a strong sense. This turns out to require very different tools. Specifically, we show that the construction of such graphs reduces to the construction of non-malleable two-source extractors (with very weak parameters but with some additional natural features). We demonstrate that robustly self-ordered bounded-degree graphs are useful towards obtaining lower bounds on the query complexity of testing graph properties both in the bounded-degree and the dense graph models. Indeed, their robustness offers efficient, local and distance preserving reductions from testing problems on ordered structures (like sequences) to the unordered (effectively unlabeled) graphs. One of the results that we obtain, via such a reduction, is a subexponential separation between the query complexities of testing and tolerant testing of graph properties in the bounded-degree graph model.
Room Loan Information System at the National University Web-Based: Room Loan Information System at the National University Web-Based

The National University conducts daily lecture activities. In addition, the National University has several activities outside of lectures that use space in the campus building so that the activities can run well.  In borrowing a room, students still have to ask the schedule directly by visiting the room provider. Which still requires quite a long time. Room lending system is a system that can overcome problems for room lending at the National University. Submitting a loan can be done online. Every loan will be saved by the system. With this application it is hoped that it can help to make it easier to use to make room loans more easily and efficiently.
Touchscreen Swipe Based Biometric Authentication Using Spectral Regression - Kernel Discriminant Analysis

Nowadays, various biometric verification systems are used to ensure information security. In our study, the verification of the individuals from the swipe gestures on the touch screen is discussed. In this context, firstly, feature vector was created from the swipe gestures. Spektral Regression-Kernel Discriminant Analysis algorithm which casts discriminant analysis into a regression framework by using spectral graph analysis was aplied to the feature vector and then classified with Least Squares Support Vector Machines. For the experiments, publicly available JSS18 Database, which was constituted by the up, down, left and right swipe gesture of 31 individuals, acquired horizontally and vertically in eight sessions, was used and performance evaluation has been performed through EER. When the results are analyzed, it can be seen that the proposed approach increased the success and a significant reduction in error has been achieved when compared to the methods in the literature.
THE MAIN DIRECTIONS OF IMPROVING THE QUALITY AND EFFICIENCY OF HIGHER EDUCATION INSTITUTIONS

The article discusses the main directions of improving the quality of higher education. The processes of globalization in the world and the existing environment of deep competition between companies require professionals to be prepared for this. They not only provide favorable conditions for the developmentof their ideas and the implementation of the created theoretical models, but also are an important intellectual factor for the innovative development of the economy. Today, in the era of development of high technologies and information processes in the world, the competition between companies for the training of highly qualified specialists has increased.
ARTA: COLLECTION AND CLASSIFICATION OF AMBIGUOUS REQUESTS AND THOUGHTFUL ACTIONS

Human-assisting systems such as dialogue systems must take thoughtful, appropriate actions not only for clear and unambiguous user requests, but also for ambiguous user requests, even if the users themselves are not aware of their potential requirements. To construct such a dialogue agent, we collected a corpus and developed a model that classifies ambiguous user requests into corresponding system actions. In order to collect a high-quality corpus, we asked workers to input antecedent user requests whose pre-defined actions could be regarded as thoughtful. Although multiple actions could be identified as thoughtful for a single user request, annotating all combinations of user requests and system actions is impractical. For this reason, we fully annotated only the test data and left the annotation of the training data incomplete. In order to train the classification model on such training data, we applied the positive/unlabeled (PU) learning method, which assumes that only a part of the data is labeled with positive examples. The experimental results show that the PU learning method achieved better performance than the general positive/negative (PN) learning method to classify thoughtful actions given an ambiguous user request.
WORKSHOP PENGELOLAAN PEMBELAJARAN JARAK JAUH BERBASIS APLIKASI VIDEO CONFERENCE

Schools that carry out online learning should be accustomed to following the development of Multimedia technology. However, this does not necessarily apply to all schools that carry out learning through online media. From the results of direct interviews with teachers and deputy principals, that teachers still have difficulty in using multimedia for the learning process, even though online learning, especially the use of video conferencing is a must in the current pandemic era. For this reason, this Community Service Program is deemed necessary to be implemented at SMKN 1 Jetis, Mojokerto. To overcome this problem, a distance learning management workshop based on video conference applications will be held, which will be carried out in 5 stages, namely the introduction of the Zoom Meeting application, a workshop on the implementation of learning using the Zoom Meeting application, the introduction of the Google Meet application, a workshop on the implementation of learning using the Google Meet application, and review the implementation of the workshop. As a result of these activities, teachers at SMKN 1 Jetis, Mojokerto better understand the use of video conferencing applications in depth to carry out video conference-based distance learning. However, in the implementation there are still shortcomings such as unstable internet signal, unclear display, and the training arena that must be carried out separately from one group to another causing the committee to be less than optimal in controlling the implementation.
Perencanaan Instalasi Pengolahan Limbah Cair Rumah Sakit Aliyah 3 Kota Kendari

The purpose of this study was to determine the amount of liquid waste discharge at the hospital. Data from the number of hospital patient beds is 54 beds, so the activities taking place in Aliyah Hospital 3 in Kendari city produces a maximum discharge of liquid waste of 3.78/day. The form and design of processing liquid waste which is a rectangle with anaerobic- aerobic bio filter treatment system. Liquid waste processing with anaerobic-aerobic bio filter process consists of several parts namely the oil separator tank, equalization tank, early settling tank, anaerobic bio filter tank, aerobic bio filter tank, final settling tank and equipped with a chlorinated contractor tub. As for the size of each tank, which is like an oil separator tank (0,9 m × 0,5 m × 0,7 m), equalization tank (2,6 m × 1,3 m × 1,1 m), early settling tank (1,6 m × 0,8 m × 0,9 m), anaerobic bio filter tank (2,5 m × 1,3 m × 1,4 m), aerobic bio filter tank (1,8 m × 1 m × 1 m), final settling tank (1,8 m × 0,7 m × 0,7 m) and chlorinated tank (0,6 m × 0,3 m × 0,4 m). This process system was chosen because it is in accordance with the amount of liquid waste treatment system is safe, inexpensive and easy to operate.
THE ROLE OF EXTRACURRICULAR READING BOOKS IN PRIMARY SCHOOL

Everyone has the right to book a book and find out the facts. So, the moral maturity of the choice. The books of the human beings are the real truths of life. The book was inspired by the spirit of spirituality, the truth of the universe, the eloquence of the dead.
Examples and Properties of Rational Sphere Maps

We recall the definition and then amplify some of the basic issues. Allowing the circle and the torus to act on the sphere yields some fundamental identities for rational sphere maps which get used throughout the book. We discuss a wide variety of results concerning the impact of the target dimension on the possibilities. We introduce juxtaposition and tensor products, both of which get used extensively. We show that the denominator of a rational sphere map can be any polynomial not vanishing on the closed ball, but only if we allow a sufficiently large target dimension. To do so, we prove that the first few components of a rational sphere map can be any rational function that maps the closed ball in the source strictly inside the open ball in the target. This statement shows that the collection of rational sphere maps with a fixed source dimension has an arbitrarily large dimension as the target dimension increases. The chapter also includes a result about the inverse image of a point under a rational sphere map and its relationship with a reflection principle.
SISTEM INFORMASI NILAI SISWA DI SEKOLAH SMA BERBASIS ANDROID

The scoring system in which schools are still using manual system it impedes the process of distribution of value that takes quite a long time. Moreover, many students, it is very lopsided with the development of technologically seiringnya, where the technologies of the current information is easily accessible and do not need to bother in the process to access it only in the hands. It only takes a few android program so that the system can run value that is in the application form. Already a lot of software development that is compatible with android applications a nd is expected to own the presence of applications that can save students the value of teachers, teacher or school staff do not hassle in the process of inputting values.