Reviewerly/exHarmony huggingface dataset:
Materials for mobile learning

This chapter explores the number of concepts and principles that can help the mobile materials designer/teacher develop mobile learning materials and experiences that fit with a communicative approach to language learning. Since its appearance in the world of education in the mid-2000s, exactly what is meant by the term ‘mobile learning' has been the subject of some debate. The chapter discusses the mobile devices as sources of entertainment, it is always immediately obvious how they might impact upon learning and, consequently, at all obvious how one might develop mobile learning materials. At the same time teacher materials developers increase their understanding of mobile learning possibilities and the potential for materials development in the field, it is equally 'important for us to help students orient themselves in this new space'. Taking just one example of how this works with materials development in practice, we will briefly consider the use of the camera in mobile devices.
Digital Environment in Academic Libraries: Leveraging on Advanced Information Communication Technologies for Better Service Delivery

The advancement in technologies coupled with the Fourth Industrial Revolution (4IR) and its associated technologies such as artificial intelligence, AI, robotic technology, virtual/augmented reality, big data, blockchain, cloud computing, and the likes have entered into the academic and other types of libraries have all brought changes into the digital environment of academic libraries. In light of this, this chapter examined the current digital environment of academic libraries. The chapter discusses the concept of the digital environment and academic libraries, describes digital components in academic libraries (old versus new), describes the impact of the digital environment on academic libraries, identify the new knowledge and skills required for academic libraries users’ and librarians’ functionality in the digital environment of academic libraries, and identifies changing formats ofthe environment of information material; the technological issue; the changing role of librarians; a collection of virtual information, archiving or preserving the virtual information; accessing of virtual information; special skills needed for librarians in building a virtual library; the cost factor of information technology; and the likelihood of job loss by the librarians as current challenges associated with the digital environment of academic libraries. The chapter recommends based on the findings that Academic librarians and studentsshould work to develop in-demand skills and continuously learn to use tools that reveal their capabilities and expertise to function in the digital environment of academic libraries and to provide efficient and effective information service. The academic librarians should anticipate and integrate new technologies to redesign access and delivery mechanisms to maximise utilisation of information and to minimise the costs of supporting such services. Keywords: Academic libraries, Digital environment, Digital literacy, Digital skills, Advanced technologies, Fourth Industrial Revolution technologies.
Stochastic Scheduling for Bag-of-Tasks Applications with Uncertain Task Durations in Cloud Computing Environments

Scheduling bag-of-tasks (BoT) applications, which consist of many independent tasks, has been a challenging problem in cloud computing environments. Most existing BoT scheduling algorithms fail to consider the uncertainty of the task duration in actual situations, and regard task durations as fixed values that are pre-determined. Taking uncertain task durations into account, this paper establishes a stochastic optimization model for the BoT scheduling problem with the optimization objective of minimizing the user’s cost for using cloud computing resources. The optimization model formulates each task’s duration time as a normally distributed random variable, and imposes a stochastic deadline constraint on each BoT application’s makespan, under which the application must be completed before a user-specified deadline in a probabilistic sense. We further design a stochastic BoT scheduling (SBS) metaheuristic to solve this stochastic scheduling problem. For each candidate scheduling solution, the proposed SBS employs a task assignment strategy to designate BoT tasks onto virtual machine instances under uncertain task durations as well as probabilistic deadline constraints. In this manner, the quality of each solution can be evaluated. An iterative procedure is performed to explore the best solution with the highest quality. Experimental results justify that the uncertainty-aware SBS algorithm can not only guarantee the satisfaction of probabilistic deadline constraints but also substantially reduce the user’s cost.
Free Models and Logic Programming

This chapter develops the foundations of logic programming. Starting from Herbrand's Theorem, free models and Herbrand structures are introduced. The resolution method and its use in the solution of algorithmic problems is explained in three steps, first on the propositional level, then for firstorder formulas without unification, and finally in the general case using the unification algorithm.
PETROLOGICAL AND GEOCHEMICAL INVESTIGATIONS ON DOKHAN VOLCANICS AT WADI UM SIDRA-WADI UM ASMER AREA, NORTH EASTERN DESERT, EGYPT

