Reviewerly/exHarmony huggingface dataset:
Peer review declaration

Abstract All conference organisers/editors are required to declare details about their peer review. Therefore, please provide the following information: • Type of peer review: Double-blind • Conference submission management system: AI Scholar System • Number of submissions received: 101 • Number of submissions sent for review: 97 • Number of submissions accepted: 56 • Acceptance Rate (Number of Submissions Accepted / Number of Submissions Received X 100): 55.4% • Average number of reviews per paper: 2 • Total number of reviewers involved: 40 • Any additional info on review process: • Step 1. Each of selected paper will be reviewed by two/three professional experts in the related subject area. • Step 2. Review Reports received from the experts will be judged by one of the editors either Review Reports are logical or not? • Step 3. If not logical, then editor can assign new reviewer or can also judge at his/her own. • Step 4. If logical, then Review Reports will be sent to authors to modify the manuscript accordingly. • Step 5. Authors will be required to revise their papers according to the points raised. • Step 6. Revised version will then be evaluated by the editor for the incorporation of the points raised by the reviewers. • Step 7. Then the editor will send the revised manuscript to the reviewers again for re-evaluation. • Step 8. If the reviewers approve the revise version of the manuscript, then will be accepted for publication. • Contact person for queries: Xuexia Ye publication@keoaeic.org AEIC Academic Exchange Information Centre Please submit this form along with the rest of your files on the submission date written in your publishing agreement. The information you provide will be published as part of your proceedings.
Detecting spammer and fake user on social networks using machine learning approach

The fake users play a significant role in social media. The Spammer’s messages are similar to non-spam messages. There are several waysto distinguish fake and genuine online media users. However, detecting malicious messages are still a challenging problem. The proposed method is a machine learning based approach to distinguish fake users that could delude individuals. The dataset has been collected and preprocessed. The preprocessing is carried out by the python libraries. The examination model is obtainedfrom the preprocessing. The distinguish matrix is designed by using the examination model. The machine learning is employed in the process. The machine learning algorithm includes Random Forest, Neural Network and Support Vector Machines are utilized for the identification of fakeusers. The results are recorded and analyzed. The presented method is yielded 87.34% accuracy in detecting the fake users for the defined environment.
Generalized Arrays for Stainless Frames

We present an approach for verification of programs with shared mutable references against specifications such as assertions, preconditions, postconditions, and read/write effects. We implement our tool in the Stainless verification system for Scala. A novelty of our approach is to translate imperative function contracts (including frame conditions) using quantifier-free formulas in first-order logic, instead of quantifiers or separation logic. Our quantifier-free encoding enables SMT solvers to both prove safety and to report counterexamples relative to the semantics of procedure contracts. Our encoding is possible thanks to the expressive power of the extended array theory of de Moura and Bjørner, implemented in the SMT solver Z3, whose map operators allow us to project heaps before and after the call onto the declared reads and modifies clauses. To support inductive proofs about the preservation of invariants, our approach permits capturing a projection of heap state as a history variable and evaluating imperative ghost code in the specified captured heap. We also retain the efficiency of reasoning about purely functional layers of data structures, which need not be represented using heap references but often map directly to SMT-LIB algebraic data types and arrays. We thus obtain a combination of expressiveness for shared mutable data where needed, while retaining automation for purely functional program aspects. We illustrate our approach by proving detailed correctness properties of examples manipulating mutable linked structures.
Plastic waste reinforced with inorganic pigment from red stone in manufacturing paving block for pedestrian application

sgeargh
PENGEMBANGAN LEMBAR KERJA PESERTA DIDIK BERBASIS MOODLE MATERI PENGUKURAN PANJANG KELAS IV SEKOLAH DASAR

This study aims to develop student worksheets for measuring length for grade IV Elementary Schools based on Moodle.This research is a development research using the ADDIE model. Data in this study were obtained through questionnaires and interviews. The subjects of this study were primary school students grade IV-B at SDN Baru 08 Pagi. This study involved three experts as validators of media eligibility, including media experts, content experts, and language experts. The results of these study indicate that the development of student worksheet based on Moodle has a significant level of eligibility assessment. The results of the validation of the content experts showed the eligibility with a percentage of 91%, media experts with 85% and language experts at 90% of which all three were categorized in the "Very Eligible" criteria. The results of the trials to students also showed the same thing, where the two trials conducted showed each of the results of face to face tryout with an assessment of the eligibility percentage of 94% and field trial of 93,6% which makes the media fall within the "Very Eligible" criteria. It can be said that the developed student worksheet based Moodle in mathematic of grade IV primary school.
Armor 2020 Dark Market Report: The New Economy

