Reviewerly/exHarmony huggingface dataset:
Report on engineering for system development on Enactprover

This research poster is on provable forms based on syntactic theorem using Kleene Axiom schema. Enact model I and II of propositional formulas from enactment logic are proven in terms of theorems based on deductive rules. Work proves by deduction rules that Enact Model I and II are model theorems in machine- level interpretation. Enactprover is a machine program for reading and writing Kleene theorem proving axioms based on enactment logic.
The Impact of Post-E-Learning on Psychological Conditions in University Students

In the recent past, the whole world experienced the covid-19 pandemic as a widely spreading infectious disease.Therefore, the Covid -19 has resultant rigorous social stigmas in this milieu.Starting from the smallest social institution; family and moving on to other social institutions relating to political, economic, religious, law and educational institutions, the Covid -19 pandemic has delivered both negative and positive impacts.Generally, the use of newer technology for education purposes is highly motivated.However, the problem remains beneath the outcomes of e-learning.This exercise has focused on understanding how post-e-learning affects the psychological condition of university students.The research problem was, "what are the post-e-learning psychological difficulties faced by university scholars".The investigations were done on a quantitative methodology, where a survey method has been used as the research method.The sample was chosen from the convenience sampling technique under the non-probability sampling methods.When considering online lecturing, respondents have identified that they suffered from headache, unbearable temper, less fear, less physical pain, having proper sleep and, more lethargic after engaging in online sessions.But the most important finding is that the subjected sample thinks that these symptoms were not the results of mental instability, but physical disturbances.Bringing new challenges to sit for the examinations, as usual, not having online examinations, not concerning the endurance of the students, slight understanding about the technology (both lecturers and students) were new challenges that students have faced.It was suggested that giving a considerable interval, leave/vacation, or organizing mental relaxation sessions affiliated to the subject matters will enhance the mental easing of the students.Use of a pre-prepared and wellplanned time table with clearly defined leaves and vacations could be used for the above.Another suggestion was that a practical experience could be delivered to the students by making out short video clips.Furthermore, the students can make such video clips align with the guided video or they can experience it practically and come up with a small briefing for a discussion.Therefore, either video or briefing could be used for future learning materials, and it will enhance the upcoming sessions for the junior batches.
A Geochemical Lithogene in Parent Rock and its Weathered Products

Immobile elements are relatively stable during weathering and could retain their geochemical features of parent rocks [1, 2].The stable relative behavior of immibole elements is similar to genetic inheritance in biology.Yan et al [3] proposed the concept of geochemical gene and its construction method.In order to compare the similarity degree of geochemical gene, the concept and calculation method of gene similarity were also proposed.Eleven immobile elements are selected to code the geochemical gene based on their abundances in the acidic, intermediate and basic rocks in China, and the sequence of these immobile elements is Al2O3→SiO2→P→Ti→La→Fe2O3→Th→Zr→ Nb → Y → U.This geochemical gene is presented to characterize the geochemical attributes of the acidic, intermediate and basic rocks in China, and is therefore called geochemical lithogene.Geological samples of four scales sourcing from the andesite of Xiong'er group in western Henan province, China are selected to test the validity of the geochemical lithogene.The results from the vertical weathering profile developed over the andesite indicate a well heredity from the fresh rock to its weathered products and a well inheritance from the top soil to its sources with different weathering degrees.The results from the lateral surficial soil profile, areal stream sediment surveys with a scale of 1:50000 and 1:200000 developed over the andesite outcrops indicate a well similarity among the soils and stream sediments sourced from the same parent rock in geochemical lithogene.A geochemical lithogene database could be constructed on the database of regional geochemical survey and may play an important role in the scientific fields such as basic geology, environmental survey, and forensic geochemistry.
Ranked Programming

While probabilistic programming is a powerful tool, uncertainty is not always of a probabilistic kind. Some types of uncertainty are better captured using ranking theory, which is an alternative to probability theory where uncertainty is measured using degrees of surprise on the integer scale from 0 to ∞. In this paper we combine probabilistic programming methodology with ranking theory and develop a ranked programming language. We use the Scheme programming language a basis and extend it with the ability to express both normal and exceptional behaviour of a model, and perform inference on such models. Like probabilistic programming, our approach provides a simple and flexible way to represent and reason with models involving uncertainty, but using a coarser grained and computationally simpler kind of uncertainty.
Correction