The present work provides the geology, geochemistry, and petrogenesis of the Dokhan volcanics rocks exposed at the areas surrounding Wadi Um Sidra and Wadi Um Asmer in the northern Eastern Desert of Egypt, between Latitudes 27° 14´ and 27º 26´ N and Longitudes 33º 8´ and 33º 22´ E. The Dokhan volcanic rocks are exposed in the central (Gabal Dokhan) and the eastern parts of the mapped area.They cut by several sets of faults causing distinctive rugged topography, whereas narrow wadis run through these rocks.Based on the field and petrographical studies, the Dokhan volcanics are represented by a thick sequence of stratified lava flows of andesites, dacites, rhyolites and scarce amounts of basaltic rocks with pyroclastics which are composed of tuffs, agglomerates and ignimbrite.The Dokhan volcanics are intruded by monzogranites, syenogranites and alkali feldspar granites with sharp and irregular contacts, and sometimes are represented by large apophyses and several offshoots in syenogranites and as roof pendant over the monzogranites.Geochemically, these rocks have shown metaluminous to slightly peraluminous, medium to high-K calc-alkaline affinities and are unmetamorphosed with dominantly porphyritic texture and they enriched in LREE.The REE patterns of the rhyolites are characterized by wing shape with strong negative Eu anomaly, reflecting plagioclase fractionation.The studied Dokhan volcanic rocks have geochemical characteristics similar to the rocks developed in volcanic arc setting in subduction environment rather than transitional or post-collisional setting.Rhyolites have geochemical characteristics of lavas erupted in collisional setting.The systematic variations of major oxides and trace element abundances along continuous trends of decreasing Al 2 O 3 , CaO, MgO, Fe 2 O 3 , TiO 2 , P 2 O 5 , Ni, Cr and Sr and increasing K 2 O, Rb, Nb and Zr with increasing SiO 2 can be interpreted in terms of fractional crystallization.The similarity and parallel nature of the normalized REE patterns with increasing total REE contents and decreasing Eu/Eu * with increasing SiO 2 imply a major role of crystal fractionation during the evolution of these rocks.
Multi-Attribute Utility Theory Algorithm for Selection two-wheeled Vehicle, Educational Review Process

Motorcycles are a highly efficient and effective means of transport. Currently, the increasing number of motorcycle products allows consumers to buy the correct motorcycle and according to their wishes, requirements, and abilities. The objective is to design and use the Multi-Attribute Utility Theory (MAUT) method to choose a motorcycle product. The MAUT method has advantages, including simple calculations, leads to the ultimate value used to classify vehicles and determines the weight value of the criteria that leads to vehicle selection according to the buyer's wishes and needs. The data sources are based on the data required, namely observations and interviews with the public as motorcycle users and motorcycle dealers in the North Sumatra Region as a sample. Price, quality, design, after sales, fuel consumption and popularity are the criteria for evaluation. While Honda, Yamaha and Suzuki for motorcycles moped; sport; and matic are the alternatives used in research. The ranking results are obtained with the final value on alternative 1 = 0.8500; alternative 2 = 0.7500; and alternative 3 = 0.2250, so alternative 1 (Honda (New Vario 125 Esp CBS-ISS) is the alternative chosen as a recommendation in the selection of two-wheeled vehicles based on needs. The results of this study demonstrate that MAUT can be used as a recommendation for the public in choosing motorcycle products based on needs.
The Impact of Using the Association Method in Determining the Pattern of COVID-19 Symptoms in the Sumatra Province

COVID-19 (coronavirus disease 2019) is a new type of disease caused by a coronavirus, namely SARS-CoV-2, also known as the Corona virus. The Corona virus outbreak is causing concern all over the world, including in Indonesia. Many people became paranoid as a result of the virus's widespread spread, which was followed by reports of a number of deaths among victims. The spread of the Corona virus in Indonesia has had a negative impact on all aspects of life. Because of the density of settlements and the vastness of Indonesia's territory, this virus became out of control and spread quickly. The lack of socialization in dealing with this virus has an impact on the community's understanding of the importance of following health protocols. The goal of this research is to use data mining techniques to determine the pattern of symptoms caused by the Corona virus. The Association method is used in data mining. APRIORI is a popular association method that employs a high frequency pattern. This method is expected to be used to determine how likely it is that one case has the first symptom in addition to other symptoms. The parameters Support and Confidence support whether or not the association rules are required. After obtaining the results of the multiplication of Support and Confidence, the rule with the highest multiplication result will be discovered. The rule with the highest result is used as a rule to be applied in the next case, namely "If you have cough symptoms, they will be accompanied by fever symptoms with 90% support and 90% confidence".
Syntax of First-Order Languages

This chapter provides a careful introduction to the syntax of first-order logic. The inductive definitions of terms and formulas of first-order logic are used as a basis for inductive proofs of properties of terms and of formulas and for the inductive definitions of functions on terms and on formulas.
Faktor-faktor yang mempengaruhi siswa smkn jurusan pariwisata di kota denpasar dalam memilih perguruan tinggi