If anyone still entertains the image of the cyber criminal as a loner, skulking in a basement, wearing a black hoodie and committing fraudulent acts on the Internet as a way of making up for a lack of community, this report should help put that to rest. Cybercrime thrives on community – in fact, many communities – that are becoming increasingly professional in their attitudes and the services they offer.
Scientific and Methodological Approaches to the Assessment of National Research Universities

The strategy of innovative development of Russia requires the formation of national research universities of the international level. Twenty-nine Russian universities have already been awarded this status. They are faced with a difficult task - to become the movers of priority areas for the development of science, technology, economic sectors, and the social sphere. The paper discusses the issue of assessing the quality of the activities of universities in the category "National Research University" (NRU). The disadvantages of existing approaches to assessing the activities of universities are highlighted. It is proposed to use self-assessment with the involvement of independent experts as a tool for assessing the activities of the NRU and its improvement. A process model and criteria for assessing the quality of the activities of a national research university have been developed. A mathematical model of the preferences of a decision-maker (DM) for a comprehensive assessment of the quality of NRU activities has been built. The model takes into account the individual and rational preferences of decision makers, as well as the balance of approaches and results to ensure the quality of NRU activities. Estimates of the numerical values of the parameters of the developed mathematical model are determined. For this, an experiment was planned and a D-optimal supersaturated design was built. The quality indicators of the developed model are calculated, which allow us to conclude that the developed model better describes the results of the experiment than the existing models.
Rigorous Characterization of Single-Photon Detectors using Generalized Decoy-State Scheme

We experimentally demonstrate a generalized decoy-state scheme to rigorously characterize the efficiency and noise of single-photon detectors with relaxed requirement on the detector's physical model, which could open new possibilities in device calibration standards.
Occluded Face Recognition with Deep Learning

Face recognition is an research topic of great importance in both the academia and industry, with a large number of applications based on this technology. Occluded face recognition is even more challenging when the whole face is not available. We find this problem has not been completely solved and is still a hot topic in recent years. Based on a real-world masked face dataset, we conduct a series of experiments with an aim of evaluating five advanced deep learning models and find that DenseNet performs the best with a test accuracy of 0.8012.
DAda-NC: A Decoupled Adaptive Online Training Algorithm for Deep Learning Under Non-convex Conditions

Adam is a famous adaptive optimization algorithm for model training of deep learning. However, its weak generalization capability under non-convex conditions is still an open problem. To tackle this problem, we proposed a decoupled weight decay adaptive algorithm, named DAda-NC, for solving non-convex optimization issues and improving generalization capability. In our proposed algorithm, we use the $$sign(\cdot )$$ function to re-design the second order momentum of adaptive algorithm that makes our proposed algorithm converging in non-convex cases. Moreover, we respectively add a decoupled weight decay factor to the calculation of the gradient and stepsize of the proposed algorithm, which improves the generalization capability for our proposed algorithm. Finally, plenty of experiments conducted on public datasets demonstrate that our proposed algorithm outperforms other executed algorithms.
ENFRENTAMENTO DA PANDEMIA DA COVID-19 EM UM CENTRO OBSTÉTRICO: RELATO DE EXPERIÊNCIA

This experience report had the objective of reporting the actions of the nursing team in confronting the pandemic of the new coronavirus in an Obstetric Center in the interior of Rio Grande do Sul.The Covid-19 pandemic that emerged in late 2019 in Wuhan, China, has spread to all continents.It is an account of the experience of an assisting nurse.Several service flows have been adapted.Of the patients positive for Covid 19 for the vast majority, cesarean delivery was indicated.When hospitalization is for the resolution of pregnancy, mixed feelings are noted, as it is a great joy to have a new member in the family, but at a time of many doubts and events around the world.Due to the pandemic, the Obstetric Center has gone through many moments of tension and concern, because every day there are people from the community and from the team with a positive result for Covid19.
Deep Learning Technique for Image Colorization

Image colorization has its importance in research, such as thief identification from sketch images, automatic colorization of old pictures, etc. Image colorization is considered a troublesome issue and regularly requires manual acclimation to accomplish the desired quality. Colorization should be possible in either an interactive manner or an automatic manner. Motivated by the ongoing achievement in deep learning procedures that give astounding displaying of enormous scope information, creators present a Deep Convolutional Neural Network approach for automatic image colorization. A grayscale image is passed as an input into the network, and based on the local and global features, an equivalent colored image is generated as an output by the trained network. The model has trained with the Places dataset, which has approximately 100000 images with 100 different classes.
Seven Myths About the ISSN

An understanding of how International Standard Serial Numbers (ISSN) are assigned and used is fundamental to the work of all participants in the serials information chain. This workshop sought to dispel many of the common misconceptions about the ISSN by exploring the “myths” and presenting the facts. [Article copies available for a fee from The Haworth Document Delivery Service: 1-800-342-9678. E-mail address: getinfo@haworth.com ]
OPTIMALISASI PENGEMBANGAN PERENCANAAN PERKULIAHAN DARING MATA KULIAH BAHASA INDONESIA UNIVERSITAS TJUT NYAK DHIEN MEDAN