This article refers to:Investigating the Viability of Multifactor Graphical Passwords for User Authentication
Perancangan Aplikasi Media Informasi Lembaga Kursus Berbasis Web

Abstract-Website can be interpreted as a collection of pages that are used to publish information in the form of text, images and other multimedia programs in the form of animation (motion pictures, motion writings), sound, and or a combination of all of them both static and dynamic that form one a series of interrelated buildings between one page and another page. In this paper the design of applications that can be used as part of the dissemination of information to course institutions to increase the introduction of these agencies, to the design through the DFD design, database relation design and form design will be used as a reference in making websites.
Improving students’ vocabulary mastery through crossword puzzle at the first grade of SMPN 14 Bandarlampung

The objective of this research is to find out whether there is a significant difference in the students’ vocabulary mastery before and after being taught through crossword puzzles and also to find out which content of word that improves the most. The study was quantitative research which used one group pre-test and post-test design. The population of this research was 337 students of the first-grade students of SMPN 14 Bandar Lampung in the academic year 2018/2019. The subject is consisting of 155 male students and 182 female students. The average age of first-grade students is 12 years old. The sample of this research was taken randomly. The class of VII F is chosen as the sample of this research and the class consists of 31 students. A vocabulary test was used to collect the data. The result of students’ vocabulary test was measured in terms of noun, verb, adjective, and adverb. The data were analyzed by using the Repeated Measures t-test (SPSS) in which the significance was determined by p&lt; 0.05. The result of this research shows that the value of significance is 0.000. It means that H1 is accepted and H0 is rejected since the p score is lower than 0.05. Based on the result, it can be concluded that there is a significant difference of the students’ vocabulary mastery before and after being taught through a crossword puzzle. Furthermore, the finding also shows that noun has the highest gain with a percentage of 35%. The mean of the noun in the pretest score is 22.1 and the mean of the noun in the posttest score is 26.4. From the explanation above, a crossword puzzle is recommended to be applied in teaching and learning vocabulary since the result shows a positive effect on students. Keywords: vocabulary, content words, crossword puzzle
Evaluasi Kejadian Missfile Rekam Medis menggunakan Metode Focus PDCA di RSUP Sanglah

There were 482 medical file missfile incidents in 2019, with the highest number occurring in June 2019 with 61 medical record misfile, this could cause officers to experience difficulties in searching for medical record files and increasing the work of officers to more busy because they have to do a search on other number shelves that allow it to be misplaced, so the service process tends longer. This research aims to evaluate the event of medical record misfile using the FOCUS PDCA method at Sanglah Hospital Denpasar. Data collection techniques used in this research were interviews and observation. The data analysis stage in this research includes the identification of stage of find, organized, clarify, understand, select, plan, do, check, and action. The solution chosen to solve the problem is by designing the media information about the range of medical record storage on each shelf, carrying out the process of attached numbering information media to each storage shelf, and conducting information dissemination related to the attached media. The results of this evaluation are storing medical record files that are arranged according to the number on the shelf and re-monitoring at the end of every month all medical records in the place.
Prediction Chart: A Tool in Enhancing Reading Comprehension

Reading is considered as one of the essential components of the macro-skills in Linguistics and it is one of the various language skills that a learner must possess. It is an acquired skill for which the individual has the unique ability to pursue meaning from the text. Given this definition, the main purpose therefore of reading is comprehension, and without it, reading does not take place. The study assessed the effectiveness of prediction chart in enhancing the reading comprehension of Grade 12 students of University of Cebu Lapu-lapu Mandaue, Mandaue City, Cebu, S.Y. 2019-2020. The study employed a quasi-experimental design. The research subjects of the study were 46 Grade 12 students. These subjects were grouped into two heterogeneous groups: the control group and experimental group. The experimental group were the only subjects exposed to the use of prediction chart, using the interventional material “My Father Goes to Court” by Carlos Bulosan, while the control group were exposed to the traditional classroom instruction using the same intervention material. A researcher-made questionnaire was utilized to assess the effectiveness of prediction chart. Based on the study results, the control group's pretest performance has a significant difference from their posttest performance. This implies that the use of the traditional classroom instruction or pure lecture does not enhance the reading comprehension of the control group. In contrary, pretest performances of experimental group significantly differ from their posttest performances. Thus, the study concluded that the use of prediction chart in enhancing the reading comprehension of grade 12 students is effective. With this premise, the students can develop higher order thinking skills (HOTS) and camaraderie while learning as they step higher on their level of education.
The Relationship between Stress and Mobile Phone Addiction in College Students