Abstract&#x0D; &#x0D; In line with the increasing interest of students of SMKN majoring in tourism who continue to higher education, this study aims to determine the factors that influence SMKN students majoring in Tourism in Denpasar City in choosing universities and to find out the most dominant factors in influencing SMKN students majoring in Tourism in the City. Denpasar in choosing higher education institutions. This study used 100 respondents with accidental sampling technique. The data will be analyzed using quantitative descriptive analysis and using factor analysis. Based on the results of calculations using factor analysis, there are 21 variables which are grouped into 5 factors, namely the motivation factor plus the flexible lecture time factor and employees, the college physical evidence factor plus the people factor and the good image variable, the price factor and good accreditation. , reference group factors plus personal factors, and the latest curriculum variables. Of the five factors, the motivation factor plus the flexible lecture time factor and employees are the most dominant factors. Higher education institutions need to carry out promotional activities to SMK so that Vocational School students know the profile of the Higher Education, which will later become a reference for SMK students in choosing Higher Education&#x0D; &#x0D; Keywords: Factor analysis, Selection of Higher Education, Vocational School Students majoring in Tourism
Developing English Front Office Materials for Twelve Grade Students in First Semester

The purpose of this study was to develop English front office materials for first semester students of class XII at SMK N 2 Singaraja. In the data collection process, researchers used six instruments, namely, Google form for teachers and students, Questionnaire for teachers and front office staff, Checklist for students, and the last instrument is Checklist for expert judges. This research method used the Design and Development (D&amp;D) model. The results showed that there were 5 topics that needed to be developed, namely; Handling guest arrivals and departures, Handling guest baggage, Bell desk service handling requests, Individual guest check-in handling, Individual guest check-out handling. The conclusion obtained in this study is that there are 5 topics that must be developed into products and each topic contains input, content focus, language focus, and task and the product quality is classified as very good based on the results of two expert judges.
Research on firmware vulnerability mining technology of power industrial control terminal

As the terminal of power system, power terminal plays important functions such as perception, instruction execution, user interaction and so on. Compared with the centrally deployed background application system, the power terminal is closer to the user side and faces a more complex physical environment. At the same time, due to the limitations of the physical configuration of the terminal, its own security protection capability is weaker than that of the server. Therefore, this paper makes an in-depth research on the security risk detection technology of power terminal, and puts forward the method of security detection of power terminal-industrial control terminal.A security depth detection method for power terminal is proposed. Aiming at the firmware of power industrial control terminal, through the feature analysis and extraction of binary program vulnerabilities, the efficient vulnerability mining method and automatic execution technology are studied, and an efficient scheduling algorithm of firmware vulnerability mining based on decision tree is proposed. an efficient and accurate ability to mine vulnerabilities in binary programs is established, which reduces the hidden dangers of vulnerabilities in power network assets.
Snapshot of Dental Education

Journal of Dental EducationVolume 83, Issue 8 p. 991-991 Snapshot of Dental Education Snapshot of Dental Education First published: 01 August 2019 https://doi.org/10.1002/j.0022-0337.2019.83.8.tb06400.xRead 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 onEmailFacebookTwitterLinkedInRedditWechat No abstract is available for this article. Volume83, Issue8August 2019Pages 991-991 RelatedInformation
An Integrated Procedure for Dynamic Generation of the CRC in View of Safe Wireless Communication

Due to the rapid technological development in recent decades, increasingly complex technical systems are finding their way into all areas of human activity. The growing complexity and scope of technical systems result in higher requirements on their safety. Due to the technological possibilities, in modern industrial applications, more and more important data are exchanged between several industrial machines, monitoring or control devices. Therefore, safe and secure communication is one of the most important aspects besides safe hardware and software. The use of innovative technologies makes it necessary to develop new concepts and methods to ensure safety. A very common method for detecting transmission errors in the digital communication process is a Cyclic Redundancy Check (CRC). Due to the increasing use of wireless technologies in the field of digital communication, this method offers no longer sufficient protection. This paper presents an approach for a novel dynamic procedure for CRC generation in a digital communication channel. The procedure is based on the conventional CRC method. However, the procedure allows the use of several specified generator polynomials, dynamically. Thus, using the procedure in a communication process obstructs unauthorized access and falsification of the transmission data. In this paper, an initial concept for the procedure is introduced, the detailed description of some developed algorithms and aspects is explained and the selection of the eligible generator polynomials is discussed.
Sistem Informasi Kearsipan Dokumen Kepegawaian Pada Universitas Maritim AMNI Semarang