The purpose of this research is to optimize it by developing recovery planning starting from Lecture Contracts, SAP and RPS, Evaluation and Digital Book Teaching Materials in Indonesian Language courses. This type of research is research and development. The research and development steps are guided by the ADDIE model (Analyze, Design, Development, Implementation, Evaluation). The results of the Validator Review of Learning Planning Experts for Online Lectures for Indonesian Language Courses at Tjut Nyak Dhien University stage 1, for lecture contracts, SAP &amp; RPS and Evaluation, the number is 33 with a percentage of 76.7% and the category is feasible. Review of the Validator of Learning Planning Online Lectures for Indonesian Language Course at Tjut Nyak Dhien University phase 2, for lecture control, SAP, RPS and Evaluation the total is 43 with a percentage of 100% and the category is very feasible. Digital book validation research on Optimizing the Development of Online Lecture Learning Planning for Indonesian Language Courses at Tjut Nyak Dhien University is 80.5%. The results obtained on the results of student lectures from several meetings obtained an increase in UTS scores with a percentage of 94%. The conclusion of the research results obtained are the results of expert validation of Lecture Contracts, SAP, RPS, Evaluation and Digital Book Teaching Materials that are suitable for use in Optimizing the Development of Learning Planning for Online Lectures for Indonesian Language Courses at Tjut Nyak Dhien University. Keywords: Optimization, Development, Planning, Online, Indonesian
Modeling and Analysis of Blockchain Trading Network Based on Directed Time Weighted Random Walk

Blockchain technology as an emerging technology is widely concerned by researchers. However, the unique characteristics of blockchain data make the blockchain data analysis full of challenges. Blockchain data has not only spatial characteristics, but also temporal characteristics. The blockchain trading network is greatly different from the traditional network, and the modeling method based on simple graph cannot accurately describe the blockchain trading network. In order to more accurately describe the transaction information between entities in the blockchain trading network, the time weighted multigraph is used to model the blockchain trading network. According to the characteristics of blockchain trading network, this paper designs a new random walk strategy for blockchain trading network, directed time weighted random walk strategy. By introducing the concept of candidate neighbor node in the transaction network, different candidate neighbor nodes can be generated according to different parameters, and different candidate neighbor nodes of the same node can be studied. The random walk is evaluated by using link prediction the graph embedded downstream task on the real dataset. Finally, the sensitivity of the introduced parameters is analyzed. The experimental results show that the AUC value and AP value of the proposed directed time weighted random walk are 87.44 and 85.57 in link prediction, which prove the effectiveness of the proposed method.
Geochemistry of Phosphorite and Associated Rocks of Akashat Formation (Middle Paleocene) in Akashat Mine, Iraqi Western Desert. Part II: Trace Elements

Akashat Formation is an important formation due to its content of the Hirri member, which includes phosphorites and phosphatic limestones, that are rich in P2O5.These rocks are mainly composed of apatite and calcite.In addition to other minor and trace minerals like palygorskite, quartz, dolomite and secondary gypsum.All these minerals are hosted the most trace elements in the Akashat rocks.U, Sr, Y and Zr are related to apatite more than other minerals.While Ga, Rb and Ti are almost correlated ‫الدباغ‬ ‫محمود‬ ‫سالم‬ ‫و‬ ‫بمخ‬ ‫ون‬ ‫ال‬ ‫ق‬ ‫توف‬ ‫رة‬ ‫قت‬ 101 with the clay minerals.The rest trace elements are distributed among other minerals and organic matter.The hosting of trace elements by a mineral takes place in many cases as substituted in Ca(I), Ca(II) and phosphate tetrahedron in Francolite, Ca site in calcite, in clay mineral phases, or adsorbed on clay mineral faces, organic matters and in the crystal channel of francolite.
Photonic Unitary Neural Network Chip with Complex-valued Transformation Layer

We propose a complex-valued transformation layer whose architecture is compatible with the photonic unitary neural network chip. We simulate unitary neural networks on the MNIST dataset and complex-valued transformation layer can significantly improve the accuracy.
Modern Historical and Cultural Values of Volunteer Fire Brigade: Sulsan Volunteer Fire Brigade in Impi-myeon, Gunsan-si, Jeollabuk-do