With the development of mobile Internet, smart phones are regarded as new or extended human organs by the media and the public.However, as modern people's "wind-accompanying ear" and "thousand-mile eye", mobile phones also cause social problems such as mobile phone addiction.Mobile phone addiction refers to the phenomenon of psychological or social function damage caused by excessive use of mobile phone.Excessive use of mobile phone will bring many physiological complications, such as neck, shoulder and other physiological pain, hearing and vision problems (Yen et al., 2009).In addition, mobile phone addiction has been proved to be related to people's dysfunctional behavior and negative personal status (Rozgonjuk et al., 2018), and it also has a negative impact on individual's academic performance and interpersonal relationship (Liu et al., 2017).In addition, mobile phone addiction has always been proved to be related to people's dysfunctional behaviors and negative personal status (Rozgonjuk et al., 2018), which will have a negative impact on individual academic performance and interpersonal relationships (Liu et al., 2017), and can cause mental health problems such as anxiety and depression (Huang et al., 2021).Research on the influencing factors of mobile phone addiction has always been a hot topic in the field of psychology.Previous studies have found that the influencing factors of mobile phone addiction include demographic variables (age, gender, major, grade, regional differences, etc.), social interaction,
Biographies of the Guest Editors

Near Surface GeophysicsVolume 19, Issue 2 p. 279-279 Biographies of the Guest Editors Biographies of the Guest Editors First published: 16 April 2021 https://doi.org/10.1002/nsg.12155 Read 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 onEmailFacebookTwitterLinked InRedditWechat No abstract is available for this article. Volume19, Issue2Special Issue: Near‐Surface Geophysics for Geohazard AssessmentApril 2021Pages 279-279 RelatedInformation
An Artificial Neural Network Genetic Algorithm with Shuffled Frog Leap Algorithm for Software Defect Prediction

Defect prediction performances are significant to attain quality of the software and to understand previous errors. In this work, for assessing the classification accuracy, precision, and recall and F measure for various classifiers are used. The artificial neural network optimizations make the assumption that more than two algorithms for one optimization have been implemented. The optimization makes use of a heuristic for choosing the best of the algorithms for being applied in a particular situation. An approach of hybrid optimization for designing of the linkages method and is used for the dimensional synthesis of the mechanism. The ANN models are assisted in their convergence towards a global minimum by the multi-directional search algorithm that is incorporated in the GA. The results have shown an accuracy of classification of the NN-hybrid shuffled from algorithm to perform better by about 5.94% than that of the fuzzy classifiers and by about 3.59% of the NN-Lm training and by about 1.42% of the NN-shuffled frog algorithm..
Peran Sistem Informasi pada peningkatan efektifitas kerja pegawai

The purpose of the study was to analyze the role of information systems consisting of system quality, information quality, ease of use, and user satisfaction on information systems on the effectiveness of employees' work. The study population was 221 employees at the University of PGRI Kanjuruhan Malang, the number of samples in the study was 69 employees using the proportional random sample technique. The data analysis technique used multiple linear regression analysis. The results showed that the system quality, information quality, ease of use and user satisfaction had an effect on employee work effectiveness. So the information system will simplify and speed up the implementation of the work if the quality of the system is considered, the quality of information, the ease of use, and ensures that users are satisfied. Research is limited to one organization, can be developed by involving broader research
Impact of Land Slope and Mineralogical Composition on the Spatial Distribution of Related Elements in some Soils South-east of El-Qattara Depression, Egypt

Grasping influence of land slope gradient and mineralogical composition (MC) on soil chemical contents and their distribution is essential to ensure sustainable agricultural planning and developing pedo-systems.The objectives of this work were to determine spatial variations of total contents of Ca, Mg, Fe, and Al, and investigate the impact of slope gradients and MC on their distribution in some soils Southeast of El Qattara depression, Egypt.Therefore, five soil profiles were selected on the basis of slope gradient which is varied between gently sloping to nearly level.Hornblende (Ho), Epidotes (Ep), Garnet (Ga), and Biotite (Bi) comprised the heavy MC related to the investigated elements in the studied area.The results showed that Ca> Fe> Al> Mg in terms of quantity.Total contents of Ca and Fe decreased in nearly leveled soils and increased in the other gently sloped ones while Al and Mg exhibited reversible trend.Land slope gradient was non-significantly affected the spatial distribution of the studied soil elements when analyzed with ANOVA and multiple comparison tests.Total Ca was significantly positively correlated with Ga only.All related minerals were negatively correlated with Mg concentrations.Ho, Ep, and Bi were negatively correlated with the distribution of Fe.Mineralogical effects on the total contents of Al showed positively correlated with Bi only.These findings can have a significant impact on land use planning and soil management practices, especially when putting fertilizing strategies for obtaining high agricultural productivity within these kinds of arid land.
Digital Assyriology Using artificial intelligence to unlock an ancient lingua franca