There are many archives owned by AMNI Maritime University in Semarang. The archiving system carried out at the AMNI Maritime University Semarang is still not well organized and neat because it is only based on archive classification, so if you have to look for archives such as archive numbers or archive dates, you will experience problems because you have to find the files needed one by one in the filing cabinet. The sequential search algorithm can be applied to the search for employee document numbers at the Maritime University AMNI Semarang and works well as planned. The employee document archive information system at the Maritime University AMNI Semarang can be used to manage the employee document archive more optimally, controlled, well organized and maintained so that the archive is not easily damaged&#x0D; &#x0D; Keywords: Archives, AMNI Maritime University Semarang, Sequential Search Algorithm
More Accurate Geometric Analysis on the Impact of Successful Decryptions for IND-CCA Secure Ring/Mod-LWE/LWR Based Schemes

Majority of lattice-based encryption schemes allow the possibility of decryption failures. It is now understood that this property makes such encryption systems susceptible to the so-called decryption failure attack. In such an attack, an adversary can use a large number of ciphertexts that cause decryption failures to help to recover a private key. In PQC2020, Bindel and Schanck observed that successful decryptions also imply some information about the secret as the secret vector must be away from certain spherical caps. In this paper, we revisit this problem by exploring certain geometric properties in lattice based schemes. We are able to produce more tools for crypt-analysis and operations of these schemes and provide a more accurate interpretation of the information brought from successful decryptions to enhance the failure boosting. By using (recent) precise formulas, we develop some techniques to accurately characterize relationships between a private key and successful queries to the decryption oracle. A finer estimation of the valid proportion of key candidates that can be excluded from successful queries is given. The decryption failure probability is also more accurately analysed. Our discussion addresses and corrects previous errors and our experimental data is usable in assessing the IND-CCA security of (R/M)-LWE/LWR based systems.
Improved Image Dehazing Algorithm Based on Multi-scale Feature Fusion

To address the issue of patch effect and halo effect in dehazed images due to the influence of dehazing, an improved image dehazing algorithm is proposed based on multi-scale feature fusion. On the one hand, the patch effect and halo effect expose the inaccurate estimation of parameters in image dehazing, the transferring efficiency of image features is enhanced by introducing an attention mechanism in this paper, which shows a more accurate estimation and better convergence ability. On the other hand, for a more real dehazing effect, the realness index is introduced to the loss function in the network. Compared with the recent state-of-the-art dehazing methods, the results of the validation in the NYU-depth2 test set show the peak signal-to-noise ratio index of improved image dehazing network is increased by 7.28%, and the structural similarity index reaches 0.901. The improved image dehazing network can effectively restore images from haze and the dehazed images are more real and natural.
Medical Students' Satisfaction Regarding Blended Learning during COVID-19 Pandemic

Background: The realization of the profession's role in both of global and personal concept affected the self-identification among 2020 medical students.COVID-19 pandemic can hinder, accelerate, or change medical students' professional identity formation.Objective: To assess the level of satisfaction about blended learning among undergraduate medical students at Zagazig University and to determine challenges, which face the medical students during blended learning education in Faculty of Medicine.Patients and Methods: This cross-sectional study was performed during the period from September 2020 to July 2021 at Zagazig University, Egypt.This research included 277 undergraduate medical students. Results:The current study reported that interaction satisfaction score ranged from 18 to 53 with median 37 and 53.1% of students reported high satisfaction with interaction domain.There was statistically significant correlation between total satisfaction score and both age and technology barrier.There was statistically non-significant correlation between total satisfaction score and communication barrier.Conclusion: The results show that the majority of our sample students were highly satisfied with blended learning and reported low barriers to e-learning.Students still prefer face-to-face courses despite their satisfaction with their grades and performance in blended learning courses.
Deployment of the Biometrics-as-a-Service (BaaS) Design for the Internet of Biometric Things (IoBT) on the AWS Cloud

Distributed computing has opened numerous opportunities for the plan and execution of different models of programming for tending to an assortment of issues. Biometric verification is a significant part of security, and the prerequisite for the equivalent is growing bit by bit. This has led to adaptation of Biometric as an authentication measure by masses. The development of compact sensors and biometric capture gadgets, biometric verification will become Internet of Biometric Things (IoBT). Widespread use of biometric authentication has resulted in a large number of authentication requests, and the cloud-based execution is a practical alternative for handling such a large number of requests. The advancement of a multimodal biometric validation framework is examined in this chapter. At first, the framework is proposed as a local multimodal biometric framework and further altered to be conveyed as Biometric as a Service (BaaS) put together model with respect to Amazon Web Services (AWS). This part is introducing the improvement in calculation time and adaptability acquired by cloud-based organization.