Data investigations and research on the history of firefighting were conducted considering a recent fire museum construction plan. To devise a plan to develop a volunteer fire brigade (the basis of firefighting) in a situation in which most of the real data have been lost or discarded and only some firefighting vehicles and suppression equipment remain, a site visit and relic survey were conducted at the Sulsan Volunteer Fire brigade site in Impi-myeon in Gunsan-si, Jeollabuk-do. It was found that fire wells, manual pumps used since the Japanese colonial period, volunteer fire brigade buildings, and a fire watchtower installed in the 1960s remain. Based on the results and considering the historical and cultural values of the Sulsan Volunteer Fire brigade in Impi-myeon at that time, this study emphasized the importance of fire history and culture, the need to designate and preserve such sites as registered cultural properties, and the new role of the volunteer fire brigade.
PEMBIAYAAN PENYELENGARAAN PENDIDIKAN DI MADRASAH (Penelitian di MTs Baabussalaam Kota Bandung)

The source of funds for the Bandung City MTs Baabussalaam only relies on the government through the School Operational Assistance (BOS) funds, the disbursement of BOS funds is often late from the stipulated time. The purpose of this study was to find out the financing of madrasa organization at MTs Baabussalaaam, Bandung City. This study uses a case study method. Data collection is done by interviews and documentation studies. The results of the study showed that the implementation of educational funding at MTs Baabussalaam, Bandung City, namely; BOS funds received from the central government and regional governments are given gradually four times a year, currently twice a year according to the applicable regulations. New funds received in 2017 amounting to 206,802,500 rupiahs. Allocation of the education budget is only sufficient for monthly teacher honorarium payments. Madrasah students are only charged extracurricular activities, but not all make payments (198 students X Rp. 20,000 = Rp. 3,980,000). The conclusions of this study that the highest need for education funding at MTs Baabussalaam in Bandung City is the payment of honorarium for Non-Civil Servant Teachers, there needs to be an effort to increase the government's commitment to financing education so that it supports all components of madrasa activities, and reaches national standards. When disbursement of education costs needs to be timely in accordance with the calendar of investigation. In order for parents to participate in financing good education, it must be balanced by providing quality assurance to education consumers.
Digital comics learning media for high school on the human excretory system concept

Based on the preliminary analysis, one of the things needed in learning is a learning media that describes the material clearly, briefly, easily understood, and fulfills offline and online learning. This research aims to develop a digital comic learning media on the concept of the human excretory system. This study uses the R&amp;D (Research and Development) method with the ADDIE model. The instruments in this study include a validation questionnaire, practicality test sheets, readability questionnaire, and student response questionnaire sheets to the developed digital comic learning media. The research data were analyzed quantitatively by calculating the percentage. The results showed that the digital comics learning media was valid and feasible to be used as learning media (combined average of 83%). The results of the student response test showed a very good response to the digital comic learning media with a percentage of 84%
Frank Okwu Ugboajah, Oramedia, and the Ethical Paradigm of Development (Civilization)

This chapter features Frank Okwuadigbo Ugboajah and his theoretical idea of oramedia. Ugboajah argued that traditional culture should be harnessed for sustainable development, and that folk media cannot be separated from folk cultures in whose context they are significant. He regarded folk media as interpersonal media rather than group media because they speak to common people in their language and deal with problems of direct relevance to their situations. The cultivation of the moral mind, which is the foundation for civilization, is already embedded in African cultures. It is encapsulated in ubuntuism and demonstrated by African peoples through their songs, poems, proverbs, and folktales. Therefore, African traditional oral arts, which are essentially oral ethics, should be employed and deployed in order to mobilize African individuals and communities for an ethical revolution. Ugboajah called for a fusion of oramedia and relevant modern mass media. One of the important areas of future inquiry is to investigate how folk media are being or can be integrated into digital platforms for the popularization of knowledge about them and their application.
Secure and Efficient Proof of Ownership Scheme for Client-Side Deduplication in Cloud Environments

Data deduplication is an effective mechanism that reduces the required storage space of cloud storage servers by avoiding storing several copies of the same data. In contrast with server-side deduplication, client-side deduplication can not only save storage space but also reduce network bandwidth. Client-side deduplication schemes, however, might suffer from serious security threats. For instance, an adversary can spoof the server and gain access to a file he/she does not possess by claiming that she/he owns it. In order to thwart such a threat, the concept of proof-of-ownership (PoW) has been introduced. The security of the existing PoW scheme cannot be assured without affecting the computational complexity of the client-side deduplication. This paper proposes a secure and efficient PoW scheme for client-side deduplication in cloud environments with minimal computational overhead. The proposed scheme utilizes convergent encryption to encrypt a sufficiently large block specified by the server to challenge the client that claims possession of the file requested to be uploaded. To ensure that the client owns the entire file contents, and hence resist collusion attacks, the server challenges the client by requesting him to split the file he asks to upload into fixed-sized blocks and then encrypting a randomly chosen block using a key formed from extracting one bit at a specified location in all other blocks. This ensures a significant reduction in the communication overhead between the server and client. Computational complexity analysis and experimental results demonstrate that the proposed PoW scheme outperforms state-of-the-art PoW techniques.