istory and archaeology are often perceived to be non-quantitative fields, the purview of bespectacled technophobes languishing among the dusty tomes of dark library aisles or covered in sand, trowel in hand.This could not be further from the truth for many modern-day practitioners.Recent years have seen the application of cuttingedge techniques to various fields in the humanities, including artificial intelligence, machine learning, and natural language processing.One such field is Assyriology, the study of texts discovered in the ancient Near East and written in the cuneiform script on clay tablets.
JPR volume 57 issue 2 Cover and Back matter

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Chaotic Dripping

Drops are around us in many aspects of our daily life.We can observe them from a leaky faucet in the kitchen to beautiful water fountains in many parks.Nowadays, its applications are not limited to simple observatory facts, but it has multiple applications in many different fields.Previous works have shown that drops exhibit chaotic behavior at high flow rates, which could potentially affect the quality of mass production droplets in industrial applications.Most of the previous works have been focus on studying drop formation in air.In this project, we were focused on studying the drop formation in air using several liquids with different viscosities.Additionally, we extended the study to emulsion drops.We used glass-based microfluidic devices to generate the emulsions and they were visualized using high speed microscopy techniques.The experimental data showed the different routes to chaos in each liquid, which confirmed the effects of liquid viscosity leading to this behavior.
Analysis of definition set formed by given definitions of term cybersecurity

This work exposes logical semantics analyses of definitions set of given definitions of the term cybersecurity and its impact on evolution of strategies in the field.With the given formalization of the definitions author suggests an approach of building structured understanding of the term cybersecurity, which could be used toward to build a layered model of the persistent cybersecurity state in digital context.Given that, this could result to gain more efficacy in certain educational process when cybersecurity is in topic.
Design of Single and Dual-axis Solar Tracker System using Neural Network

Nowadays, solar energy is becoming more popular as it promotes awareness of an eco-friendly lifestyle.However, solar power generation is insufficient as the primary power generation in Malaysia.To overcome this issue, many private companies are devoting themselves to research to increase the amount of electricity produced by solar panels.Research has shown that a surface perpendicular to direct sunlight increases power generation significantly.Therefore, positioning the solar panel perpendicular to the direct sunlight is crucial as there are many factors to be considered.We will study the difference in dimensional movement and the method of tracking sunlight to make solar panels more efficient in power generation.Light can come from omnidirectional, the movement of the robot must have a higher dimension.Finding the highest intensity of sunlight becomes a challenges because sunlight does not constantly stagnate in a particular location.Therefore, a static solar panel is not as useful as a dynamic solar panel.Besides, the positioning of the sun will change accordingly based on the season.Hence, we need a dynamic solar tracker that can changes its solar panel position as the sun rises or falls.A neural network is chosen as the method of positioning the solar panel by moving with single-axis and moving with dual-axis.
Visual Analytics via Graph Signal Processing

This dissertation presents an overview of the extension of the classical signal processing theory to graph domains. Furthermore, we introduce in this dissertation a novel method for visual analysis of dynamic networks, which relies on the graph wavelet theory. Our method enables the automatic analysis of a signal defined on the nodes of a network. We use a fast approximation of the graph wavelet transform to derive a set of wavelet coefficients, which are then used to identify activity patterns on large networks, including their temporal recurrence. The wavelet coefficients naturally encode spatial and temporal variations of the signal, leading to an efficient and meaningful representation. This method allows for the exploration of the structural evolution of the network and their patterns over time. The effectiveness of our approach is demonstrated using different scenarios and comparisons involving real dynamic networks.
The role of libraries in the formation of an inclusive culture of society

The article deals with the concept of "inclusive culture", which deserves special attention in the context of the existing problems of perception of people with special needs in modern society. The article presents the practical experience of the Yaroslavl Regional Special Library in introducing people with disabilities to social activity, raising public awareness, and changing the attitude of society to the problems of disabled people.